gdbserver: make aarch64_write_goto_address static
[deliverable/binutils-gdb.git] / sim / arm / armsupp.c
index 2d0390d1cbe6b99c11e8550c3f7fd9410b7ea8f7..11bb53c5b7049130f201acc581f21db0f51d2765 100644 (file)
@@ -1,86 +1,37 @@
 /*  armsupp.c -- ARMulator support code:  ARM6 Instruction Emulator.
     Copyright (C) 1994 Advanced RISC Machines Ltd.
+
     This program is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
-    the Free Software Foundation; either version 2 of the License, or
+    the Free Software Foundation; either version 3 of the License, or
     (at your option) any later version.
+
     This program is distributed in the hope that it will be useful,
     but WITHOUT ANY WARRANTY; without even the implied warranty of
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     GNU General Public License for more details.
+
     You should have received a copy of the GNU General Public License
-    along with this program; if not, write to the Free Software
-    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+    along with this program; if not, see <http://www.gnu.org/licenses/>. */
 
 #include "armdefs.h"
 #include "armemu.h"
 #include "ansidecl.h"
+#include "libiberty.h"
+#include <math.h>
 
-/***************************************************************************\
-*                    Definitions for the support routines                   *
-\***************************************************************************/
-
-ARMword ARMul_GetReg (ARMul_State * state, unsigned mode, unsigned reg);
-void ARMul_SetReg (ARMul_State * state, unsigned mode, unsigned reg,
-                  ARMword value);
-ARMword ARMul_GetPC (ARMul_State * state);
-ARMword ARMul_GetNextPC (ARMul_State * state);
-void ARMul_SetPC (ARMul_State * state, ARMword value);
-ARMword ARMul_GetR15 (ARMul_State * state);
-void ARMul_SetR15 (ARMul_State * state, ARMword value);
-
-ARMword ARMul_GetCPSR (ARMul_State * state);
-void ARMul_SetCPSR (ARMul_State * state, ARMword value);
-ARMword ARMul_GetSPSR (ARMul_State * state, ARMword mode);
-void ARMul_SetSPSR (ARMul_State * state, ARMword mode, ARMword value);
-
-void ARMul_CPSRAltered (ARMul_State * state);
-void ARMul_R15Altered (ARMul_State * state);
-
-ARMword ARMul_SwitchMode (ARMul_State * state, ARMword oldmode,
-                         ARMword newmode);
-static ARMword ModeToBank (ARMword mode);
-
-unsigned ARMul_NthReg (ARMword instr, unsigned number);
-
-void ARMul_NegZero (ARMul_State * state, ARMword result);
-void ARMul_AddCarry (ARMul_State * state, ARMword a, ARMword b,
-                    ARMword result);
-void ARMul_AddOverflow (ARMul_State * state, ARMword a, ARMword b,
-                       ARMword result);
-void ARMul_SubCarry (ARMul_State * state, ARMword a, ARMword b,
-                    ARMword result);
-void ARMul_SubOverflow (ARMul_State * state, ARMword a, ARMword b,
-                       ARMword result);
-
-void ARMul_LDC (ARMul_State * state, ARMword instr, ARMword address);
-void ARMul_STC (ARMul_State * state, ARMword instr, ARMword address);
-void ARMul_MCR (ARMul_State * state, ARMword instr, ARMword source);
-ARMword ARMul_MRC (ARMul_State * state, ARMword instr);
-void ARMul_CDP (ARMul_State * state, ARMword instr);
-unsigned IntPending (ARMul_State * state);
-
-ARMword ARMul_Align (ARMul_State * state, ARMword address, ARMword data);
-
-void ARMul_ScheduleEvent (ARMul_State * state, unsigned long delay,
-                         unsigned (*what) ());
-void ARMul_EnvokeEvent (ARMul_State * state);
-unsigned long ARMul_Time (ARMul_State * state);
-static void EnvokeList (ARMul_State * state, unsigned long from,
-                       unsigned long to);
+/* Definitions for the support routines.  */
+
+static ARMword ModeToBank (ARMword);
+static void    EnvokeList (ARMul_State *, unsigned long, unsigned long);
 
 struct EventNode
-{                              /* An event list node */
-  unsigned (*func) ();         /* The function to call */
+{                                      /* An event list node.  */
+  unsigned (*func) (ARMul_State *);    /* The function to call.  */
   struct EventNode *next;
 };
 
-/***************************************************************************\
-* This routine returns the value of a register from a mode.                 *
-\***************************************************************************/
+/* This routine returns the value of a register from a mode.  */
 
 ARMword
 ARMul_GetReg (ARMul_State * state, unsigned mode, unsigned reg)
@@ -92,9 +43,7 @@ ARMul_GetReg (ARMul_State * state, unsigned mode, unsigned reg)
     return (state->Reg[reg]);
 }
 
-/***************************************************************************\
-* This routine sets the value of a register for a mode.                     *
-\***************************************************************************/
+/* This routine sets the value of a register for a mode.  */
 
 void
 ARMul_SetReg (ARMul_State * state, unsigned mode, unsigned reg, ARMword value)
@@ -106,35 +55,29 @@ ARMul_SetReg (ARMul_State * state, unsigned mode, unsigned reg, ARMword value)
     state->Reg[reg] = value;
 }
 
-/***************************************************************************\
-* This routine returns the value of the PC, mode independently.             *
-\***************************************************************************/
+/* This routine returns the value of the PC, mode independently.  */
 
 ARMword
 ARMul_GetPC (ARMul_State * state)
 {
   if (state->Mode > SVC26MODE)
-    return (state->Reg[15]);
+    return state->Reg[15];
   else
-    return (R15PC);
+    return R15PC;
 }
 
-/***************************************************************************\
-* This routine returns the value of the PC, mode independently.             *
-\***************************************************************************/
+/* This routine returns the value of the PC, mode independently.  */
 
 ARMword
 ARMul_GetNextPC (ARMul_State * state)
 {
   if (state->Mode > SVC26MODE)
-    return (state->Reg[15] + isize);
+    return state->Reg[15] + isize;
   else
-    return ((state->Reg[15] + isize) & R15PCBITS);
+    return (state->Reg[15] + isize) & R15PCBITS;
 }
 
-/***************************************************************************\
-* This routine sets the value of the PC.                                    *
-\***************************************************************************/
+/* This routine sets the value of the PC.  */
 
 void
 ARMul_SetPC (ARMul_State * state, ARMword value)
@@ -146,9 +89,7 @@ ARMul_SetPC (ARMul_State * state, ARMword value)
   FLUSHPIPE;
 }
 
-/***************************************************************************\
-* This routine returns the value of register 15, mode independently.        *
-\***************************************************************************/
+/* This routine returns the value of register 15, mode independently.  */
 
 ARMword
 ARMul_GetR15 (ARMul_State * state)
@@ -159,9 +100,7 @@ ARMul_GetR15 (ARMul_State * state)
     return (R15PC | ECC | ER15INT | EMODE);
 }
 
-/***************************************************************************\
-* This routine sets the value of Register 15.                               *
-\***************************************************************************/
+/* This routine sets the value of Register 15.  */
 
 void
 ARMul_SetR15 (ARMul_State * state, ARMword value)
@@ -176,9 +115,7 @@ ARMul_SetR15 (ARMul_State * state, ARMword value)
   FLUSHPIPE;
 }
 
