sim: standardize move-if-change rules
[binutils-gdb.git] / sim / mips / sim-main.c
index 9e2ea40f94eb855b0a6ef26207acd659521c5ef8..24e16029d22e6ab8a143e32f81013603d1ba2134 100644 (file)
@@ -2,7 +2,7 @@
 
     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,
@@ -11,8 +11,7 @@
     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/>.
 
     */
 
 #ifndef SIM_MAIN_C
 #define SIM_MAIN_C
 
+/* This must come before any other includes.  */
+#include "defs.h"
+
 #include "sim-main.h"
 #include "sim-assert.h"
 
-#if !(WITH_IGEN)
-#define SIM_MANIFESTS
-#include "oengine.c"
-#undef SIM_MANIFESTS
-#endif
-
+#include <stdlib.h>
 
 /*---------------------------------------------------------------------------*/
 /*-- simulator engine -------------------------------------------------------*/
 /*---------------------------------------------------------------------------*/
 
-/* start-sanitize-sky */
-#ifdef TARGET_SKY
-
-/* Description from page A-22 of the "MIPS IV Instruction Set" manual
-   (revision 3.1) */
-
-/* Translate a virtual address to a physical address and cache
-   coherence algorithm describing the mechanism used to resolve the
-   memory reference. Given the virtual address vAddr, and whether the
-   reference is to Instructions ot Data (IorD), find the corresponding
-   physical address (pAddr) and the cache coherence algorithm (CCA)
-   used to resolve the reference. If the virtual address is in one of
-   the unmapped address spaces the physical address and the CCA are
-   determined directly by the virtual address. If the virtual address
-   is in one of the mapped address spaces then the TLB is used to
-   determine the physical address and access type; if the required
-   translation is not present in the TLB or the desired access is not
-   permitted the function fails and an exception is taken.
-
-   NOTE: Normally (RAW == 0), when address translation fails, this
-   function raises an exception and does not return. */
-
-/* This implementation is for the MIPS R4000 family.  See MIPS RISC 
-   Architecture, Kane & Heinrich, Chapter 4.  It is no good for any
-   of the 2000, 3000, or 6000 family. 
-
-   One possible error in the K&H book of note.  K&H has the PFN entry 
-   in the TLB as being 24 bits.  The high-order 4 bits would seem to be 
-   unused, as the PFN is only 20-bits long.  The 5900 manual shows
-   this as a 20-bit field.  At any rate, the high order 4 bits are
-   unused. 
-*/
-
-
-
-/* A place to remember the last cache hit.  */
-static r4000_tlb_entry_t *last_hit = 0;
-
-/* Try to match a single TLB entry.  Three possibilities.
-   1.  No match, returns 0
-   2.  Match w/o exception, pAddr and CCA set, returns 1
-   3.  Match w/ exception, in which case tlb_try_match does not return.
-*/
-INLINE_SIM_MAIN (int)
-tlb_try_match (SIM_DESC SD, sim_cpu *CPU, address_word cia, r4000_tlb_entry_t * entry, unsigned32 asid, unsigned32 vAddr, address_word * pAddr, int *CCA, int LorS)
-{
-  unsigned32 page_mask, vpn2_mask;
-  page_mask = (entry->mask & 0x01ffe000);
-  vpn2_mask = ~(page_mask | 0x00001fff);
-
-  if ((vAddr & vpn2_mask) == (entry->hi & vpn2_mask)
-      && ((entry->hi & TLB_HI_ASID_MASK) == asid
-         || (entry->hi & TLB_HI_G_MASK) != 0))
-    {
-      /* OK.  Now, do we match lo0, or lo1? */
-      unsigned32 offset_mask, vpn_lo_mask, vpn_mask, lo;
-
-      offset_mask = (page_mask >> 1) | 0xfff;
-      vpn_lo_mask = offset_mask + 1;
-      vpn_mask = ~(offset_mask);
-
-      ASSERT(vpn_lo_mask == (-vpn2_mask) >> 1);
-      ASSERT(vpn_mask ^ vpn_lo_mask == vpn2_mask);
-
-      if ((vAddr & vpn_lo_mask) == 0)
-       {
-         lo = entry->lo0;
-       }
-      else
-       {
-         lo = entry->lo1;
-       }
-
-      /* Warn upon attempted use of scratchpad RAM */
-      if(entry->lo0 & TLB_LO_S_MASK)
-       {
-         sim_io_printf(SD,
-                       "Warning: no scratchpad RAM: virtual 0x%08x maps to physical 0x%08x.\n", 
-                       vAddr, (vAddr & offset_mask));
-
-         /* act as if this is a valid, read/write page. */ 
-         lo = TLB_LO_V_MASK | TLB_LO_D_MASK;
-
-         /* alternately, act as if this TLB entry is not a match */
-         /* return 0; */
-       }
-
-      if ((lo & TLB_LO_V_MASK) == 0)
-       {
-          COP0_BADVADDR = vAddr;
-         COP0_CONTEXT_set_BADVPN2((vAddr & 0xffffe) >> 19);    /* Top 19 bits */
-         COP0_ENTRYHI = (vAddr & 0xffffe) | asid;
-         COP0_RANDOM = rand()%(TLB_SIZE - COP0_WIRED) + COP0_WIRED;
-         if (LorS == isLOAD)
-           SignalExceptionTLBInvalidLoad ();
-         else
-           SignalExceptionTLBInvalidStore ();
-         ASSERT(0);    /* Signal should never return.  */
-       }
-
-      if ((lo & TLB_LO_D_MASK) == 0 && (LorS == isSTORE))
-       {
-          COP0_BADVADDR = vAddr;
-         COP0_CONTEXT_set_BADVPN2((vAddr & 0xffffe) >> 19);    /* Top 19 bits */
-         COP0_ENTRYHI = (vAddr & 0xffffe) | asid;
-         COP0_RANDOM = rand()%(TLB_SIZE - COP0_WIRED) + COP0_WIRED;
-         SignalExceptionTLBModification ();    
-         ASSERT(0);    /* Signal should never return.  */
-       }
-
-      /* Ignore lo.C rule for Cache access */
-
-      *pAddr = (((lo & 0x03ffffc0) << 6) & (~offset_mask)) + (vAddr & offset_mask);
-      *CCA = Uncached;         /* FOR NOW, no CCA support. */
-
-      last_hit = entry;                /* Remember last hit. */
-
-      return 1;                        /* Match */
-    }
-
-  return 0;                    /* No Match */
-}
-
-static void 
-dump_tlb(SIM_DESC SD, sim_cpu *CPU, address_word cia) {
-
-  int i;
-  /* Now linear search for a match.  */
-
-  for (i = 0; i < TLB_SIZE; i++)
-    {
-      sim_io_eprintf(SD, "%2d: %08x %08x %08x %08x\n", i, TLB[i].mask, TLB[i].hi,
-               TLB[i].lo0, TLB[i].lo1);
-    }
-}
-
-
-INLINE_SIM_MAIN (void)
-tlb_lookup (SIM_DESC SD, sim_cpu * CPU, address_word cia, unsigned32 vAddr, address_word * pAddr, int *CCA, int LorS)
-{
-  r4000_tlb_entry_t *p;
-  unsigned32 asid;
-  int rc;
-
-  asid = COP0_ENTRYHI & 0x000000ff;
-
-  /* Test last hit first.  More code, but probably faster on average. */
-  if (last_hit)
-    {
-      if (tlb_try_match (SD, CPU, cia, last_hit, asid, vAddr, pAddr, CCA, LorS))
-       return;
-    }
-
-  /* Now linear search for a match.  */
-  for (p = &TLB[0]; p < &TLB[TLB_SIZE]; p++)
-    {
-      if (tlb_try_match (SD, CPU, cia, p, asid, vAddr, pAddr, CCA, LorS))
-       return;
-    }
-
-  /* No match, raise a TLB refill exception. */
-  COP0_BADVADDR = vAddr;
-  COP0_CONTEXT_set_BADVPN2((vAddr & 0xffffe) >> 19);   /* Top 19 bits */
-  COP0_ENTRYHI = (vAddr & 0xffffe) | asid;
-  COP0_RANDOM = rand()%(TLB_SIZE - COP0_WIRED) + COP0_WIRED;
-
-#if 0
-sim_io_eprintf(SD, "TLB Refill exception at address 0x%0x\n", vAddr);
-dump_tlb(SD, CPU, cia);
-#endif
-
-  if (LorS == isLOAD)
-    SignalExceptionTLBRefillLoad ();
-  else
-    SignalExceptionTLBRefillStore ();
-  ASSERT(0);   /* Signal should never return.  */
-}
-
-
-INLINE_SIM_MAIN (int)
-address_translation (SIM_DESC SD,
-                    sim_cpu * CPU,
-                    address_word cia,
-                    address_word vAddr,
-                    int IorD,
-                    int LorS,
-                    address_word * pAddr,
-                    int *CCA,
-                    int raw)
-{
-  unsigned32 operating_mode;
-  unsigned32 asid, vpn, offset, offset_bits;
-
-#ifdef DEBUG
-  sim_io_printf (sd, "AddressTranslation(0x%s,%s,%s,...);\n", pr_addr (vAddr), (IorD ? "isDATA" : "isINSTRUCTION"), (LorS ? "iSTORE" : "isLOAD"));
-#endif
-
-  vAddr &= 0xFFFFFFFF;
-
-  /* Determine operating mode.  */
-  operating_mode = SR_KSU;
-  if (SR & status_ERL || SR & status_EXL)
-    operating_mode = ksu_kernel;
-
-  switch (operating_mode)
-    {
-    case ksu_unknown:
-      sim_io_eprintf (SD, "Invalid operating mode SR.KSU == 0x3.  Treated as 0x0.\n");
-      operating_mode = ksu_kernel;
-      /* Fall-through */
-    case ksu_kernel:
-      /* Map and return for kseg0 and kseg1. */
-      if ((vAddr & 0xc0000000) == 0x80000000)
-       {
-         ASSERT (0x80000000 <= vAddr && vAddr < 0xc0000000);
-         if (vAddr < 0xa0000000)
-           {
-             /* kseg0: Unmapped, Cached */
-             *pAddr = vAddr - 0x80000000;
-             *CCA = Uncached;  /* For now, until cache model is supported. */
-             return -1;
-           }
-         else
-           {
-             /* kseg1: Unmapped, Uncached */
-             *pAddr = vAddr - 0xa0000000;
-             *CCA = Uncached;
-             return -1;
-           }
-       }
-      break;
-
-    case ksu_supervisor:
-      {
-       /* Address error for 0x80000000->0xbfffffff and 0xe00000000->0xffffffff.  */
-       unsigned32 top_three = vAddr & 0xe0000000;
-       if (top_three != 0x00000000 && top_three != 0xc0000000)
-         {
-           if (LorS == isLOAD)
-             SignalExceptionAddressLoad ();
-           else
-             SignalExceptionAddressStore ();
-           ASSERT(0);  /* Signal should never return.  */
-         }
-      }
-      break;
-
-    case ksu_user:
-      {
-       if (vAddr & 0x80000000)
-         {
-           if (LorS == isLOAD)
-             SignalExceptionAddressLoad ();
-           else
-             SignalExceptionAddressStore ();
-           ASSERT(0);  /* Signal should never return.  */
-         }
-      }
-      break;
-
-    default:
-      ASSERT(0);
-    }
-
-  /* OK.  If we got this far, we're ready to use the normal virtual->physical memory mapping.  */
-  tlb_lookup (SD, CPU, cia, vAddr, pAddr, CCA, LorS);
-
-  /* If the preceding call returns, a match was found, and CCA and pAddr have been set.  */
-  return -1;
-}
-
-#else /* TARGET_SKY */
-/* end-sanitize-sky */
-
-/* Description from page A-22 of the "MIPS IV Instruction Set" manual
-   (revision 3.1) */
-/* Translate a virtual address to a physical address and cache
-   coherence algorithm describing the mechanism used to resolve the
-   memory reference. Given the virtual address vAddr, and whether the
-   reference is to Instructions ot Data (IorD), find the corresponding
-   physical address (pAddr) and the cache coherence algorithm (CCA)
-   used to resolve the reference. If the virtual address is in one of
-   the unmapped address spaces the physical address and the CCA are
-   determined directly by the virtual address. If the virtual address
-   is in one of the mapped address spaces then the TLB is used to
-   determine the physical address and access type; if the required
-   translation is not present in the TLB or the desired access is not
-   permitted the function fails and an exception is taken.
-
-   NOTE: Normally (RAW == 0), when address translation fails, this
-   function raises an exception and does not return. */
-
-INLINE_SIM_MAIN
-(int)
-address_translation (SIM_DESC sd,
-                    sim_cpu * cpu,
-                    address_word cia,
-                    address_word vAddr,
-                    int IorD,
-                    int LorS,
-                    address_word * pAddr,
-                    int *CCA,
-                    int raw)
-{
-  int res = -1;                        /* TRUE : Assume good return */
-
-#ifdef DEBUG
-  sim_io_printf (sd, "AddressTranslation(0x%s,%s,%s,...);\n", pr_addr (vAddr), (IorD ? "isDATA" : "isINSTRUCTION"), (LorS ? "iSTORE" : "isLOAD"));
-#endif
-
-  /* Check that the address is valid for this memory model */
-
-  /* For a simple (flat) memory model, we simply pass virtual
-     addressess through (mostly) unchanged. */
-  vAddr &= 0xFFFFFFFF;
-
-  *pAddr = vAddr;              /* default for isTARGET */
-  *CCA = Uncached;             /* not used for isHOST */
-
-  return (res);
-}
-
-/* start-sanitize-sky */
-#endif /* !TARGET_SKY */
-/* end-sanitize-sky */
-
-
-/* Description from page A-23 of the "MIPS IV Instruction Set" manual
-   (revision 3.1) */
-/* Prefetch data from memory. Prefetch is an advisory instruction for
-   which an implementation specific action is taken. The action taken
-   may increase performance, but must not change the meaning of the
-   program, or alter architecturally-visible state. */
-
-INLINE_SIM_MAIN (void)
-prefetch (SIM_DESC sd,
-         sim_cpu *cpu,
-         address_word cia,
-         int CCA,
-         address_word pAddr,
-         address_word vAddr,
-         int DATA,
-         int hint)
-{
-#ifdef DEBUG
-  sim_io_printf(sd,"Prefetch(%d,0x%s,0x%s,%d,%d);\n",CCA,pr_addr(pAddr),pr_addr(vAddr),DATA,hint);
-#endif /* DEBUG */
-
-  /* For our simple memory model we do nothing */
-  return;
-}
 
 /* Description from page A-22 of the "MIPS IV Instruction Set" manual
    (revision 3.1) */
