Checkpoint IGEN version of mips sim

1 files changed, 157 insertions, 152 deletions

diff --git a/sim/mips/mips.igen b/sim/mips/mips.igen
index 347c37f..b4ea9f0 100644
--- a/sim/mips/mips.igen
+++ b/sim/mips/mips.igen
@@ -15,17 +15,17 @@
 :option:16:insn-bit-size:16
 :option:16:hi-bit-nr:15
 :option:16:insn-specifying-widths:true
-:option:16:gen-delayed-branch:true
+:option:16:gen-delayed-branch:false
 
 // IGEN config - mipsI..
 :option:32:insn-bit-size:32
 :option:32:hi-bit-nr:31
 :option:32:insn-specifying-widths:true
-:option:32:gen-delayed-branch:true
+:option:32:gen-delayed-branch:false
 
 
 // Generate separate simulators for each target
-:option::multi-sim:true
+// :option::multi-sim:true
 
 
 // Models known by this simulator
@@ -190,7 +190,7 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] == GPR[RT])
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -209,9 +209,9 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] == GPR[RT])
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -231,7 +231,7 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] >= 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -252,7 +252,7 @@
   address_word offset = EXTEND16 (OFFSET) << 2;
   RA = (CIA + 8);
   if (GPR[RS] >= 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -274,9 +274,9 @@
   /* NOTE: The branch occurs AFTER the next instruction has been
      executed */
   if (GPR[RS] >= 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -295,9 +295,9 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] >= 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -317,7 +317,7 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] > 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -338,9 +338,9 @@
   /* NOTE: The branch occurs AFTER the next instruction has been
      executed */
   if (GPR[RS] > 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -362,7 +362,7 @@
   /* NOTE: The branch occurs AFTER the next instruction has been
      executed */
   if (GPR[RS] <= 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -381,9 +381,9 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] <= 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -403,7 +403,7 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] < 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -426,7 +426,7 @@
   /* NOTE: The branch occurs AFTER the next instruction has been
      executed */
   if (GPR[RS] < 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -446,9 +446,9 @@
   address_word offset = EXTEND16 (OFFSET) << 2;
   RA = (CIA + 8);
   if (GPR[RS] < 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -469,9 +469,9 @@
   /* NOTE: The branch occurs AFTER the next instruction has been
      executed */
   if (GPR[RS] < 0)
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -491,7 +491,7 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] != GPR[RT])
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
 }
 
 
@@ -510,9 +510,9 @@
 {
   address_word offset = EXTEND16 (OFFSET) << 2;
   if (GPR[RS] != GPR[RT])
-    DSPC = (PC + offset);
+    DELAY_SLOT (PC + offset);
   else
-    NULLIFY_NIA ();
+    NULLIFY_NEXT_INSTRUCTION ();
 }
 
 
@@ -1048,10 +1048,10 @@
 *tx19:
 // end-sanitize-tx19
 {
-  /* NOTE: The region used is that of the delay slot and NOT the
+  /* NOTE: The region used is that of the delay slot NIA and NOT the
      current instruction */
-  address_word region = cia.dp & MASK (63, 28);
-  DSPC = region | (INSTR_INDEX << 2);
+  address_word region = (NIA & MASK (63, 28));
+  DELAY_SLOT (region | (INSTR_INDEX << 2));
 }
 
 
@@ -1071,9 +1071,9 @@
 {
   /* NOTE: The region used is that of the delay slot and NOT the
      current instruction */
-  address_word region = cia.dp & MASK (63, 28);
+  address_word region = (NIA & MASK (63, 28));
   GPR[31] = CIA + 8;
-  DSPC = region | (INSTR_INDEX << 2);
+  DELAY_SLOT (region | (INSTR_INDEX << 2));
 }
 
 
@@ -1094,7 +1094,7 @@
 {
   address_word temp = GPR[RS];
   GPR[RD] = CIA + 8;
-  DSPC = temp;
+  DELAY_SLOT (temp);
 }
 
 
@@ -1112,7 +1112,7 @@
 *tx19:
 // end-sanitize-tx19
 {
-  DSPC = GPR[RS];
+  DELAY_SLOT (GPR[RS]);
 }
 
 
@@ -1135,8 +1135,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    uword64 vaddr = ((uword64)op1 + offset);
-    uword64 paddr;
+    address_word vaddr = ((uword64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -1177,8 +1177,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -1217,8 +1217,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressLoad();
@@ -1254,8 +1254,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressLoad();
@@ -1290,8 +1290,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -1331,8 +1331,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -1381,8 +1381,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 1) != 0)
       SignalExceptionAddressLoad();
@@ -1426,8 +1426,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 1) != 0)
       SignalExceptionAddressLoad();
@@ -1470,8 +1470,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -1514,8 +1514,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressLoad();
@@ -1571,8 +1571,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -1616,8 +1616,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -1661,8 +1661,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -1708,8 +1708,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -1760,8 +1760,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -2001,8 +2001,8 @@
   int hint = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -2030,8 +2030,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
@@ -2073,8 +2073,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressStore();
@@ -2117,8 +2117,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressStore();
@@ -2157,8 +2157,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressStore();
@@ -2196,8 +2196,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressStore();
@@ -2234,8 +2234,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
@@ -2275,8 +2275,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
@@ -2318,8 +2318,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 1) != 0)
       SignalExceptionAddressStore();
@@ -2594,8 +2594,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressStore();
@@ -2638,8 +2638,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressStore();
@@ -2682,8 +2682,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
@@ -2728,8 +2728,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
@@ -3194,10 +3194,10 @@
       int condition = (PREVCOC1() == boolean);
       /* NOTE: The branch occurs AFTER the next instruction has been executed */
       if (condition) {
-	DSPC = (PC + offset);
+	DELAY_SLOT (PC + offset);
       }
       else if (likely) {
-	NULLIFY_NIA ();
+	NULLIFY_NEXT_INSTRUCTION ();
       }
     }
   }
