chore: remove redundant check in Constrain simplification

noir-lang · Aug 28, 2023 · 1978036 · 1978036
1 parent 148efa8
commit 1978036
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/crates/noirc_evaluator/src/ssa/ir/instruction.rs b/crates/noirc_evaluator/src/ssa/ir/instruction.rs
@@ -350,15 +350,7 @@ impl Instruction {
                 }
             }
             Instruction::Constrain(lhs, rhs) => {
-                if let (Some(lhs), Some(rhs)) =
-                    (dfg.get_numeric_constant(*lhs), dfg.get_numeric_constant(*rhs))
-                {
-                    if lhs == rhs {
-                        SimplifyResult::Remove
-                    } else {
-                        SimplifyResult::None
-                    }
-                } else if dfg.resolve(*lhs) == dfg.resolve(*rhs) {
+                if dfg.resolve(*lhs) == dfg.resolve(*rhs) {
                     // Remove trivial case `assert_eq(x, x)`
                     SimplifyResult::Remove
                 } else {