feat: Add additional BinaryOp simplifications

[TomAFrench]

Description

Problem*

Resolves

Summary*

This PR adds additional simplification rules for BinaryOps for special cases of the operations where the operation is a no-op.

fn main(x: u32) -> distinct pub [u32; 3] {
    let mut result : [u32; 3] = [0; 3];
    result[0] = x ^ 0;
    result[1] = x & x;
    result[2] = x | x;
    result
}

On the latest nightly this compiles to

Compiled ACIR for main (unoptimized):
current witness index : 11
public parameters indices : []
return value indices : [9, 10, 11]
BLACKBOX::RANGE [(_1, num_bits: 32)] [ ]
EXPR [ (-1, _2) 0 ]
BLACKBOX::XOR [(_1, num_bits: 32), (_2, num_bits: 32)] [ _3]
BLACKBOX::AND [(_1, num_bits: 32), (_1, num_bits: 32)] [ _4]
EXPR [ (-1, _1) (-1, _5) 4294967295 ]
EXPR [ (-1, _1) (-1, _6) 4294967295 ]
BLACKBOX::AND [(_5, num_bits: 32), (_6, num_bits: 32)] [ _7]
EXPR [ (-1, _7) (-1, _8) 4294967295 ]
EXPR [ (1, _3) (-1, _9) 0 ]
EXPR [ (1, _4) (-1, _10) 0 ]
EXPR [ (1, _8) (-1, _11) 0 ]

With this PR, this is compiled down to

Compiled ACIR for main (unoptimized):
current witness index : 4
public parameters indices : []
return value indices : [2, 3, 4]
BLACKBOX::RANGE [(_1, num_bits: 32)] [ ]
EXPR [ (1, _1) (-1, _2) 0 ]
EXPR [ (1, _1) (-1, _3) 0 ]
EXPR [ (1, _1) (-1, _4) 0 ]

Documentation

• This PR requires documentation updates when merged.

  • I will submit a noir-lang/docs PR.
  • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

BEGIN_COMMIT_OVERRIDE
feat(ssa): Add additional BinaryOp simplifications (#2124)
END_COMMIT_OVERRIDE

[vezenovm]

LGTM