chore(ssa refactor): cp working tests (#1619)

* chore(ssa gen): ssa gen truncate instruction

* chore(ssa refactor): max bit size for subtract

* Update crates/noirc_evaluator/src/ssa_refactor/ssa_gen/context.rs

Co-authored-by: jfecher <jake@aztecprotocol.com>

* chore(ssa refactor): truncate shift left

* chore(ssa refactor): Add integer modulus when truncating subtraction

* chore(ssa refactor): clippy

* chore(ssa refactor): fix left shift max bit size

* chore(ssa refactor): cp xor test

* chore(ssa refactor): cp working tests

* chore(ssa refactor): more working tests

* chore(ssa refactor): cp working test

---------

Co-authored-by: kevaundray <kevtheappdev@gmail.com>
Co-authored-by: jfecher <jake@aztecprotocol.com>

crates/nargo_cli/tests/test_data_ssa_refactor/assert/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/assert/Prover.toml

@@ -0,0 +1 @@
+x = "1"

crates/nargo_cli/tests/test_data_ssa_refactor/assert/src/main.nr

@@ -0,0 +1,3 @@
+fn main(x: Field) {
+    assert(x == 1);
+}

crates/nargo_cli/tests/test_data_ssa_refactor/bit_and/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/bit_and/Prover.toml

@@ -0,0 +1,2 @@
+x = "0x00"
+y = "0x10"

crates/nargo_cli/tests/test_data_ssa_refactor/bit_and/src/main.nr

@@ -0,0 +1,18 @@
+// You can only do bit operations with integers.
+// (Kobi/Daira/Circom/#37) https://github.com/iden3/circom/issues/37
+fn main(x : Field, y : Field) {
+    let x_as_u8 = x as u8;
+    let y_as_u8 = y as u8;
+
+    assert((x_as_u8 & y_as_u8) == x_as_u8);
+
+    //bitwise and with 1 bit:
+    let flag = (x == 0) & (y == 16);
+    assert(flag);
+
+    //bitwise and with odd bits:
+    let x_as_u11 = x as u11;
+    let y_as_u11 = y as u11;
+    assert((x_as_u11 & y_as_u11) == x_as_u11);
+}
+

crates/nargo_cli/tests/test_data_ssa_refactor/bit_shifts_comptime/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/bit_shifts_comptime/Prover.toml

@@ -0,0 +1 @@
+x = 64

crates/nargo_cli/tests/test_data_ssa_refactor/bit_shifts_comptime/src/main.nr

@@ -0,0 +1,13 @@
+fn main(x: u64) {
+	let two: u64 = 2;
+	let three: u64 = 3;
+
+	// comptime shifts on comptime values
+	assert(two << 2 == 8);
+	assert((two << 3) / 8 == two);
+	assert((three >> 1) == 1);
+
+	// comptime shifts on runtime values
+	assert(x << 1 == 128);
+	assert(x >> 2 == 16);
+}

crates/nargo_cli/tests/test_data_ssa_refactor/bool_not/Nargo.toml

@@ -0,0 +1,7 @@
+
+        [package]
+        authors = [""]
+        compiler_version = "0.1"
+
+        [dependencies]
+

crates/nargo_cli/tests/test_data_ssa_refactor/bool_not/Prover.toml

@@ -0,0 +1 @@
+x = "1"

crates/nargo_cli/tests/test_data_ssa_refactor/bool_not/src/main.nr

@@ -0,0 +1,5 @@
+use dep::std;
+fn main(x: u1) {
+    assert(!x == 0);
+}
+

crates/nargo_cli/tests/test_data_ssa_refactor/bool_or/Nargo.toml

@@ -0,0 +1,7 @@
+
+        [package]
+        authors = [""]
+        compiler_version = "0.1"
+
+        [dependencies]
+

crates/nargo_cli/tests/test_data_ssa_refactor/bool_or/Prover.toml

@@ -0,0 +1,2 @@
+x = "1"
+y = "0"

crates/nargo_cli/tests/test_data_ssa_refactor/bool_or/src/main.nr

@@ -0,0 +1,7 @@
+use dep::std;
+fn main(x: u1, y: u1) {
+    assert(x | y == 1);
+
+    assert(x | y | x == 1);
+}
+

crates/nargo_cli/tests/test_data_ssa_refactor/cast_bool/Nargo.toml

@@ -0,0 +1,7 @@
+
+        [package]
+        authors = [""]
+        compiler_version = "0.1"
+
+        [dependencies]
+

crates/nargo_cli/tests/test_data_ssa_refactor/cast_bool/Prover.toml

@@ -0,0 +1,2 @@
+x = "10"
+y = "10"

crates/nargo_cli/tests/test_data_ssa_refactor/cast_bool/src/main.nr

@@ -0,0 +1,6 @@
+fn main(x: Field, y: Field) {
+    let z = x == y;
+    let t = z as u8;
+    assert(t == 1);
+}
+

crates/nargo_cli/tests/test_data_ssa_refactor/comptime_array_access/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/comptime_array_access/Prover.toml

@@ -0,0 +1 @@
+a = [1, 2, 3]

crates/nargo_cli/tests/test_data_ssa_refactor/comptime_array_access/src/main.nr

@@ -0,0 +1,17 @@
+fn main(a: [Field; 3]) {
+    let i = 1;
+
+    // Using a comptime variable as a parameter should not make it non-comptime
+    let ii = foo(i);
+    let elem1 = a[i];
+
+    // Nor should using it in an expression with a non-comptime variable.
+    let two = i + ii;
+    assert(i == ii);
+
+    let elem2 = a[i];
+    assert(elem1 == elem2);
+    assert(two == 2);
+}
+
+fn foo(x: Field) -> Field { x }

crates/nargo_cli/tests/test_data_ssa_refactor/comptime_recursion_regression/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/comptime_recursion_regression/Prover.toml

@@ -0,0 +1,2 @@
+x = 5
+y = 6

crates/nargo_cli/tests/test_data_ssa_refactor/comptime_recursion_regression/src/main.nr

@@ -0,0 +1,4 @@
+fn main(x: Field, y: Field) {
+    let flag = (x == 1) | (y == 2);
+    assert(flag | false == flag);
+}

crates/nargo_cli/tests/test_data_ssa_refactor/contracts/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/contracts/Prover.toml

@@ -0,0 +1,2 @@
+x = 3
+y = 2

crates/nargo_cli/tests/test_data_ssa_refactor/contracts/src/main.nr

@@ -0,0 +1,8 @@
+fn main(x : Field, y : pub Field) {
+    assert(x * 2 == y * 3);
+}
+
+contract Foo {
+    fn double(x: Field) -> pub Field { x * 2 }
+    fn triple(x: Field) -> pub Field { x * 3 }
+}

crates/nargo_cli/tests/test_data_ssa_refactor/hash_to_field/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/hash_to_field/Prover.toml

@@ -0,0 +1 @@
+input = "1"

crates/nargo_cli/tests/test_data_ssa_refactor/hash_to_field/src/main.nr

@@ -0,0 +1,5 @@
+use dep::std;
+
+fn main(input : Field) -> pub Field {
+    std::hash::hash_to_field([input])
+}

crates/nargo_cli/tests/test_data_ssa_refactor/main_bool_arg/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]
+

