MESI_CMP_directory: bug fix for old PUTX requests

diff --git a/src/mem/protocol/MESI_CMP_directory-L2cache.sm b/src/mem/protocol/MESI_CMP_directory-L2cache.sm
index 4739451b1b0f635c72eec3c35c89dc581f4ef499..8a8f62314d5e27258f9e716d78d906dc60e850d9 100644 (file)
--- a/src/mem/protocol/MESI_CMP_directory-L2cache.sm
+++ b/src/mem/protocol/MESI_CMP_directory-L2cache.sm
@@ -746,7 +746,7 @@ machine(L2Cache, "MESI Directory L2 Cache CMP")
     jj_popL1RequestQueue;
   }
 
-  transition({NP, SS, M, MT, M_I, MT_I, MCT_I, I_I, S_I, IS, ISS, IM, SS_MB, MT_MB, M_MB, MT_IIB, MT_IB, MT_SB}, L1_PUTX_old) {
+  transition({NP, SS, M, MT, M_I, MT_I, MCT_I, I_I, S_I, IS, ISS, IM, SS_MB, M_MB, MT_IIB, MT_IB, MT_SB}, L1_PUTX_old) {
     jj_popL1RequestQueue;
   }
 
@@ -1037,7 +1037,7 @@ machine(L2Cache, "MESI Directory L2 Cache CMP")
   //}
 
   // possible race between unblock and immediate replacement
-  transition(MT_MB, L1_PUTX) {
+  transition(MT_MB, {L1_PUTX, L1_PUTX_old}) {
     zz_recycleL1RequestQueue;
   }