所在commit地址
@@ -137,8 +137,8 @@ contract MonolithicRiscV {
       mm.write(mmIndex, rd, bytes8(BitsManipulationLibrary.uint64_swapEndian(
         pc + uint64(RiscVDecoder.insn_U_imm(insn)))
       ));
-      emit Print("pc", uint(pc));
-      emit Print("ins_u_imm", uint(RiscVDecoder.insn_U_imm(insn)));
+     // emit Print("pc", uint(pc));
+     // emit Print("ins_u_imm", uint(RiscVDecoder.insn_U_imm(insn)));
     }
     return advance_to_next_insn();
   }
@@ -153,10 +153,10 @@ contract MonolithicRiscV {
     bool translateBool;
 
     //read_pc
-    vaddr = BitsManipulationLibrary.uint64_swapEndian(
+    pc = BitsManipulationLibrary.uint64_swapEndian(
       uint64(mm.read(mmIndex, ShadowAddresses.get_pc()))
     );
-    (translateBool, paddr) = translate_virtual_address(vaddr, RiscVConstants.PTE_XWR_CODE_SHIFT());
+    (translateBool, paddr) = translate_virtual_address(pc, RiscVConstants.PTE_XWR_CODE_SHIFT());
 
     //translate_virtual_address failed
     if(!translateBool){

message:

李蓝天:改动分类:原因:

刘志浩:改动分类:原因: