diff --git a/compiler/noirc_evaluator/src/acir/acir_context/mod.rs b/compiler/noirc_evaluator/src/acir/acir_context/mod.rs index 23e5ace2493..27428ac8689 100644 --- a/compiler/noirc_evaluator/src/acir/acir_context/mod.rs +++ b/compiler/noirc_evaluator/src/acir/acir_context/mod.rs @@ -1106,7 +1106,7 @@ impl> AcirContext { // Performs the division using the unsigned values of lhs and rhs let (q1, r1) = - self.euclidean_division_var(unsigned_lhs, unsigned_rhs, bit_size - 1, predicate)?; + self.euclidean_division_var(unsigned_lhs, unsigned_rhs, bit_size, predicate)?; // Unsigned to signed: derive q and r from q1,r1 and the signs of lhs and rhs // Quotient sign is lhs sign * rhs sign, whose resulting sign bit is the XOR of the sign bits diff --git a/test_programs/execution_success/regression_8726/Nargo.toml b/test_programs/execution_success/regression_8726/Nargo.toml new file mode 100644 index 00000000000..8ca45ffdf46 --- /dev/null +++ b/test_programs/execution_success/regression_8726/Nargo.toml @@ -0,0 +1,6 @@ +[package] +name = "regression_8726" +type = "bin" +authors = [""] + +[dependencies] \ No newline at end of file diff --git a/test_programs/execution_success/regression_8726/Prover.toml b/test_programs/execution_success/regression_8726/Prover.toml new file mode 100644 index 00000000000..97a71703dae --- /dev/null +++ b/test_programs/execution_success/regression_8726/Prover.toml @@ -0,0 +1 @@ +x = "-9223372036854775808" # MIN I64 \ No newline at end of file diff --git a/test_programs/execution_success/regression_8726/src/main.nr b/test_programs/execution_success/regression_8726/src/main.nr new file mode 100644 index 00000000000..f5bc7299a48 --- /dev/null +++ b/test_programs/execution_success/regression_8726/src/main.nr @@ -0,0 +1,4 @@ +fn main(x: i64) -> pub i64 { + let y = x / x; + x / y +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap index 24dacdb2a3b..402aa14230a 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap @@ -211,10 +211,10 @@ expression: artifact "EXPR [ (2, _97, _101) (-1, _103) (1, _328) (1, _329) 0 ]", "EXPR [ (1, _102, _103) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(96), Witness(99))], linear_combinations: [(1, Witness(96)), (18446744073709551616, Witness(99))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(103))], q_c: 0 })], outputs: [Simple(Witness(104)), Simple(Witness(105))]", - "BLACKBOX::RANGE [(_104, 63)] []", - "BLACKBOX::RANGE [(_105, 63)] []", + "BLACKBOX::RANGE [(_104, 64)] []", + "BLACKBOX::RANGE [(_105, 64)] []", "EXPR [ (1, _103) (-1, _105) (-1, _106) -1 ]", - "BLACKBOX::RANGE [(_106, 63)] []", + "BLACKBOX::RANGE [(_106, 64)] []", "EXPR [ (-2, _96, _99) (-1, _103, _104) (1, _96) (18446744073709551616, _99) (-1, _105) 0 ]", "EXPR [ (-1, _104) (-1, _107) 9223372036854775808 ]", "EXPR [ (-2, _97, _99) (1, _97) (1, _99) (-1, _108) 0 ]", @@ -294,10 +294,10 @@ expression: artifact "EXPR [ (2, _155, _159) (-1, _161) (1, _351) (1, _352) 0 ]", "EXPR [ (1, _160, _161) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(154), Witness(157))], linear_combinations: [(1, Witness(154)), (65536, Witness(157))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(161))], q_c: 0 })], outputs: [Simple(Witness(162)), Simple(Witness(163))]", - "BLACKBOX::RANGE [(_162, 15)] []", - "BLACKBOX::RANGE [(_163, 15)] []", + "BLACKBOX::RANGE [(_162, 16)] []", + "BLACKBOX::RANGE [(_163, 16)] []", "EXPR [ (1, _161) (-1, _163) (-1, _164) -1 ]", - "BLACKBOX::RANGE [(_164, 15)] []", + "BLACKBOX::RANGE [(_164, 16)] []", "EXPR [ (-2, _154, _157) (-1, _161, _162) (1, _154) (65536, _157) (-1, _163) 0 ]", "EXPR [ (-1, _162) (-1, _165) 32768 ]", "EXPR [ (-2, _155, _157) (1, _155) (1, _157) (-1, _166) 0 ]", @@ -341,7 +341,7 @@ expression: artifact "BLACKBOX::RANGE [(_188, 7)] []", "EXPR [ (1, _186) (-128, _187) (-1, _188) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(186), Witness(187))], linear_combinations: [(1, Witness(186)), (256, Witness(187))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 4 })], outputs: [Simple(Witness(189)), Simple(Witness(190))]", - "BLACKBOX::RANGE [(_189, 5)] []", + "BLACKBOX::RANGE [(_189, 6)] []", "BLACKBOX::RANGE [(_190, 2)] []", "EXPR [ (-2, _186, _187) (1, _186) (256, _187) (-4, _189) (-1, _190) 0 ]", "BRILLIG CALL func 2: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(189))], q_c: 0 })], outputs: [Simple(Witness(191))]", @@ -406,10 +406,10 @@ expression: artifact "EXPR [ (2, _231, _235) (-1, _237) (1, _375) (1, _376) 0 ]", "EXPR [ (1, _236, _237) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(186), Witness(233))], linear_combinations: [(1, Witness(186)), (256, Witness(233))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(237))], q_c: 0 })], outputs: [Simple(Witness(238)), Simple(Witness(239))]", - "BLACKBOX::RANGE [(_238, 7)] []", - "BLACKBOX::RANGE [(_239, 7)] []", + "BLACKBOX::RANGE [(_238, 8)] []", + "BLACKBOX::RANGE [(_239, 8)] []", "EXPR [ (1, _237) (-1, _239) (-1, _240) -1 ]", - "BLACKBOX::RANGE [(_240, 7)] []", + "BLACKBOX::RANGE [(_240, 8)] []", "EXPR [ (-2, _186, _233) (-1, _237, _238) (1, _186) (256, _233) (-1, _239) 0 ]", "EXPR [ (-1, _238) (-1, _241) 128 ]", "EXPR [ (-2, _231, _233) (1, _231) (1, _233) (-1, _242) 0 ]", @@ -481,7 +481,7 @@ expression: artifact "BLACKBOX::RANGE [(_278, 15)] []", "EXPR [ (1, _154) (-32768, _277) (-1, _278) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(154), Witness(277))], linear_combinations: [(1, Witness(154)), (65536, Witness(277))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 8 })], outputs: [Simple(Witness(279)), Simple(Witness(280))]", - "BLACKBOX::RANGE [(_279, 12)] []", + "BLACKBOX::RANGE [(_279, 13)] []", "BLACKBOX::RANGE [(_280, 3)] []", "EXPR [ (-2, _154, _277) (1, _154) (65536, _277) (-8, _279) (-1, _280) 0 ]", "BRILLIG CALL func 2: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(279))], q_c: 0 })], outputs: [Simple(Witness(281))]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap index 24dacdb2a3b..402aa14230a 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap @@ -211,10 +211,10 @@ expression: artifact "EXPR [ (2, _97, _101) (-1, _103) (1, _328) (1, _329) 0 ]", "EXPR [ (1, _102, _103) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(96), Witness(99))], linear_combinations: [(1, Witness(96)), (18446744073709551616, Witness(99))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(103))], q_c: 0 })], outputs: [Simple(Witness(104)), Simple(Witness(105))]", - "BLACKBOX::RANGE [(_104, 63)] []", - "BLACKBOX::RANGE [(_105, 63)] []", + "BLACKBOX::RANGE [(_104, 64)] []", + "BLACKBOX::RANGE [(_105, 64)] []", "EXPR [ (1, _103) (-1, _105) (-1, _106) -1 ]", - "BLACKBOX::RANGE [(_106, 63)] []", + "BLACKBOX::RANGE [(_106, 64)] []", "EXPR [ (-2, _96, _99) (-1, _103, _104) (1, _96) (18446744073709551616, _99) (-1, _105) 0 ]", "EXPR [ (-1, _104) (-1, _107) 9223372036854775808 ]", "EXPR [ (-2, _97, _99) (1, _97) (1, _99) (-1, _108) 0 ]", @@ -294,10 +294,10 @@ expression: artifact "EXPR [ (2, _155, _159) (-1, _161) (1, _351) (1, _352) 0 ]", "EXPR [ (1, _160, _161) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(154), Witness(157))], linear_combinations: [(1, Witness(154)), (65536, Witness(157))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(161))], q_c: 0 })], outputs: [Simple(Witness(162)), Simple(Witness(163))]", - "BLACKBOX::RANGE [(_162, 15)] []", - "BLACKBOX::RANGE [(_163, 15)] []", + "BLACKBOX::RANGE [(_162, 16)] []", + "BLACKBOX::RANGE [(_163, 16)] []", "EXPR [ (1, _161) (-1, _163) (-1, _164) -1 ]", - "BLACKBOX::RANGE [(_164, 15)] []", + "BLACKBOX::RANGE [(_164, 16)] []", "EXPR [ (-2, _154, _157) (-1, _161, _162) (1, _154) (65536, _157) (-1, _163) 0 ]", "EXPR [ (-1, _162) (-1, _165) 32768 ]", "EXPR [ (-2, _155, _157) (1, _155) (1, _157) (-1, _166) 0 ]", @@ -341,7 +341,7 @@ expression: artifact "BLACKBOX::RANGE [(_188, 7)] []", "EXPR [ (1, _186) (-128, _187) (-1, _188) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(186), Witness(187))], linear_combinations: [(1, Witness(186)), (256, Witness(187))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 4 })], outputs: [Simple(Witness(189)), Simple(Witness(190))]", - "BLACKBOX::RANGE [(_189, 5)] []", + "BLACKBOX::RANGE [(_189, 6)] []", "BLACKBOX::RANGE [(_190, 2)] []", "EXPR [ (-2, _186, _187) (1, _186) (256, _187) (-4, _189) (-1, _190) 0 ]", "BRILLIG CALL func 2: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(189))], q_c: 0 })], outputs: [Simple(Witness(191))]", @@ -406,10 +406,10 @@ expression: artifact "EXPR [ (2, _231, _235) (-1, _237) (1, _375) (1, _376) 0 ]", "EXPR [ (1, _236, _237) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(186), Witness(233))], linear_combinations: [(1, Witness(186)), (256, Witness(233))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(237))], q_c: 0 })], outputs: [Simple(Witness(238)), Simple(Witness(239))]", - "BLACKBOX::RANGE [(_238, 7)] []", - "BLACKBOX::RANGE [(_239, 7)] []", + "BLACKBOX::RANGE [(_238, 8)] []", + "BLACKBOX::RANGE [(_239, 8)] []", "EXPR [ (1, _237) (-1, _239) (-1, _240) -1 ]", - "BLACKBOX::RANGE [(_240, 7)] []", + "BLACKBOX::RANGE [(_240, 8)] []", "EXPR [ (-2, _186, _233) (-1, _237, _238) (1, _186) (256, _233) (-1, _239) 0 ]", "EXPR [ (-1, _238) (-1, _241) 128 ]", "EXPR [ (-2, _231, _233) (1, _231) (1, _233) (-1, _242) 0 ]", @@ -481,7 +481,7 @@ expression: artifact "BLACKBOX::RANGE [(_278, 15)] []", "EXPR [ (1, _154) (-32768, _277) (-1, _278) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(154), Witness(277))], linear_combinations: [(1, Witness(154)), (65536, Witness(277))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 8 })], outputs: [Simple(Witness(279)), Simple(Witness(280))]", - "BLACKBOX::RANGE [(_279, 12)] []", + "BLACKBOX::RANGE [(_279, 13)] []", "BLACKBOX::RANGE [(_280, 3)] []", "EXPR [ (-2, _154, _277) (1, _154) (65536, _277) (-8, _279) (-1, _280) 0 ]", "BRILLIG CALL func 2: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(279))], q_c: 0 })], outputs: [Simple(Witness(281))]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap index 24dacdb2a3b..402aa14230a 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap @@ -211,10 +211,10 @@ expression: artifact "EXPR [ (2, _97, _101) (-1, _103) (1, _328) (1, _329) 0 ]", "EXPR [ (1, _102, _103) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(96), Witness(99))], linear_combinations: [(1, Witness(96)), (18446744073709551616, Witness(99))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(103))], q_c: 0 })], outputs: [Simple(Witness(104)), Simple(Witness(105))]", - "BLACKBOX::RANGE [(_104, 63)] []", - "BLACKBOX::RANGE [(_105, 63)] []", + "BLACKBOX::RANGE [(_104, 64)] []", + "BLACKBOX::RANGE [(_105, 64)] []", "EXPR [ (1, _103) (-1, _105) (-1, _106) -1 ]", - "BLACKBOX::RANGE [(_106, 63)] []", + "BLACKBOX::RANGE [(_106, 64)] []", "EXPR [ (-2, _96, _99) (-1, _103, _104) (1, _96) (18446744073709551616, _99) (-1, _105) 0 ]", "EXPR [ (-1, _104) (-1, _107) 9223372036854775808 ]", "EXPR [ (-2, _97, _99) (1, _97) (1, _99) (-1, _108) 0 ]", @@ -294,10 +294,10 @@ expression: artifact "EXPR [ (2, _155, _159) (-1, _161) (1, _351) (1, _352) 0 ]", "EXPR [ (1, _160, _161) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(154), Witness(157))], linear_combinations: [(1, Witness(154)), (65536, Witness(157))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(161))], q_c: 0 })], outputs: [Simple(Witness(162)), Simple(Witness(163))]", - "BLACKBOX::RANGE [(_162, 15)] []", - "BLACKBOX::RANGE [(_163, 15)] []", + "BLACKBOX::RANGE [(_162, 16)] []", + "BLACKBOX::RANGE [(_163, 16)] []", "EXPR [ (1, _161) (-1, _163) (-1, _164) -1 ]", - "BLACKBOX::RANGE [(_164, 15)] []", + "BLACKBOX::RANGE [(_164, 16)] []", "EXPR [ (-2, _154, _157) (-1, _161, _162) (1, _154) (65536, _157) (-1, _163) 0 ]", "EXPR [ (-1, _162) (-1, _165) 32768 ]", "EXPR [ (-2, _155, _157) (1, _155) (1, _157) (-1, _166) 0 ]", @@ -341,7 +341,7 @@ expression: artifact "BLACKBOX::RANGE [(_188, 7)] []", "EXPR [ (1, _186) (-128, _187) (-1, _188) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(186), Witness(187))], linear_combinations: [(1, Witness(186)), (256, Witness(187))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 4 })], outputs: [Simple(Witness(189)), Simple(Witness(190))]", - "BLACKBOX::RANGE [(_189, 5)] []", + "BLACKBOX::RANGE [(_189, 6)] []", "BLACKBOX::RANGE [(_190, 2)] []", "EXPR [ (-2, _186, _187) (1, _186) (256, _187) (-4, _189) (-1, _190) 0 ]", "BRILLIG CALL func 2: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(189))], q_c: 0 })], outputs: [Simple(Witness(191))]", @@ -406,10 +406,10 @@ expression: artifact "EXPR [ (2, _231, _235) (-1, _237) (1, _375) (1, _376) 0 ]", "EXPR [ (1, _236, _237) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(186), Witness(233))], linear_combinations: [(1, Witness(186)), (256, Witness(233))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(237))], q_c: 0 })], outputs: [Simple(Witness(238)), Simple(Witness(239))]", - "BLACKBOX::RANGE [(_238, 7)] []", - "BLACKBOX::RANGE [(_239, 7)] []", + "BLACKBOX::RANGE [(_238, 8)] []", + "BLACKBOX::RANGE [(_239, 8)] []", "EXPR [ (1, _237) (-1, _239) (-1, _240) -1 ]", - "BLACKBOX::RANGE [(_240, 7)] []", + "BLACKBOX::RANGE [(_240, 8)] []", "EXPR [ (-2, _186, _233) (-1, _237, _238) (1, _186) (256, _233) (-1, _239) 0 ]", "EXPR [ (-1, _238) (-1, _241) 128 ]", "EXPR [ (-2, _231, _233) (1, _231) (1, _233) (-1, _242) 0 ]", @@ -481,7 +481,7 @@ expression: artifact "BLACKBOX::RANGE [(_278, 15)] []", "EXPR [ (1, _154) (-32768, _277) (-1, _278) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(154), Witness(277))], linear_combinations: [(1, Witness(154)), (65536, Witness(277))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 8 })], outputs: [Simple(Witness(279)), Simple(Witness(280))]", - "BLACKBOX::RANGE [(_279, 12)] []", + "BLACKBOX::RANGE [(_279, 13)] []", "BLACKBOX::RANGE [(_280, 3)] []", "EXPR [ (-2, _154, _277) (1, _154) (65536, _277) (-8, _279) (-1, _280) 0 ]", "BRILLIG CALL func 2: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(279))], q_c: 0 })], outputs: [Simple(Witness(281))]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap index 2fa16dba4e6..581d32e40a4 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap @@ -182,7 +182,7 @@ expression: artifact "BLACKBOX::RANGE [(_67, 15)] []", "EXPR [ (1, _6) (-32768, _66) (-1, _67) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(66))], linear_combinations: [(1, Witness(6)), (65536, Witness(66))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 13 })], outputs: [Simple(Witness(68)), Simple(Witness(69))]", - "BLACKBOX::RANGE [(_68, 12)] []", + "BLACKBOX::RANGE [(_68, 13)] []", "BLACKBOX::RANGE [(_69, 4)] []", "EXPR [ (1, _69) (-1, _70) 3 ]", "BLACKBOX::RANGE [(_70, 4)] []", @@ -210,10 +210,10 @@ expression: artifact "EXPR [ (-2, _7, _79) (1, _7) (65536, _79) (-1, _84) 0 ]", "EXPR [ (1, _83, _84) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(81))], linear_combinations: [(1, Witness(6)), (65536, Witness(81))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(84))], q_c: 0 })], outputs: [Simple(Witness(85)), Simple(Witness(86))]", - "BLACKBOX::RANGE [(_85, 15)] []", - "BLACKBOX::RANGE [(_86, 15)] []", + "BLACKBOX::RANGE [(_85, 16)] []", + "BLACKBOX::RANGE [(_86, 16)] []", "EXPR [ (1, _84) (-1, _86) (-1, _87) -1 ]", - "BLACKBOX::RANGE [(_87, 15)] []", + "BLACKBOX::RANGE [(_87, 16)] []", "EXPR [ (-2, _6, _81) (-1, _84, _85) (1, _6) (65536, _81) (-1, _86) 0 ]", "EXPR [ (-1, _85) (-1, _88) 32768 ]", "EXPR [ (-2, _79, _81) (1, _79) (1, _81) (-1, _89) 0 ]", @@ -233,7 +233,7 @@ expression: artifact "BLACKBOX::RANGE [(_99, 15)] []", "EXPR [ (1, _6) (-32768, _98) (-1, _99) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(98))], linear_combinations: [(1, Witness(6)), (65536, Witness(98))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 11 })], outputs: [Simple(Witness(100)), Simple(Witness(101))]", - "BLACKBOX::RANGE [(_100, 12)] []", + "BLACKBOX::RANGE [(_100, 13)] []", "BLACKBOX::RANGE [(_101, 4)] []", "EXPR [ (1, _101) (-1, _102) 5 ]", "BLACKBOX::RANGE [(_102, 4)] []", @@ -267,7 +267,7 @@ expression: artifact "BLACKBOX::RANGE [(_118, 15)] []", "EXPR [ (1, _112) (-32768, _117) (-1, _118) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(112), Witness(117))], linear_combinations: [(1, Witness(112)), (65536, Witness(117))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 11 })], outputs: [Simple(Witness(119)), Simple(Witness(120))]", - "BLACKBOX::RANGE [(_119, 12)] []", + "BLACKBOX::RANGE [(_119, 13)] []", "BLACKBOX::RANGE [(_120, 4)] []", "EXPR [ (1, _120) (-1, _121) 5 ]", "BLACKBOX::RANGE [(_121, 4)] []", @@ -312,10 +312,10 @@ expression: artifact "EXPR [ (-2, _131, _139) (1, _131) (65536, _139) (-1, _144) 0 ]", "EXPR [ (1, _143, _144) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(141))], linear_combinations: [(1, Witness(6)), (65536, Witness(141))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(144))], q_c: 0 })], outputs: [Simple(Witness(145)), Simple(Witness(146))]", - "BLACKBOX::RANGE [(_145, 15)] []", - "BLACKBOX::RANGE [(_146, 15)] []", + "BLACKBOX::RANGE [(_145, 16)] []", + "BLACKBOX::RANGE [(_146, 16)] []", "EXPR [ (1, _144) (-1, _146) (-1, _147) -1 ]", - "BLACKBOX::RANGE [(_147, 15)] []", + "BLACKBOX::RANGE [(_147, 16)] []", "EXPR [ (-2, _6, _141) (-1, _144, _145) (1, _6) (65536, _141) (-1, _146) 0 ]", "EXPR [ (-1, _145) (-1, _148) 32768 ]", "EXPR [ (-2, _139, _141) (1, _139) (1, _141) (-1, _149) 0 ]", @@ -342,10 +342,10 @@ expression: artifact "EXPR [ (-2, _131, _158) (1, _131) (65536, _158) (-1, _163) 0 ]", "EXPR [ (1, _162, _163) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(112), Witness(160))], linear_combinations: [(1, Witness(112)), (65536, Witness(160))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(163))], q_c: 0 })], outputs: [Simple(Witness(164)), Simple(Witness(165))]", - "BLACKBOX::RANGE [(_164, 15)] []", - "BLACKBOX::RANGE [(_165, 15)] []", + "BLACKBOX::RANGE [(_164, 16)] []", + "BLACKBOX::RANGE [(_165, 16)] []", "EXPR [ (1, _163) (-1, _165) (-1, _166) -1 ]", - "BLACKBOX::RANGE [(_166, 15)] []", + "BLACKBOX::RANGE [(_166, 16)] []", "EXPR [ (-2, _112, _160) (-1, _163, _164) (1, _112) (65536, _160) (-1, _165) 0 ]", "EXPR [ (-1, _164) (-1, _167) 32768 ]", "EXPR [ (-2, _158, _160) (1, _158) (1, _160) (-1, _168) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_0.snap index 2fa16dba4e6..581d32e40a4 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_0.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_0.snap @@ -182,7 +182,7 @@ expression: artifact "BLACKBOX::RANGE [(_67, 15)] []", "EXPR [ (1, _6) (-32768, _66) (-1, _67) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(66))], linear_combinations: [(1, Witness(6)), (65536, Witness(66))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 13 })], outputs: [Simple(Witness(68)), Simple(Witness(69))]", - "BLACKBOX::RANGE [(_68, 12)] []", + "BLACKBOX::RANGE [(_68, 13)] []", "BLACKBOX::RANGE [(_69, 4)] []", "EXPR [ (1, _69) (-1, _70) 3 ]", "BLACKBOX::RANGE [(_70, 4)] []", @@ -210,10 +210,10 @@ expression: artifact "EXPR [ (-2, _7, _79) (1, _7) (65536, _79) (-1, _84) 0 ]", "EXPR [ (1, _83, _84) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(81))], linear_combinations: [(1, Witness(6)), (65536, Witness(81))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(84))], q_c: 0 })], outputs: [Simple(Witness(85)), Simple(Witness(86))]", - "BLACKBOX::RANGE [(_85, 15)] []", - "BLACKBOX::RANGE [(_86, 15)] []", + "BLACKBOX::RANGE [(_85, 16)] []", + "BLACKBOX::RANGE [(_86, 16)] []", "EXPR [ (1, _84) (-1, _86) (-1, _87) -1 ]", - "BLACKBOX::RANGE [(_87, 15)] []", + "BLACKBOX::RANGE [(_87, 16)] []", "EXPR [ (-2, _6, _81) (-1, _84, _85) (1, _6) (65536, _81) (-1, _86) 0 ]", "EXPR [ (-1, _85) (-1, _88) 32768 ]", "EXPR [ (-2, _79, _81) (1, _79) (1, _81) (-1, _89) 0 ]", @@ -233,7 +233,7 @@ expression: artifact "BLACKBOX::RANGE [(_99, 15)] []", "EXPR [ (1, _6) (-32768, _98) (-1, _99) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(98))], linear_combinations: [(1, Witness(6)), (65536, Witness(98))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 11 })], outputs: [Simple(Witness(100)), Simple(Witness(101))]", - "BLACKBOX::RANGE [(_100, 12)] []", + "BLACKBOX::RANGE [(_100, 13)] []", "BLACKBOX::RANGE [(_101, 4)] []", "EXPR [ (1, _101) (-1, _102) 5 ]", "BLACKBOX::RANGE [(_102, 4)] []", @@ -267,7 +267,7 @@ expression: artifact "BLACKBOX::RANGE [(_118, 15)] []", "EXPR [ (1, _112) (-32768, _117) (-1, _118) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(112), Witness(117))], linear_combinations: [(1, Witness(112)), (65536, Witness(117))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 11 })], outputs: [Simple(Witness(119)), Simple(Witness(120))]", - "BLACKBOX::RANGE [(_119, 12)] []", + "BLACKBOX::RANGE [(_119, 13)] []", "BLACKBOX::RANGE [(_120, 4)] []", "EXPR [ (1, _120) (-1, _121) 5 ]", "BLACKBOX::RANGE [(_121, 4)] []", @@ -312,10 +312,10 @@ expression: artifact "EXPR [ (-2, _131, _139) (1, _131) (65536, _139) (-1, _144) 0 ]", "EXPR [ (1, _143, _144) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(141))], linear_combinations: [(1, Witness(6)), (65536, Witness(141))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(144))], q_c: 0 })], outputs: [Simple(Witness(145)), Simple(Witness(146))]", - "BLACKBOX::RANGE [(_145, 15)] []", - "BLACKBOX::RANGE [(_146, 15)] []", + "BLACKBOX::RANGE [(_145, 16)] []", + "BLACKBOX::RANGE [(_146, 16)] []", "EXPR [ (1, _144) (-1, _146) (-1, _147) -1 ]", - "BLACKBOX::RANGE [(_147, 15)] []", + "BLACKBOX::RANGE [(_147, 16)] []", "EXPR [ (-2, _6, _141) (-1, _144, _145) (1, _6) (65536, _141) (-1, _146) 0 ]", "EXPR [ (-1, _145) (-1, _148) 32768 ]", "EXPR [ (-2, _139, _141) (1, _139) (1, _141) (-1, _149) 0 ]", @@ -342,10 +342,10 @@ expression: artifact "EXPR [ (-2, _131, _158) (1, _131) (65536, _158) (-1, _163) 0 ]", "EXPR [ (1, _162, _163) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(112), Witness(160))], linear_combinations: [(1, Witness(112)), (65536, Witness(160))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(163))], q_c: 0 })], outputs: [Simple(Witness(164)), Simple(Witness(165))]", - "BLACKBOX::RANGE [(_164, 15)] []", - "BLACKBOX::RANGE [(_165, 15)] []", + "BLACKBOX::RANGE [(_164, 16)] []", + "BLACKBOX::RANGE [(_165, 16)] []", "EXPR [ (1, _163) (-1, _165) (-1, _166) -1 ]", - "BLACKBOX::RANGE [(_166, 15)] []", + "BLACKBOX::RANGE [(_166, 16)] []", "EXPR [ (-2, _112, _160) (-1, _163, _164) (1, _112) (65536, _160) (-1, _165) 0 ]", "EXPR [ (-1, _164) (-1, _167) 32768 ]", "EXPR [ (-2, _158, _160) (1, _158) (1, _160) (-1, _168) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_9223372036854775807.snap index 2fa16dba4e6..581d32e40a4 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_9223372036854775807.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_1144_1169_2399_6609/execute__tests__force_brillig_false_inliner_9223372036854775807.snap @@ -182,7 +182,7 @@ expression: artifact "BLACKBOX::RANGE [(_67, 15)] []", "EXPR [ (1, _6) (-32768, _66) (-1, _67) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(66))], linear_combinations: [(1, Witness(6)), (65536, Witness(66))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 13 })], outputs: [Simple(Witness(68)), Simple(Witness(69))]", - "BLACKBOX::RANGE [(_68, 12)] []", + "BLACKBOX::RANGE [(_68, 13)] []", "BLACKBOX::RANGE [(_69, 4)] []", "EXPR [ (1, _69) (-1, _70) 3 ]", "BLACKBOX::RANGE [(_70, 4)] []", @@ -210,10 +210,10 @@ expression: artifact "EXPR [ (-2, _7, _79) (1, _7) (65536, _79) (-1, _84) 0 ]", "EXPR [ (1, _83, _84) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(81))], linear_combinations: [(1, Witness(6)), (65536, Witness(81))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(84))], q_c: 0 })], outputs: [Simple(Witness(85)), Simple(Witness(86))]", - "BLACKBOX::RANGE [(_85, 15)] []", - "BLACKBOX::RANGE [(_86, 15)] []", + "BLACKBOX::RANGE [(_85, 16)] []", + "BLACKBOX::RANGE [(_86, 16)] []", "EXPR [ (1, _84) (-1, _86) (-1, _87) -1 ]", - "BLACKBOX::RANGE [(_87, 15)] []", + "BLACKBOX::RANGE [(_87, 16)] []", "EXPR [ (-2, _6, _81) (-1, _84, _85) (1, _6) (65536, _81) (-1, _86) 0 ]", "EXPR [ (-1, _85) (-1, _88) 32768 ]", "EXPR [ (-2, _79, _81) (1, _79) (1, _81) (-1, _89) 0 ]", @@ -233,7 +233,7 @@ expression: artifact "BLACKBOX::RANGE [(_99, 15)] []", "EXPR [ (1, _6) (-32768, _98) (-1, _99) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(98))], linear_combinations: [(1, Witness(6)), (65536, Witness(98))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 11 })], outputs: [Simple(Witness(100)), Simple(Witness(101))]", - "BLACKBOX::RANGE [(_100, 12)] []", + "BLACKBOX::RANGE [(_100, 13)] []", "BLACKBOX::RANGE [(_101, 4)] []", "EXPR [ (1, _101) (-1, _102) 5 ]", "BLACKBOX::RANGE [(_102, 4)] []", @@ -267,7 +267,7 @@ expression: artifact "BLACKBOX::RANGE [(_118, 15)] []", "EXPR [ (1, _112) (-32768, _117) (-1, _118) 0 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(112), Witness(117))], linear_combinations: [(1, Witness(112)), (65536, Witness(117))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 11 })], outputs: [Simple(Witness(119)), Simple(Witness(120))]", - "BLACKBOX::RANGE [(_119, 12)] []", + "BLACKBOX::RANGE [(_119, 13)] []", "BLACKBOX::RANGE [(_120, 4)] []", "EXPR [ (1, _120) (-1, _121) 5 ]", "BLACKBOX::RANGE [(_121, 4)] []", @@ -312,10 +312,10 @@ expression: artifact "EXPR [ (-2, _131, _139) (1, _131) (65536, _139) (-1, _144) 0 ]", "EXPR [ (1, _143, _144) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(141))], linear_combinations: [(1, Witness(6)), (65536, Witness(141))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(144))], q_c: 0 })], outputs: [Simple(Witness(145)), Simple(Witness(146))]", - "BLACKBOX::RANGE [(_145, 15)] []", - "BLACKBOX::RANGE [(_146, 15)] []", + "BLACKBOX::RANGE [(_145, 16)] []", + "BLACKBOX::RANGE [(_146, 16)] []", "EXPR [ (1, _144) (-1, _146) (-1, _147) -1 ]", - "BLACKBOX::RANGE [(_147, 15)] []", + "BLACKBOX::RANGE [(_147, 16)] []", "EXPR [ (-2, _6, _141) (-1, _144, _145) (1, _6) (65536, _141) (-1, _146) 0 ]", "EXPR [ (-1, _145) (-1, _148) 32768 ]", "EXPR [ (-2, _139, _141) (1, _139) (1, _141) (-1, _149) 0 ]", @@ -342,10 +342,10 @@ expression: artifact "EXPR [ (-2, _131, _158) (1, _131) (65536, _158) (-1, _163) 0 ]", "EXPR [ (1, _162, _163) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(112), Witness(160))], linear_combinations: [(1, Witness(112)), (65536, Witness(160))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(163))], q_c: 0 })], outputs: [Simple(Witness(164)), Simple(Witness(165))]", - "BLACKBOX::RANGE [(_164, 15)] []", - "BLACKBOX::RANGE [(_165, 15)] []", + "BLACKBOX::RANGE [(_164, 16)] []", + "BLACKBOX::RANGE [(_165, 16)] []", "EXPR [ (1, _163) (-1, _165) (-1, _166) -1 ]", - "BLACKBOX::RANGE [(_166, 15)] []", + "BLACKBOX::RANGE [(_166, 16)] []", "EXPR [ (-2, _112, _160) (-1, _163, _164) (1, _112) (65536, _160) (-1, _165) 0 ]", "EXPR [ (-1, _164) (-1, _167) 32768 ]", "EXPR [ (-2, _158, _160) (1, _158) (1, _160) (-1, _168) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__expanded.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__expanded.snap new file mode 100644 index 00000000000..5bee79678bb --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__expanded.snap @@ -0,0 +1,8 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: expanded_code +--- +fn main(x: i64) -> pub i64 { + let y: i64 = x / x; + x / y +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap new file mode 100644 index 00000000000..8003201fbd3 --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap @@ -0,0 +1,116 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: artifact +--- +{ + "noir_version": "[noir_version]", + "hash": "[hash]", + "abi": { + "parameters": [ + { + "name": "x", + "type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "private" + } + ], + "return_type": { + "abi_type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "public" + }, + "error_types": {} + }, + "bytecode": [ + "func 0", + "current witness index : _40", + "private parameters indices : [_0]", + "public parameters indices : []", + "return value indices : [_1]", + "BLACKBOX::RANGE [(_0, 64)] []", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(2)), Simple(Witness(3))]", + "BLACKBOX::RANGE [(_2, 1)] []", + "BLACKBOX::RANGE [(_3, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _2) (-1, _3) 0 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(4)), Simple(Witness(5))]", + "BLACKBOX::RANGE [(_4, 1)] []", + "BLACKBOX::RANGE [(_5, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _4) (-1, _5) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(2))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(2))], q_c: 0 })], outputs: [Simple(Witness(6))]", + "EXPR [ (-2, _0, _2) (1, _0) (18446744073709551616, _2) (-1, _7) 0 ]", + "EXPR [ (1, _6, _7) -1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(4))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(4))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(7))], q_c: 0 })], outputs: [Simple(Witness(8)), Simple(Witness(9))]", + "BLACKBOX::RANGE [(_8, 64)] []", + "BLACKBOX::RANGE [(_9, 64)] []", + "EXPR [ (1, _7) (-1, _9) (-1, _10) -1 ]", + "BLACKBOX::RANGE [(_10, 64)] []", + "EXPR [ (-2, _0, _4) (-1, _7, _8) (1, _0) (18446744073709551616, _4) (-1, _9) 0 ]", + "EXPR [ (-1, _8) (-1, _11) 9223372036854775808 ]", + "EXPR [ (-2, _2, _4) (1, _2) (1, _4) (-1, _12) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(8))], q_c: 0 })], outputs: [Simple(Witness(13))]", + "EXPR [ (1, _8, _13) (1, _14) -1 ]", + "EXPR [ (1, _8, _14) 0 ]", + "EXPR [ (2, _11, _12) (1, _8) (-1, _15) 0 ]", + "EXPR [ (-1, _14) (-1, _16) 1 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(9))], q_c: 0 })], outputs: [Simple(Witness(17))]", + "EXPR [ (1, _9, _17) (1, _18) -1 ]", + "EXPR [ (1, _9, _18) 0 ]", + "EXPR [ (-2, _4, _9) (18446744073709551616, _4) (1, _9) (-1, _19) 0 ]", + "EXPR [ (-1, _18) (-1, _20) 1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(1, Witness(15), Witness(16))], linear_combinations: [], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(21)), Simple(Witness(22))]", + "BLACKBOX::RANGE [(_21, 1)] []", + "BLACKBOX::RANGE [(_22, 63)] []", + "EXPR [ (1, _15, _16) (-9223372036854775808, _21) (-1, _22) 0 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(23)), Simple(Witness(24))]", + "BLACKBOX::RANGE [(_23, 1)] []", + "BLACKBOX::RANGE [(_24, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _23) (-1, _24) 0 ]", + "EXPR [ (-1, _15, _16) (-1, _25) 9223372036854775808 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [(1, Witness(15), Witness(16)), (2, Witness(25), Witness(21))], linear_combinations: [], q_c: 0 })], outputs: [Simple(Witness(26))]", + "EXPR [ (1, _15, _16) (2, _21, _25) (-1, _27) 0 ]", + "EXPR [ (1, _26, _27) -1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(23))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(23))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(27))], q_c: 0 })], outputs: [Simple(Witness(28)), Simple(Witness(29))]", + "BLACKBOX::RANGE [(_28, 64)] []", + "BLACKBOX::RANGE [(_29, 64)] []", + "EXPR [ (1, _27) (-1, _29) (-1, _30) -1 ]", + "BLACKBOX::RANGE [(_30, 64)] []", + "EXPR [ (-2, _0, _23) (-1, _27, _28) (1, _0) (18446744073709551616, _23) (-1, _29) 0 ]", + "EXPR [ (-1, _28) (-1, _31) 9223372036854775808 ]", + "EXPR [ (-2, _21, _23) (1, _21) (1, _23) (-1, _32) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(28))], q_c: 0 })], outputs: [Simple(Witness(33))]", + "EXPR [ (1, _28, _33) (1, _34) -1 ]", + "EXPR [ (1, _28, _34) 0 ]", + "EXPR [ (2, _31, _32) (1, _28) (-1, _35) 0 ]", + "EXPR [ (-1, _34) (-1, _36) 1 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(29))], q_c: 0 })], outputs: [Simple(Witness(37))]", + "EXPR [ (1, _29, _37) (1, _38) -1 ]", + "EXPR [ (1, _29, _38) 0 ]", + "EXPR [ (-2, _23, _29) (18446744073709551616, _23) (1, _29) (-1, _39) 0 ]", + "EXPR [ (-1, _38) (-1, _40) 1 ]", + "EXPR [ (-1, _35, _36) (1, _1) 0 ]", + "unconstrained func 0", + "[Const { destination: Direct(10), bit_size: Integer(U32), value: 2 }, Const { destination: Direct(11), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(0), size_address: Direct(10), offset_address: Direct(11) }, BinaryFieldOp { destination: Direct(2), op: IntegerDiv, lhs: Direct(0), rhs: Direct(1) }, BinaryFieldOp { destination: Direct(1), op: Mul, lhs: Direct(2), rhs: Direct(1) }, BinaryFieldOp { destination: Direct(1), op: Sub, lhs: Direct(0), rhs: Direct(1) }, Mov { destination: Direct(0), source: Direct(2) }, Stop { return_data: HeapVector { pointer: Direct(11), size: Direct(10) } }]", + "unconstrained func 1", + "[Const { destination: Direct(21), bit_size: Integer(U32), value: 1 }, Const { destination: Direct(20), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(0), size_address: Direct(21), offset_address: Direct(20) }, Const { destination: Direct(2), bit_size: Field, value: 0 }, BinaryFieldOp { destination: Direct(3), op: Equals, lhs: Direct(0), rhs: Direct(2) }, JumpIf { condition: Direct(3), location: 8 }, Const { destination: Direct(1), bit_size: Field, value: 1 }, BinaryFieldOp { destination: Direct(0), op: Div, lhs: Direct(1), rhs: Direct(0) }, Stop { return_data: HeapVector { pointer: Direct(20), size: Direct(21) } }]" + ], + "debug_symbols": "jdJNboMwEAXgu3jNIjYz+eEqVYUMmMiSZZADlSrE3WvmQZssKmUzL+C8D5C9qM418732sR8eqvpYVJN8CP5eh6G1kx9ivrushTou6yk5l2+pp/XcGm1ycVJVnEMo1JcNs/zpMdooOdmUV0+FcrHLmcHeB7f9Wou/9un/Kum9S+ffMr/dZrO3+fLS/sxXtvXp5WuVVlV+mpFZyiSZLPMs8yLzKvMmU58QaGvUNfoagIagQWgYGoiGYqCY/R2gGCgGioFioBgoBoqBUmYlf3KpEQZRIgjBiDPigrgibhIEhaAQFIJCUAgKQSEoBIWgMBSGwlAYCkNhKAyFoTAU3pR129rkbRPcfh77ObZPx3P6Ho+V4wCPaWhdNye3ba6s5e3+AQ==", + "file_map": { + "50": { + "source": "fn main(x: i64) -> pub i64 {\n let y = x / x;\n x / y\n}\n", + "path": "" + } + }, + "names": [ + "main" + ], + "brillig_names": [ + "directive_integer_quotient", + "directive_invert" + ] +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_0.snap new file mode 100644 index 00000000000..8003201fbd3 --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_0.snap @@ -0,0 +1,116 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: artifact +--- +{ + "noir_version": "[noir_version]", + "hash": "[hash]", + "abi": { + "parameters": [ + { + "name": "x", + "type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "private" + } + ], + "return_type": { + "abi_type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "public" + }, + "error_types": {} + }, + "bytecode": [ + "func 0", + "current witness index : _40", + "private parameters indices : [_0]", + "public parameters indices : []", + "return value indices : [_1]", + "BLACKBOX::RANGE [(_0, 64)] []", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(2)), Simple(Witness(3))]", + "BLACKBOX::RANGE [(_2, 1)] []", + "BLACKBOX::RANGE [(_3, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _2) (-1, _3) 0 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(4)), Simple(Witness(5))]", + "BLACKBOX::RANGE [(_4, 1)] []", + "BLACKBOX::RANGE [(_5, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _4) (-1, _5) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(2))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(2))], q_c: 0 })], outputs: [Simple(Witness(6))]", + "EXPR [ (-2, _0, _2) (1, _0) (18446744073709551616, _2) (-1, _7) 0 ]", + "EXPR [ (1, _6, _7) -1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(4))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(4))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(7))], q_c: 0 })], outputs: [Simple(Witness(8)), Simple(Witness(9))]", + "BLACKBOX::RANGE [(_8, 64)] []", + "BLACKBOX::RANGE [(_9, 64)] []", + "EXPR [ (1, _7) (-1, _9) (-1, _10) -1 ]", + "BLACKBOX::RANGE [(_10, 64)] []", + "EXPR [ (-2, _0, _4) (-1, _7, _8) (1, _0) (18446744073709551616, _4) (-1, _9) 0 ]", + "EXPR [ (-1, _8) (-1, _11) 9223372036854775808 ]", + "EXPR [ (-2, _2, _4) (1, _2) (1, _4) (-1, _12) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(8))], q_c: 0 })], outputs: [Simple(Witness(13))]", + "EXPR [ (1, _8, _13) (1, _14) -1 ]", + "EXPR [ (1, _8, _14) 0 ]", + "EXPR [ (2, _11, _12) (1, _8) (-1, _15) 0 ]", + "EXPR [ (-1, _14) (-1, _16) 1 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(9))], q_c: 0 })], outputs: [Simple(Witness(17))]", + "EXPR [ (1, _9, _17) (1, _18) -1 ]", + "EXPR [ (1, _9, _18) 0 ]", + "EXPR [ (-2, _4, _9) (18446744073709551616, _4) (1, _9) (-1, _19) 0 ]", + "EXPR [ (-1, _18) (-1, _20) 1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(1, Witness(15), Witness(16))], linear_combinations: [], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(21)), Simple(Witness(22))]", + "BLACKBOX::RANGE [(_21, 1)] []", + "BLACKBOX::RANGE [(_22, 63)] []", + "EXPR [ (1, _15, _16) (-9223372036854775808, _21) (-1, _22) 0 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(23)), Simple(Witness(24))]", + "BLACKBOX::RANGE [(_23, 1)] []", + "BLACKBOX::RANGE [(_24, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _23) (-1, _24) 0 ]", + "EXPR [ (-1, _15, _16) (-1, _25) 9223372036854775808 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [(1, Witness(15), Witness(16)), (2, Witness(25), Witness(21))], linear_combinations: [], q_c: 0 })], outputs: [Simple(Witness(26))]", + "EXPR [ (1, _15, _16) (2, _21, _25) (-1, _27) 0 ]", + "EXPR [ (1, _26, _27) -1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(23))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(23))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(27))], q_c: 0 })], outputs: [Simple(Witness(28)), Simple(Witness(29))]", + "BLACKBOX::RANGE [(_28, 64)] []", + "BLACKBOX::RANGE [(_29, 64)] []", + "EXPR [ (1, _27) (-1, _29) (-1, _30) -1 ]", + "BLACKBOX::RANGE [(_30, 64)] []", + "EXPR [ (-2, _0, _23) (-1, _27, _28) (1, _0) (18446744073709551616, _23) (-1, _29) 0 ]", + "EXPR [ (-1, _28) (-1, _31) 9223372036854775808 ]", + "EXPR [ (-2, _21, _23) (1, _21) (1, _23) (-1, _32) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(28))], q_c: 0 })], outputs: [Simple(Witness(33))]", + "EXPR [ (1, _28, _33) (1, _34) -1 ]", + "EXPR [ (1, _28, _34) 0 ]", + "EXPR [ (2, _31, _32) (1, _28) (-1, _35) 0 ]", + "EXPR [ (-1, _34) (-1, _36) 1 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(29))], q_c: 0 })], outputs: [Simple(Witness(37))]", + "EXPR [ (1, _29, _37) (1, _38) -1 ]", + "EXPR [ (1, _29, _38) 0 ]", + "EXPR [ (-2, _23, _29) (18446744073709551616, _23) (1, _29) (-1, _39) 0 ]", + "EXPR [ (-1, _38) (-1, _40) 1 ]", + "EXPR [ (-1, _35, _36) (1, _1) 0 ]", + "unconstrained func 0", + "[Const { destination: Direct(10), bit_size: Integer(U32), value: 2 }, Const { destination: Direct(11), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(0), size_address: Direct(10), offset_address: Direct(11) }, BinaryFieldOp { destination: Direct(2), op: IntegerDiv, lhs: Direct(0), rhs: Direct(1) }, BinaryFieldOp { destination: Direct(1), op: Mul, lhs: Direct(2), rhs: Direct(1) }, BinaryFieldOp { destination: Direct(1), op: Sub, lhs: Direct(0), rhs: Direct(1) }, Mov { destination: Direct(0), source: Direct(2) }, Stop { return_data: HeapVector { pointer: Direct(11), size: Direct(10) } }]", + "unconstrained func 1", + "[Const { destination: Direct(21), bit_size: Integer(U32), value: 1 }, Const { destination: Direct(20), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(0), size_address: Direct(21), offset_address: Direct(20) }, Const { destination: Direct(2), bit_size: Field, value: 0 }, BinaryFieldOp { destination: Direct(3), op: Equals, lhs: Direct(0), rhs: Direct(2) }, JumpIf { condition: Direct(3), location: 8 }, Const { destination: Direct(1), bit_size: Field, value: 1 }, BinaryFieldOp { destination: Direct(0), op: Div, lhs: Direct(1), rhs: Direct(0) }, Stop { return_data: HeapVector { pointer: Direct(20), size: Direct(21) } }]" + ], + "debug_symbols": "jdJNboMwEAXgu3jNIjYz+eEqVYUMmMiSZZADlSrE3WvmQZssKmUzL+C8D5C9qM418732sR8eqvpYVJN8CP5eh6G1kx9ivrushTou6yk5l2+pp/XcGm1ycVJVnEMo1JcNs/zpMdooOdmUV0+FcrHLmcHeB7f9Wou/9un/Kum9S+ffMr/dZrO3+fLS/sxXtvXp5WuVVlV+mpFZyiSZLPMs8yLzKvMmU58QaGvUNfoagIagQWgYGoiGYqCY/R2gGCgGioFioBgoBoqBUmYlf3KpEQZRIgjBiDPigrgibhIEhaAQFIJCUAgKQSEoBIWgMBSGwlAYCkNhKAyFoTAU3pR129rkbRPcfh77ObZPx3P6Ho+V4wCPaWhdNye3ba6s5e3+AQ==", + "file_map": { + "50": { + "source": "fn main(x: i64) -> pub i64 {\n let y = x / x;\n x / y\n}\n", + "path": "" + } + }, + "names": [ + "main" + ], + "brillig_names": [ + "directive_integer_quotient", + "directive_invert" + ] +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_9223372036854775807.snap new file mode 100644 index 00000000000..8003201fbd3 --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_false_inliner_9223372036854775807.snap @@ -0,0 +1,116 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: artifact +--- +{ + "noir_version": "[noir_version]", + "hash": "[hash]", + "abi": { + "parameters": [ + { + "name": "x", + "type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "private" + } + ], + "return_type": { + "abi_type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "public" + }, + "error_types": {} + }, + "bytecode": [ + "func 0", + "current witness index : _40", + "private parameters indices : [_0]", + "public parameters indices : []", + "return value indices : [_1]", + "BLACKBOX::RANGE [(_0, 64)] []", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(2)), Simple(Witness(3))]", + "BLACKBOX::RANGE [(_2, 1)] []", + "BLACKBOX::RANGE [(_3, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _2) (-1, _3) 0 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(4)), Simple(Witness(5))]", + "BLACKBOX::RANGE [(_4, 1)] []", + "BLACKBOX::RANGE [(_5, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _4) (-1, _5) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(2))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(2))], q_c: 0 })], outputs: [Simple(Witness(6))]", + "EXPR [ (-2, _0, _2) (1, _0) (18446744073709551616, _2) (-1, _7) 0 ]", + "EXPR [ (1, _6, _7) -1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(4))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(4))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(7))], q_c: 0 })], outputs: [Simple(Witness(8)), Simple(Witness(9))]", + "BLACKBOX::RANGE [(_8, 64)] []", + "BLACKBOX::RANGE [(_9, 64)] []", + "EXPR [ (1, _7) (-1, _9) (-1, _10) -1 ]", + "BLACKBOX::RANGE [(_10, 64)] []", + "EXPR [ (-2, _0, _4) (-1, _7, _8) (1, _0) (18446744073709551616, _4) (-1, _9) 0 ]", + "EXPR [ (-1, _8) (-1, _11) 9223372036854775808 ]", + "EXPR [ (-2, _2, _4) (1, _2) (1, _4) (-1, _12) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(8))], q_c: 0 })], outputs: [Simple(Witness(13))]", + "EXPR [ (1, _8, _13) (1, _14) -1 ]", + "EXPR [ (1, _8, _14) 0 ]", + "EXPR [ (2, _11, _12) (1, _8) (-1, _15) 0 ]", + "EXPR [ (-1, _14) (-1, _16) 1 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(9))], q_c: 0 })], outputs: [Simple(Witness(17))]", + "EXPR [ (1, _9, _17) (1, _18) -1 ]", + "EXPR [ (1, _9, _18) 0 ]", + "EXPR [ (-2, _4, _9) (18446744073709551616, _4) (1, _9) (-1, _19) 0 ]", + "EXPR [ (-1, _18) (-1, _20) 1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(1, Witness(15), Witness(16))], linear_combinations: [], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(21)), Simple(Witness(22))]", + "BLACKBOX::RANGE [(_21, 1)] []", + "BLACKBOX::RANGE [(_22, 63)] []", + "EXPR [ (1, _15, _16) (-9223372036854775808, _21) (-1, _22) 0 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 9223372036854775808 })], outputs: [Simple(Witness(23)), Simple(Witness(24))]", + "BLACKBOX::RANGE [(_23, 1)] []", + "BLACKBOX::RANGE [(_24, 63)] []", + "EXPR [ (1, _0) (-9223372036854775808, _23) (-1, _24) 0 ]", + "EXPR [ (-1, _15, _16) (-1, _25) 9223372036854775808 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [(1, Witness(15), Witness(16)), (2, Witness(25), Witness(21))], linear_combinations: [], q_c: 0 })], outputs: [Simple(Witness(26))]", + "EXPR [ (1, _15, _16) (2, _21, _25) (-1, _27) 0 ]", + "EXPR [ (1, _26, _27) -1 ]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(23))], linear_combinations: [(1, Witness(0)), (18446744073709551616, Witness(23))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(27))], q_c: 0 })], outputs: [Simple(Witness(28)), Simple(Witness(29))]", + "BLACKBOX::RANGE [(_28, 64)] []", + "BLACKBOX::RANGE [(_29, 64)] []", + "EXPR [ (1, _27) (-1, _29) (-1, _30) -1 ]", + "BLACKBOX::RANGE [(_30, 64)] []", + "EXPR [ (-2, _0, _23) (-1, _27, _28) (1, _0) (18446744073709551616, _23) (-1, _29) 0 ]", + "EXPR [ (-1, _28) (-1, _31) 9223372036854775808 ]", + "EXPR [ (-2, _21, _23) (1, _21) (1, _23) (-1, _32) 0 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(28))], q_c: 0 })], outputs: [Simple(Witness(33))]", + "EXPR [ (1, _28, _33) (1, _34) -1 ]", + "EXPR [ (1, _28, _34) 0 ]", + "EXPR [ (2, _31, _32) (1, _28) (-1, _35) 0 ]", + "EXPR [ (-1, _34) (-1, _36) 1 ]", + "BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(29))], q_c: 0 })], outputs: [Simple(Witness(37))]", + "EXPR [ (1, _29, _37) (1, _38) -1 ]", + "EXPR [ (1, _29, _38) 0 ]", + "EXPR [ (-2, _23, _29) (18446744073709551616, _23) (1, _29) (-1, _39) 0 ]", + "EXPR [ (-1, _38) (-1, _40) 1 ]", + "EXPR [ (-1, _35, _36) (1, _1) 0 ]", + "unconstrained func 0", + "[Const { destination: Direct(10), bit_size: Integer(U32), value: 2 }, Const { destination: Direct(11), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(0), size_address: Direct(10), offset_address: Direct(11) }, BinaryFieldOp { destination: Direct(2), op: IntegerDiv, lhs: Direct(0), rhs: Direct(1) }, BinaryFieldOp { destination: Direct(1), op: Mul, lhs: Direct(2), rhs: Direct(1) }, BinaryFieldOp { destination: Direct(1), op: Sub, lhs: Direct(0), rhs: Direct(1) }, Mov { destination: Direct(0), source: Direct(2) }, Stop { return_data: HeapVector { pointer: Direct(11), size: Direct(10) } }]", + "unconstrained func 1", + "[Const { destination: Direct(21), bit_size: Integer(U32), value: 1 }, Const { destination: Direct(20), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(0), size_address: Direct(21), offset_address: Direct(20) }, Const { destination: Direct(2), bit_size: Field, value: 0 }, BinaryFieldOp { destination: Direct(3), op: Equals, lhs: Direct(0), rhs: Direct(2) }, JumpIf { condition: Direct(3), location: 8 }, Const { destination: Direct(1), bit_size: Field, value: 1 }, BinaryFieldOp { destination: Direct(0), op: Div, lhs: Direct(1), rhs: Direct(0) }, Stop { return_data: HeapVector { pointer: Direct(20), size: Direct(21) } }]" + ], + "debug_symbols": "jdJNboMwEAXgu3jNIjYz+eEqVYUMmMiSZZADlSrE3WvmQZssKmUzL+C8D5C9qM418732sR8eqvpYVJN8CP5eh6G1kx9ivrushTou6yk5l2+pp/XcGm1ycVJVnEMo1JcNs/zpMdooOdmUV0+FcrHLmcHeB7f9Wou/9un/Kum9S+ffMr/dZrO3+fLS/sxXtvXp5WuVVlV+mpFZyiSZLPMs8yLzKvMmU58QaGvUNfoagIagQWgYGoiGYqCY/R2gGCgGioFioBgoBoqBUmYlf3KpEQZRIgjBiDPigrgibhIEhaAQFIJCUAgKQSEoBIWgMBSGwlAYCkNhKAyFoTAU3pR129rkbRPcfh77ObZPx3P6Ho+V4wCPaWhdNye3ba6s5e3+AQ==", + "file_map": { + "50": { + "source": "fn main(x: i64) -> pub i64 {\n let y = x / x;\n x / y\n}\n", + "path": "" + } + }, + "names": [ + "main" + ], + "brillig_names": [ + "directive_integer_quotient", + "directive_invert" + ] +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_-9223372036854775808.snap new file mode 100644 index 00000000000..4f1e27fc94b --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_-9223372036854775808.snap @@ -0,0 +1,58 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: artifact +--- +{ + "noir_version": "[noir_version]", + "hash": "[hash]", + "abi": { + "parameters": [ + { + "name": "x", + "type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "private" + } + ], + "return_type": { + "abi_type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "public" + }, + "error_types": { + "17843811134343075018": { + "error_kind": "string", + "string": "Stack too deep" + } + } + }, + "bytecode": [ + "func 0", + "current witness index : _1", + "private parameters indices : [_0]", + "public parameters indices : []", + "return value indices : [_1]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 })], outputs: [Simple(Witness(1))]", + "unconstrained func 0", + "[Const { destination: Direct(2), bit_size: Integer(U32), value: 1 }, Const { destination: Direct(1), bit_size: Integer(U32), value: 32838 }, Const { destination: Direct(0), bit_size: Integer(U32), value: 3 }, Const { destination: Relative(2), bit_size: Integer(U32), value: 1 }, Const { destination: Relative(3), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(32836), size_address: Relative(2), offset_address: Relative(3) }, Cast { destination: Direct(32836), source: Direct(32836), bit_size: Integer(U64) }, Mov { destination: Relative(1), source: Direct(32836) }, Call { location: 14 }, Call { location: 15 }, Mov { destination: Direct(32837), source: Relative(1) }, Const { destination: Relative(2), bit_size: Integer(U32), value: 32837 }, Const { destination: Relative(3), bit_size: Integer(U32), value: 1 }, Stop { return_data: HeapVector { pointer: Relative(2), size: Relative(3) } }, Return, Call { location: 70 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(3), op: LessThan, bit_size: U64, lhs: Relative(8), rhs: Relative(1) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(10), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, JumpIf { condition: Relative(3), location: 22 }, Jump { location: 24 }, Mov { destination: Relative(4), source: Relative(10) }, Jump { location: 26 }, Mov { destination: Relative(4), source: Relative(1) }, Jump { location: 26 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(5), op: LessThan, bit_size: U64, lhs: Relative(8), rhs: Relative(1) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(10), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, JumpIf { condition: Relative(5), location: 32 }, Jump { location: 34 }, Mov { destination: Relative(6), source: Relative(10) }, Jump { location: 36 }, Mov { destination: Relative(6), source: Relative(1) }, Jump { location: 36 }, BinaryIntOp { destination: Relative(2), op: Div, bit_size: U64, lhs: Relative(4), rhs: Relative(6) }, BinaryIntOp { destination: Relative(7), op: Xor, bit_size: U1, lhs: Relative(3), rhs: Relative(5) }, JumpIf { condition: Relative(7), location: 40 }, Jump { location: 42 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(2), op: Sub, bit_size: U64, lhs: Relative(8), rhs: Relative(2) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(4), op: LessThan, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, Const { destination: Relative(10), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(11), op: Sub, bit_size: U64, lhs: Relative(10), rhs: Relative(1) }, JumpIf { condition: Relative(4), location: 48 }, Jump { location: 50 }, Mov { destination: Relative(5), source: Relative(11) }, Jump { location: 52 }, Mov { destination: Relative(5), source: Relative(1) }, Jump { location: 52 }, Const { destination: Relative(9), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(6), op: LessThan, bit_size: U64, lhs: Relative(9), rhs: Relative(2) }, Const { destination: Relative(10), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(11), op: Sub, bit_size: U64, lhs: Relative(10), rhs: Relative(2) }, JumpIf { condition: Relative(6), location: 58 }, Jump { location: 60 }, Mov { destination: Relative(7), source: Relative(11) }, Jump { location: 62 }, Mov { destination: Relative(7), source: Relative(2) }, Jump { location: 62 }, BinaryIntOp { destination: Relative(3), op: Div, bit_size: U64, lhs: Relative(5), rhs: Relative(7) }, BinaryIntOp { destination: Relative(8), op: Xor, bit_size: U1, lhs: Relative(4), rhs: Relative(6) }, JumpIf { condition: Relative(8), location: 66 }, Jump { location: 68 }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(3), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(3) }, Mov { destination: Relative(1), source: Relative(3) }, Return, Const { destination: Direct(32772), bit_size: Integer(U32), value: 30720 }, BinaryIntOp { destination: Direct(32771), op: LessThan, bit_size: U32, lhs: Direct(0), rhs: Direct(32772) }, JumpIf { condition: Direct(32771), location: 75 }, IndirectConst { destination_pointer: Direct(1), bit_size: Integer(U64), value: 17843811134343075018 }, Trap { revert_data: HeapVector { pointer: Direct(1), size: Direct(2) } }, Return]" + ], + "debug_symbols": "jdLNioMwFIbhe8nahfk5se2tlCJRYwmEKKkODOK9T+KnM3Yx0I2vGs8jaBbW2WZ+1i70w4vd7gtrovPePWs/tGZyQ0h3F1bmA9fsxgvGK+SCXLeIEuGIQCSiEEKgCCgCioAioUgoEoqEIqFIKBKKhCKhSCgKioKikiJSJKIQQjRSIRfkuoVKhCNQCApBISgEhaAQFIKioWgoGoqGoqFoKBqKzsq6Fuz4/vUUrc2f//RD0m8aTbRhYrcwe1+wL+Pn7aHXaMLWycS0WhbMhi41gb3zNp+txd90+f+o4vus0r/D9PE0iX2aqrfpR7oyrYtv22vNTnSm8Xa/7OfQnlan7/FYObbnGIfWdnO0WTrt0XS8V2VR0WPNb/sB", + "file_map": { + "50": { + "source": "fn main(x: i64) -> pub i64 {\n let y = x / x;\n x / y\n}\n", + "path": "" + } + }, + "names": [ + "main" + ], + "brillig_names": [ + "main" + ] +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_0.snap new file mode 100644 index 00000000000..4f1e27fc94b --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_0.snap @@ -0,0 +1,58 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: artifact +--- +{ + "noir_version": "[noir_version]", + "hash": "[hash]", + "abi": { + "parameters": [ + { + "name": "x", + "type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "private" + } + ], + "return_type": { + "abi_type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "public" + }, + "error_types": { + "17843811134343075018": { + "error_kind": "string", + "string": "Stack too deep" + } + } + }, + "bytecode": [ + "func 0", + "current witness index : _1", + "private parameters indices : [_0]", + "public parameters indices : []", + "return value indices : [_1]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 })], outputs: [Simple(Witness(1))]", + "unconstrained func 0", + "[Const { destination: Direct(2), bit_size: Integer(U32), value: 1 }, Const { destination: Direct(1), bit_size: Integer(U32), value: 32838 }, Const { destination: Direct(0), bit_size: Integer(U32), value: 3 }, Const { destination: Relative(2), bit_size: Integer(U32), value: 1 }, Const { destination: Relative(3), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(32836), size_address: Relative(2), offset_address: Relative(3) }, Cast { destination: Direct(32836), source: Direct(32836), bit_size: Integer(U64) }, Mov { destination: Relative(1), source: Direct(32836) }, Call { location: 14 }, Call { location: 15 }, Mov { destination: Direct(32837), source: Relative(1) }, Const { destination: Relative(2), bit_size: Integer(U32), value: 32837 }, Const { destination: Relative(3), bit_size: Integer(U32), value: 1 }, Stop { return_data: HeapVector { pointer: Relative(2), size: Relative(3) } }, Return, Call { location: 70 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(3), op: LessThan, bit_size: U64, lhs: Relative(8), rhs: Relative(1) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(10), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, JumpIf { condition: Relative(3), location: 22 }, Jump { location: 24 }, Mov { destination: Relative(4), source: Relative(10) }, Jump { location: 26 }, Mov { destination: Relative(4), source: Relative(1) }, Jump { location: 26 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(5), op: LessThan, bit_size: U64, lhs: Relative(8), rhs: Relative(1) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(10), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, JumpIf { condition: Relative(5), location: 32 }, Jump { location: 34 }, Mov { destination: Relative(6), source: Relative(10) }, Jump { location: 36 }, Mov { destination: Relative(6), source: Relative(1) }, Jump { location: 36 }, BinaryIntOp { destination: Relative(2), op: Div, bit_size: U64, lhs: Relative(4), rhs: Relative(6) }, BinaryIntOp { destination: Relative(7), op: Xor, bit_size: U1, lhs: Relative(3), rhs: Relative(5) }, JumpIf { condition: Relative(7), location: 40 }, Jump { location: 42 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(2), op: Sub, bit_size: U64, lhs: Relative(8), rhs: Relative(2) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(4), op: LessThan, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, Const { destination: Relative(10), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(11), op: Sub, bit_size: U64, lhs: Relative(10), rhs: Relative(1) }, JumpIf { condition: Relative(4), location: 48 }, Jump { location: 50 }, Mov { destination: Relative(5), source: Relative(11) }, Jump { location: 52 }, Mov { destination: Relative(5), source: Relative(1) }, Jump { location: 52 }, Const { destination: Relative(9), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(6), op: LessThan, bit_size: U64, lhs: Relative(9), rhs: Relative(2) }, Const { destination: Relative(10), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(11), op: Sub, bit_size: U64, lhs: Relative(10), rhs: Relative(2) }, JumpIf { condition: Relative(6), location: 58 }, Jump { location: 60 }, Mov { destination: Relative(7), source: Relative(11) }, Jump { location: 62 }, Mov { destination: Relative(7), source: Relative(2) }, Jump { location: 62 }, BinaryIntOp { destination: Relative(3), op: Div, bit_size: U64, lhs: Relative(5), rhs: Relative(7) }, BinaryIntOp { destination: Relative(8), op: Xor, bit_size: U1, lhs: Relative(4), rhs: Relative(6) }, JumpIf { condition: Relative(8), location: 66 }, Jump { location: 68 }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(3), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(3) }, Mov { destination: Relative(1), source: Relative(3) }, Return, Const { destination: Direct(32772), bit_size: Integer(U32), value: 30720 }, BinaryIntOp { destination: Direct(32771), op: LessThan, bit_size: U32, lhs: Direct(0), rhs: Direct(32772) }, JumpIf { condition: Direct(32771), location: 75 }, IndirectConst { destination_pointer: Direct(1), bit_size: Integer(U64), value: 17843811134343075018 }, Trap { revert_data: HeapVector { pointer: Direct(1), size: Direct(2) } }, Return]" + ], + "debug_symbols": "jdLNioMwFIbhe8nahfk5se2tlCJRYwmEKKkODOK9T+KnM3Yx0I2vGs8jaBbW2WZ+1i70w4vd7gtrovPePWs/tGZyQ0h3F1bmA9fsxgvGK+SCXLeIEuGIQCSiEEKgCCgCioAioUgoEoqEIqFIKBKKhCKhSCgKioKikiJSJKIQQjRSIRfkuoVKhCNQCApBISgEhaAQFIKioWgoGoqGoqFoKBqKzsq6Fuz4/vUUrc2f//RD0m8aTbRhYrcwe1+wL+Pn7aHXaMLWycS0WhbMhi41gb3zNp+txd90+f+o4vus0r/D9PE0iX2aqrfpR7oyrYtv22vNTnSm8Xa/7OfQnlan7/FYObbnGIfWdnO0WTrt0XS8V2VR0WPNb/sB", + "file_map": { + "50": { + "source": "fn main(x: i64) -> pub i64 {\n let y = x / x;\n x / y\n}\n", + "path": "" + } + }, + "names": [ + "main" + ], + "brillig_names": [ + "main" + ] +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_9223372036854775807.snap new file mode 100644 index 00000000000..4f1e27fc94b --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__force_brillig_true_inliner_9223372036854775807.snap @@ -0,0 +1,58 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: artifact +--- +{ + "noir_version": "[noir_version]", + "hash": "[hash]", + "abi": { + "parameters": [ + { + "name": "x", + "type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "private" + } + ], + "return_type": { + "abi_type": { + "kind": "integer", + "sign": "signed", + "width": 64 + }, + "visibility": "public" + }, + "error_types": { + "17843811134343075018": { + "error_kind": "string", + "string": "Stack too deep" + } + } + }, + "bytecode": [ + "func 0", + "current witness index : _1", + "private parameters indices : [_0]", + "public parameters indices : []", + "return value indices : [_1]", + "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(0))], q_c: 0 })], outputs: [Simple(Witness(1))]", + "unconstrained func 0", + "[Const { destination: Direct(2), bit_size: Integer(U32), value: 1 }, Const { destination: Direct(1), bit_size: Integer(U32), value: 32838 }, Const { destination: Direct(0), bit_size: Integer(U32), value: 3 }, Const { destination: Relative(2), bit_size: Integer(U32), value: 1 }, Const { destination: Relative(3), bit_size: Integer(U32), value: 0 }, CalldataCopy { destination_address: Direct(32836), size_address: Relative(2), offset_address: Relative(3) }, Cast { destination: Direct(32836), source: Direct(32836), bit_size: Integer(U64) }, Mov { destination: Relative(1), source: Direct(32836) }, Call { location: 14 }, Call { location: 15 }, Mov { destination: Direct(32837), source: Relative(1) }, Const { destination: Relative(2), bit_size: Integer(U32), value: 32837 }, Const { destination: Relative(3), bit_size: Integer(U32), value: 1 }, Stop { return_data: HeapVector { pointer: Relative(2), size: Relative(3) } }, Return, Call { location: 70 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(3), op: LessThan, bit_size: U64, lhs: Relative(8), rhs: Relative(1) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(10), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, JumpIf { condition: Relative(3), location: 22 }, Jump { location: 24 }, Mov { destination: Relative(4), source: Relative(10) }, Jump { location: 26 }, Mov { destination: Relative(4), source: Relative(1) }, Jump { location: 26 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(5), op: LessThan, bit_size: U64, lhs: Relative(8), rhs: Relative(1) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(10), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, JumpIf { condition: Relative(5), location: 32 }, Jump { location: 34 }, Mov { destination: Relative(6), source: Relative(10) }, Jump { location: 36 }, Mov { destination: Relative(6), source: Relative(1) }, Jump { location: 36 }, BinaryIntOp { destination: Relative(2), op: Div, bit_size: U64, lhs: Relative(4), rhs: Relative(6) }, BinaryIntOp { destination: Relative(7), op: Xor, bit_size: U1, lhs: Relative(3), rhs: Relative(5) }, JumpIf { condition: Relative(7), location: 40 }, Jump { location: 42 }, Const { destination: Relative(8), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(2), op: Sub, bit_size: U64, lhs: Relative(8), rhs: Relative(2) }, Const { destination: Relative(9), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(4), op: LessThan, bit_size: U64, lhs: Relative(9), rhs: Relative(1) }, Const { destination: Relative(10), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(11), op: Sub, bit_size: U64, lhs: Relative(10), rhs: Relative(1) }, JumpIf { condition: Relative(4), location: 48 }, Jump { location: 50 }, Mov { destination: Relative(5), source: Relative(11) }, Jump { location: 52 }, Mov { destination: Relative(5), source: Relative(1) }, Jump { location: 52 }, Const { destination: Relative(9), bit_size: Integer(U64), value: 9223372036854775807 }, BinaryIntOp { destination: Relative(6), op: LessThan, bit_size: U64, lhs: Relative(9), rhs: Relative(2) }, Const { destination: Relative(10), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(11), op: Sub, bit_size: U64, lhs: Relative(10), rhs: Relative(2) }, JumpIf { condition: Relative(6), location: 58 }, Jump { location: 60 }, Mov { destination: Relative(7), source: Relative(11) }, Jump { location: 62 }, Mov { destination: Relative(7), source: Relative(2) }, Jump { location: 62 }, BinaryIntOp { destination: Relative(3), op: Div, bit_size: U64, lhs: Relative(5), rhs: Relative(7) }, BinaryIntOp { destination: Relative(8), op: Xor, bit_size: U1, lhs: Relative(4), rhs: Relative(6) }, JumpIf { condition: Relative(8), location: 66 }, Jump { location: 68 }, Const { destination: Relative(9), bit_size: Integer(U64), value: 0 }, BinaryIntOp { destination: Relative(3), op: Sub, bit_size: U64, lhs: Relative(9), rhs: Relative(3) }, Mov { destination: Relative(1), source: Relative(3) }, Return, Const { destination: Direct(32772), bit_size: Integer(U32), value: 30720 }, BinaryIntOp { destination: Direct(32771), op: LessThan, bit_size: U32, lhs: Direct(0), rhs: Direct(32772) }, JumpIf { condition: Direct(32771), location: 75 }, IndirectConst { destination_pointer: Direct(1), bit_size: Integer(U64), value: 17843811134343075018 }, Trap { revert_data: HeapVector { pointer: Direct(1), size: Direct(2) } }, Return]" + ], + "debug_symbols": "jdLNioMwFIbhe8nahfk5se2tlCJRYwmEKKkODOK9T+KnM3Yx0I2vGs8jaBbW2WZ+1i70w4vd7gtrovPePWs/tGZyQ0h3F1bmA9fsxgvGK+SCXLeIEuGIQCSiEEKgCCgCioAioUgoEoqEIqFIKBKKhCKhSCgKioKikiJSJKIQQjRSIRfkuoVKhCNQCApBISgEhaAQFIKioWgoGoqGoqFoKBqKzsq6Fuz4/vUUrc2f//RD0m8aTbRhYrcwe1+wL+Pn7aHXaMLWycS0WhbMhi41gb3zNp+txd90+f+o4vus0r/D9PE0iX2aqrfpR7oyrYtv22vNTnSm8Xa/7OfQnlan7/FYObbnGIfWdnO0WTrt0XS8V2VR0WPNb/sB", + "file_map": { + "50": { + "source": "fn main(x: i64) -> pub i64 {\n let y = x / x;\n x / y\n}\n", + "path": "" + } + }, + "names": [ + "main" + ], + "brillig_names": [ + "main" + ] +} diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__stdout.snap new file mode 100644 index 00000000000..628f95f686d --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_8726/execute__tests__stdout.snap @@ -0,0 +1,5 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: stdout +--- +[regression_8726] Circuit output: Field(9223372036854775808) diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap index f6796b8fde7..d33c826277e 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap @@ -204,10 +204,10 @@ expression: artifact "EXPR [ (-2, _44, _75) (1, _44) (4294967296, _75) (-1, _80) 0 ]", "EXPR [ (1, _79, _80) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(44), Witness(77))], linear_combinations: [(1, Witness(44)), (4294967296, Witness(77))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(80))], q_c: 0 })], outputs: [Simple(Witness(81)), Simple(Witness(82))]", - "BLACKBOX::RANGE [(_81, 31)] []", - "BLACKBOX::RANGE [(_82, 31)] []", + "BLACKBOX::RANGE [(_81, 32)] []", + "BLACKBOX::RANGE [(_82, 32)] []", "EXPR [ (1, _80) (-1, _82) (-1, _83) -1 ]", - "BLACKBOX::RANGE [(_83, 31)] []", + "BLACKBOX::RANGE [(_83, 32)] []", "EXPR [ (-2, _44, _77) (-1, _80, _81) (1, _44) (4294967296, _77) (-1, _82) 0 ]", "EXPR [ (-1, _81) (-1, _84) 2147483648 ]", "EXPR [ (-2, _75, _77) (1, _75) (1, _77) (-1, _85) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_0.snap index f6796b8fde7..d33c826277e 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_0.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_0.snap @@ -204,10 +204,10 @@ expression: artifact "EXPR [ (-2, _44, _75) (1, _44) (4294967296, _75) (-1, _80) 0 ]", "EXPR [ (1, _79, _80) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(44), Witness(77))], linear_combinations: [(1, Witness(44)), (4294967296, Witness(77))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(80))], q_c: 0 })], outputs: [Simple(Witness(81)), Simple(Witness(82))]", - "BLACKBOX::RANGE [(_81, 31)] []", - "BLACKBOX::RANGE [(_82, 31)] []", + "BLACKBOX::RANGE [(_81, 32)] []", + "BLACKBOX::RANGE [(_82, 32)] []", "EXPR [ (1, _80) (-1, _82) (-1, _83) -1 ]", - "BLACKBOX::RANGE [(_83, 31)] []", + "BLACKBOX::RANGE [(_83, 32)] []", "EXPR [ (-2, _44, _77) (-1, _80, _81) (1, _44) (4294967296, _77) (-1, _82) 0 ]", "EXPR [ (-1, _81) (-1, _84) 2147483648 ]", "EXPR [ (-2, _75, _77) (1, _75) (1, _77) (-1, _85) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_9223372036854775807.snap index f6796b8fde7..d33c826277e 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_9223372036854775807.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_arithmetic/execute__tests__force_brillig_false_inliner_9223372036854775807.snap @@ -204,10 +204,10 @@ expression: artifact "EXPR [ (-2, _44, _75) (1, _44) (4294967296, _75) (-1, _80) 0 ]", "EXPR [ (1, _79, _80) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(44), Witness(77))], linear_combinations: [(1, Witness(44)), (4294967296, Witness(77))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(80))], q_c: 0 })], outputs: [Simple(Witness(81)), Simple(Witness(82))]", - "BLACKBOX::RANGE [(_81, 31)] []", - "BLACKBOX::RANGE [(_82, 31)] []", + "BLACKBOX::RANGE [(_81, 32)] []", + "BLACKBOX::RANGE [(_82, 32)] []", "EXPR [ (1, _80) (-1, _82) (-1, _83) -1 ]", - "BLACKBOX::RANGE [(_83, 31)] []", + "BLACKBOX::RANGE [(_83, 32)] []", "EXPR [ (-2, _44, _77) (-1, _80, _81) (1, _44) (4294967296, _77) (-1, _82) 0 ]", "EXPR [ (-1, _81) (-1, _84) 2147483648 ]", "EXPR [ (-2, _75, _77) (1, _75) (1, _77) (-1, _85) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap index 192d70221f5..4f078bf6487 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap @@ -112,10 +112,10 @@ expression: artifact "EXPR [ (-2, _1, _45) (1, _1) (256, _45) (-1, _50) 0 ]", "EXPR [ (1, _49, _50) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(47))], linear_combinations: [(1, Witness(0)), (256, Witness(47))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(50))], q_c: 0 })], outputs: [Simple(Witness(51)), Simple(Witness(52))]", - "BLACKBOX::RANGE [(_51, 7)] []", - "BLACKBOX::RANGE [(_52, 7)] []", + "BLACKBOX::RANGE [(_51, 8)] []", + "BLACKBOX::RANGE [(_52, 8)] []", "EXPR [ (1, _50) (-1, _52) (-1, _53) -1 ]", - "BLACKBOX::RANGE [(_53, 7)] []", + "BLACKBOX::RANGE [(_53, 8)] []", "EXPR [ (-2, _0, _47) (-1, _50, _51) (1, _0) (256, _47) (-1, _52) 0 ]", "EXPR [ (-1, _51) (-1, _54) 128 ]", "EXPR [ (-2, _45, _47) (1, _45) (1, _47) (-1, _55) 0 ]", @@ -142,10 +142,10 @@ expression: artifact "EXPR [ (-2, _4, _64) (1, _4) (256, _64) (-1, _69) 0 ]", "EXPR [ (1, _68, _69) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(3), Witness(66))], linear_combinations: [(1, Witness(3)), (256, Witness(66))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(69))], q_c: 0 })], outputs: [Simple(Witness(70)), Simple(Witness(71))]", - "BLACKBOX::RANGE [(_70, 7)] []", - "BLACKBOX::RANGE [(_71, 7)] []", + "BLACKBOX::RANGE [(_70, 8)] []", + "BLACKBOX::RANGE [(_71, 8)] []", "EXPR [ (1, _69) (-1, _71) (-1, _72) -1 ]", - "BLACKBOX::RANGE [(_72, 7)] []", + "BLACKBOX::RANGE [(_72, 8)] []", "EXPR [ (-2, _3, _66) (-1, _69, _70) (1, _3) (256, _66) (-1, _71) 0 ]", "EXPR [ (-1, _70) (-1, _73) 128 ]", "EXPR [ (-2, _64, _66) (1, _64) (1, _66) (-1, _74) 0 ]", @@ -172,10 +172,10 @@ expression: artifact "EXPR [ (-2, _7, _83) (1, _7) (256, _83) (-1, _88) 0 ]", "EXPR [ (1, _87, _88) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(85))], linear_combinations: [(1, Witness(6)), (256, Witness(85))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(88))], q_c: 0 })], outputs: [Simple(Witness(89)), Simple(Witness(90))]", - "BLACKBOX::RANGE [(_89, 7)] []", - "BLACKBOX::RANGE [(_90, 7)] []", + "BLACKBOX::RANGE [(_89, 8)] []", + "BLACKBOX::RANGE [(_90, 8)] []", "EXPR [ (1, _88) (-1, _90) (-1, _91) -1 ]", - "BLACKBOX::RANGE [(_91, 7)] []", + "BLACKBOX::RANGE [(_91, 8)] []", "EXPR [ (-2, _6, _85) (-1, _88, _89) (1, _6) (256, _85) (-1, _90) 0 ]", "EXPR [ (-1, _89) (-1, _92) 128 ]", "EXPR [ (-2, _83, _85) (1, _83) (1, _85) (-1, _93) 0 ]", @@ -202,10 +202,10 @@ expression: artifact "EXPR [ (-2, _10, _102) (1, _10) (256, _102) (-1, _107) 0 ]", "EXPR [ (1, _106, _107) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(9), Witness(104))], linear_combinations: [(1, Witness(9)), (256, Witness(104))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(107))], q_c: 0 })], outputs: [Simple(Witness(108)), Simple(Witness(109))]", - "BLACKBOX::RANGE [(_108, 7)] []", - "BLACKBOX::RANGE [(_109, 7)] []", + "BLACKBOX::RANGE [(_108, 8)] []", + "BLACKBOX::RANGE [(_109, 8)] []", "EXPR [ (1, _107) (-1, _109) (-1, _110) -1 ]", - "BLACKBOX::RANGE [(_110, 7)] []", + "BLACKBOX::RANGE [(_110, 8)] []", "EXPR [ (-2, _9, _104) (-1, _107, _108) (1, _9) (256, _104) (-1, _109) 0 ]", "EXPR [ (-1, _108) (-1, _111) 128 ]", "EXPR [ (-2, _102, _104) (1, _102) (1, _104) (-1, _112) 0 ]", @@ -232,10 +232,10 @@ expression: artifact "EXPR [ (-2, _13, _121) (1, _13) (256, _121) (-1, _126) 0 ]", "EXPR [ (1, _125, _126) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(12), Witness(123))], linear_combinations: [(1, Witness(12)), (256, Witness(123))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(126))], q_c: 0 })], outputs: [Simple(Witness(127)), Simple(Witness(128))]", - "BLACKBOX::RANGE [(_127, 7)] []", - "BLACKBOX::RANGE [(_128, 7)] []", + "BLACKBOX::RANGE [(_127, 8)] []", + "BLACKBOX::RANGE [(_128, 8)] []", "EXPR [ (1, _126) (-1, _128) (-1, _129) -1 ]", - "BLACKBOX::RANGE [(_129, 7)] []", + "BLACKBOX::RANGE [(_129, 8)] []", "EXPR [ (-2, _12, _123) (-1, _126, _127) (1, _12) (256, _123) (-1, _128) 0 ]", "EXPR [ (-1, _127) (-1, _130) 128 ]", "EXPR [ (-2, _121, _123) (1, _121) (1, _123) (-1, _131) 0 ]", @@ -262,10 +262,10 @@ expression: artifact "EXPR [ (-2, _16, _140) (1, _16) (256, _140) (-1, _145) 0 ]", "EXPR [ (1, _144, _145) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(15), Witness(142))], linear_combinations: [(1, Witness(15)), (256, Witness(142))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(145))], q_c: 0 })], outputs: [Simple(Witness(146)), Simple(Witness(147))]", - "BLACKBOX::RANGE [(_146, 7)] []", - "BLACKBOX::RANGE [(_147, 7)] []", + "BLACKBOX::RANGE [(_146, 8)] []", + "BLACKBOX::RANGE [(_147, 8)] []", "EXPR [ (1, _145) (-1, _147) (-1, _148) -1 ]", - "BLACKBOX::RANGE [(_148, 7)] []", + "BLACKBOX::RANGE [(_148, 8)] []", "EXPR [ (-2, _15, _142) (-1, _145, _146) (1, _15) (256, _142) (-1, _147) 0 ]", "EXPR [ (-1, _146) (-1, _149) 128 ]", "EXPR [ (-2, _140, _142) (1, _140) (1, _142) (-1, _150) 0 ]", @@ -292,10 +292,10 @@ expression: artifact "EXPR [ (-2, _19, _159) (1, _19) (256, _159) (-1, _164) 0 ]", "EXPR [ (1, _163, _164) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(18), Witness(161))], linear_combinations: [(1, Witness(18)), (256, Witness(161))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(164))], q_c: 0 })], outputs: [Simple(Witness(165)), Simple(Witness(166))]", - "BLACKBOX::RANGE [(_165, 7)] []", - "BLACKBOX::RANGE [(_166, 7)] []", + "BLACKBOX::RANGE [(_165, 8)] []", + "BLACKBOX::RANGE [(_166, 8)] []", "EXPR [ (1, _164) (-1, _166) (-1, _167) -1 ]", - "BLACKBOX::RANGE [(_167, 7)] []", + "BLACKBOX::RANGE [(_167, 8)] []", "EXPR [ (-2, _18, _161) (-1, _164, _165) (1, _18) (256, _161) (-1, _166) 0 ]", "EXPR [ (-1, _165) (-1, _168) 128 ]", "EXPR [ (-2, _159, _161) (1, _159) (1, _161) (-1, _169) 0 ]", @@ -322,10 +322,10 @@ expression: artifact "EXPR [ (-2, _22, _178) (1, _22) (256, _178) (-1, _183) 0 ]", "EXPR [ (1, _182, _183) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(21), Witness(180))], linear_combinations: [(1, Witness(21)), (256, Witness(180))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(183))], q_c: 0 })], outputs: [Simple(Witness(184)), Simple(Witness(185))]", - "BLACKBOX::RANGE [(_184, 7)] []", - "BLACKBOX::RANGE [(_185, 7)] []", + "BLACKBOX::RANGE [(_184, 8)] []", + "BLACKBOX::RANGE [(_185, 8)] []", "EXPR [ (1, _183) (-1, _185) (-1, _186) -1 ]", - "BLACKBOX::RANGE [(_186, 7)] []", + "BLACKBOX::RANGE [(_186, 8)] []", "EXPR [ (-2, _21, _180) (-1, _183, _184) (1, _21) (256, _180) (-1, _185) 0 ]", "EXPR [ (-1, _184) (-1, _187) 128 ]", "EXPR [ (-2, _178, _180) (1, _178) (1, _180) (-1, _188) 0 ]", @@ -352,10 +352,10 @@ expression: artifact "EXPR [ (-2, _25, _197) (1, _25) (256, _197) (-1, _202) 0 ]", "EXPR [ (1, _201, _202) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(24), Witness(199))], linear_combinations: [(1, Witness(24)), (256, Witness(199))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(202))], q_c: 0 })], outputs: [Simple(Witness(203)), Simple(Witness(204))]", - "BLACKBOX::RANGE [(_203, 7)] []", - "BLACKBOX::RANGE [(_204, 7)] []", + "BLACKBOX::RANGE [(_203, 8)] []", + "BLACKBOX::RANGE [(_204, 8)] []", "EXPR [ (1, _202) (-1, _204) (-1, _205) -1 ]", - "BLACKBOX::RANGE [(_205, 7)] []", + "BLACKBOX::RANGE [(_205, 8)] []", "EXPR [ (-2, _24, _199) (-1, _202, _203) (1, _24) (256, _199) (-1, _204) 0 ]", "EXPR [ (-1, _203) (-1, _206) 128 ]", "EXPR [ (-2, _197, _199) (1, _197) (1, _199) (-1, _207) 0 ]", @@ -382,10 +382,10 @@ expression: artifact "EXPR [ (-2, _28, _216) (1, _28) (256, _216) (-1, _221) 0 ]", "EXPR [ (1, _220, _221) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(27), Witness(218))], linear_combinations: [(1, Witness(27)), (256, Witness(218))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(221))], q_c: 0 })], outputs: [Simple(Witness(222)), Simple(Witness(223))]", - "BLACKBOX::RANGE [(_222, 7)] []", - "BLACKBOX::RANGE [(_223, 7)] []", + "BLACKBOX::RANGE [(_222, 8)] []", + "BLACKBOX::RANGE [(_223, 8)] []", "EXPR [ (1, _221) (-1, _223) (-1, _224) -1 ]", - "BLACKBOX::RANGE [(_224, 7)] []", + "BLACKBOX::RANGE [(_224, 8)] []", "EXPR [ (-2, _27, _218) (-1, _221, _222) (1, _27) (256, _218) (-1, _223) 0 ]", "EXPR [ (-1, _222) (-1, _225) 128 ]", "EXPR [ (-2, _216, _218) (1, _216) (1, _218) (-1, _226) 0 ]", @@ -412,10 +412,10 @@ expression: artifact "EXPR [ (-2, _31, _235) (1, _31) (256, _235) (-1, _240) 0 ]", "EXPR [ (1, _239, _240) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(30), Witness(237))], linear_combinations: [(1, Witness(30)), (256, Witness(237))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(240))], q_c: 0 })], outputs: [Simple(Witness(241)), Simple(Witness(242))]", - "BLACKBOX::RANGE [(_241, 7)] []", - "BLACKBOX::RANGE [(_242, 7)] []", + "BLACKBOX::RANGE [(_241, 8)] []", + "BLACKBOX::RANGE [(_242, 8)] []", "EXPR [ (1, _240) (-1, _242) (-1, _243) -1 ]", - "BLACKBOX::RANGE [(_243, 7)] []", + "BLACKBOX::RANGE [(_243, 8)] []", "EXPR [ (-2, _30, _237) (-1, _240, _241) (1, _30) (256, _237) (-1, _242) 0 ]", "EXPR [ (-1, _241) (-1, _244) 128 ]", "EXPR [ (-2, _235, _237) (1, _235) (1, _237) (-1, _245) 0 ]", @@ -442,10 +442,10 @@ expression: artifact "EXPR [ (-2, _34, _254) (1, _34) (256, _254) (-1, _259) 0 ]", "EXPR [ (1, _258, _259) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(33), Witness(256))], linear_combinations: [(1, Witness(33)), (256, Witness(256))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(259))], q_c: 0 })], outputs: [Simple(Witness(260)), Simple(Witness(261))]", - "BLACKBOX::RANGE [(_260, 7)] []", - "BLACKBOX::RANGE [(_261, 7)] []", + "BLACKBOX::RANGE [(_260, 8)] []", + "BLACKBOX::RANGE [(_261, 8)] []", "EXPR [ (1, _259) (-1, _261) (-1, _262) -1 ]", - "BLACKBOX::RANGE [(_262, 7)] []", + "BLACKBOX::RANGE [(_262, 8)] []", "EXPR [ (-2, _33, _256) (-1, _259, _260) (1, _33) (256, _256) (-1, _261) 0 ]", "EXPR [ (-1, _260) (-1, _263) 128 ]", "EXPR [ (-2, _254, _256) (1, _254) (1, _256) (-1, _264) 0 ]", @@ -472,10 +472,10 @@ expression: artifact "EXPR [ (-2, _37, _273) (1, _37) (256, _273) (-1, _278) 0 ]", "EXPR [ (1, _277, _278) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(36), Witness(275))], linear_combinations: [(1, Witness(36)), (256, Witness(275))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(278))], q_c: 0 })], outputs: [Simple(Witness(279)), Simple(Witness(280))]", - "BLACKBOX::RANGE [(_279, 7)] []", - "BLACKBOX::RANGE [(_280, 7)] []", + "BLACKBOX::RANGE [(_279, 8)] []", + "BLACKBOX::RANGE [(_280, 8)] []", "EXPR [ (1, _278) (-1, _280) (-1, _281) -1 ]", - "BLACKBOX::RANGE [(_281, 7)] []", + "BLACKBOX::RANGE [(_281, 8)] []", "EXPR [ (-2, _36, _275) (-1, _278, _279) (1, _36) (256, _275) (-1, _280) 0 ]", "EXPR [ (-1, _279) (-1, _282) 128 ]", "EXPR [ (-2, _273, _275) (1, _273) (1, _275) (-1, _283) 0 ]", @@ -502,10 +502,10 @@ expression: artifact "EXPR [ (-2, _40, _292) (1, _40) (256, _292) (-1, _297) 0 ]", "EXPR [ (1, _296, _297) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(39), Witness(294))], linear_combinations: [(1, Witness(39)), (256, Witness(294))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(297))], q_c: 0 })], outputs: [Simple(Witness(298)), Simple(Witness(299))]", - "BLACKBOX::RANGE [(_298, 7)] []", - "BLACKBOX::RANGE [(_299, 7)] []", + "BLACKBOX::RANGE [(_298, 8)] []", + "BLACKBOX::RANGE [(_299, 8)] []", "EXPR [ (1, _297) (-1, _299) (-1, _300) -1 ]", - "BLACKBOX::RANGE [(_300, 7)] []", + "BLACKBOX::RANGE [(_300, 8)] []", "EXPR [ (-2, _39, _294) (-1, _297, _298) (1, _39) (256, _294) (-1, _299) 0 ]", "EXPR [ (-1, _298) (-1, _301) 128 ]", "EXPR [ (-2, _292, _294) (1, _292) (1, _294) (-1, _302) 0 ]", @@ -532,10 +532,10 @@ expression: artifact "EXPR [ (-2, _43, _311) (1, _43) (256, _311) (-1, _316) 0 ]", "EXPR [ (1, _315, _316) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(42), Witness(313))], linear_combinations: [(1, Witness(42)), (256, Witness(313))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(316))], q_c: 0 })], outputs: [Simple(Witness(317)), Simple(Witness(318))]", - "BLACKBOX::RANGE [(_317, 7)] []", - "BLACKBOX::RANGE [(_318, 7)] []", + "BLACKBOX::RANGE [(_317, 8)] []", + "BLACKBOX::RANGE [(_318, 8)] []", "EXPR [ (1, _316) (-1, _318) (-1, _319) -1 ]", - "BLACKBOX::RANGE [(_319, 7)] []", + "BLACKBOX::RANGE [(_319, 8)] []", "EXPR [ (-2, _42, _313) (-1, _316, _317) (1, _42) (256, _313) (-1, _318) 0 ]", "EXPR [ (-1, _317) (-1, _320) 128 ]", "EXPR [ (-2, _311, _313) (1, _311) (1, _313) (-1, _321) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_0.snap index 192d70221f5..4f078bf6487 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_0.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_0.snap @@ -112,10 +112,10 @@ expression: artifact "EXPR [ (-2, _1, _45) (1, _1) (256, _45) (-1, _50) 0 ]", "EXPR [ (1, _49, _50) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(47))], linear_combinations: [(1, Witness(0)), (256, Witness(47))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(50))], q_c: 0 })], outputs: [Simple(Witness(51)), Simple(Witness(52))]", - "BLACKBOX::RANGE [(_51, 7)] []", - "BLACKBOX::RANGE [(_52, 7)] []", + "BLACKBOX::RANGE [(_51, 8)] []", + "BLACKBOX::RANGE [(_52, 8)] []", "EXPR [ (1, _50) (-1, _52) (-1, _53) -1 ]", - "BLACKBOX::RANGE [(_53, 7)] []", + "BLACKBOX::RANGE [(_53, 8)] []", "EXPR [ (-2, _0, _47) (-1, _50, _51) (1, _0) (256, _47) (-1, _52) 0 ]", "EXPR [ (-1, _51) (-1, _54) 128 ]", "EXPR [ (-2, _45, _47) (1, _45) (1, _47) (-1, _55) 0 ]", @@ -142,10 +142,10 @@ expression: artifact "EXPR [ (-2, _4, _64) (1, _4) (256, _64) (-1, _69) 0 ]", "EXPR [ (1, _68, _69) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(3), Witness(66))], linear_combinations: [(1, Witness(3)), (256, Witness(66))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(69))], q_c: 0 })], outputs: [Simple(Witness(70)), Simple(Witness(71))]", - "BLACKBOX::RANGE [(_70, 7)] []", - "BLACKBOX::RANGE [(_71, 7)] []", + "BLACKBOX::RANGE [(_70, 8)] []", + "BLACKBOX::RANGE [(_71, 8)] []", "EXPR [ (1, _69) (-1, _71) (-1, _72) -1 ]", - "BLACKBOX::RANGE [(_72, 7)] []", + "BLACKBOX::RANGE [(_72, 8)] []", "EXPR [ (-2, _3, _66) (-1, _69, _70) (1, _3) (256, _66) (-1, _71) 0 ]", "EXPR [ (-1, _70) (-1, _73) 128 ]", "EXPR [ (-2, _64, _66) (1, _64) (1, _66) (-1, _74) 0 ]", @@ -172,10 +172,10 @@ expression: artifact "EXPR [ (-2, _7, _83) (1, _7) (256, _83) (-1, _88) 0 ]", "EXPR [ (1, _87, _88) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(85))], linear_combinations: [(1, Witness(6)), (256, Witness(85))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(88))], q_c: 0 })], outputs: [Simple(Witness(89)), Simple(Witness(90))]", - "BLACKBOX::RANGE [(_89, 7)] []", - "BLACKBOX::RANGE [(_90, 7)] []", + "BLACKBOX::RANGE [(_89, 8)] []", + "BLACKBOX::RANGE [(_90, 8)] []", "EXPR [ (1, _88) (-1, _90) (-1, _91) -1 ]", - "BLACKBOX::RANGE [(_91, 7)] []", + "BLACKBOX::RANGE [(_91, 8)] []", "EXPR [ (-2, _6, _85) (-1, _88, _89) (1, _6) (256, _85) (-1, _90) 0 ]", "EXPR [ (-1, _89) (-1, _92) 128 ]", "EXPR [ (-2, _83, _85) (1, _83) (1, _85) (-1, _93) 0 ]", @@ -202,10 +202,10 @@ expression: artifact "EXPR [ (-2, _10, _102) (1, _10) (256, _102) (-1, _107) 0 ]", "EXPR [ (1, _106, _107) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(9), Witness(104))], linear_combinations: [(1, Witness(9)), (256, Witness(104))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(107))], q_c: 0 })], outputs: [Simple(Witness(108)), Simple(Witness(109))]", - "BLACKBOX::RANGE [(_108, 7)] []", - "BLACKBOX::RANGE [(_109, 7)] []", + "BLACKBOX::RANGE [(_108, 8)] []", + "BLACKBOX::RANGE [(_109, 8)] []", "EXPR [ (1, _107) (-1, _109) (-1, _110) -1 ]", - "BLACKBOX::RANGE [(_110, 7)] []", + "BLACKBOX::RANGE [(_110, 8)] []", "EXPR [ (-2, _9, _104) (-1, _107, _108) (1, _9) (256, _104) (-1, _109) 0 ]", "EXPR [ (-1, _108) (-1, _111) 128 ]", "EXPR [ (-2, _102, _104) (1, _102) (1, _104) (-1, _112) 0 ]", @@ -232,10 +232,10 @@ expression: artifact "EXPR [ (-2, _13, _121) (1, _13) (256, _121) (-1, _126) 0 ]", "EXPR [ (1, _125, _126) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(12), Witness(123))], linear_combinations: [(1, Witness(12)), (256, Witness(123))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(126))], q_c: 0 })], outputs: [Simple(Witness(127)), Simple(Witness(128))]", - "BLACKBOX::RANGE [(_127, 7)] []", - "BLACKBOX::RANGE [(_128, 7)] []", + "BLACKBOX::RANGE [(_127, 8)] []", + "BLACKBOX::RANGE [(_128, 8)] []", "EXPR [ (1, _126) (-1, _128) (-1, _129) -1 ]", - "BLACKBOX::RANGE [(_129, 7)] []", + "BLACKBOX::RANGE [(_129, 8)] []", "EXPR [ (-2, _12, _123) (-1, _126, _127) (1, _12) (256, _123) (-1, _128) 0 ]", "EXPR [ (-1, _127) (-1, _130) 128 ]", "EXPR [ (-2, _121, _123) (1, _121) (1, _123) (-1, _131) 0 ]", @@ -262,10 +262,10 @@ expression: artifact "EXPR [ (-2, _16, _140) (1, _16) (256, _140) (-1, _145) 0 ]", "EXPR [ (1, _144, _145) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(15), Witness(142))], linear_combinations: [(1, Witness(15)), (256, Witness(142))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(145))], q_c: 0 })], outputs: [Simple(Witness(146)), Simple(Witness(147))]", - "BLACKBOX::RANGE [(_146, 7)] []", - "BLACKBOX::RANGE [(_147, 7)] []", + "BLACKBOX::RANGE [(_146, 8)] []", + "BLACKBOX::RANGE [(_147, 8)] []", "EXPR [ (1, _145) (-1, _147) (-1, _148) -1 ]", - "BLACKBOX::RANGE [(_148, 7)] []", + "BLACKBOX::RANGE [(_148, 8)] []", "EXPR [ (-2, _15, _142) (-1, _145, _146) (1, _15) (256, _142) (-1, _147) 0 ]", "EXPR [ (-1, _146) (-1, _149) 128 ]", "EXPR [ (-2, _140, _142) (1, _140) (1, _142) (-1, _150) 0 ]", @@ -292,10 +292,10 @@ expression: artifact "EXPR [ (-2, _19, _159) (1, _19) (256, _159) (-1, _164) 0 ]", "EXPR [ (1, _163, _164) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(18), Witness(161))], linear_combinations: [(1, Witness(18)), (256, Witness(161))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(164))], q_c: 0 })], outputs: [Simple(Witness(165)), Simple(Witness(166))]", - "BLACKBOX::RANGE [(_165, 7)] []", - "BLACKBOX::RANGE [(_166, 7)] []", + "BLACKBOX::RANGE [(_165, 8)] []", + "BLACKBOX::RANGE [(_166, 8)] []", "EXPR [ (1, _164) (-1, _166) (-1, _167) -1 ]", - "BLACKBOX::RANGE [(_167, 7)] []", + "BLACKBOX::RANGE [(_167, 8)] []", "EXPR [ (-2, _18, _161) (-1, _164, _165) (1, _18) (256, _161) (-1, _166) 0 ]", "EXPR [ (-1, _165) (-1, _168) 128 ]", "EXPR [ (-2, _159, _161) (1, _159) (1, _161) (-1, _169) 0 ]", @@ -322,10 +322,10 @@ expression: artifact "EXPR [ (-2, _22, _178) (1, _22) (256, _178) (-1, _183) 0 ]", "EXPR [ (1, _182, _183) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(21), Witness(180))], linear_combinations: [(1, Witness(21)), (256, Witness(180))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(183))], q_c: 0 })], outputs: [Simple(Witness(184)), Simple(Witness(185))]", - "BLACKBOX::RANGE [(_184, 7)] []", - "BLACKBOX::RANGE [(_185, 7)] []", + "BLACKBOX::RANGE [(_184, 8)] []", + "BLACKBOX::RANGE [(_185, 8)] []", "EXPR [ (1, _183) (-1, _185) (-1, _186) -1 ]", - "BLACKBOX::RANGE [(_186, 7)] []", + "BLACKBOX::RANGE [(_186, 8)] []", "EXPR [ (-2, _21, _180) (-1, _183, _184) (1, _21) (256, _180) (-1, _185) 0 ]", "EXPR [ (-1, _184) (-1, _187) 128 ]", "EXPR [ (-2, _178, _180) (1, _178) (1, _180) (-1, _188) 0 ]", @@ -352,10 +352,10 @@ expression: artifact "EXPR [ (-2, _25, _197) (1, _25) (256, _197) (-1, _202) 0 ]", "EXPR [ (1, _201, _202) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(24), Witness(199))], linear_combinations: [(1, Witness(24)), (256, Witness(199))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(202))], q_c: 0 })], outputs: [Simple(Witness(203)), Simple(Witness(204))]", - "BLACKBOX::RANGE [(_203, 7)] []", - "BLACKBOX::RANGE [(_204, 7)] []", + "BLACKBOX::RANGE [(_203, 8)] []", + "BLACKBOX::RANGE [(_204, 8)] []", "EXPR [ (1, _202) (-1, _204) (-1, _205) -1 ]", - "BLACKBOX::RANGE [(_205, 7)] []", + "BLACKBOX::RANGE [(_205, 8)] []", "EXPR [ (-2, _24, _199) (-1, _202, _203) (1, _24) (256, _199) (-1, _204) 0 ]", "EXPR [ (-1, _203) (-1, _206) 128 ]", "EXPR [ (-2, _197, _199) (1, _197) (1, _199) (-1, _207) 0 ]", @@ -382,10 +382,10 @@ expression: artifact "EXPR [ (-2, _28, _216) (1, _28) (256, _216) (-1, _221) 0 ]", "EXPR [ (1, _220, _221) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(27), Witness(218))], linear_combinations: [(1, Witness(27)), (256, Witness(218))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(221))], q_c: 0 })], outputs: [Simple(Witness(222)), Simple(Witness(223))]", - "BLACKBOX::RANGE [(_222, 7)] []", - "BLACKBOX::RANGE [(_223, 7)] []", + "BLACKBOX::RANGE [(_222, 8)] []", + "BLACKBOX::RANGE [(_223, 8)] []", "EXPR [ (1, _221) (-1, _223) (-1, _224) -1 ]", - "BLACKBOX::RANGE [(_224, 7)] []", + "BLACKBOX::RANGE [(_224, 8)] []", "EXPR [ (-2, _27, _218) (-1, _221, _222) (1, _27) (256, _218) (-1, _223) 0 ]", "EXPR [ (-1, _222) (-1, _225) 128 ]", "EXPR [ (-2, _216, _218) (1, _216) (1, _218) (-1, _226) 0 ]", @@ -412,10 +412,10 @@ expression: artifact "EXPR [ (-2, _31, _235) (1, _31) (256, _235) (-1, _240) 0 ]", "EXPR [ (1, _239, _240) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(30), Witness(237))], linear_combinations: [(1, Witness(30)), (256, Witness(237))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(240))], q_c: 0 })], outputs: [Simple(Witness(241)), Simple(Witness(242))]", - "BLACKBOX::RANGE [(_241, 7)] []", - "BLACKBOX::RANGE [(_242, 7)] []", + "BLACKBOX::RANGE [(_241, 8)] []", + "BLACKBOX::RANGE [(_242, 8)] []", "EXPR [ (1, _240) (-1, _242) (-1, _243) -1 ]", - "BLACKBOX::RANGE [(_243, 7)] []", + "BLACKBOX::RANGE [(_243, 8)] []", "EXPR [ (-2, _30, _237) (-1, _240, _241) (1, _30) (256, _237) (-1, _242) 0 ]", "EXPR [ (-1, _241) (-1, _244) 128 ]", "EXPR [ (-2, _235, _237) (1, _235) (1, _237) (-1, _245) 0 ]", @@ -442,10 +442,10 @@ expression: artifact "EXPR [ (-2, _34, _254) (1, _34) (256, _254) (-1, _259) 0 ]", "EXPR [ (1, _258, _259) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(33), Witness(256))], linear_combinations: [(1, Witness(33)), (256, Witness(256))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(259))], q_c: 0 })], outputs: [Simple(Witness(260)), Simple(Witness(261))]", - "BLACKBOX::RANGE [(_260, 7)] []", - "BLACKBOX::RANGE [(_261, 7)] []", + "BLACKBOX::RANGE [(_260, 8)] []", + "BLACKBOX::RANGE [(_261, 8)] []", "EXPR [ (1, _259) (-1, _261) (-1, _262) -1 ]", - "BLACKBOX::RANGE [(_262, 7)] []", + "BLACKBOX::RANGE [(_262, 8)] []", "EXPR [ (-2, _33, _256) (-1, _259, _260) (1, _33) (256, _256) (-1, _261) 0 ]", "EXPR [ (-1, _260) (-1, _263) 128 ]", "EXPR [ (-2, _254, _256) (1, _254) (1, _256) (-1, _264) 0 ]", @@ -472,10 +472,10 @@ expression: artifact "EXPR [ (-2, _37, _273) (1, _37) (256, _273) (-1, _278) 0 ]", "EXPR [ (1, _277, _278) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(36), Witness(275))], linear_combinations: [(1, Witness(36)), (256, Witness(275))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(278))], q_c: 0 })], outputs: [Simple(Witness(279)), Simple(Witness(280))]", - "BLACKBOX::RANGE [(_279, 7)] []", - "BLACKBOX::RANGE [(_280, 7)] []", + "BLACKBOX::RANGE [(_279, 8)] []", + "BLACKBOX::RANGE [(_280, 8)] []", "EXPR [ (1, _278) (-1, _280) (-1, _281) -1 ]", - "BLACKBOX::RANGE [(_281, 7)] []", + "BLACKBOX::RANGE [(_281, 8)] []", "EXPR [ (-2, _36, _275) (-1, _278, _279) (1, _36) (256, _275) (-1, _280) 0 ]", "EXPR [ (-1, _279) (-1, _282) 128 ]", "EXPR [ (-2, _273, _275) (1, _273) (1, _275) (-1, _283) 0 ]", @@ -502,10 +502,10 @@ expression: artifact "EXPR [ (-2, _40, _292) (1, _40) (256, _292) (-1, _297) 0 ]", "EXPR [ (1, _296, _297) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(39), Witness(294))], linear_combinations: [(1, Witness(39)), (256, Witness(294))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(297))], q_c: 0 })], outputs: [Simple(Witness(298)), Simple(Witness(299))]", - "BLACKBOX::RANGE [(_298, 7)] []", - "BLACKBOX::RANGE [(_299, 7)] []", + "BLACKBOX::RANGE [(_298, 8)] []", + "BLACKBOX::RANGE [(_299, 8)] []", "EXPR [ (1, _297) (-1, _299) (-1, _300) -1 ]", - "BLACKBOX::RANGE [(_300, 7)] []", + "BLACKBOX::RANGE [(_300, 8)] []", "EXPR [ (-2, _39, _294) (-1, _297, _298) (1, _39) (256, _294) (-1, _299) 0 ]", "EXPR [ (-1, _298) (-1, _301) 128 ]", "EXPR [ (-2, _292, _294) (1, _292) (1, _294) (-1, _302) 0 ]", @@ -532,10 +532,10 @@ expression: artifact "EXPR [ (-2, _43, _311) (1, _43) (256, _311) (-1, _316) 0 ]", "EXPR [ (1, _315, _316) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(42), Witness(313))], linear_combinations: [(1, Witness(42)), (256, Witness(313))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(316))], q_c: 0 })], outputs: [Simple(Witness(317)), Simple(Witness(318))]", - "BLACKBOX::RANGE [(_317, 7)] []", - "BLACKBOX::RANGE [(_318, 7)] []", + "BLACKBOX::RANGE [(_317, 8)] []", + "BLACKBOX::RANGE [(_318, 8)] []", "EXPR [ (1, _316) (-1, _318) (-1, _319) -1 ]", - "BLACKBOX::RANGE [(_319, 7)] []", + "BLACKBOX::RANGE [(_319, 8)] []", "EXPR [ (-2, _42, _313) (-1, _316, _317) (1, _42) (256, _313) (-1, _318) 0 ]", "EXPR [ (-1, _317) (-1, _320) 128 ]", "EXPR [ (-2, _311, _313) (1, _311) (1, _313) (-1, _321) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_9223372036854775807.snap index 192d70221f5..4f078bf6487 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_9223372036854775807.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_div/execute__tests__force_brillig_false_inliner_9223372036854775807.snap @@ -112,10 +112,10 @@ expression: artifact "EXPR [ (-2, _1, _45) (1, _1) (256, _45) (-1, _50) 0 ]", "EXPR [ (1, _49, _50) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(47))], linear_combinations: [(1, Witness(0)), (256, Witness(47))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(50))], q_c: 0 })], outputs: [Simple(Witness(51)), Simple(Witness(52))]", - "BLACKBOX::RANGE [(_51, 7)] []", - "BLACKBOX::RANGE [(_52, 7)] []", + "BLACKBOX::RANGE [(_51, 8)] []", + "BLACKBOX::RANGE [(_52, 8)] []", "EXPR [ (1, _50) (-1, _52) (-1, _53) -1 ]", - "BLACKBOX::RANGE [(_53, 7)] []", + "BLACKBOX::RANGE [(_53, 8)] []", "EXPR [ (-2, _0, _47) (-1, _50, _51) (1, _0) (256, _47) (-1, _52) 0 ]", "EXPR [ (-1, _51) (-1, _54) 128 ]", "EXPR [ (-2, _45, _47) (1, _45) (1, _47) (-1, _55) 0 ]", @@ -142,10 +142,10 @@ expression: artifact "EXPR [ (-2, _4, _64) (1, _4) (256, _64) (-1, _69) 0 ]", "EXPR [ (1, _68, _69) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(3), Witness(66))], linear_combinations: [(1, Witness(3)), (256, Witness(66))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(69))], q_c: 0 })], outputs: [Simple(Witness(70)), Simple(Witness(71))]", - "BLACKBOX::RANGE [(_70, 7)] []", - "BLACKBOX::RANGE [(_71, 7)] []", + "BLACKBOX::RANGE [(_70, 8)] []", + "BLACKBOX::RANGE [(_71, 8)] []", "EXPR [ (1, _69) (-1, _71) (-1, _72) -1 ]", - "BLACKBOX::RANGE [(_72, 7)] []", + "BLACKBOX::RANGE [(_72, 8)] []", "EXPR [ (-2, _3, _66) (-1, _69, _70) (1, _3) (256, _66) (-1, _71) 0 ]", "EXPR [ (-1, _70) (-1, _73) 128 ]", "EXPR [ (-2, _64, _66) (1, _64) (1, _66) (-1, _74) 0 ]", @@ -172,10 +172,10 @@ expression: artifact "EXPR [ (-2, _7, _83) (1, _7) (256, _83) (-1, _88) 0 ]", "EXPR [ (1, _87, _88) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(6), Witness(85))], linear_combinations: [(1, Witness(6)), (256, Witness(85))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(88))], q_c: 0 })], outputs: [Simple(Witness(89)), Simple(Witness(90))]", - "BLACKBOX::RANGE [(_89, 7)] []", - "BLACKBOX::RANGE [(_90, 7)] []", + "BLACKBOX::RANGE [(_89, 8)] []", + "BLACKBOX::RANGE [(_90, 8)] []", "EXPR [ (1, _88) (-1, _90) (-1, _91) -1 ]", - "BLACKBOX::RANGE [(_91, 7)] []", + "BLACKBOX::RANGE [(_91, 8)] []", "EXPR [ (-2, _6, _85) (-1, _88, _89) (1, _6) (256, _85) (-1, _90) 0 ]", "EXPR [ (-1, _89) (-1, _92) 128 ]", "EXPR [ (-2, _83, _85) (1, _83) (1, _85) (-1, _93) 0 ]", @@ -202,10 +202,10 @@ expression: artifact "EXPR [ (-2, _10, _102) (1, _10) (256, _102) (-1, _107) 0 ]", "EXPR [ (1, _106, _107) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(9), Witness(104))], linear_combinations: [(1, Witness(9)), (256, Witness(104))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(107))], q_c: 0 })], outputs: [Simple(Witness(108)), Simple(Witness(109))]", - "BLACKBOX::RANGE [(_108, 7)] []", - "BLACKBOX::RANGE [(_109, 7)] []", + "BLACKBOX::RANGE [(_108, 8)] []", + "BLACKBOX::RANGE [(_109, 8)] []", "EXPR [ (1, _107) (-1, _109) (-1, _110) -1 ]", - "BLACKBOX::RANGE [(_110, 7)] []", + "BLACKBOX::RANGE [(_110, 8)] []", "EXPR [ (-2, _9, _104) (-1, _107, _108) (1, _9) (256, _104) (-1, _109) 0 ]", "EXPR [ (-1, _108) (-1, _111) 128 ]", "EXPR [ (-2, _102, _104) (1, _102) (1, _104) (-1, _112) 0 ]", @@ -232,10 +232,10 @@ expression: artifact "EXPR [ (-2, _13, _121) (1, _13) (256, _121) (-1, _126) 0 ]", "EXPR [ (1, _125, _126) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(12), Witness(123))], linear_combinations: [(1, Witness(12)), (256, Witness(123))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(126))], q_c: 0 })], outputs: [Simple(Witness(127)), Simple(Witness(128))]", - "BLACKBOX::RANGE [(_127, 7)] []", - "BLACKBOX::RANGE [(_128, 7)] []", + "BLACKBOX::RANGE [(_127, 8)] []", + "BLACKBOX::RANGE [(_128, 8)] []", "EXPR [ (1, _126) (-1, _128) (-1, _129) -1 ]", - "BLACKBOX::RANGE [(_129, 7)] []", + "BLACKBOX::RANGE [(_129, 8)] []", "EXPR [ (-2, _12, _123) (-1, _126, _127) (1, _12) (256, _123) (-1, _128) 0 ]", "EXPR [ (-1, _127) (-1, _130) 128 ]", "EXPR [ (-2, _121, _123) (1, _121) (1, _123) (-1, _131) 0 ]", @@ -262,10 +262,10 @@ expression: artifact "EXPR [ (-2, _16, _140) (1, _16) (256, _140) (-1, _145) 0 ]", "EXPR [ (1, _144, _145) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(15), Witness(142))], linear_combinations: [(1, Witness(15)), (256, Witness(142))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(145))], q_c: 0 })], outputs: [Simple(Witness(146)), Simple(Witness(147))]", - "BLACKBOX::RANGE [(_146, 7)] []", - "BLACKBOX::RANGE [(_147, 7)] []", + "BLACKBOX::RANGE [(_146, 8)] []", + "BLACKBOX::RANGE [(_147, 8)] []", "EXPR [ (1, _145) (-1, _147) (-1, _148) -1 ]", - "BLACKBOX::RANGE [(_148, 7)] []", + "BLACKBOX::RANGE [(_148, 8)] []", "EXPR [ (-2, _15, _142) (-1, _145, _146) (1, _15) (256, _142) (-1, _147) 0 ]", "EXPR [ (-1, _146) (-1, _149) 128 ]", "EXPR [ (-2, _140, _142) (1, _140) (1, _142) (-1, _150) 0 ]", @@ -292,10 +292,10 @@ expression: artifact "EXPR [ (-2, _19, _159) (1, _19) (256, _159) (-1, _164) 0 ]", "EXPR [ (1, _163, _164) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(18), Witness(161))], linear_combinations: [(1, Witness(18)), (256, Witness(161))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(164))], q_c: 0 })], outputs: [Simple(Witness(165)), Simple(Witness(166))]", - "BLACKBOX::RANGE [(_165, 7)] []", - "BLACKBOX::RANGE [(_166, 7)] []", + "BLACKBOX::RANGE [(_165, 8)] []", + "BLACKBOX::RANGE [(_166, 8)] []", "EXPR [ (1, _164) (-1, _166) (-1, _167) -1 ]", - "BLACKBOX::RANGE [(_167, 7)] []", + "BLACKBOX::RANGE [(_167, 8)] []", "EXPR [ (-2, _18, _161) (-1, _164, _165) (1, _18) (256, _161) (-1, _166) 0 ]", "EXPR [ (-1, _165) (-1, _168) 128 ]", "EXPR [ (-2, _159, _161) (1, _159) (1, _161) (-1, _169) 0 ]", @@ -322,10 +322,10 @@ expression: artifact "EXPR [ (-2, _22, _178) (1, _22) (256, _178) (-1, _183) 0 ]", "EXPR [ (1, _182, _183) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(21), Witness(180))], linear_combinations: [(1, Witness(21)), (256, Witness(180))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(183))], q_c: 0 })], outputs: [Simple(Witness(184)), Simple(Witness(185))]", - "BLACKBOX::RANGE [(_184, 7)] []", - "BLACKBOX::RANGE [(_185, 7)] []", + "BLACKBOX::RANGE [(_184, 8)] []", + "BLACKBOX::RANGE [(_185, 8)] []", "EXPR [ (1, _183) (-1, _185) (-1, _186) -1 ]", - "BLACKBOX::RANGE [(_186, 7)] []", + "BLACKBOX::RANGE [(_186, 8)] []", "EXPR [ (-2, _21, _180) (-1, _183, _184) (1, _21) (256, _180) (-1, _185) 0 ]", "EXPR [ (-1, _184) (-1, _187) 128 ]", "EXPR [ (-2, _178, _180) (1, _178) (1, _180) (-1, _188) 0 ]", @@ -352,10 +352,10 @@ expression: artifact "EXPR [ (-2, _25, _197) (1, _25) (256, _197) (-1, _202) 0 ]", "EXPR [ (1, _201, _202) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(24), Witness(199))], linear_combinations: [(1, Witness(24)), (256, Witness(199))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(202))], q_c: 0 })], outputs: [Simple(Witness(203)), Simple(Witness(204))]", - "BLACKBOX::RANGE [(_203, 7)] []", - "BLACKBOX::RANGE [(_204, 7)] []", + "BLACKBOX::RANGE [(_203, 8)] []", + "BLACKBOX::RANGE [(_204, 8)] []", "EXPR [ (1, _202) (-1, _204) (-1, _205) -1 ]", - "BLACKBOX::RANGE [(_205, 7)] []", + "BLACKBOX::RANGE [(_205, 8)] []", "EXPR [ (-2, _24, _199) (-1, _202, _203) (1, _24) (256, _199) (-1, _204) 0 ]", "EXPR [ (-1, _203) (-1, _206) 128 ]", "EXPR [ (-2, _197, _199) (1, _197) (1, _199) (-1, _207) 0 ]", @@ -382,10 +382,10 @@ expression: artifact "EXPR [ (-2, _28, _216) (1, _28) (256, _216) (-1, _221) 0 ]", "EXPR [ (1, _220, _221) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(27), Witness(218))], linear_combinations: [(1, Witness(27)), (256, Witness(218))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(221))], q_c: 0 })], outputs: [Simple(Witness(222)), Simple(Witness(223))]", - "BLACKBOX::RANGE [(_222, 7)] []", - "BLACKBOX::RANGE [(_223, 7)] []", + "BLACKBOX::RANGE [(_222, 8)] []", + "BLACKBOX::RANGE [(_223, 8)] []", "EXPR [ (1, _221) (-1, _223) (-1, _224) -1 ]", - "BLACKBOX::RANGE [(_224, 7)] []", + "BLACKBOX::RANGE [(_224, 8)] []", "EXPR [ (-2, _27, _218) (-1, _221, _222) (1, _27) (256, _218) (-1, _223) 0 ]", "EXPR [ (-1, _222) (-1, _225) 128 ]", "EXPR [ (-2, _216, _218) (1, _216) (1, _218) (-1, _226) 0 ]", @@ -412,10 +412,10 @@ expression: artifact "EXPR [ (-2, _31, _235) (1, _31) (256, _235) (-1, _240) 0 ]", "EXPR [ (1, _239, _240) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(30), Witness(237))], linear_combinations: [(1, Witness(30)), (256, Witness(237))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(240))], q_c: 0 })], outputs: [Simple(Witness(241)), Simple(Witness(242))]", - "BLACKBOX::RANGE [(_241, 7)] []", - "BLACKBOX::RANGE [(_242, 7)] []", + "BLACKBOX::RANGE [(_241, 8)] []", + "BLACKBOX::RANGE [(_242, 8)] []", "EXPR [ (1, _240) (-1, _242) (-1, _243) -1 ]", - "BLACKBOX::RANGE [(_243, 7)] []", + "BLACKBOX::RANGE [(_243, 8)] []", "EXPR [ (-2, _30, _237) (-1, _240, _241) (1, _30) (256, _237) (-1, _242) 0 ]", "EXPR [ (-1, _241) (-1, _244) 128 ]", "EXPR [ (-2, _235, _237) (1, _235) (1, _237) (-1, _245) 0 ]", @@ -442,10 +442,10 @@ expression: artifact "EXPR [ (-2, _34, _254) (1, _34) (256, _254) (-1, _259) 0 ]", "EXPR [ (1, _258, _259) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(33), Witness(256))], linear_combinations: [(1, Witness(33)), (256, Witness(256))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(259))], q_c: 0 })], outputs: [Simple(Witness(260)), Simple(Witness(261))]", - "BLACKBOX::RANGE [(_260, 7)] []", - "BLACKBOX::RANGE [(_261, 7)] []", + "BLACKBOX::RANGE [(_260, 8)] []", + "BLACKBOX::RANGE [(_261, 8)] []", "EXPR [ (1, _259) (-1, _261) (-1, _262) -1 ]", - "BLACKBOX::RANGE [(_262, 7)] []", + "BLACKBOX::RANGE [(_262, 8)] []", "EXPR [ (-2, _33, _256) (-1, _259, _260) (1, _33) (256, _256) (-1, _261) 0 ]", "EXPR [ (-1, _260) (-1, _263) 128 ]", "EXPR [ (-2, _254, _256) (1, _254) (1, _256) (-1, _264) 0 ]", @@ -472,10 +472,10 @@ expression: artifact "EXPR [ (-2, _37, _273) (1, _37) (256, _273) (-1, _278) 0 ]", "EXPR [ (1, _277, _278) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(36), Witness(275))], linear_combinations: [(1, Witness(36)), (256, Witness(275))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(278))], q_c: 0 })], outputs: [Simple(Witness(279)), Simple(Witness(280))]", - "BLACKBOX::RANGE [(_279, 7)] []", - "BLACKBOX::RANGE [(_280, 7)] []", + "BLACKBOX::RANGE [(_279, 8)] []", + "BLACKBOX::RANGE [(_280, 8)] []", "EXPR [ (1, _278) (-1, _280) (-1, _281) -1 ]", - "BLACKBOX::RANGE [(_281, 7)] []", + "BLACKBOX::RANGE [(_281, 8)] []", "EXPR [ (-2, _36, _275) (-1, _278, _279) (1, _36) (256, _275) (-1, _280) 0 ]", "EXPR [ (-1, _279) (-1, _282) 128 ]", "EXPR [ (-2, _273, _275) (1, _273) (1, _275) (-1, _283) 0 ]", @@ -502,10 +502,10 @@ expression: artifact "EXPR [ (-2, _40, _292) (1, _40) (256, _292) (-1, _297) 0 ]", "EXPR [ (1, _296, _297) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(39), Witness(294))], linear_combinations: [(1, Witness(39)), (256, Witness(294))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(297))], q_c: 0 })], outputs: [Simple(Witness(298)), Simple(Witness(299))]", - "BLACKBOX::RANGE [(_298, 7)] []", - "BLACKBOX::RANGE [(_299, 7)] []", + "BLACKBOX::RANGE [(_298, 8)] []", + "BLACKBOX::RANGE [(_299, 8)] []", "EXPR [ (1, _297) (-1, _299) (-1, _300) -1 ]", - "BLACKBOX::RANGE [(_300, 7)] []", + "BLACKBOX::RANGE [(_300, 8)] []", "EXPR [ (-2, _39, _294) (-1, _297, _298) (1, _39) (256, _294) (-1, _299) 0 ]", "EXPR [ (-1, _298) (-1, _301) 128 ]", "EXPR [ (-2, _292, _294) (1, _292) (1, _294) (-1, _302) 0 ]", @@ -532,10 +532,10 @@ expression: artifact "EXPR [ (-2, _43, _311) (1, _43) (256, _311) (-1, _316) 0 ]", "EXPR [ (1, _315, _316) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(42), Witness(313))], linear_combinations: [(1, Witness(42)), (256, Witness(313))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(316))], q_c: 0 })], outputs: [Simple(Witness(317)), Simple(Witness(318))]", - "BLACKBOX::RANGE [(_317, 7)] []", - "BLACKBOX::RANGE [(_318, 7)] []", + "BLACKBOX::RANGE [(_317, 8)] []", + "BLACKBOX::RANGE [(_318, 8)] []", "EXPR [ (1, _316) (-1, _318) (-1, _319) -1 ]", - "BLACKBOX::RANGE [(_319, 7)] []", + "BLACKBOX::RANGE [(_319, 8)] []", "EXPR [ (-2, _42, _313) (-1, _316, _317) (1, _42) (256, _313) (-1, _318) 0 ]", "EXPR [ (-1, _317) (-1, _320) 128 ]", "EXPR [ (-2, _311, _313) (1, _311) (1, _313) (-1, _321) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap index 42c39088145..6fe32af40ae 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap @@ -64,10 +64,10 @@ expression: artifact "EXPR [ (-2, _1, _3) (1, _1) (4294967296, _3) (-1, _8) 0 ]", "EXPR [ (1, _7, _8) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(5))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(5))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(8))], q_c: 0 })], outputs: [Simple(Witness(9)), Simple(Witness(10))]", - "BLACKBOX::RANGE [(_9, 31)] []", - "BLACKBOX::RANGE [(_10, 31)] []", + "BLACKBOX::RANGE [(_9, 32)] []", + "BLACKBOX::RANGE [(_10, 32)] []", "EXPR [ (1, _8) (-1, _10) (-1, _11) -1 ]", - "BLACKBOX::RANGE [(_11, 31)] []", + "BLACKBOX::RANGE [(_11, 32)] []", "EXPR [ (-2, _0, _5) (-1, _8, _9) (1, _0) (4294967296, _5) (-1, _10) 0 ]", "EXPR [ (-1, _9) (-1, _12) 2147483648 ]", "EXPR [ (-2, _3, _5) (1, _3) (1, _5) (-1, _13) 0 ]", @@ -177,10 +177,10 @@ expression: artifact "EXPR [ (-2, _1, _68) (1, _1) (4294967296, _68) (-1, _73) 0 ]", "EXPR [ (1, _72, _73) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(23), Witness(70))], linear_combinations: [(1, Witness(23)), (4294967296, Witness(70))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(73))], q_c: 0 })], outputs: [Simple(Witness(74)), Simple(Witness(75))]", - "BLACKBOX::RANGE [(_74, 31)] []", - "BLACKBOX::RANGE [(_75, 31)] []", + "BLACKBOX::RANGE [(_74, 32)] []", + "BLACKBOX::RANGE [(_75, 32)] []", "EXPR [ (1, _73) (-1, _75) (-1, _76) -1 ]", - "BLACKBOX::RANGE [(_76, 31)] []", + "BLACKBOX::RANGE [(_76, 32)] []", "EXPR [ (-2, _23, _70) (-1, _73, _74) (1, _23) (4294967296, _70) (-1, _75) 0 ]", "EXPR [ (-1, _74) (-1, _77) 2147483648 ]", "EXPR [ (-2, _68, _70) (1, _68) (1, _70) (-1, _78) 0 ]", @@ -207,10 +207,10 @@ expression: artifact "EXPR [ (-2, _35, _87) (1, _35) (4294967296, _87) (-1, _92) 0 ]", "EXPR [ (1, _91, _92) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(23), Witness(89))], linear_combinations: [(1, Witness(23)), (4294967296, Witness(89))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(92))], q_c: 0 })], outputs: [Simple(Witness(93)), Simple(Witness(94))]", - "BLACKBOX::RANGE [(_93, 31)] []", - "BLACKBOX::RANGE [(_94, 31)] []", + "BLACKBOX::RANGE [(_93, 32)] []", + "BLACKBOX::RANGE [(_94, 32)] []", "EXPR [ (1, _92) (-1, _94) (-1, _95) -1 ]", - "BLACKBOX::RANGE [(_95, 31)] []", + "BLACKBOX::RANGE [(_95, 32)] []", "EXPR [ (-2, _23, _89) (-1, _92, _93) (1, _23) (4294967296, _89) (-1, _94) 0 ]", "EXPR [ (-1, _93) (-1, _96) 2147483648 ]", "EXPR [ (-2, _87, _89) (1, _87) (1, _89) (-1, _97) 0 ]", @@ -237,10 +237,10 @@ expression: artifact "EXPR [ (-2, _35, _106) (1, _35) (4294967296, _106) (-1, _111) 0 ]", "EXPR [ (1, _110, _111) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(108))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(108))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(111))], q_c: 0 })], outputs: [Simple(Witness(112)), Simple(Witness(113))]", - "BLACKBOX::RANGE [(_112, 31)] []", - "BLACKBOX::RANGE [(_113, 31)] []", + "BLACKBOX::RANGE [(_112, 32)] []", + "BLACKBOX::RANGE [(_113, 32)] []", "EXPR [ (1, _111) (-1, _113) (-1, _114) -1 ]", - "BLACKBOX::RANGE [(_114, 31)] []", + "BLACKBOX::RANGE [(_114, 32)] []", "EXPR [ (-2, _0, _108) (-1, _111, _112) (1, _0) (4294967296, _108) (-1, _113) 0 ]", "EXPR [ (-1, _112) (-1, _115) 2147483648 ]", "EXPR [ (-2, _106, _108) (1, _106) (1, _108) (-1, _116) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_0.snap index 42c39088145..6fe32af40ae 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_0.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_0.snap @@ -64,10 +64,10 @@ expression: artifact "EXPR [ (-2, _1, _3) (1, _1) (4294967296, _3) (-1, _8) 0 ]", "EXPR [ (1, _7, _8) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(5))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(5))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(8))], q_c: 0 })], outputs: [Simple(Witness(9)), Simple(Witness(10))]", - "BLACKBOX::RANGE [(_9, 31)] []", - "BLACKBOX::RANGE [(_10, 31)] []", + "BLACKBOX::RANGE [(_9, 32)] []", + "BLACKBOX::RANGE [(_10, 32)] []", "EXPR [ (1, _8) (-1, _10) (-1, _11) -1 ]", - "BLACKBOX::RANGE [(_11, 31)] []", + "BLACKBOX::RANGE [(_11, 32)] []", "EXPR [ (-2, _0, _5) (-1, _8, _9) (1, _0) (4294967296, _5) (-1, _10) 0 ]", "EXPR [ (-1, _9) (-1, _12) 2147483648 ]", "EXPR [ (-2, _3, _5) (1, _3) (1, _5) (-1, _13) 0 ]", @@ -177,10 +177,10 @@ expression: artifact "EXPR [ (-2, _1, _68) (1, _1) (4294967296, _68) (-1, _73) 0 ]", "EXPR [ (1, _72, _73) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(23), Witness(70))], linear_combinations: [(1, Witness(23)), (4294967296, Witness(70))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(73))], q_c: 0 })], outputs: [Simple(Witness(74)), Simple(Witness(75))]", - "BLACKBOX::RANGE [(_74, 31)] []", - "BLACKBOX::RANGE [(_75, 31)] []", + "BLACKBOX::RANGE [(_74, 32)] []", + "BLACKBOX::RANGE [(_75, 32)] []", "EXPR [ (1, _73) (-1, _75) (-1, _76) -1 ]", - "BLACKBOX::RANGE [(_76, 31)] []", + "BLACKBOX::RANGE [(_76, 32)] []", "EXPR [ (-2, _23, _70) (-1, _73, _74) (1, _23) (4294967296, _70) (-1, _75) 0 ]", "EXPR [ (-1, _74) (-1, _77) 2147483648 ]", "EXPR [ (-2, _68, _70) (1, _68) (1, _70) (-1, _78) 0 ]", @@ -207,10 +207,10 @@ expression: artifact "EXPR [ (-2, _35, _87) (1, _35) (4294967296, _87) (-1, _92) 0 ]", "EXPR [ (1, _91, _92) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(23), Witness(89))], linear_combinations: [(1, Witness(23)), (4294967296, Witness(89))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(92))], q_c: 0 })], outputs: [Simple(Witness(93)), Simple(Witness(94))]", - "BLACKBOX::RANGE [(_93, 31)] []", - "BLACKBOX::RANGE [(_94, 31)] []", + "BLACKBOX::RANGE [(_93, 32)] []", + "BLACKBOX::RANGE [(_94, 32)] []", "EXPR [ (1, _92) (-1, _94) (-1, _95) -1 ]", - "BLACKBOX::RANGE [(_95, 31)] []", + "BLACKBOX::RANGE [(_95, 32)] []", "EXPR [ (-2, _23, _89) (-1, _92, _93) (1, _23) (4294967296, _89) (-1, _94) 0 ]", "EXPR [ (-1, _93) (-1, _96) 2147483648 ]", "EXPR [ (-2, _87, _89) (1, _87) (1, _89) (-1, _97) 0 ]", @@ -237,10 +237,10 @@ expression: artifact "EXPR [ (-2, _35, _106) (1, _35) (4294967296, _106) (-1, _111) 0 ]", "EXPR [ (1, _110, _111) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(108))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(108))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(111))], q_c: 0 })], outputs: [Simple(Witness(112)), Simple(Witness(113))]", - "BLACKBOX::RANGE [(_112, 31)] []", - "BLACKBOX::RANGE [(_113, 31)] []", + "BLACKBOX::RANGE [(_112, 32)] []", + "BLACKBOX::RANGE [(_113, 32)] []", "EXPR [ (1, _111) (-1, _113) (-1, _114) -1 ]", - "BLACKBOX::RANGE [(_114, 31)] []", + "BLACKBOX::RANGE [(_114, 32)] []", "EXPR [ (-2, _0, _108) (-1, _111, _112) (1, _0) (4294967296, _108) (-1, _113) 0 ]", "EXPR [ (-1, _112) (-1, _115) 2147483648 ]", "EXPR [ (-2, _106, _108) (1, _106) (1, _108) (-1, _116) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_9223372036854775807.snap index 42c39088145..6fe32af40ae 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_9223372036854775807.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_division/execute__tests__force_brillig_false_inliner_9223372036854775807.snap @@ -64,10 +64,10 @@ expression: artifact "EXPR [ (-2, _1, _3) (1, _1) (4294967296, _3) (-1, _8) 0 ]", "EXPR [ (1, _7, _8) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(5))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(5))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(8))], q_c: 0 })], outputs: [Simple(Witness(9)), Simple(Witness(10))]", - "BLACKBOX::RANGE [(_9, 31)] []", - "BLACKBOX::RANGE [(_10, 31)] []", + "BLACKBOX::RANGE [(_9, 32)] []", + "BLACKBOX::RANGE [(_10, 32)] []", "EXPR [ (1, _8) (-1, _10) (-1, _11) -1 ]", - "BLACKBOX::RANGE [(_11, 31)] []", + "BLACKBOX::RANGE [(_11, 32)] []", "EXPR [ (-2, _0, _5) (-1, _8, _9) (1, _0) (4294967296, _5) (-1, _10) 0 ]", "EXPR [ (-1, _9) (-1, _12) 2147483648 ]", "EXPR [ (-2, _3, _5) (1, _3) (1, _5) (-1, _13) 0 ]", @@ -177,10 +177,10 @@ expression: artifact "EXPR [ (-2, _1, _68) (1, _1) (4294967296, _68) (-1, _73) 0 ]", "EXPR [ (1, _72, _73) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(23), Witness(70))], linear_combinations: [(1, Witness(23)), (4294967296, Witness(70))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(73))], q_c: 0 })], outputs: [Simple(Witness(74)), Simple(Witness(75))]", - "BLACKBOX::RANGE [(_74, 31)] []", - "BLACKBOX::RANGE [(_75, 31)] []", + "BLACKBOX::RANGE [(_74, 32)] []", + "BLACKBOX::RANGE [(_75, 32)] []", "EXPR [ (1, _73) (-1, _75) (-1, _76) -1 ]", - "BLACKBOX::RANGE [(_76, 31)] []", + "BLACKBOX::RANGE [(_76, 32)] []", "EXPR [ (-2, _23, _70) (-1, _73, _74) (1, _23) (4294967296, _70) (-1, _75) 0 ]", "EXPR [ (-1, _74) (-1, _77) 2147483648 ]", "EXPR [ (-2, _68, _70) (1, _68) (1, _70) (-1, _78) 0 ]", @@ -207,10 +207,10 @@ expression: artifact "EXPR [ (-2, _35, _87) (1, _35) (4294967296, _87) (-1, _92) 0 ]", "EXPR [ (1, _91, _92) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(23), Witness(89))], linear_combinations: [(1, Witness(23)), (4294967296, Witness(89))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(92))], q_c: 0 })], outputs: [Simple(Witness(93)), Simple(Witness(94))]", - "BLACKBOX::RANGE [(_93, 31)] []", - "BLACKBOX::RANGE [(_94, 31)] []", + "BLACKBOX::RANGE [(_93, 32)] []", + "BLACKBOX::RANGE [(_94, 32)] []", "EXPR [ (1, _92) (-1, _94) (-1, _95) -1 ]", - "BLACKBOX::RANGE [(_95, 31)] []", + "BLACKBOX::RANGE [(_95, 32)] []", "EXPR [ (-2, _23, _89) (-1, _92, _93) (1, _23) (4294967296, _89) (-1, _94) 0 ]", "EXPR [ (-1, _93) (-1, _96) 2147483648 ]", "EXPR [ (-2, _87, _89) (1, _87) (1, _89) (-1, _97) 0 ]", @@ -237,10 +237,10 @@ expression: artifact "EXPR [ (-2, _35, _106) (1, _35) (4294967296, _106) (-1, _111) 0 ]", "EXPR [ (1, _110, _111) -1 ]", "BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(108))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(108))], q_c: 0 }), Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(111))], q_c: 0 })], outputs: [Simple(Witness(112)), Simple(Witness(113))]", - "BLACKBOX::RANGE [(_112, 31)] []", - "BLACKBOX::RANGE [(_113, 31)] []", + "BLACKBOX::RANGE [(_112, 32)] []", + "BLACKBOX::RANGE [(_113, 32)] []", "EXPR [ (1, _111) (-1, _113) (-1, _114) -1 ]", - "BLACKBOX::RANGE [(_114, 31)] []", + "BLACKBOX::RANGE [(_114, 32)] []", "EXPR [ (-2, _0, _108) (-1, _111, _112) (1, _0) (4294967296, _108) (-1, _113) 0 ]", "EXPR [ (-1, _112) (-1, _115) 2147483648 ]", "EXPR [ (-2, _106, _108) (1, _106) (1, _108) (-1, _116) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap index 3187ccf4076..dd483250b1f 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap @@ -67,10 +67,10 @@ expression: artifact "EXPR [ (1, _2, _10) 0 ]", "BRILLIG CALL func 0: PREDICATE = EXPR [ (1, _2) 0 ]", "inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(6))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(6))], q_c: 0 }), Single(Expression { mul_terms: [(-2, Witness(1), Witness(4))], linear_combinations: [(1, Witness(1)), (4294967296, Witness(4))], q_c: 0 })], outputs: [Simple(Witness(11)), Simple(Witness(12))]", - "BLACKBOX::RANGE [(_11, 31)] []", - "BLACKBOX::RANGE [(_12, 31)] []", + "BLACKBOX::RANGE [(_11, 32)] []", + "BLACKBOX::RANGE [(_12, 32)] []", "EXPR [ (-2, _1, _4) (1, _1) (-1, _2) (4294967296, _4) (-1, _12) (-1, _13) 0 ]", - "BLACKBOX::RANGE [(_13, 31)] []", + "BLACKBOX::RANGE [(_13, 32)] []", "EXPR [ (-2, _1, _4) (1, _1) (4294967296, _4) (-1, _14) 0 ]", "EXPR [ (1, _11, _14) (1, _12) (-1, _15) 0 ]", "EXPR [ (-2, _0, _6) (1, _0) (4294967296, _6) (-1, _16) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_0.snap index 3187ccf4076..dd483250b1f 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_0.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_0.snap @@ -67,10 +67,10 @@ expression: artifact "EXPR [ (1, _2, _10) 0 ]", "BRILLIG CALL func 0: PREDICATE = EXPR [ (1, _2) 0 ]", "inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(6))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(6))], q_c: 0 }), Single(Expression { mul_terms: [(-2, Witness(1), Witness(4))], linear_combinations: [(1, Witness(1)), (4294967296, Witness(4))], q_c: 0 })], outputs: [Simple(Witness(11)), Simple(Witness(12))]", - "BLACKBOX::RANGE [(_11, 31)] []", - "BLACKBOX::RANGE [(_12, 31)] []", + "BLACKBOX::RANGE [(_11, 32)] []", + "BLACKBOX::RANGE [(_12, 32)] []", "EXPR [ (-2, _1, _4) (1, _1) (-1, _2) (4294967296, _4) (-1, _12) (-1, _13) 0 ]", - "BLACKBOX::RANGE [(_13, 31)] []", + "BLACKBOX::RANGE [(_13, 32)] []", "EXPR [ (-2, _1, _4) (1, _1) (4294967296, _4) (-1, _14) 0 ]", "EXPR [ (1, _11, _14) (1, _12) (-1, _15) 0 ]", "EXPR [ (-2, _0, _6) (1, _0) (4294967296, _6) (-1, _16) 0 ]", diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_9223372036854775807.snap index 3187ccf4076..dd483250b1f 100644 --- a/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_9223372036854775807.snap +++ b/tooling/nargo_cli/tests/snapshots/execution_success/signed_inactive_division_by_zero/execute__tests__force_brillig_false_inliner_9223372036854775807.snap @@ -67,10 +67,10 @@ expression: artifact "EXPR [ (1, _2, _10) 0 ]", "BRILLIG CALL func 0: PREDICATE = EXPR [ (1, _2) 0 ]", "inputs: [Single(Expression { mul_terms: [(-2, Witness(0), Witness(6))], linear_combinations: [(1, Witness(0)), (4294967296, Witness(6))], q_c: 0 }), Single(Expression { mul_terms: [(-2, Witness(1), Witness(4))], linear_combinations: [(1, Witness(1)), (4294967296, Witness(4))], q_c: 0 })], outputs: [Simple(Witness(11)), Simple(Witness(12))]", - "BLACKBOX::RANGE [(_11, 31)] []", - "BLACKBOX::RANGE [(_12, 31)] []", + "BLACKBOX::RANGE [(_11, 32)] []", + "BLACKBOX::RANGE [(_12, 32)] []", "EXPR [ (-2, _1, _4) (1, _1) (-1, _2) (4294967296, _4) (-1, _12) (-1, _13) 0 ]", - "BLACKBOX::RANGE [(_13, 31)] []", + "BLACKBOX::RANGE [(_13, 32)] []", "EXPR [ (-2, _1, _4) (1, _1) (4294967296, _4) (-1, _14) 0 ]", "EXPR [ (1, _11, _14) (1, _12) (-1, _15) 0 ]", "EXPR [ (-2, _0, _6) (1, _0) (4294967296, _6) (-1, _16) 0 ]",