Fix fast VM storeMemUnaligned()

testinprod-io · Mar 27, 2024 · c038445 · c038445
1 parent 11f1cb9
commit c038445
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/rvgo/fast/vm.go b/rvgo/fast/vm.go
@@ -218,7 +218,7 @@ func (inst *InstrumentedState) riscvStep() (outErr error) {
 			inst.trackMemAccess(rightAddr, proofIndexR)
 		}
 		inst.verifyMemChange(rightAddr, proofIndexR)
-		s.Memory.SetUnaligned(addr, bytez[leftSize:size])
+		s.Memory.SetUnaligned(rightAddr, bytez[leftSize:size])
 	}
 
 	storeMem := func(addr U64, size U64, value U64, proofIndexL uint8, proofIndexR uint8, verifyL bool, verifyR bool) {

diff --git a/rvgo/test/syscall_test.go b/rvgo/test/syscall_test.go
@@ -422,7 +422,6 @@ func FuzzStateSyscallGetrlimit(f *testing.F) {
 
 	testGetrlimit := func(t *testing.T, addr, pc, step uint64) {
 		pc = pc & 0xFF_FF_FF_FF_FF_FF_FF_FC // align PC
-		addr = addr &^ 31
 		state := &fast.VMState{
 			PC:              pc,
 			Heap:            0,