-/***************************************************************************\
-* This routine returns the value of the CPSR                                *
-\***************************************************************************/
+/* This routine returns the value of the CPSR.  */
 
 ARMword
 ARMul_GetCPSR (ARMul_State * state)
@@ -186,9 +123,7 @@ ARMul_GetCPSR (ARMul_State * state)
   return (CPSR | state->Cpsr);
 }
 
-/***************************************************************************\
-* This routine sets the value of the CPSR                                   *
-\***************************************************************************/
+/* This routine sets the value of the CPSR.  */
 
 void
 ARMul_SetCPSR (ARMul_State * state, ARMword value)
@@ -197,17 +132,18 @@ ARMul_SetCPSR (ARMul_State * state, ARMword value)
   ARMul_CPSRAltered (state);
 }
 
-/***************************************************************************\
-* This routine does all the nasty bits involved in a write to the CPSR,     *
-* including updating the register bank, given a MSR instruction.                    *
-\***************************************************************************/
+/* This routine does all the nasty bits involved in a write to the CPSR,
+   including updating the register bank, given a MSR instruction.  */
 
 void
 ARMul_FixCPSR (ARMul_State * state, ARMword instr, ARMword rhs)
 {
   state->Cpsr = ARMul_GetCPSR (state);
-  if (state->Bank != USERBANK)
-    {                          /* In user mode, only write flags */
+
+  if (state->Mode != USER26MODE
+      && state->Mode != USER32MODE)
+    {
+      /* In user mode, only write flags.  */
       if (BIT (16))
        SETPSR_C (state->Cpsr, rhs);
       if (BIT (17))
@@ -220,9 +156,7 @@ ARMul_FixCPSR (ARMul_State * state, ARMword instr, ARMword rhs)
   ARMul_CPSRAltered (state);
 }
 
-/***************************************************************************\
-* Get an SPSR from the specified mode                                       *
-\***************************************************************************/
+/* Get an SPSR from the specified mode.  */
 
 ARMword
 ARMul_GetSPSR (ARMul_State * state, ARMword mode)
@@ -235,22 +169,18 @@ ARMul_GetSPSR (ARMul_State * state, ARMword mode)
   return state->Spsr[bank];
 }
 
-/***************************************************************************\
-* This routine does a write to an SPSR                                      *
-\***************************************************************************/
+/* This routine does a write to an SPSR.  */
 
 void
 ARMul_SetSPSR (ARMul_State * state, ARMword mode, ARMword value)
 {
   ARMword bank = ModeToBank (mode & MODEBITS);
-  
+
   if (BANK_CAN_ACCESS_SPSR (bank))
     state->Spsr[bank] = value;
 }
 
-/***************************************************************************\
-* This routine does a write to the current SPSR, given an MSR instruction   *
-\***************************************************************************/
+/* This routine does a write to the current SPSR, given an MSR instruction.  */
 
 void
 ARMul_FixSPSR (ARMul_State * state, ARMword instr, ARMword rhs)
@@ -268,10 +198,8 @@ ARMul_FixSPSR (ARMul_State * state, ARMword instr, ARMword rhs)
     }
 }
 
-/***************************************************************************\
-* This routine updates the state of the emulator after the Cpsr has been    *
-* changed.  Both the processor flags and register bank are updated.         *
-\***************************************************************************/
+/* This routine updates the state of the emulator after the Cpsr has been
+   changed.  Both the processor flags and register bank are updated.  */
 
 void
 ARMul_CPSRAltered (ARMul_State * state)
@@ -282,12 +210,12 @@ ARMul_CPSRAltered (ARMul_State * state)
     state->Cpsr &= (CCBITS | INTBITS | R15MODEBITS);
 
   oldmode = state->Mode;
-  
+
   if (state->Mode != (state->Cpsr & MODEBITS))
     {
       state->Mode =
        ARMul_SwitchMode (state, state->Mode, state->Cpsr & MODEBITS);
-      
+
       state->NtransSig = (state->Mode & 3) ? HIGH : LOW;
     }
   state->Cpsr &= ~MODEBITS;
@@ -329,11 +257,9 @@ ARMul_CPSRAltered (ARMul_State * state)
     }
 }
 
-/***************************************************************************\
-* This routine updates the state of the emulator after register 15 has      *
-* been changed.  Both the processor flags and register bank are updated.    *
-* This routine should only be called from a 26 bit mode.                    *
-\***************************************************************************/
+/* This routine updates the state of the emulator after register 15 has
+   been changed.  Both the processor flags and register bank are updated.
+   This routine should only be called from a 26 bit mode.  */
 
 void
 ARMul_R15Altered (ARMul_State * state)
@@ -343,22 +269,23 @@ ARMul_R15Altered (ARMul_State * state)
       state->Mode = ARMul_SwitchMode (state, state->Mode, R15MODE);
       state->NtransSig = (state->Mode & 3) ? HIGH : LOW;
     }
+
   if (state->Mode > SVC26MODE)
     state->Emulate = CHANGEMODE;
+
   ASSIGNR15INT (R15INT);
+
   ASSIGNN ((state->Reg[15] & NBIT) != 0);
   ASSIGNZ ((state->Reg[15] & ZBIT) != 0);
   ASSIGNC ((state->Reg[15] & CBIT) != 0);
   ASSIGNV ((state->Reg[15] & VBIT) != 0);
 }
 
-/***************************************************************************\
-* This routine controls the saving and restoring of registers across mode   *
-* changes.  The regbank matrix is largely unused, only rows 13 and 14 are   *
-* used across all modes, 8 to 14 are used for FIQ, all others use the USER  *
-* column.  It's easier this way.  old and new parameter are modes numbers.  *
-* Notice the side effect of changing the Bank variable.                     *
-\***************************************************************************/
+/* This routine controls the saving and restoring of registers across mode
+   changes.  The regbank matrix is largely unused, only rows 13 and 14 are
+   used across all modes, 8 to 14 are used for FIQ, all others use the USER
+   column.  It's easier this way.  old and new parameter are modes numbers.
+   Notice the side effect of changing the Bank variable.  */
 
 ARMword
 ARMul_SwitchMode (ARMul_State * state, ARMword oldmode, ARMword newmode)
@@ -366,14 +293,16 @@ ARMul_SwitchMode (ARMul_State * state, ARMword oldmode, ARMword newmode)
   unsigned i;
   ARMword  oldbank;
   ARMword  newbank;
-  
+
   oldbank = ModeToBank (oldmode);
   newbank = state->Bank = ModeToBank (newmode);
-  
+
+  /* Do we really need to do it?  */
   if (oldbank != newbank)
-    {                          /* really need to do it */
+    {
+      /* Save away the old registers.  */
       switch (oldbank)
-       {                       /* save away the old registers */
+       {
        case USERBANK:
        case IRQBANK:
        case SVCBANK:
@@ -396,9 +325,10 @@ ARMul_SwitchMode (ARMul_State * state, ARMword oldmode, ARMword newmode)
        default:
          abort ();
        }
-      
+
+      /* Restore the new registers.  */
       switch (newbank)
-       {                       /* restore the new registers */
+       {
        case USERBANK:
        case IRQBANK:
        case SVCBANK:
@@ -420,16 +350,14 @@ ARMul_SwitchMode (ARMul_State * state, ARMword oldmode, ARMword newmode)
          break;
        default:
          abort ();
-       }                       /* switch */
-    }                          /* if */
-  
+       }
+    }
+
   return newmode;
 }
 
