feat: simplify subtraction from self to return zero

compiler/noirc_evaluator/src/ssa/ir/instruction/binary.rs

@@ -39,9 +39,9 @@
     Or,
     /// Bitwise xor (^)
     Xor,
     /// Bitshift left (<<)
     Shl,
     /// Bitshift right (>>)
     Shr,
 }
 
@@ -104,7 +104,7 @@
         }
 
         let operator = if lhs_type == NumericType::NativeField {
             // Unchecked operations between fields or bools don't make sense, so we convert those to non-unchecked
             // to reduce noise and confusion in the generated SSA.
             match operator {
                 BinaryOp::Add { unchecked: true } => BinaryOp::Add { unchecked: false },
@@ -113,7 +113,7 @@
                 _ => operator,
             }
         } else if lhs_type == NumericType::bool() {
             // Unchecked mul between bools doesn't make sense, so we convert that to non-unchecked
             if let BinaryOp::Mul { unchecked: true } = operator {
                 BinaryOp::Mul { unchecked: false }
             } else {
@@ -152,6 +152,11 @@
                 }
             }
             BinaryOp::Sub { .. } => {
+                if dfg.resolve(self.lhs) == dfg.resolve(self.rhs) {
+                    let zero = dfg.make_constant(FieldElement::zero(), lhs_type);
+                    return SimplifyResult::SimplifiedTo(zero);
+                }
+
                 if rhs_is_zero {
                     return SimplifyResult::SimplifiedTo(self.lhs);
                 }
@@ -283,7 +288,7 @@
                 }
                 if lhs_type == NumericType::bool() {
                     // Boolean AND is equivalent to multiplication, which is a cheaper operation.
                     // (mul unchecked because these are bools so it doesn't matter really)
                     let instruction =
                         Instruction::binary(BinaryOp::Mul { unchecked: true }, self.lhs, self.rhs);
                     return SimplifyResult::SimplifiedToInstruction(instruction);