diff --git a/src/engine/v3/V3Interpreter.v3 b/src/engine/v3/V3Interpreter.v3 index fd1465de4..cf7993cba 100644 --- a/src/engine/v3/V3Interpreter.v3 +++ b/src/engine/v3/V3Interpreter.v3 @@ -1206,8 +1206,6 @@ component V3Interpreter { var memarg = codeptr.read_MemArg(); var memory = frame.func.instance.memories[memarg.memory_index]; var index = popm(memory); - if (!u32.?(index)) return trap(TrapReason.MEM_OUT_OF_BOUNDS); - if (!u32.?(memarg.offset)) return trap(TrapReason.MEM_OUT_OF_BOUNDS); // Decode immediate var idx = codeptr.read1(); // Extract lane @@ -1222,7 +1220,7 @@ component V3Interpreter { val = view(high >> shift); } // Write to memory - var t = memory.range_oil_32(u32.!(memarg.offset), u32.!(index), size); + var t = memory.range_oil_64(memarg.offset, index, size); if (t.reason != TrapReason.NONE) trap(t.reason); else write(t.result, val); }