-/***************************************************************************\
-* Given a processor mode, this routine returns the register bank that       *
-* will be accessed in that mode.                                            *
-\***************************************************************************/
+/* Given a processor mode, this routine returns the
+   register bank that will be accessed in that mode.  */
 
 static ARMword
 ModeToBank (ARMword mode)
@@ -446,30 +374,27 @@ ModeToBank (ARMword mode)
     DUMMYBANK, DUMMYBANK, DUMMYBANK, SYSTEMBANK
   };
 
-  if (mode >= (sizeof (bankofmode) / sizeof (bankofmode[0])))
+  if (mode >= ARRAY_SIZE (bankofmode))
     return DUMMYBANK;
 
   return bankofmode[mode];
 }
 
-/***************************************************************************\
-* Returns the register number of the nth register in a reg list.            *
-\***************************************************************************/
+/* Returns the register number of the nth register in a reg list.  */
 
 unsigned
 ARMul_NthReg (ARMword instr, unsigned number)
 {
   unsigned bit, upto;
 
-  for (bit = 0, upto = 0; upto <= number; bit++)
+  for (bit = 0, upto = 0; upto <= number; bit ++)
     if (BIT (bit))
-      upto++;
+      upto ++;
+
   return (bit - 1);
 }
 
-/***************************************************************************\
-* Assigns the N and Z flags depending on the value of result                *
-\***************************************************************************/
+/* Assigns the N and Z flags depending on the value of result.  */
 
 void
 ARMul_NegZero (ARMul_State * state, ARMword result)
@@ -488,10 +413,11 @@ ARMul_NegZero (ARMul_State * state, ARMword result)
     {
       CLEARN;
       CLEARZ;
-    };
+    }
 }
 
 /* Compute whether an addition of A and B, giving RESULT, overflowed.  */
+
 int
 AddOverflow (ARMword a, ARMword b, ARMword result)
 {
@@ -500,6 +426,7 @@ AddOverflow (ARMword a, ARMword b, ARMword result)
 }
 
 /* Compute whether a subtraction of A and B, giving RESULT, overflowed.  */
+
 int
 SubOverflow (ARMword a, ARMword b, ARMword result)
 {
@@ -507,9 +434,7 @@ SubOverflow (ARMword a, ARMword b, ARMword result)
          || (POS (a) && NEG (b) && NEG (result)));
 }
 
-/***************************************************************************\
-* Assigns the C flag after an addition of a and b to give result            *
-\***************************************************************************/
+/* Assigns the C flag after an addition of a and b to give result.  */
 
 void
 ARMul_AddCarry (ARMul_State * state, ARMword a, ARMword b, ARMword result)
@@ -518,9 +443,7 @@ ARMul_AddCarry (ARMul_State * state, ARMword a, ARMword b, ARMword result)
           (NEG (a) && POS (result)) || (NEG (b) && POS (result)));
 }
 
-/***************************************************************************\
-* Assigns the V flag after an addition of a and b to give result            *
-\***************************************************************************/
+/* Assigns the V flag after an addition of a and b to give result.  */
 
 void
 ARMul_AddOverflow (ARMul_State * state, ARMword a, ARMword b, ARMword result)
@@ -528,9 +451,7 @@ ARMul_AddOverflow (ARMul_State * state, ARMword a, ARMword b, ARMword result)
   ASSIGNV (AddOverflow (a, b, result));
 }
 
-/***************************************************************************\
-* Assigns the C flag after an subtraction of a and b to give result         *
-\***************************************************************************/
+/* Assigns the C flag after an subtraction of a and b to give result.  */
 
 void
 ARMul_SubCarry (ARMul_State * state, ARMword a, ARMword b, ARMword result)
@@ -539,9 +460,7 @@ ARMul_SubCarry (ARMul_State * state, ARMword a, ARMword b, ARMword result)
           (NEG (a) && POS (result)) || (POS (b) && POS (result)));
 }
 
-/***************************************************************************\
-* Assigns the V flag after an subtraction of a and b to give result         *
-\***************************************************************************/
+/* Assigns the V flag after an subtraction of a and b to give result.  */
 
 void
 ARMul_SubOverflow (ARMul_State * state, ARMword a, ARMword b, ARMword result)
@@ -549,12 +468,426 @@ ARMul_SubOverflow (ARMul_State * state, ARMword a, ARMword b, ARMword result)
   ASSIGNV (SubOverflow (a, b, result));
 }
 