@@ -3604,8 +3604,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + op2);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + op2);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressLoad();
@@ -3639,8 +3639,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-   unsigned64 vaddr = ((unsigned64)op1 + op2);
-   unsigned64 paddr;
+   address_word vaddr = ((unsigned64)op1 + op2);
+   address_word paddr;
    int uncached;
    if ((vaddr & 3) != 0)
     SignalExceptionAddressLoad();
@@ -4003,8 +4003,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + (unsigned64)op2);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + (unsigned64)op2);
+    address_word paddr;
     int uncached;
     if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
       Prefetch(uncached,paddr,vaddr,isDATA,fs);
@@ -4110,8 +4110,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + op2);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + op2);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressStore();
@@ -4200,8 +4200,8 @@
   signed_word op2 = GPR[((instruction >> 16) & 0x0000001F)];
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-   unsigned64 vaddr = ((unsigned64)op1 + op2);
-   unsigned64 paddr;
+   address_word vaddr = ((unsigned64)op1 + op2);
+   address_word paddr;
    int uncached;
    if ((vaddr & 3) != 0)
     SignalExceptionAddressStore();
@@ -4344,8 +4344,8 @@
   int hint = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = (op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = (op1 + offset);
+    address_word paddr;
     int uncached;
     if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
       CacheOp(hint,vaddr,paddr,instruction);
@@ -4460,6 +4460,11 @@
 // to http://www.sgi.com/MIPS/arch/MIPS16/mips16.pdf.
 
 
+// FIXME: Instead of having the code for mips16 instructions here.
+// these instructions should instead call the corresponding 32bit
+// instruction (or a function implementing that instructions code).
+
+
 // Load and Store Instructions
 
 
@@ -4488,8 +4493,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -4536,8 +4541,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
@@ -4585,8 +4590,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 1) != 0)
       SignalExceptionAddressLoad();
@@ -4637,8 +4642,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 1) != 0)
       SignalExceptionAddressLoad();
@@ -4689,8 +4694,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -4738,8 +4743,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -4788,8 +4793,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -4840,8 +4845,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressLoad();
@@ -4892,8 +4897,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressLoad();
@@ -4939,8 +4944,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressLoad();
@@ -4987,8 +4992,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressLoad();
@@ -5037,8 +5042,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     {
       if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
@@ -5089,8 +5094,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 1) != 0)
       SignalExceptionAddressStore();
@@ -5144,8 +5149,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressStore();
@@ -5194,8 +5199,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressStore();
@@ -5242,8 +5247,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 3) != 0)
       SignalExceptionAddressStore();
@@ -5294,8 +5299,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressStore();
@@ -5340,8 +5345,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressStore();
@@ -5384,8 +5389,8 @@
   if (have_extendval)
     SignalException (ReservedInstruction, instruction);
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 7) != 0)
       SignalExceptionAddressStore();
@@ -6827,7 +6832,7 @@
   unsigned32 instruction = instruction_0;
   unsigned_word op1 = (instruction >> 0) & 0x7ff;
   {
-    unsigned64 paddr;
+    address_word paddr;
     int uncached;
     if (AddressTranslation (PC &~ (unsigned64) 1, isINSTRUCTION, isLOAD, &paddr, &uncached, isTARGET, isREAL))
       {
@@ -6857,7 +6862,7 @@
        so we just truncate it to 32 bits here.  */
     op1 = VL4_8(op1);
     /* NOTE: The jump occurs AFTER the next instruction has been executed */
-    DSPC = op1;
+    DELAY_SLOT op1;
     JALDELAYSLOT();
   }
 }
@@ -6878,7 +6883,7 @@
        so we just truncate it to 32 bits here.  */
     op1 = VL4_8(op1);
     /* NOTE: The jump occurs AFTER the next instruction has been executed */
-    DSPC = op1;
+    DELAY_SLOT op1;
     DELAYSLOT();
   }
 }
@@ -6897,7 +6902,7 @@
        so we just truncate it to 32 bits here.  */
     op1 = VL4_8(op1);
     /* NOTE: The jump occurs AFTER the next instruction has been executed */
-    DSPC = op1;
+    DELAY_SLOT op1;
     DELAYSLOT();
   }
 }
@@ -6920,7 +6925,7 @@
        so we just truncate it to 32 bits here.  */
     op1 = VL4_8(op1);
     /* NOTE: The jump occurs AFTER the next instruction has been executed */
-    DSPC = op1;
+    DELAY_SLOT op1;
     DELAYSLOT();
   }
 }
@@ -7207,7 +7212,7 @@
        so we just truncate it to 32 bits here.  */
     op1 = VL4_8(op1);
     /* NOTE: The jump occurs AFTER the next instruction has been executed */
-    DSPC = op1;
+    DELAY_SLOT op1;
     /* JALDELAYSLOT(); FIXME */
   }
 }
@@ -7222,8 +7227,8 @@
   int destreg = ((instruction >> 16) & 0x0000001F);
   signed_word op1 = GPR[((instruction >> 21) & 0x0000001F)];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 15) != 0)
       SignalExceptionAddressLoad();
@@ -9581,8 +9586,8 @@
   signed_word rt_reg = GPR[RT];
   signed_word rt_reg1 = GPR1[RT];
   {
-    unsigned64 vaddr = ((unsigned64)op1 + offset);
-    unsigned64 paddr;
+    address_word vaddr = ((unsigned64)op1 + offset);
+    address_word paddr;
     int uncached;
     if ((vaddr & 15) != 0)
       SignalExceptionAddressStore();