MIPS/CLO: clo now implemented and requires 3 constraints

o1-labs · Apr 23, 2024 · 8f374c6 · 8f374c6
1 parent 6f28319
commit 8f374c6
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/optimism/src/mips/tests.rs b/optimism/src/mips/tests.rs
@@ -38,9 +38,7 @@ fn test_mips_number_constraints() {
     for instr in Instruction::iter().flat_map(|x| x.into_iter()) {
         match instr {
             RType(rtype) => match rtype {
-                JumpRegister | SyscallExitGroup | Sync | CountLeadingOnes => {
-                    assert_num_constraints(&instr, 0)
-                }
+                JumpRegister | SyscallExitGroup | Sync => assert_num_constraints(&instr, 0),
                 ShiftLeftLogical
                 | ShiftRightLogical
                 | ShiftRightArithmetic
@@ -64,6 +62,7 @@ fn test_mips_number_constraints() {
                 | SetLessThan
                 | SetLessThanUnsigned
                 | MultiplyToRegister
+                | CountLeadingOnes
                 | CountLeadingZeros => assert_num_constraints(&instr, 3),
                 MoveZero | MoveNonZero => assert_num_constraints(&instr, 5),
                 SyscallReadOther | SyscallWriteHint | SyscallWriteOther | Multiply