-/***************************************************************************\
-* This function does the work of generating the addresses used in an        *
-* LDC instruction.  The code here is always post-indexed, it's up to the    *
-* caller to get the input address correct and to handle base register       *
-* modification. It also handles the Busy-Waiting.                           *
-\***************************************************************************/
+static void
+handle_VFP_xfer (ARMul_State * state, ARMword instr)
+{
+  if (TOPBITS (28) == NV)
+    {
+      fprintf (stderr, "SIM: UNDEFINED VFP instruction\n");
+      return;
+    }
+
+  if (BITS (25, 27) != 0x6)
+    {
+      fprintf (stderr, "SIM: ISE: VFP handler called incorrectly\n");
+      return;
+    }
+       
+  switch (BITS (20, 24))
+    {
+    case 0x04:
+    case 0x05:
+      {
+       /* VMOV double precision to/from two ARM registers.  */
+       int vm  = BITS (0, 3);
+       int rt1 = BITS (12, 15);
+       int rt2 = BITS (16, 19);
+
+       /* FIXME: UNPREDICTABLE if rt1 == 15 or rt2 == 15.  */
+       if (BIT (20))
+         {
+           /* Transfer to ARM.  */
+           /* FIXME: UPPREDICTABLE if rt1 == rt2.  */
+           state->Reg[rt1] = VFP_dword (vm) & 0xffffffff;
+           state->Reg[rt2] = VFP_dword (vm) >> 32;
+         }
+       else
+         {
+           VFP_dword (vm) = state->Reg[rt2];
+           VFP_dword (vm) <<= 32;
+           VFP_dword (vm) |= (state->Reg[rt1] & 0xffffffff);
+         }
+       return;
+      }
+
+    case 0x08:
+    case 0x0A:
+    case 0x0C:
+    case 0x0E:
+      {
+       /* VSTM with PUW=011 or PUW=010.  */
+       int n = BITS (16, 19);
+       int imm8 = BITS (0, 7);
+
+       ARMword address = state->Reg[n];
+       if (BIT (21))
+         state->Reg[n] = address + (imm8 << 2);
+
+       if (BIT (8))
+         {
+           int src = (BIT (22) << 4) | BITS (12, 15);
+           imm8 >>= 1;
+           while (imm8--)
+             {
+               if (state->bigendSig)
+                 {
+                   ARMul_StoreWordN (state, address, VFP_dword (src) >> 32);
+                   ARMul_StoreWordN (state, address + 4, VFP_dword (src));
+                 }
+               else
+                 {
+                   ARMul_StoreWordN (state, address, VFP_dword (src));
+                   ARMul_StoreWordN (state, address + 4, VFP_dword (src) >> 32);
+                 }
+               address += 8;
+               src += 1;
+             }
+         }
+       else
+         {
+           int src = (BITS (12, 15) << 1) | BIT (22);
+           while (imm8--)
+             {
+               ARMul_StoreWordN (state, address, VFP_uword (src));
+               address += 4;
+               src += 1;
+             }
+         }
+      }
+      return;
+
+    case 0x10:
+    case 0x14:
+    case 0x18:
+    case 0x1C:
+      {
+       /* VSTR */
+       ARMword imm32 = BITS (0, 7) << 2;
+       int base = state->Reg[LHSReg];
+       ARMword address;
+       int dest;
+
+       if (LHSReg == 15)
+         base = (base + 3) & ~3;
+
+       address = base + (BIT (23) ? imm32 : - imm32);
+
+       if (CPNum == 10)
+         {
+           dest = (DESTReg << 1) + BIT (22);
+
+           ARMul_StoreWordN (state, address, VFP_uword (dest));
+         }
+       else
+         {
+           dest = (BIT (22) << 4) + DESTReg;
+
+           if (state->bigendSig)
+             {
+               ARMul_StoreWordN (state, address, VFP_dword (dest) >> 32);
+               ARMul_StoreWordN (state, address + 4, VFP_dword (dest));
+             }
+           else
+             {
+               ARMul_StoreWordN (state, address, VFP_dword (dest));
+               ARMul_StoreWordN (state, address + 4, VFP_dword (dest) >> 32);
+             }
+         }
+      }
+      return;
+
+    case 0x12:
+    case 0x16:
+      if (BITS (16, 19) == 13)
+       {
+         /* VPUSH */
+         ARMword address = state->Reg[13] - (BITS (0, 7) << 2);
+         state->Reg[13] = address;
+
+         if (BIT (8))
+           {
+             int dreg = (BIT (22) << 4) | BITS (12, 15);
+             int num  = BITS (0, 7) >> 1;
+             while (num--)
+               {
+                 if (state->bigendSig)
+                   {
+                     ARMul_StoreWordN (state, address, VFP_dword (dreg) >> 32);
+                     ARMul_StoreWordN (state, address + 4, VFP_dword (dreg));
+                   }
+                 else
+                   {
+                     ARMul_StoreWordN (state, address, VFP_dword (dreg));
+                     ARMul_StoreWordN (state, address + 4, VFP_dword (dreg) >> 32);
+                   }
+                 address += 8;
+                 dreg += 1;
+               }
+           }
+         else
+           {
+             int sreg = (BITS (12, 15) << 1) | BIT (22);
+             int num  = BITS (0, 7);
+             while (num--)
+               {
+                 ARMul_StoreWordN (state, address, VFP_uword (sreg));
+                 address += 4;
+                 sreg += 1;
+               }
+           }
+       }
+      else if (BITS (9, 11) != 0x5)
+       break;
+      else
+       {
+         /* VSTM PUW=101 */
+         int n = BITS (16, 19);
+         int imm8 = BITS (0, 7);
+         ARMword address = state->Reg[n] - (imm8 << 2);
+         state->Reg[n] = address;
+
+         if (BIT (8))
+           {
+             int src = (BIT (22) << 4) | BITS (12, 15);
+
+             imm8 >>= 1;
+             while (imm8--)
+               {
+                 if (state->bigendSig)
+                   {
+                     ARMul_StoreWordN (state, address, VFP_dword (src) >> 32);
+                     ARMul_StoreWordN (state, address + 4, VFP_dword (src));
+                   }
+                 else
+                   {
+                     ARMul_StoreWordN (state, address, VFP_dword (src));
+                     ARMul_StoreWordN (state, address + 4, VFP_dword (src) >> 32);
+                   }
+                 address += 8;
+                 src += 1;
+               }
+           }
+         else
+           {
+             int src = (BITS (12, 15) << 1) | BIT (22);
+
+             while (imm8--)
+               {
+                 ARMul_StoreWordN (state, address, VFP_uword (src));
+                 address += 4;
+                 src += 1;
+               }
+           }
+       }
+      return;
+
+    case 0x13:
+    case 0x17:
+      /* VLDM PUW=101 */
+    case 0x09:
+    case 0x0D:
+      /* VLDM PUW=010 */
+       {
+         int n = BITS (16, 19);
+         int imm8 = BITS (0, 7);
+
+         ARMword address = state->Reg[n];
+         if (BIT (23) == 0)
+           address -= imm8 << 2;
+         if (BIT (21))
+           state->Reg[n] = BIT (23) ? address + (imm8 << 2) : address;
+
+         if (BIT (8))
+           {
+             int dest = (BIT (22) << 4) | BITS (12, 15);
+             imm8 >>= 1;
+             while (imm8--)
+               {
+                 if (state->bigendSig)
+                   {
+                     VFP_dword (dest) = ARMul_LoadWordN (state, address);
+                     VFP_dword (dest) <<= 32;
+                     VFP_dword (dest) |= ARMul_LoadWordN (state, address + 4);
+                   }
+                 else
+                   {
+                     VFP_dword (dest) = ARMul_LoadWordN (state, address + 4);
+                     VFP_dword (dest) <<= 32;
+                     VFP_dword (dest) |= ARMul_LoadWordN (state, address);
+                   }
+
+                 if (trace)
+                   fprintf (stderr, " VFP: VLDM: D%d = %g\n", dest, VFP_dval (dest));
+
+                 address += 8;
+                 dest += 1;
+               }
+           }
+         else
+           {
+             int dest = (BITS (12, 15) << 1) | BIT (22);
+
+             while (imm8--)
+               {
+                 VFP_uword (dest) = ARMul_LoadWordN (state, address);
+                 address += 4;
+                 dest += 1;
+               }
+           }
+       }
+      return;
+
+    case 0x0B:
+    case 0x0F:
+      if (BITS (16, 19) == 13)
+       {
+         /* VPOP */
+         ARMword address = state->Reg[13];
+         state->Reg[13] = address + (BITS (0, 7) << 2);
+
+         if (BIT (8))
+           {
+             int dest = (BIT (22) << 4) | BITS (12, 15);
+             int num  = BITS (0, 7) >> 1;
+
+             while (num--)
+               {
+                 if (state->bigendSig)
+                   {
+                     VFP_dword (dest) = ARMul_LoadWordN (state, address);
+                     VFP_dword (dest) <<= 32;
+                     VFP_dword (dest) |= ARMul_LoadWordN (state, address + 4);
+                   }
+                 else
+                   {
+                     VFP_dword (dest) = ARMul_LoadWordN (state, address + 4);
+                     VFP_dword (dest) <<= 32;
+                     VFP_dword (dest) |= ARMul_LoadWordN (state, address);
+                   }
+
+                 if (trace)
+                   fprintf (stderr, " VFP: VPOP: D%d = %g\n", dest, VFP_dval (dest));
+
+                 address += 8;
+                 dest += 1;
+               }
+           }
+         else
+           {
+             int sreg = (BITS (12, 15) << 1) | BIT (22);
+             int num  = BITS (0, 7);
+
+             while (num--)
+               {
+                 VFP_uword (sreg) = ARMul_LoadWordN (state, address);
+                 address += 4;
+                 sreg += 1;
+               }
+           }
+       }
+      else if (BITS (9, 11) != 0x5)
+       break;
+      else
+       {
+         /* VLDM PUW=011 */
+         int n = BITS (16, 19);
+         int imm8 = BITS (0, 7);
+         ARMword address = state->Reg[n];
+         state->Reg[n] += imm8 << 2;
+
+         if (BIT (8))
+           {
+             int dest = (BIT (22) << 4) | BITS (12, 15);
+
+             imm8 >>= 1;
+             while (imm8--)
+               {
+                 if (state->bigendSig)
+                   {
+                     VFP_dword (dest) = ARMul_LoadWordN (state, address);
+                     VFP_dword (dest) <<= 32;
+                     VFP_dword (dest) |= ARMul_LoadWordN (state, address + 4);
+                   }
+                 else
+                   {
+                     VFP_dword (dest) = ARMul_LoadWordN (state, address + 4);
+                     VFP_dword (dest) <<= 32;
+                     VFP_dword (dest) |= ARMul_LoadWordN (state, address);
+                   }
+
+                 if (trace)
+                   fprintf (stderr, " VFP: VLDM: D%d = %g\n", dest, VFP_dval (dest));
+
+                 address += 8;
+                 dest += 1;
+               }
+           }
+         else
+           {
+             int dest = (BITS (12, 15) << 1) | BIT (22);
+             while (imm8--)
+               {
+                 VFP_uword (dest) = ARMul_LoadWordN (state, address);
+                 address += 4;
+                 dest += 1;
+               }
+           }
+       }
+      return;
+
+    case 0x11:
+    case 0x15:
+    case 0x19:
+    case 0x1D:
+      {
+       /* VLDR */
+       ARMword imm32 = BITS (0, 7) << 2;
+       int base = state->Reg[LHSReg];
+       ARMword address;
+       int dest;
+
+       if (LHSReg == 15)
+         base = (base + 3) & ~3;
+
+       address = base + (BIT (23) ? imm32 : - imm32);
+
+       if (CPNum == 10)
+         {
+           dest = (DESTReg << 1) + BIT (22);
+
+           VFP_uword (dest) = ARMul_LoadWordN (state, address);
+         }
+       else
+         {
+           dest = (BIT (22) << 4) + DESTReg;
+
+           if (state->bigendSig)
+             {
+               VFP_dword (dest) = ARMul_LoadWordN (state, address);
+               VFP_dword (dest) <<= 32;
+               VFP_dword (dest) |= ARMul_LoadWordN (state, address + 4);
+             }
+           else
+             {
+               VFP_dword (dest) = ARMul_LoadWordN (state, address + 4);
+               VFP_dword (dest) <<= 32;
+               VFP_dword (dest) |= ARMul_LoadWordN (state, address);
+             }
+
+           if (trace)
+             fprintf (stderr, " VFP: VLDR: D%d = %g\n", dest, VFP_dval (dest));
+         }
+      }
+      return;
+    }
+
+  fprintf (stderr, "SIM: VFP: Unimplemented: %0x\n", BITS (20, 24));
+}
+
+/* This function does the work of generating the addresses used in an
+   LDC instruction.  The code here is always post-indexed, it's up to the
+   caller to get the input address correct and to handle base register
+   modification. It also handles the Busy-Waiting.  */
 
 void
 ARMul_LDC (ARMul_State * state, ARMword instr, ARMword address)
