Changeset 12

Timestamp:

Apr 8, 2010, 3:41:11 AM (15 years ago)

Author:

gao

Message:

bug correction

File:

• trunk/modules/vci_cc_vcache_wrapper2_v1/caba/source/src/vci_cc_vcache_wrapper2_v1.cpp (modified) (15 diffs)

trunk/modules/vci_cc_vcache_wrapper2_v1/caba/source/src/vci_cc_vcache_wrapper2_v1.cpp

@@ -1067 +1067 @@
                 r_itlb_read_dcache_req = true;
                 r_icache_vaddr_req = ireq.addr;
+                r_itlb_k_read_dcache   = true;
                 r_icache_fsm = ICACHE_TLB2_READ;
                 m_cpt_ins_tlb_miss++;
@@ -1667 +1668 @@
         if ( r_tgt_icache_req )
         {
-            r_tgt_icache_req = false;
+            r_icache_fsm = ICACHE_CC_INVAL;
+            r_icache_fsm_save = r_icache_fsm;
+            m_cost_ins_waste_wait_frz++;
+            break;
         }
 
@@ -1727 +1731 @@
     {   
         if ( ireq.valid ) m_cost_ins_waste_wait_frz++;
+        // external cache invalidate request
+        if ( r_tgt_icache_req )
+        {
+            r_icache_fsm = ICACHE_CC_INVAL;
+            r_icache_fsm_save = r_icache_fsm;
+            m_cost_ins_waste_wait_frz++;
+            break;
+        }
 
         paddr_t ipaddr = 0;                     
@@ -1755 +1767 @@
     ////////////////////////
     case ICACHE_CACHE_INVAL_PA:
-    {   
+    {
+        // external cache invalidate request
+        if ( r_tgt_icache_req )
+        {
+            r_icache_fsm = ICACHE_CC_INVAL;
+            r_icache_fsm_save = r_icache_fsm;
+            m_cost_ins_waste_wait_frz++;
+            break;
+        }
+        
         paddr_t ipaddr = (paddr_t)r_mmu_word_hi.read() << 32 | r_mmu_word_lo.read();
 
@@ -1989 +2010 @@
         else if (((r_icache_fsm_save == ICACHE_BIS)||(r_icache_fsm_save == ICACHE_MISS_WAIT) ||
                /* (r_icache_fsm_save == ICACHE_UNC_WAIT)||*/(r_icache_fsm_save == ICACHE_MISS_UPDT)) && 
-                (r_icache_tlb_nline.read() == r_dcache_itlb_inval_line.read()))
+                (r_icache_tlb_nline == r_dcache_itlb_inval_line))
         {
             r_icache_inval_tlb_rsp = true;
@@ -2190 +2211 @@
 
             bool itlb_hit_dcache = r_dcache.read(r_icache_paddr_save, &rsp_itlb_miss);
-            if ( (r_icache_fsm == ICACHE_TLB2_READ) && itlb_hit_dcache )
+            if ( r_itlb_k_read_dcache && itlb_hit_dcache )
             {   
+                r_itlb_k_read_dcache = false;
                 bool itlb_hit_ppn = r_dcache.read(r_icache_paddr_save.read()+4, &rsp_itlb_ppn);
                 assert(itlb_hit_ppn && "Address of pte[64-32] and pte[31-0] should be successive");
@@ -2533 +2555 @@
             else                    // using actual physical address for uncached access
             {
-                dcache_hit_c = ((tlb_dpaddr == (paddr_t)r_dcache_paddr_save) && r_dcache_buf_unc_valid ); 
-                dcache_rdata = r_dcache_miss_buf[0];
+                dcache_hit_c = false;
             }
 
@@ -2618 +2639 @@
                         if ( dcache_hit_c ) 
                         {
-                            r_dcache_buf_unc_valid = false;
                             r_dcache_fsm = DCACHE_IDLE;
                             drsp.valid = true;
@@ -3987 +4007 @@
     {
         // external cache invalidate request
-        if ( r_tgt_dcache_req )
-        {
-            r_tgt_dcache_req = false;
-        }   
-
+        if ( r_tgt_dcache_req )   
+        {
+            r_dcache_fsm = DCACHE_CC_CHECK;
+            r_dcache_fsm_save = r_dcache_fsm;
+            m_cost_data_waste_wait_frz++;
+            break;
+        }  
         size_t way = r_dcache_way;
         size_t set = r_dcache_set;
@@ -4057 +4079 @@
     case DCACHE_DCACHE_INVAL:
     {
+        // external cache invalidate request
+        if ( r_tgt_dcache_req )   
+        {
+            r_dcache_fsm = DCACHE_CC_CHECK;
+            r_dcache_fsm_save = r_dcache_fsm;
+            m_cost_data_waste_wait_frz++;
+            break;
+        }  
+
         m_cpt_dcache_dir_read += m_dcache_ways;
         vaddr_t invadr = dreq.wdata;
@@ -4105 +4136 @@
     case DCACHE_DCACHE_INVAL_PA:
     {
+        // external cache invalidate request
+        if ( r_tgt_dcache_req )   
+        {
+            r_dcache_fsm = DCACHE_CC_CHECK;
+            r_dcache_fsm_save = r_dcache_fsm;
+            m_cost_data_waste_wait_frz++;
+            break;
+        }  
         m_cpt_dcache_dir_read += m_dcache_ways;
         paddr_t dpaddr = (paddr_t)r_mmu_word_hi.read() << 32 | r_mmu_word_lo.read();
@@ -4300 +4339 @@
             if ( r_dcache_inval_tlb_rsp ) // Miss read response and tlb invalidation
             {
-                r_dcache_fsm = DCACHE_IDLE;
                 r_dcache_inval_tlb_rsp = false;
-                break;
             }
 
@@ -4330 +4367 @@
 
             }           
-            r_dcache_buf_unc_valid = true;
+            drsp.valid = true;
+            drsp.rdata = r_dcache_miss_buf[0];
             r_dcache_fsm = DCACHE_IDLE;
         }       
@@ -4801 +4839 @@
         if (((r_dcache_fsm_save == DCACHE_BIS)||(r_dcache_fsm_save == DCACHE_MISS_WAIT) ||
              (r_dcache_fsm_save == DCACHE_UNC_WAIT)||(r_dcache_fsm_save == DCACHE_MISS_UPDT)) && 
-             (r_dcache_tlb_nline.read() == r_dcache_dtlb_inval_line.read()))
+             (r_dcache_tlb_nline == r_dcache_dtlb_inval_line))
         {
             r_dcache_inval_tlb_rsp = true;
@@ -5644 +5682 @@
         }
         else
-        {                                    
+        {           
             p_vci_ini_c.address = r_dcache_cleanup_line.read() * (m_dcache_words<<2);
             p_vci_ini_c.trdid  = 0; // cleanup data