Danny's PR comments: remove unnecessary range check

o1-labs · Feb 3, 2025 · 683d308 · 683d308
1 parent 8c20397
commit 683d308
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/o1vm/src/interpreters/mips/interpreter.rs b/o1vm/src/interpreters/mips/interpreter.rs
@@ -998,7 +998,6 @@ pub fn interpret_noop<Env: InterpreterEnv>(env: &mut Env) {
         unsafe { env.bitmask(&instruction, 32, 26, pos) }
     };
 
-    env.range_check8(&opcode, 6);
     env.assert_is_zero(opcode);
     let next_instruction_pointer = env.get_next_instruction_pointer();
     env.set_instruction_pointer(next_instruction_pointer.clone());