@@ -562,15 +895,28 @@ ARMul_LDC (ARMul_State * state, ARMword instr, ARMword address)
   unsigned cpab;
   ARMword data;
 
+  if (CPNum == 10 || CPNum == 11)
+    {
+      handle_VFP_xfer (state, instr);
+      return;
+    }
+
   UNDEF_LSCPCBaseWb;
-  if (ADDREXCEPT (address))
+
+  if (! CP_ACCESS_ALLOWED (state, CPNum))
     {
-      INTERNALABORT (address);
+      ARMul_UndefInstr (state, instr);
+      return;
     }
+
+  if (ADDREXCEPT (address))
+    INTERNALABORT (address);
+
   cpab = (state->LDC[CPNum]) (state, ARMul_FIRST, instr, 0);
   while (cpab == ARMul_BUSY)
     {
       ARMul_Icycles (state, 1, 0);
+
       if (IntPending (state))
        {
          cpab = (state->LDC[CPNum]) (state, ARMul_INTERRUPT, instr, 0);
@@ -584,30 +930,30 @@ ARMul_LDC (ARMul_State * state, ARMword instr, ARMword address)
       CPTAKEABORT;
       return;
     }
+
   cpab = (state->LDC[CPNum]) (state, ARMul_TRANSFER, instr, 0);
   data = ARMul_LoadWordN (state, address);
   BUSUSEDINCPCN;
+
   if (BIT (21))
     LSBase = state->Base;
   cpab = (state->LDC[CPNum]) (state, ARMul_DATA, instr, data);
+
   while (cpab == ARMul_INC)
     {
       address += 4;
       data = ARMul_LoadWordN (state, address);
       cpab = (state->LDC[CPNum]) (state, ARMul_DATA, instr, data);
     }
+
   if (state->abortSig || state->Aborted)
-    {
-      TAKEABORT;
-    }
+    TAKEABORT;
 }
 
-/***************************************************************************\
-* This function does the work of generating the addresses used in an        *
-* STC instruction.  The code here is always post-indexed, it's up to the    *
-* caller to get the input address correct and to handle base register       *
-* modification. It also handles the Busy-Waiting.                           *
-\***************************************************************************/
+/* This function does the work of generating the addresses used in an
+   STC instruction.  The code here is always post-indexed, it's up to the
+   caller to get the input address correct and to handle base register
+   modification. It also handles the Busy-Waiting.  */
 
 void
 ARMul_STC (ARMul_State * state, ARMword instr, ARMword address)
@@ -615,11 +961,23 @@ ARMul_STC (ARMul_State * state, ARMword instr, ARMword address)
   unsigned cpab;
   ARMword data;
 
+  if (CPNum == 10 || CPNum == 11)
+    {
+      handle_VFP_xfer (state, instr);
+      return;
+    }
+
   UNDEF_LSCPCBaseWb;
-  if (ADDREXCEPT (address) || VECTORACCESS (address))
+
+  if (! CP_ACCESS_ALLOWED (state, CPNum))
     {
-      INTERNALABORT (address);
+      ARMul_UndefInstr (state, instr);
+      return;
     }
+
+  if (ADDREXCEPT (address) || VECTORACCESS (address))
+    INTERNALABORT (address);
+
   cpab = (state->STC[CPNum]) (state, ARMul_FIRST, instr, &data);
   while (cpab == ARMul_BUSY)
     {
@@ -632,6 +990,7 @@ ARMul_STC (ARMul_State * state, ARMword instr, ARMword address)
       else
        cpab = (state->STC[CPNum]) (state, ARMul_BUSY, instr, &data);
     }
+
   if (cpab == ARMul_CANT)
     {
       CPTAKEABORT;
@@ -639,36 +998,38 @@ ARMul_STC (ARMul_State * state, ARMword instr, ARMword address)
     }
 #ifndef MODE32
   if (ADDREXCEPT (address) || VECTORACCESS (address))
-    {
-      INTERNALABORT (address);
-    }
+    INTERNALABORT (address);
 #endif
   BUSUSEDINCPCN;
   if (BIT (21))
     LSBase = state->Base;
   cpab = (state->STC[CPNum]) (state, ARMul_DATA, instr, &data);
   ARMul_StoreWordN (state, address, data);
+
   while (cpab == ARMul_INC)
     {
       address += 4;
       cpab = (state->STC[CPNum]) (state, ARMul_DATA, instr, &data);
       ARMul_StoreWordN (state, address, data);
     }
+
   if (state->abortSig || state->Aborted)