crates/nargo_cli/tests/test_data_ssa_refactor/main_bool_arg/Prover.toml

@@ -0,0 +1,2 @@
+x = true
+y = [true, false]

crates/nargo_cli/tests/test_data_ssa_refactor/main_bool_arg/src/main.nr

@@ -0,0 +1,8 @@
+fn main(x : bool, y: [bool;2]) {
+    if x {
+        assert(1 != 2);
+    }
+
+    assert(x);
+    assert(y[0] != y[1]);
+}

crates/nargo_cli/tests/test_data_ssa_refactor/main_return/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]
+

crates/nargo_cli/tests/test_data_ssa_refactor/main_return/Prover.toml

@@ -0,0 +1 @@
+x = "8"

crates/nargo_cli/tests/test_data_ssa_refactor/main_return/src/main.nr

@@ -0,0 +1,3 @@
+fn main(x: pub Field) -> pub Field {
+    x
+}

crates/nargo_cli/tests/test_data_ssa_refactor/modules/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/modules/Prover.toml

@@ -0,0 +1,2 @@
+x = "2"
+y = "13"

crates/nargo_cli/tests/test_data_ssa_refactor/modules/src/foo.nr

@@ -0,0 +1,3 @@
+fn hello(x : Field) -> Field {
+    x
+}

crates/nargo_cli/tests/test_data_ssa_refactor/modules/src/main.nr

@@ -0,0 +1,14 @@
+mod foo;
+// This is a comment.
+//
+// `main` is the entry point to a binary
+//
+// You can have a `Binary` or a `Library`
+// Release : 0.2
+//
+// To run a proof on the command line, type `cargo run prove {proof_name}`
+//
+// To verify that proof, type `cargo run verify {proof_name}`
+fn main(x: Field, y: pub Field) {
+    assert(x != foo::hello(y));
+}

crates/nargo_cli/tests/test_data_ssa_refactor/modules_more/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/modules_more/Prover.toml

@@ -0,0 +1,4 @@
+
+        x = "5"
+        y = "15"
+

crates/nargo_cli/tests/test_data_ssa_refactor/modules_more/src/foo.nr

@@ -0,0 +1,5 @@
+mod bar;
+
+fn hello(x : Field) -> Field {
+    x
+}

crates/nargo_cli/tests/test_data_ssa_refactor/modules_more/src/foo/bar.nr

@@ -0,0 +1,3 @@
+fn from_bar(x : Field) -> Field {
+    x
+}

crates/nargo_cli/tests/test_data_ssa_refactor/modules_more/src/main.nr

@@ -0,0 +1,6 @@
+mod foo;
+
+// An example of the module system
+fn main(x: Field, y: Field) {
+    assert(x != foo::bar::from_bar(y));
+}

crates/nargo_cli/tests/test_data_ssa_refactor/modulus/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]