Merge branch 'feature/mips/bltz' into feature/mips/lbu

o1-labs · Dec 6, 2023 · 84af145 · 84af145
2 parents e8840d6 + b39a95e
commit 84af145
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/optimism/src/mips/interpreter.rs b/optimism/src/mips/interpreter.rs
@@ -957,7 +957,7 @@ pub fn interpret_itype<Env: InterpreterEnv>(env: &mut Env, instr: ITypeInstructi
                 unsafe { env.test_less_than_signed(&rs, &Env::constant(0), pos) }
             };
             let offset =
-                less_than.clone() * Env::constant(4) + (Env::constant(1) - less_than) * offset;
+                (Env::constant(1) - less_than.clone()) * Env::constant(4) + less_than * offset;
             let addr = {
                 let pos = env.alloc_scratch();
                 env.copy(&(next_instruction_pointer.clone() + offset), pos)