-    {
-      TAKEABORT;
-    }
+    TAKEABORT;
 }
 
-/***************************************************************************\
-*        This function does the Busy-Waiting for an MCR instruction.        *
-\***************************************************************************/
+/* This function does the Busy-Waiting for an MCR instruction.  */
 
 void
 ARMul_MCR (ARMul_State * state, ARMword instr, ARMword source)
 {
   unsigned cpab;
 
+  if (! CP_ACCESS_ALLOWED (state, CPNum))
+    {
+      ARMul_UndefInstr (state, instr);
+      return;
+    }
+
   cpab = (state->MCR[CPNum]) (state, ARMul_FIRST, instr, source);
 
   while (cpab == ARMul_BUSY)
@@ -693,9 +1054,7 @@ ARMul_MCR (ARMul_State * state, ARMword instr, ARMword source)
     }
 }
 
-/***************************************************************************\
-*        This function does the Busy-Waiting for an MRC instruction.        *
-\***************************************************************************/
+/* This function does the Busy-Waiting for an MRC instruction.  */
 
 ARMword
 ARMul_MRC (ARMul_State * state, ARMword instr)
@@ -703,6 +1062,12 @@ ARMul_MRC (ARMul_State * state, ARMword instr)
   unsigned cpab;
   ARMword result = 0;
 