@@ -426,16 +72,6 @@ load_memory (SIM_DESC SD,
     sim_io_eprintf(sd,"LoadMemory CCA (%d) is not uncached (currently all accesses treated as cached)\n",CCA);
 #endif /* WARN_MEM */
 
-#if !(WITH_IGEN)
-  /* IGEN performs this test in ifetch16() / ifetch32() */
-  /* If instruction fetch then we need to check that the two lo-order
-     bits are zero, otherwise raise a InstructionFetch exception: */
-  if ((IorD == isINSTRUCTION)
-      && ((pAddr & 0x3) != 0)
-      && (((pAddr & 0x1) != 0) || ((vAddr & 0x1) == 0)))
-    SignalExceptionInstructionFetch ();
-#endif
-
   if (((pAddr & LOADDRMASK) + AccessLength) > LOADDRMASK)
     {
       /* In reality this should be a Bus Error */
@@ -445,9 +81,7 @@ load_memory (SIM_DESC SD,
                    pr_addr (pAddr));
     }
 
-#if defined(TRACE)
   dotrace (SD, CPU, tracefh,((IorD == isDATA) ? 0 : 2),(unsigned int)(pAddr&0xFFFFFFFF),(AccessLength + 1),"load%s",((IorD == isDATA) ? "" : " instruction"));
-#endif /* TRACE */
   
   /* Read the specified number of bytes from memory.  Adjust for
      host/target byte ordering/ Align the least significant byte
@@ -455,44 +89,36 @@ load_memory (SIM_DESC SD,
 
   switch (AccessLength)
     {
-    case AccessLength_QUADWORD :
+    case AccessLength_QUADWORD:
       {
-       unsigned_16 val = sim_core_read_aligned_16 (CPU, NULL_CIA, read_map, pAddr);
+       unsigned_16 val = sim_core_read_aligned_16 (CPU, cia, read_map, pAddr);
        value1 = VH8_16 (val);
        value = VL8_16 (val);
        break;
       }
-    case AccessLength_DOUBLEWORD :
-      value = sim_core_read_aligned_8 (CPU, NULL_CIA,
-                                      read_map, pAddr);
+    case AccessLength_DOUBLEWORD:
+      value = sim_core_read_aligned_8 (CPU, cia, read_map, pAddr);
       break;
-    case AccessLength_SEPTIBYTE :
-      value = sim_core_read_misaligned_7 (CPU, NULL_CIA,
-                                         read_map, pAddr);
+    case AccessLength_SEPTIBYTE:
+      value = sim_core_read_misaligned_7 (CPU, cia, read_map, pAddr);
       break;
-    case AccessLength_SEXTIBYTE :
-      value = sim_core_read_misaligned_6 (CPU, NULL_CIA,
-                                         read_map, pAddr);
+    case AccessLength_SEXTIBYTE:
+      value = sim_core_read_misaligned_6 (CPU, cia, read_map, pAddr);
       break;
-    case AccessLength_QUINTIBYTE :
-      value = sim_core_read_misaligned_5 (CPU, NULL_CIA,
-                                         read_map, pAddr);
+    case AccessLength_QUINTIBYTE:
+      value = sim_core_read_misaligned_5 (CPU, cia, read_map, pAddr);
       break;
-    case AccessLength_WORD :
-      value = sim_core_read_aligned_4 (CPU, NULL_CIA,
-                                      read_map, pAddr);
+    case AccessLength_WORD:
+      value = sim_core_read_aligned_4 (CPU, cia, read_map, pAddr);
       break;
-    case AccessLength_TRIPLEBYTE :
-      value = sim_core_read_misaligned_3 (CPU, NULL_CIA,
-                                         read_map, pAddr);
+    case AccessLength_TRIPLEBYTE:
+      value = sim_core_read_misaligned_3 (CPU, cia, read_map, pAddr);
       break;
-    case AccessLength_HALFWORD :
-      value = sim_core_read_aligned_2 (CPU, NULL_CIA,
-                                      read_map, pAddr);
+    case AccessLength_HALFWORD:
+      value = sim_core_read_aligned_2 (CPU, cia, read_map, pAddr);
       break;
-    case AccessLength_BYTE :
-      value = sim_core_read_aligned_1 (CPU, NULL_CIA,
-                                      read_map, pAddr);
+    case AccessLength_BYTE:
+      value = sim_core_read_aligned_1 (CPU, cia, read_map, pAddr);
       break;
     default:
       abort ();
@@ -565,9 +191,7 @@ store_memory (SIM_DESC SD,
                  (LOADDRMASK + 1) << 3,
                  pr_addr(pAddr));
   
-#if defined(TRACE)
   dotrace (SD, CPU, tracefh,1,(unsigned int)(pAddr&0xFFFFFFFF),(AccessLength + 1),"store");
-#endif /* TRACE */
   
 #ifdef DEBUG
   printf("DBG: StoreMemory: offset = %d MemElem = 0x%s%s\n",(unsigned int)(pAddr & LOADDRMASK),pr_uword64(MemElem1),pr_uword64(MemElem));
@@ -592,43 +216,35 @@ store_memory (SIM_DESC SD,
   
   switch (AccessLength)
     {
-    case AccessLength_QUADWORD :
+    case AccessLength_QUADWORD:
       {
        unsigned_16 val = U16_8 (MemElem1, MemElem);
-       sim_core_write_aligned_16 (CPU, NULL_CIA, write_map, pAddr, val);
+       sim_core_write_aligned_16 (CPU, cia, write_map, pAddr, val);
        break;
       }
-    case AccessLength_DOUBLEWORD :
-      sim_core_write_aligned_8 (CPU, NULL_CIA,
-                               write_map, pAddr, MemElem);
+    case AccessLength_DOUBLEWORD:
+      sim_core_write_aligned_8 (CPU, cia, write_map, pAddr, MemElem);
       break;
-    case AccessLength_SEPTIBYTE :
-      sim_core_write_misaligned_7 (CPU, NULL_CIA,
-                                  write_map, pAddr, MemElem);
+    case AccessLength_SEPTIBYTE:
+      sim_core_write_misaligned_7 (CPU, cia, write_map, pAddr, MemElem);
       break;
-    case AccessLength_SEXTIBYTE :
-      sim_core_write_misaligned_6 (CPU, NULL_CIA,
-                                  write_map, pAddr, MemElem);
+    case AccessLength_SEXTIBYTE:
+      sim_core_write_misaligned_6 (CPU, cia, write_map, pAddr, MemElem);
       break;
-    case AccessLength_QUINTIBYTE :
-      sim_core_write_misaligned_5 (CPU, NULL_CIA,
-                                  write_map, pAddr, MemElem);
+    case AccessLength_QUINTIBYTE:
+      sim_core_write_misaligned_5 (CPU, cia, write_map, pAddr, MemElem);
       break;
-    case AccessLength_WORD :
-      sim_core_write_aligned_4 (CPU, NULL_CIA,
-                               write_map, pAddr, MemElem);
+    case AccessLength_WORD:
+      sim_core_write_aligned_4 (CPU, cia, write_map, pAddr, MemElem);
       break;
-    case AccessLength_TRIPLEBYTE :
-      sim_core_write_misaligned_3 (CPU, NULL_CIA,
-                                  write_map, pAddr, MemElem);
+    case AccessLength_TRIPLEBYTE:
+      sim_core_write_misaligned_3 (CPU, cia, write_map, pAddr, MemElem);
       break;
-    case AccessLength_HALFWORD :
-      sim_core_write_aligned_2 (CPU, NULL_CIA,
-                               write_map, pAddr, MemElem);
+    case AccessLength_HALFWORD:
+      sim_core_write_aligned_2 (CPU, cia, write_map, pAddr, MemElem);
       break;
-    case AccessLength_BYTE :
-      sim_core_write_aligned_1 (CPU, NULL_CIA,
-                               write_map, pAddr, MemElem);
+    case AccessLength_BYTE:
+      sim_core_write_aligned_1 (CPU, cia, write_map, pAddr, MemElem);
       break;
     default:
       abort ();
@@ -650,15 +266,13 @@ ifetch32 (SIM_DESC SD,
   address_word reverseendian = (ReverseEndian ? (mask ^ access) : 0);
   address_word bigendiancpu = (BigEndianCPU ? (mask ^ access) : 0);
   unsigned int byte;
-  address_word paddr;
-  int uncached;
+  address_word paddr = vaddr;
   unsigned64 memval;
 
   if ((vaddr & access) != 0)
     SignalExceptionInstructionFetch ();
-  AddressTranslation (vaddr, isINSTRUCTION, isLOAD, &paddr, &uncached, isTARGET, isREAL);
   paddr = ((paddr & ~mask) | ((paddr & mask) ^ reverseendian));
-  LoadMemory (&memval, NULL, uncached, access, paddr, vaddr, isINSTRUCTION, isREAL);
+  LoadMemory (&memval, NULL, access, paddr, vaddr, isINSTRUCTION, isREAL);
   byte = ((vaddr & mask) ^ bigendiancpu);
   return (memval >> (8 * byte));
 }
@@ -676,15 +290,13 @@ ifetch16 (SIM_DESC SD,
   address_word reverseendian = (ReverseEndian ? (mask ^ access) : 0);
   address_word bigendiancpu = (BigEndianCPU ? (mask ^ access) : 0);
   unsigned int byte;
-  address_word paddr;
-  int uncached;
+  address_word paddr = vaddr;
   unsigned64 memval;
 
   if ((vaddr & access) != 0)
     SignalExceptionInstructionFetch ();
-  AddressTranslation (vaddr, isINSTRUCTION, isLOAD, &paddr, &uncached, isTARGET, isREAL);
   paddr = ((paddr & ~mask) | ((paddr & mask) ^ reverseendian));
-  LoadMemory (&memval, NULL, uncached, access, paddr, vaddr, isINSTRUCTION, isREAL);
+  LoadMemory (&memval, NULL, access, paddr, vaddr, isINSTRUCTION, isREAL);
   byte = ((vaddr & mask) ^ bigendiancpu);
   return (memval >> (8 * byte));
 }
@@ -755,6 +367,7 @@ cache_op (SIM_DESC SD,
       break;
 
     case 1: /* data cache */
+    case 3: /* secondary data cache */
       switch (op >> 2) {
         case 0: /* Index Writeback Invalidate */
         case 1: /* Index Load Tag */
@@ -791,7 +404,7 @@ pending_tick (SIM_DESC SD,
              address_word cia)
 {
   if (PENDING_TRACE)                                                   
-    sim_io_printf (SD, "PENDING_DRAIN - pending_in = %d, pending_out = %d, pending_total = %d\n", PENDING_IN, PENDING_OUT, PENDING_TOTAL); 
+    sim_io_eprintf (SD, "PENDING_DRAIN - 0x%lx - pending_in = %d, pending_out = %d, pending_total = %d\n", (unsigned long) cia, PENDING_IN, PENDING_OUT, PENDING_TOTAL); 
   if (PENDING_OUT != PENDING_IN)                                       
     {                                                                  
       int loop;                                                        
@@ -799,17 +412,26 @@ pending_tick (SIM_DESC SD,
       int total = PENDING_TOTAL;                                       
       if (PENDING_TOTAL == 0)                                          
        sim_engine_abort (SD, CPU, cia, "PENDING_DRAIN - Mis-match on pending update pointers\n"); 
-      for (loop = 0; (loop < total); loop++)                           
+      for (loop = 0, index = PENDING_OUT;
+          (loop < total);
+          loop++, index = (index + 1) % PSLOTS)
        {                                                               
          if (PENDING_SLOT_DEST[index] != NULL)                 
            {                                                           
              PENDING_SLOT_DELAY[index] -= 1;                           
              if (PENDING_SLOT_DELAY[index] == 0)                       
                {                                                       
+                 if (PENDING_TRACE)
+                   sim_io_eprintf (SD, "PENDING_DRAIN - drained - index %d, dest 0x%lx, bit %d, val 0x%lx, size %d\n",
+                                   index,
+                                   (unsigned long) PENDING_SLOT_DEST[index],
+                                   PENDING_SLOT_BIT[index],
+                                   (unsigned long) PENDING_SLOT_VALUE[index],
+                                   PENDING_SLOT_SIZE[index]);
                  if (PENDING_SLOT_BIT[index] >= 0)                     
                    switch (PENDING_SLOT_SIZE[index])                 
                      {                                         
-                     case 32:                                  
+                     case 4:
                        if (PENDING_SLOT_VALUE[index])          
                          *(unsigned32*)PENDING_SLOT_DEST[index] |=     
                            BIT32 (PENDING_SLOT_BIT[index]);            
@@ -817,7 +439,7 @@ pending_tick (SIM_DESC SD,
                          *(unsigned32*)PENDING_SLOT_DEST[index] &=     
                            BIT32 (PENDING_SLOT_BIT[index]);            
                        break;                                  
-                     case 64:                                  
+                     case 8:                                   
                        if (PENDING_SLOT_VALUE[index])          
                          *(unsigned64*)PENDING_SLOT_DEST[index] |=     
                            BIT64 (PENDING_SLOT_BIT[index]);            
@@ -825,30 +447,36 @@ pending_tick (SIM_DESC SD,
                          *(unsigned64*)PENDING_SLOT_DEST[index] &=     
                            BIT64 (PENDING_SLOT_BIT[index]);            
                        break;                                  
-                       break;                                  
                      }
                  else
                    switch (PENDING_SLOT_SIZE[index])                 
                      {                                         
-                     case 32:                                  
+                     case 4:                                   
                        *(unsigned32*)PENDING_SLOT_DEST[index] =        
                          PENDING_SLOT_VALUE[index];                    
                        break;                                  
-                     case 64:                                  
+                     case 8:                                   
                        *(unsigned64*)PENDING_SLOT_DEST[index] =        
                          PENDING_SLOT_VALUE[index];                    
                        break;                                  
                      }                                                 
+                 if (PENDING_OUT == index)
+                   {
+                     PENDING_SLOT_DEST[index] = NULL;
+                     PENDING_OUT = (PENDING_OUT + 1) % PSLOTS;
+                     PENDING_TOTAL--;
+                   }
                }                                                       
-             if (PENDING_OUT == index)                         
-               {                                                       
-                 PENDING_SLOT_DEST[index] = NULL;                      
-                 PENDING_OUT = (PENDING_OUT + 1) % PSLOTS;             
-                 PENDING_TOTAL--;                                      
-               }                                                       
+             else if (PENDING_TRACE && PENDING_SLOT_DELAY[index] > 0)
+               sim_io_eprintf (SD, "PENDING_DRAIN - queued - index %d, delay %d, dest 0x%lx, bit %d, val 0x%lx, size %d\n",
+                               index, PENDING_SLOT_DELAY[index],
+                               (unsigned long) PENDING_SLOT_DEST[index],
+                               PENDING_SLOT_BIT[index],
+                               (unsigned long) PENDING_SLOT_VALUE[index],
+                               PENDING_SLOT_SIZE[index]);
+
            }                                                           
        }                                                               
-      index = (index + 1) % PSLOTS;                                    
     }                                                                  
 }