Merge pull request #1404 from o1-labs/feature/imperfect-instruction-p…

…arsing Add missing instructions in pre-fetcher
o1-labs · Dec 5, 2023 · c1cae67 · c1cae67
2 parents 6bf6ee4 + 00a7bdd
commit c1cae67
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/optimism/src/mips/witness.rs b/optimism/src/mips/witness.rs
@@ -401,6 +401,10 @@ impl<Fp: Field> Env<Fp> {
                 },
                 0x02 => Instruction::JType(JTypeInstruction::Jump),
                 0x03 => Instruction::JType(JTypeInstruction::JumpAndLink),
+                0x04 => Instruction::IType(ITypeInstruction::BranchEq),
+                0x05 => Instruction::IType(ITypeInstruction::BranchNeq),
+                0x06 => Instruction::IType(ITypeInstruction::BranchLeqZero),
+                0x07 => Instruction::IType(ITypeInstruction::BranchGtZero),
                 0x08 => Instruction::IType(ITypeInstruction::AddImmediate),
                 0x09 => Instruction::IType(ITypeInstruction::AddImmediateUnsigned),
                 0x0A => Instruction::IType(ITypeInstruction::SetLessThanImmediate),