+  if (! CP_ACCESS_ALLOWED (state, CPNum))
+    {
+      ARMul_UndefInstr (state, instr);
+      return result;
+    }
+
   cpab = (state->MRC[CPNum]) (state, ARMul_FIRST, instr, &result);
   while (cpab == ARMul_BUSY)
     {
@@ -718,7 +1083,8 @@ ARMul_MRC (ARMul_State * state, ARMword instr)
   if (cpab == ARMul_CANT)
     {
       ARMul_Abort (state, ARMul_UndefinedInstrV);
-      result = ECC;            /* Parent will destroy the flags otherwise */
+      /* Parent will destroy the flags otherwise.  */
+      result = ECC;
     }
   else
     {
@@ -726,18 +1092,477 @@ ARMul_MRC (ARMul_State * state, ARMword instr)
       ARMul_Ccycles (state, 1, 0);
       ARMul_Icycles (state, 1, 0);
     }
-  return (result);
+
+  return result;
+}
+
+static void
+handle_VFP_op (ARMul_State * state, ARMword instr)
+{
+  int dest;
+  int srcN;
+  int srcM;
+
+  if (BITS (9, 11) != 0x5 || BIT (4) != 0)
+    {
+      fprintf (stderr, "SIM: VFP: Unimplemented: Float op: %08x\n", BITS (0,31));
+      return;
+    }
+
+  if (BIT (8))
+    {
+      dest = BITS(12,15) + (BIT (22) << 4);
+      srcN = LHSReg  + (BIT (7) << 4);
+      srcM = BITS (0,3) + (BIT (5) << 4);
+    }
+  else
+    {
+      dest = (BITS(12,15) << 1) + BIT (22);
+      srcN = (LHSReg << 1) + BIT (7);
+      srcM = (BITS (0,3) << 1) + BIT (5);
+    }
+
+  switch (BITS (20, 27))
+    {
+    case 0xE0:
+    case 0xE4:
+      /* VMLA VMLS */
+      if (BIT (8))
+       {
+         ARMdval val = VFP_dval (srcN) * VFP_dval (srcM);
+
+         if (BIT (6))
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VMLS: %g = %g - %g * %g\n",
+                        VFP_dval (dest) - val,
+                        VFP_dval (dest), VFP_dval (srcN), VFP_dval (srcM));
+             VFP_dval (dest) -= val;
+           }
+         else
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VMLA: %g = %g + %g * %g\n",
+                        VFP_dval (dest) + val,
+                        VFP_dval (dest), VFP_dval (srcN), VFP_dval (srcM));
+             VFP_dval (dest) += val;
+           }
+       }
+      else
+       {
+         ARMfval val = VFP_fval (srcN) * VFP_fval (srcM);
+
+         if (BIT (6))
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VMLS: %g = %g - %g * %g\n",
+                        VFP_fval (dest) - val,
+                        VFP_fval (dest), VFP_fval (srcN), VFP_fval (srcM));
+             VFP_fval (dest) -= val;
+           }
+         else
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VMLA: %g = %g + %g * %g\n",
+                        VFP_fval (dest) + val,
+                        VFP_fval (dest), VFP_fval (srcN), VFP_fval (srcM));
+             VFP_fval (dest) += val;
+           }
+       }
+      return;
+
+    case 0xE1:
+    case 0xE5:
+      if (BIT (8))
+       {
+         ARMdval product = VFP_dval (srcN) * VFP_dval (srcM);
+
+         if (BIT (6))
+           {
+             /* VNMLA */
+             if (trace)
+               fprintf (stderr, " VFP: VNMLA: %g = -(%g + (%g * %g))\n",
+                        -(VFP_dval (dest) + product),
+                        VFP_dval (dest), VFP_dval (srcN), VFP_dval (srcM));
+             VFP_dval (dest) = -(product + VFP_dval (dest));
+           }
+         else
+           {
+             /* VNMLS */
+             if (trace)
+               fprintf (stderr, " VFP: VNMLS: %g = -(%g + (%g * %g))\n",
+                        -(VFP_dval (dest) + product),
+                        VFP_dval (dest), VFP_dval (srcN), VFP_dval (srcM));
+             VFP_dval (dest) = product - VFP_dval (dest);
+           }
+       }
+      else
+       {
+         ARMfval product = VFP_fval (srcN) * VFP_fval (srcM);
+
+         if (BIT (6))
+           /* VNMLA */
+           VFP_fval (dest) = -(product + VFP_fval (dest));
+         else
+           /* VNMLS */
+           VFP_fval (dest) = product - VFP_fval (dest);
+       }
+      return;
+
+    case 0xE2:
+    case 0xE6:
+      if (BIT (8))
+       {
+         ARMdval product = VFP_dval (srcN) * VFP_dval (srcM);
+
+         if (BIT (6))
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VMUL: %g = %g * %g\n",
+                        - product, VFP_dval (srcN), VFP_dval (srcM));
+             /* VNMUL */
+             VFP_dval (dest) = - product;
+           }
+         else
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VMUL: %g = %g * %g\n",
+                        product, VFP_dval (srcN), VFP_dval (srcM));
+             /* VMUL */
+             VFP_dval (dest) = product;
+           }
+       }
+      else
+       {
+         ARMfval product = VFP_fval (srcN) * VFP_fval (srcM);
+
+         if (BIT (6))
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VNMUL: %g = %g * %g\n",
+                        - product, VFP_fval (srcN), VFP_fval (srcM));
+
+             VFP_fval (dest) = - product;
+           }
+         else
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VMUL: %g = %g * %g\n",
+                        product, VFP_fval (srcN), VFP_fval (srcM));
+
+             VFP_fval (dest) = product;
+           }
+       }
+      return;
+       
+    case 0xE3:
+    case 0xE7:
+      if (BIT (6) == 0)
+       {
+         /* VADD */
+         if (BIT(8))
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VADD %g = %g + %g\n",
+                        VFP_dval (srcN) + VFP_dval (srcM),
+                        VFP_dval (srcN),
+                        VFP_dval (srcM));
+             VFP_dval (dest) = VFP_dval (srcN) + VFP_dval (srcM);
+           }
+         else
+           VFP_fval (dest) = VFP_fval (srcN) + VFP_fval (srcM);
+
+       }
+      else
+       {
+         /* VSUB */
+         if (BIT(8))
+           {
+             if (trace)
+               fprintf (stderr, " VFP: VSUB %g = %g - %g\n",
+                        VFP_dval (srcN) - VFP_dval (srcM),
+                        VFP_dval (srcN),
+                        VFP_dval (srcM));
+             VFP_dval (dest) = VFP_dval (srcN) - VFP_dval (srcM);
+           }
+         else
+           VFP_fval (dest) = VFP_fval (srcN) - VFP_fval (srcM);
+       }
+      return;
+
+    case 0xE8:
+    case 0xEC:
+      if (BIT (6) == 1)
+       break;
+
+      /* VDIV */
+      if (BIT (8))
+       {
+         ARMdval res = VFP_dval (srcN) / VFP_dval (srcM);
+         if (trace)
+           fprintf (stderr, " VFP: VDIV (64bit): %g = %g / %g\n",
+                    res, VFP_dval (srcN), VFP_dval (srcM));
+         VFP_dval (dest) = res;
+       }
+      else
+       {
+         if (trace)
+           fprintf (stderr, " VFP: VDIV: %g = %g / %g\n",
+                    VFP_fval (srcN) / VFP_fval (srcM),
+                    VFP_fval (srcN), VFP_fval (srcM));
+
+         VFP_fval (dest) = VFP_fval (srcN) / VFP_fval (srcM);
+       }
+      return;
+
+    case 0xEB:
+    case 0xEF:
+      if (BIT (6) != 1)
+       break;
+
+      switch (BITS (16, 19))
+       {
+       case 0x0:
+         if (BIT (7) == 0)
+           {
+             if (BIT (8))
+               {
+                 /* VMOV.F64 <Dd>, <Dm>.  */
+                 VFP_dval (dest) = VFP_dval (srcM);
+                 if (trace)
+                   fprintf (stderr, " VFP: VMOV d%d, d%d: %g\n", dest, srcM, VFP_dval (srcM));
+               }
+             else
+               {
+                 /* VMOV.F32 <Sd>, <Sm>.  */
+                 VFP_fval (dest) = VFP_fval (srcM);
+                 if (trace)
+                   fprintf (stderr, " VFP: VMOV s%d, s%d: %g\n", dest, srcM, VFP_fval (srcM));
+               }
+           }
+         else
+           {
+             /* VABS */
+             if (BIT (8))
+               {
+                 ARMdval src = VFP_dval (srcM);
+
+                 VFP_dval (dest) = fabs (src);
+                 if (trace)
+                   fprintf (stderr, " VFP: VABS (%g) = %g\n", src, VFP_dval (dest));
+               }
+             else
+               {
+                 ARMfval src = VFP_fval (srcM);
+
+                 VFP_fval (dest) = fabsf (src);
+                 if (trace)
+                   fprintf (stderr, " VFP: VABS (%g) = %g\n", src, VFP_fval (dest));
+               }
+           }
+         return;
+
+       case 0x1:
+         if (BIT (7) == 0)
+           {
+             /* VNEG */
+             if (BIT (8))
+               VFP_dval (dest) = - VFP_dval (srcM);
+             else
+               VFP_fval (dest) = - VFP_fval (srcM);
+           }
+         else
+           {
+             /* VSQRT */
+             if (BIT (8))
+               {
+                 if (trace)
+                   fprintf (stderr, " VFP: %g = root(%g)\n",
+                            sqrt (VFP_dval (srcM)), VFP_dval (srcM));
+
+                 VFP_dval (dest) = sqrt (VFP_dval (srcM));
+               }
+             else
+               {
+                 if (trace)
+                   fprintf (stderr, " VFP: %g = root(%g)\n",
+                            sqrtf (VFP_fval (srcM)), VFP_fval (srcM));
+
+                 VFP_fval (dest) = sqrtf (VFP_fval (srcM));
+               }
+           }
+         return;
+
+       case 0x4:
+       case 0x5:
+         /* VCMP, VCMPE */
+         if (BIT(8))
+           {
+             ARMdval res = VFP_dval (dest);
+
+             if (BIT (16) == 0)
+               {
+                 ARMdval src = VFP_dval (srcM);
+
+                 if (isinf (res) && isinf (src))
+                   {
+                     if (res > 0.0 && src > 0.0)
+                       res = 0.0;
+                     else if (res < 0.0 && src < 0.0)
+                       res = 0.0;
+                     /* else leave res alone.   */
+                   }
+                 else
+                   res -= src;
+               }
+
+             /* FIXME: Add handling of signalling NaNs and the E bit.  */
+
+             state->FPSCR &= 0x0FFFFFFF;
+             if (res < 0.0)
+               state->FPSCR |= NBIT;
+             else
+               state->FPSCR |= CBIT;
+             if (res == 0.0)
+               state->FPSCR |= ZBIT;
+             if (isnan (res))
+               state->FPSCR |= VBIT;
+
+             if (trace)
+               fprintf (stderr, " VFP: VCMP (64bit) %g vs %g res %g, flags: %c%c%c%c\n",
+                        VFP_dval (dest), BIT (16) ? 0.0 : VFP_dval (srcM), res,
+                        state->FPSCR & NBIT ? 'N' : '-',
+                        state->FPSCR & ZBIT ? 'Z' : '-',
+                        state->FPSCR & CBIT ? 'C' : '-',
+                        state->FPSCR & VBIT ? 'V' : '-');
+           }
+         else
+           {
+             ARMfval res = VFP_fval (dest);
+
+             if (BIT (16) == 0)
+               {
+                 ARMfval src = VFP_fval (srcM);
+
+                 if (isinf (res) && isinf (src))
+                   {
+                     if (res > 0.0 && src > 0.0)
+                       res = 0.0;
+                     else if (res < 0.0 && src < 0.0)
+                       res = 0.0;
+                     /* else leave res alone.   */
+                   }
+                 else
+                   res -= src;
+               }
+
+             /* FIXME: Add handling of signalling NaNs and the E bit.  */
+
+             state->FPSCR &= 0x0FFFFFFF;
+             if (res < 0.0)
+               state->FPSCR |= NBIT;
+             else
+               state->FPSCR |= CBIT;
+             if (res == 0.0)
+               state->FPSCR |= ZBIT;
+             if (isnan (res))
+               state->FPSCR |= VBIT;
+
+             if (trace)
+               fprintf (stderr, " VFP: VCMP (32bit) %g vs %g res %g, flags: %c%c%c%c\n",
+                        VFP_fval (dest), BIT (16) ? 0.0 : VFP_fval (srcM), res,
+                        state->FPSCR & NBIT ? 'N' : '-',
+                        state->FPSCR & ZBIT ? 'Z' : '-',
+                        state->FPSCR & CBIT ? 'C' : '-',
+                        state->FPSCR & VBIT ? 'V' : '-');
+           }
+         return;
+
+       case 0x7:
+         if (BIT (8))
+           {
+             dest = (DESTReg << 1) + BIT (22);
+             VFP_fval (dest) = VFP_dval (srcM);
+           }
+         else
+           {
+             dest = DESTReg + (BIT (22) << 4);
+             VFP_dval (dest) = VFP_fval (srcM);
+           }
+         return;
+
+       case 0x8:
+       case 0xC:
+       case 0xD:
+         /* VCVT integer <-> FP */
+         if (BIT (18))
+           {
+             /* To integer.  */
+             if (BIT (8))
+               {
+                 dest = (BITS(12,15) << 1) + BIT (22);
+                 if (BIT (16))
+                   VFP_sword (dest) = VFP_dval (srcM);
+                 else
+                   VFP_uword (dest) = VFP_dval (srcM);
+               }
+             else
+               {
+                 if (BIT (16))
+                   VFP_sword (dest) = VFP_fval (srcM);
+                 else
+                   VFP_uword (dest) = VFP_fval (srcM);
+               }
+           }
+         else
+           {
+             /* From integer.  */
+             if (BIT (8))
+               {
+                 srcM = (BITS (0,3) << 1) + BIT (5);
+                 if (BIT (7))
+                   VFP_dval (dest) = VFP_sword (srcM);
+                 else
+                   VFP_dval (dest) = VFP_uword (srcM);
+               }
+             else
+               {
+                 if (BIT (7))
+                   VFP_fval (dest) = VFP_sword (srcM);
+                 else
+                   VFP_fval (dest) = VFP_uword (srcM);
+               }
+           }
+         return;
+       }
+
+      fprintf (stderr, "SIM: VFP: Unimplemented: Float op3: %03x\n", BITS (16,27));
+      return;
+    }
+
+  fprintf (stderr, "SIM: VFP: Unimplemented: Float op2: %02x\n", BITS (20, 27));
+  return;
 }
 
-/***************************************************************************\
-*        This function does the Busy-Waiting for an CDP instruction.        *
-\***************************************************************************/
+/* This function does the Busy-Waiting for an CDP instruction.  */
 
 void
 ARMul_CDP (ARMul_State * state, ARMword instr)
 {
   unsigned cpab;
 
+  if (CPNum == 10 || CPNum == 11)
+    {
+      handle_VFP_op (state, instr);
+      return;
+    }
+
+  if (! CP_ACCESS_ALLOWED (state, CPNum))
+    {
+      ARMul_UndefInstr (state, instr);
+      return;
+    }
+
   cpab = (state->CDP[CPNum]) (state, ARMul_FIRST, instr);
   while (cpab == ARMul_BUSY)
     {
@@ -756,9 +1581,7 @@ ARMul_CDP (ARMul_State * state, ARMword instr)
     BUSUSEDN;
 }
 
-/***************************************************************************\
-*      This function handles Undefined instructions, as CP isntruction      *
-\***************************************************************************/
+/* This function handles Undefined instructions, as CP isntruction.  */
 
 void
 ARMul_UndefInstr (ARMul_State * state, ARMword instr ATTRIBUTE_UNUSED)
@@ -766,61 +1589,54 @@ ARMul_UndefInstr (ARMul_State * state, ARMword instr ATTRIBUTE_UNUSED)
   ARMul_Abort (state, ARMul_UndefinedInstrV);
 }
 
-/***************************************************************************\
-*           Return TRUE if an interrupt is pending, FALSE otherwise.        *
-\***************************************************************************/
+/* Return TRUE if an interrupt is pending, FALSE otherwise.  */
 
 unsigned
 IntPending (ARMul_State * state)
 {
   if (state->Exception)
-    {                          /* Any exceptions */
+    {
+      /* Any exceptions.  */
       if (state->NresetSig == LOW)
        {
          ARMul_Abort (state, ARMul_ResetV);
-         return (TRUE);
+         return TRUE;
        }
       else if (!state->NfiqSig && !FFLAG)
        {
          ARMul_Abort (state, ARMul_FIQV);
-         return (TRUE);
+         return TRUE;
        }
       else if (!state->NirqSig && !IFLAG)
        {
          ARMul_Abort (state, ARMul_IRQV);
-         return (TRUE);
+         return TRUE;
        }
     }
-  return (FALSE);
+
+  return FALSE;
 }
 
-/***************************************************************************\
-*               Align a word access to a non word boundary                  *
-\***************************************************************************/
+/* Align a word access to a non word boundary.  */
 
 ARMword
-ARMul_Align (state, address, data)
-     ARMul_State * state ATTRIBUTE_UNUSED;
-     ARMword address;
-     ARMword data;
+ARMul_Align (ARMul_State *state ATTRIBUTE_UNUSED, ARMword address, ARMword data)
 {
   /* This code assumes the address is really unaligned,
      as a shift by 32 is undefined in C.  */
 
-  address = (address & 3) << 3;        /* get the word address */
+  address = (address & 3) << 3;        /* Get the word address.  */
   return ((data >> address) | (data << (32 - address)));       /* rot right */
 }
 
-/***************************************************************************\
-* This routine is used to call another routine after a certain number of    *
-* cycles have been executed. The first parameter is the number of cycles    *
-* delay before the function is called, the second argument is a pointer     *
-* to the function. A delay of zero doesn't work, just call the function.    *
-\***************************************************************************/
+/* This routine is used to call another routine after a certain number of
+   cycles have been executed. The first parameter is the number of cycles
+   delay before the function is called, the second argument is a pointer
+   to the function. A delay of zero doesn't work, just call the function.  */
 
 void
 ARMul_ScheduleEvent (ARMul_State * state, unsigned long delay,
-                    unsigned (*what) ())
+                    unsigned (*what) (ARMul_State *))
 {
   unsigned long when;
   struct EventNode *event;
@@ -834,10 +1650,8 @@ ARMul_ScheduleEvent (ARMul_State * state, unsigned long delay,
   *(state->EventPtr + when) = event;
 }
 
-/***************************************************************************\
-* This routine is called at the beginning of every cycle, to envoke         *
-* scheduled events.                                                         *
-\***************************************************************************/
+/* This routine is called at the beginning of
+   every cycle, to envoke scheduled events.  */
 
 void
 ARMul_EnvokeEvent (ARMul_State * state)
@@ -846,23 +1660,26 @@ ARMul_EnvokeEvent (ARMul_State * state)
 
   then = state->Now;
   state->Now = ARMul_Time (state) % EVENTLISTSIZE;
-  if (then < state->Now)       /* schedule events */
+  if (then < state->Now)
+    /* Schedule events.  */
     EnvokeList (state, then, state->Now);
   else if (then > state->Now)
-    {                          /* need to wrap around the list */
+    {
+      /* Need to wrap around the list.  */
       EnvokeList (state, then, EVENTLISTSIZE - 1L);
       EnvokeList (state, 0L, state->Now);
     }
 }
 
+/* Envokes all the entries in a range.  */
+
 static void
 EnvokeList (ARMul_State * state, unsigned long from, unsigned long to)
-/* envokes all the entries in a range */
 {
-  struct EventNode *anevent;
-
   for (; from <= to; from++)
     {
+      struct EventNode *anevent;
+
       anevent = *(state->EventPtr + from);
       while (anevent)
        {
@@ -874,9 +1691,7 @@ EnvokeList (ARMul_State * state, unsigned long from, unsigned long to)
     }
 }
 
-/***************************************************************************\
-* This routine is returns the number of clock ticks since the last reset.   *
-\***************************************************************************/
+/* This routine is returns the number of clock ticks since the last reset.  */
 
 unsigned long
 ARMul_Time (ARMul_State * state)
This page took 0.040395 seconds and 4 git commands to generate.