diff --git a/tests/compiler/integers/i128/min_fail.leo b/tests/compiler/integers/i128/min_fail.leo index e8417c0dbc..d2c34c042a 100644 --- a/tests/compiler/integers/i128/min_fail.leo +++ b/tests/compiler/integers/i128/min_fail.leo @@ -1,9 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass +input_file: ../inputs/dummy.in */ -function main() -> i128 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i128 { let a: i128 = -170141183460469231731687303715884105727i128; return a - 2i128; // This line attempts to return --170141183460469231731687303715884105729i128 however, the smallest i128 value is -170141183460469231731687303715884105728i128. diff --git a/tests/compiler/integers/i128/negate_min_fail.leo b/tests/compiler/integers/i128/negate_min_fail.leo index 9c2c65d83d..1f5d5ed74c 100644 --- a/tests/compiler/integers/i128/negate_min_fail.leo +++ b/tests/compiler/integers/i128/negate_min_fail.leo @@ -1,10 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass input_file: ../inputs/dummy.in */ -function main() -> i128 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i128 { let a: i128 = -170141183460469231731687303715884105727i128; let b: i128 = a - 1i128; diff --git a/tests/compiler/integers/i16/max_fail.leo b/tests/compiler/integers/i16/max_fail.leo index 96f55e241b..dd0563c7a8 100644 --- a/tests/compiler/integers/i16/max_fail.leo +++ b/tests/compiler/integers/i16/max_fail.leo @@ -1,8 +1,11 @@ /* namespace: Compile expectation: Fail +input_file: ../inputs/dummy.in */ -function main() { +@program +function main(y: bool) -> i16 { const a: i16 = 32768i16; + return a; } \ No newline at end of file diff --git a/tests/compiler/integers/i16/min_fail.leo b/tests/compiler/integers/i16/min_fail.leo index 3737a18a2b..f199331be4 100644 --- a/tests/compiler/integers/i16/min_fail.leo +++ b/tests/compiler/integers/i16/min_fail.leo @@ -1,9 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass +input_file: ../inputs/dummy.in */ -function main() -> i16 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i16 { let a: i16 = -32767i16; return a - 2i16; // This line attempts to return -32769i16 however, the smallest i16 value is -32768i16. diff --git a/tests/compiler/integers/i16/negate_min_fail.leo b/tests/compiler/integers/i16/negate_min_fail.leo index eb7565c2a0..07215ece6b 100644 --- a/tests/compiler/integers/i16/negate_min_fail.leo +++ b/tests/compiler/integers/i16/negate_min_fail.leo @@ -1,10 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass input_file: ../inputs/dummy.in */ -function main() -> i16 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i16 { let a: i16 = -32767i16; let b: i16 = a - 1i16; diff --git a/tests/compiler/integers/i32/min_fail.leo b/tests/compiler/integers/i32/min_fail.leo index d332862f51..a531767ae1 100644 --- a/tests/compiler/integers/i32/min_fail.leo +++ b/tests/compiler/integers/i32/min_fail.leo @@ -1,9 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass +input_file: ../inputs/dummy.in */ -function main() -> i32 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i32 { let a: i32 = -2147483647i32; return a - 2i32; // This line attempts to return -2147483649i32 however, the smallest i32 value is -2147483648i32. diff --git a/tests/compiler/integers/i32/negate_min_fail.leo b/tests/compiler/integers/i32/negate_min_fail.leo index ba9f223f73..48c79b3c6a 100644 --- a/tests/compiler/integers/i32/negate_min_fail.leo +++ b/tests/compiler/integers/i32/negate_min_fail.leo @@ -1,10 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass input_file: ../inputs/dummy.in */ -function main() -> i32 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i32 { let a: i32 = -2147483647i32; let b: i32 = a - 1i32; diff --git a/tests/compiler/integers/i64/min_fail.leo b/tests/compiler/integers/i64/min_fail.leo index 094ff6c7a4..e0e1d7dadb 100644 --- a/tests/compiler/integers/i64/min_fail.leo +++ b/tests/compiler/integers/i64/min_fail.leo @@ -1,9 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass +input_file: ../inputs/dummy.in */ -function main() -> i64 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i64 { let a: i64 = -9223372036854775807i64; return a - 2i64; // This line attempts to return -9223372036854775809i64 however, the smallest i64 value is -9223372036854775808i64. diff --git a/tests/compiler/integers/i64/negate_min_fail.leo b/tests/compiler/integers/i64/negate_min_fail.leo index 4f5a8b15f9..1ea7c0189f 100644 --- a/tests/compiler/integers/i64/negate_min_fail.leo +++ b/tests/compiler/integers/i64/negate_min_fail.leo @@ -1,10 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass input_file: ../inputs/dummy.in */ -function main() -> i64 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i64 { let a: i64 = -9223372036854775807i64; let b: i64 = a - 1i64; diff --git a/tests/compiler/integers/i8/min_fail.leo b/tests/compiler/integers/i8/min_fail.leo index 1f56b8a5dd..dbea15697a 100644 --- a/tests/compiler/integers/i8/min_fail.leo +++ b/tests/compiler/integers/i8/min_fail.leo @@ -1,9 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass +input_file: ../inputs/dummy.in */ -function main() -> i8 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i8 { let a: i8 = -127i8; return a - 2i8; // This line attempts to return -129i8 however, the smallest i8 value is -128i8. diff --git a/tests/compiler/integers/i8/negate_min_fail.leo b/tests/compiler/integers/i8/negate_min_fail.leo index b78223045c..8db789fcef 100644 --- a/tests/compiler/integers/i8/negate_min_fail.leo +++ b/tests/compiler/integers/i8/negate_min_fail.leo @@ -1,10 +1,13 @@ /* namespace: Compile -expectation: Fail +expectation: Pass input_file: ../inputs/dummy.in */ -function main() -> i8 { +// TODO: This test passes, but constant propogation should detect an overflow. + +@program +function main(y: bool) -> i8 { let a: i8 = -127i8; let b: i8 = a - 1i8; diff --git a/tests/expectations/compiler/integers/i128/min.out b/tests/expectations/compiler/integers/i128/min.out index e0709c97f0..4b76acd6c4 100644 --- a/tests/expectations/compiler/integers/i128/min.out +++ b/tests/expectations/compiler/integers/i128/min.out @@ -4,6 +4,6 @@ expectation: Pass outputs: - output: - initial_input_ast: 42d3d2a95ecf42808533fc38c7765957dd86f6d84679e6db05141f14078d1723 - initial_ast: a835c5cdf987d342c5fe92633a62939a513b7135acb8b0a7caafd369b3f197ff - unrolled_ast: a835c5cdf987d342c5fe92633a62939a513b7135acb8b0a7caafd369b3f197ff - ssa_ast: 646087bb3a3332f84128e3f123ddadad7861447132e3060feeca1cd039b34cab + initial_ast: 9f54baf4e2df224554aed10f27cf86804fa6853e4a5fcec6a3d4d71e7c29a845 + unrolled_ast: 9f54baf4e2df224554aed10f27cf86804fa6853e4a5fcec6a3d4d71e7c29a845 + ssa_ast: 6704fcf76ec1c652443336b0eef56d7a0da84a68beaa67dacf0491479255afe3 diff --git a/tests/expectations/compiler/integers/i128/min_fail.out b/tests/expectations/compiler/integers/i128/min_fail.out index c2513046ff..9a78d25cc9 100644 --- a/tests/expectations/compiler/integers/i128/min_fail.out +++ b/tests/expectations/compiler/integers/i128/min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 170141183460469231731687303715884105727i128 into r0;\\n sub r0 2i128 into r1;\\n output r1 as i128;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 170141183460469231731687303715884105727i128 into r0;\\n sub r0 2i128 into r1;\\n output r1 as i128;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 170141183460469231731687303715884105727i128 into r0;\\n sub r0 2i128 into r1;\\n output r1 as i128;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: c73d747914473c57db75df7fd1672a0675b56394dca1ed1fb3536f6777c86d80 + initial_ast: e48cd3c49011fc6cdc05308b9ce2f696c3a68eaf7cdfeb62cc4565715cd6710b + unrolled_ast: e48cd3c49011fc6cdc05308b9ce2f696c3a68eaf7cdfeb62cc4565715cd6710b + ssa_ast: b1bac3b891509b8f3b51db8d0fd17320a80dab5dfc36a45f697df11d81ef2cb5 diff --git a/tests/expectations/compiler/integers/i128/negate.out b/tests/expectations/compiler/integers/i128/negate.out index 6a833d1bc7..b8d8dfe47f 100644 --- a/tests/expectations/compiler/integers/i128/negate.out +++ b/tests/expectations/compiler/integers/i128/negate.out @@ -3,8 +3,8 @@ namespace: Compile expectation: Pass outputs: - output: - - initial_input_ast: b8ec17eea6039a34b9e77c74f445c43a4c0802f9cfe8ff86e84c5954c247e49f - - initial_input_ast: 6c116007a92625c046449f00e89d6ed09d20f8806cf7139946800cca5b18e688 + - initial_input_ast: ad84f053b470cc3496abac049a0bc39cb65a2529ed6a263f7158f722beca6f99 + - initial_input_ast: fb7d5befac46a4b8dfe740fd6811888a22577c4a136db40b31aefe56ef0c8c4b initial_ast: 3dc2d25c4df9618e4a6bec9cfecafd49a502b74b2655adfbd2498a36a024aed3 unrolled_ast: 3dc2d25c4df9618e4a6bec9cfecafd49a502b74b2655adfbd2498a36a024aed3 ssa_ast: dce6ca6d8021939acb48603e42157edf3ca09c703ebc8b899c859ff1c70477a9 diff --git a/tests/expectations/compiler/integers/i128/negate_min_fail.out b/tests/expectations/compiler/integers/i128/negate_min_fail.out index f7660a69f3..51b8a4abe8 100644 --- a/tests/expectations/compiler/integers/i128/negate_min_fail.out +++ b/tests/expectations/compiler/integers/i128/negate_min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 170141183460469231731687303715884105727i128 into r0;\\n sub r0 1i128 into r1;\\n neg r1 into r2;\\n output r2 as i128;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 170141183460469231731687303715884105727i128 into r0;\\n sub r0 1i128 into r1;\\n neg r1 into r2;\\n output r2 as i128;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 170141183460469231731687303715884105727i128 into r0;\\n sub r0 1i128 into r1;\\n neg r1 into r2;\\n output r2 as i128;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: cc445b61155a660fbbd967b7736f50f07a9f5a139143a7f486b80eca2aaa29f2 + initial_ast: 7663d1db962f0c96762c2109439ed5e8c44397402132ecd7342da8baf666f4ae + unrolled_ast: 7663d1db962f0c96762c2109439ed5e8c44397402132ecd7342da8baf666f4ae + ssa_ast: b7607cdbbdf81c53b4273cbed4c72cc99bccb9ec170d3a4c7a26967cc7a9f24a diff --git a/tests/expectations/compiler/integers/i16/max_fail.out b/tests/expectations/compiler/integers/i16/max_fail.out index 9ac75fd08d..53a0e4af11 100644 --- a/tests/expectations/compiler/integers/i16/max_fail.out +++ b/tests/expectations/compiler/integers/i16/max_fail.out @@ -2,4 +2,4 @@ namespace: Compile expectation: Fail outputs: - - "Error [EPAR0370005]: expected -> -- found '{'\n --> compiler-test:3:17\n |\n 3 | function main() {\n | ^" + - "Error [ETYC0372008]: The value 32768 is not a valid `i16`\n --> compiler-test:5:20\n |\n 5 | const a: i16 = 32768i16;\n | ^^^^^^^^\n" diff --git a/tests/expectations/compiler/integers/i16/min.out b/tests/expectations/compiler/integers/i16/min.out index 28cbf00cb6..545d826205 100644 --- a/tests/expectations/compiler/integers/i16/min.out +++ b/tests/expectations/compiler/integers/i16/min.out @@ -4,6 +4,6 @@ expectation: Pass outputs: - output: - initial_input_ast: 41447babe412945bcb82a83876bfbf13a49da1bd175909bd66def5f983abc0fa - initial_ast: ac2f6713a2372926514109f4800b95a371cb90f374c033872b5f3a72e065cd35 - unrolled_ast: ac2f6713a2372926514109f4800b95a371cb90f374c033872b5f3a72e065cd35 - ssa_ast: c48dbcb655e0324971cc1dcec072fdd2608905a14aaa3df1c772d2ea0491de0b + initial_ast: 38064bcbf709fed1dc53d83041ab50c4e0ab8e1d3e1658f66a26deb533d20a53 + unrolled_ast: 38064bcbf709fed1dc53d83041ab50c4e0ab8e1d3e1658f66a26deb533d20a53 + ssa_ast: cf158c6ea09188b84ce1db6f569d0e56e455fe99f2d87e5ce02ab02f008ff6f7 diff --git a/tests/expectations/compiler/integers/i16/min_fail.out b/tests/expectations/compiler/integers/i16/min_fail.out index 0d84cf58e3..9b8a5057f9 100644 --- a/tests/expectations/compiler/integers/i16/min_fail.out +++ b/tests/expectations/compiler/integers/i16/min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 32767i16 into r0;\\n sub r0 2i16 into r1;\\n output r1 as i16;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 32767i16 into r0;\\n sub r0 2i16 into r1;\\n output r1 as i16;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 32767i16 into r0;\\n sub r0 2i16 into r1;\\n output r1 as i16;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: 79bcbe7e9238a5693c7767022694c80ac5b120c8a165666d22d3a84b31c1a561 + initial_ast: e9c3b44e095957d32956781b9453904c44660e695a6529cd625c10660a94ac32 + unrolled_ast: e9c3b44e095957d32956781b9453904c44660e695a6529cd625c10660a94ac32 + ssa_ast: 1ff03bbdf341387f0c3863886edb37b9e684a6ec976faf5059e9c6ed7e324bca diff --git a/tests/expectations/compiler/integers/i16/negate.out b/tests/expectations/compiler/integers/i16/negate.out index 413a0470be..b69c301b94 100644 --- a/tests/expectations/compiler/integers/i16/negate.out +++ b/tests/expectations/compiler/integers/i16/negate.out @@ -3,8 +3,8 @@ namespace: Compile expectation: Pass outputs: - output: - - initial_input_ast: e3a67432f9c9f0672adc30127fcc2e31f9a0ab239c22ba8d663254f0efbb5458 - - initial_input_ast: 505c16cb20bfee80be7082a17afad679fab76f6e6401597cb9ea6844eb00531a + - initial_input_ast: d00fb0834d6c7e82bd4725ccef9e7b0a246ccaf0fa149162d3191e12ca7a91aa + - initial_input_ast: 7d25236922783092ec2ff51bbec26518786797eff2cf3b4a39498c825cdbcaf1 initial_ast: a96922f205d357ae040c5de3f5acaa1bf819e145243b2e450510c3086589c784 unrolled_ast: a96922f205d357ae040c5de3f5acaa1bf819e145243b2e450510c3086589c784 ssa_ast: 920cdbde9274e3fa395a3036e59bbf798ff72216869c61f4d90c467c6a9dcee6 diff --git a/tests/expectations/compiler/integers/i16/negate_min_fail.out b/tests/expectations/compiler/integers/i16/negate_min_fail.out index d12c306f26..47882cf0ed 100644 --- a/tests/expectations/compiler/integers/i16/negate_min_fail.out +++ b/tests/expectations/compiler/integers/i16/negate_min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 32767i16 into r0;\\n sub r0 1i16 into r1;\\n neg r1 into r2;\\n output r2 as i16;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 32767i16 into r0;\\n sub r0 1i16 into r1;\\n neg r1 into r2;\\n output r2 as i16;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 32767i16 into r0;\\n sub r0 1i16 into r1;\\n neg r1 into r2;\\n output r2 as i16;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: 6b4cdfe5abc1c4ee9ebc7c514658f87e6c179a03a18a7d9249849c1fdff20e39 + initial_ast: 612e1a7438a1a6578325bdcd841c56c79e8ac321797f8bb408d9bb6b83d0e0cc + unrolled_ast: 612e1a7438a1a6578325bdcd841c56c79e8ac321797f8bb408d9bb6b83d0e0cc + ssa_ast: e4de22c6ccb1b29ce1d3fd8546131ad3752f63ba4f67a33d261dcf39f557b27c diff --git a/tests/expectations/compiler/integers/i32/min.out b/tests/expectations/compiler/integers/i32/min.out index 1f5471fbde..ccdbe90e24 100644 --- a/tests/expectations/compiler/integers/i32/min.out +++ b/tests/expectations/compiler/integers/i32/min.out @@ -4,6 +4,6 @@ expectation: Pass outputs: - output: - initial_input_ast: b4483ea97ae93b05ca67ce2eb626c795b43deb35efbac286bbed4aca4b560861 - initial_ast: f644161dceb21060c338f07124ba790ba97b017096941e5ff6b51e4d3e9722b7 - unrolled_ast: f644161dceb21060c338f07124ba790ba97b017096941e5ff6b51e4d3e9722b7 - ssa_ast: b11c58719edbeb142feb1f4f58c3a7104fae69a7364479fa5c89b2f90d75047e + initial_ast: bde5be32e05120e4464bc98db421b23d306f70cec5650b1fa166b4ea51713667 + unrolled_ast: bde5be32e05120e4464bc98db421b23d306f70cec5650b1fa166b4ea51713667 + ssa_ast: 32f21a6564ec6a8bcc0fd5b5e8ee333d34f382eb9ff1ee61574d72b34f65067e diff --git a/tests/expectations/compiler/integers/i32/min_fail.out b/tests/expectations/compiler/integers/i32/min_fail.out index eb1e7f565e..af37d1a10b 100644 --- a/tests/expectations/compiler/integers/i32/min_fail.out +++ b/tests/expectations/compiler/integers/i32/min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 2147483647i32 into r0;\\n sub r0 2i32 into r1;\\n output r1 as i32;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 2147483647i32 into r0;\\n sub r0 2i32 into r1;\\n output r1 as i32;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 2147483647i32 into r0;\\n sub r0 2i32 into r1;\\n output r1 as i32;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: 50f33fa362d3ae6db603da995505be6967495258db78476959871136723a651a + initial_ast: fa87c006b864d4e53d64175e50d81112dd33fa77a094567987f06b9d2bee5d58 + unrolled_ast: fa87c006b864d4e53d64175e50d81112dd33fa77a094567987f06b9d2bee5d58 + ssa_ast: 813732df76f2324135e5e157503cbaf9d8d50add416037bef4f3542f18822e02 diff --git a/tests/expectations/compiler/integers/i32/negate.out b/tests/expectations/compiler/integers/i32/negate.out index 749e2acfe4..64c54a1de0 100644 --- a/tests/expectations/compiler/integers/i32/negate.out +++ b/tests/expectations/compiler/integers/i32/negate.out @@ -3,8 +3,8 @@ namespace: Compile expectation: Pass outputs: - output: - - initial_input_ast: ae4d4203374ee9ad849f4686d2bbda7798927f64affd648ab7f43a5533478f1a - - initial_input_ast: 472f0ed7598d1c1609332374c0f85fe7a3718b7fd27bbee6c38152584121ef23 + - initial_input_ast: 73a1b55568b6659b313e5c492b778cb93cc84eabf3ef8e7ef1dfd40b6e1c56ca + - initial_input_ast: f875beabafba44118db871e4d1c1b87460986a2e8547e421e9b509367cf3ef80 initial_ast: 5dd828505325c1c765304e866d87101e93ed54797dd283dd4899e586b1bdd96a unrolled_ast: 5dd828505325c1c765304e866d87101e93ed54797dd283dd4899e586b1bdd96a ssa_ast: 29311316479295dfe46950d8a296993141d0f77304027deeb416358b9d5c7447 diff --git a/tests/expectations/compiler/integers/i32/negate_min_fail.out b/tests/expectations/compiler/integers/i32/negate_min_fail.out index c96611f73d..03f9f427f2 100644 --- a/tests/expectations/compiler/integers/i32/negate_min_fail.out +++ b/tests/expectations/compiler/integers/i32/negate_min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 2147483647i32 into r0;\\n sub r0 1i32 into r1;\\n neg r1 into r2;\\n output r2 as i32;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 2147483647i32 into r0;\\n sub r0 1i32 into r1;\\n neg r1 into r2;\\n output r2 as i32;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 2147483647i32 into r0;\\n sub r0 1i32 into r1;\\n neg r1 into r2;\\n output r2 as i32;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: 3ca155c33debfdfb0192a7bddb387e5e7fafeeaf31f0ef5089be2352d74faed3 + initial_ast: 45465e4f913c8b730d8a2dd3606e7d3af47bcd5086f831f199f5a743533ce9a5 + unrolled_ast: 45465e4f913c8b730d8a2dd3606e7d3af47bcd5086f831f199f5a743533ce9a5 + ssa_ast: d827308a1755e5f58e067eaa2bebb7d747bafa401644f6e899942afbe585bdfb diff --git a/tests/expectations/compiler/integers/i64/min.out b/tests/expectations/compiler/integers/i64/min.out index 4be4efa52c..483ed2ad70 100644 --- a/tests/expectations/compiler/integers/i64/min.out +++ b/tests/expectations/compiler/integers/i64/min.out @@ -4,6 +4,6 @@ expectation: Pass outputs: - output: - initial_input_ast: b3b2f3490a1151c22fee2d9df5a0d82783701dd70b6c2b4fd9ca3e69490783bb - initial_ast: e5000099c14e87137d2f2bc669edb80ef9c9827f165147cba121e17db302e9d5 - unrolled_ast: e5000099c14e87137d2f2bc669edb80ef9c9827f165147cba121e17db302e9d5 - ssa_ast: 9837dae3084030b34fc9f3cd5c5ad78928ce6481c548d9dfca6aef4f0a01f25f + initial_ast: e5a1694b70ad7d154dd1411650b464eb664fca4343a76cf7a3f34faaef54978c + unrolled_ast: e5a1694b70ad7d154dd1411650b464eb664fca4343a76cf7a3f34faaef54978c + ssa_ast: 313ef790a91e449c5e40684ab754736f23ac5e28ab411676360e76802e89ee31 diff --git a/tests/expectations/compiler/integers/i64/min_fail.out b/tests/expectations/compiler/integers/i64/min_fail.out index b0f4ab8637..ad62125709 100644 --- a/tests/expectations/compiler/integers/i64/min_fail.out +++ b/tests/expectations/compiler/integers/i64/min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 9223372036854775807i64 into r0;\\n sub r0 2i64 into r1;\\n output r1 as i64;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 9223372036854775807i64 into r0;\\n sub r0 2i64 into r1;\\n output r1 as i64;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 9223372036854775807i64 into r0;\\n sub r0 2i64 into r1;\\n output r1 as i64;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: f34404634c932da950bef25437cdfb41606af09de9ef6ca2f1d347977e2c9170 + initial_ast: d7f2f2a039b6c4e91c570bf8773476c54fe2bc703ed1241ef0aa5d6f8826a038 + unrolled_ast: d7f2f2a039b6c4e91c570bf8773476c54fe2bc703ed1241ef0aa5d6f8826a038 + ssa_ast: 3ba654e151d5a17a362cb8da959d7cfd0c35a1a65e6ce411cc38401cd26781cb diff --git a/tests/expectations/compiler/integers/i64/negate.out b/tests/expectations/compiler/integers/i64/negate.out index f451841123..c15e42175c 100644 --- a/tests/expectations/compiler/integers/i64/negate.out +++ b/tests/expectations/compiler/integers/i64/negate.out @@ -3,8 +3,8 @@ namespace: Compile expectation: Pass outputs: - output: - - initial_input_ast: 936a54d9bbe52e0f04e572a5b8b240bb2a9f016b50c72393ac3384777f3b0b0d - - initial_input_ast: 0c06c0ad8f97eb34d1cc23a47f961b308cb7145a30b353e02885288b4b789873 + - initial_input_ast: e07791f8836ac8e6a360778264ea47b9ed9c9ceba9ca9b371ddc4f10a40d8203 + - initial_input_ast: fdebd3a81049af25aa21c677fbef4785658415e0cb9b46b1856d38b60936e23e initial_ast: f229f8cf5cbd66073c577a86a075cfad4a2608404442971c9119135a53530f54 unrolled_ast: f229f8cf5cbd66073c577a86a075cfad4a2608404442971c9119135a53530f54 ssa_ast: 83341ff87d409f7e2ed49284d9af76c225c70ab0fa8f3537479ec1076373af44 diff --git a/tests/expectations/compiler/integers/i64/negate_min_fail.out b/tests/expectations/compiler/integers/i64/negate_min_fail.out index b5b91a76f3..3aebe49189 100644 --- a/tests/expectations/compiler/integers/i64/negate_min_fail.out +++ b/tests/expectations/compiler/integers/i64/negate_min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 9223372036854775807i64 into r0;\\n sub r0 1i64 into r1;\\n neg r1 into r2;\\n output r2 as i64;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 9223372036854775807i64 into r0;\\n sub r0 1i64 into r1;\\n neg r1 into r2;\\n output r2 as i64;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 9223372036854775807i64 into r0;\\n sub r0 1i64 into r1;\\n neg r1 into r2;\\n output r2 as i64;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: b92bed9f53de41035d8001d9f8be4a5631049b47066b2d71de4c461f7f2a464d + initial_ast: a494b73fd1c830a12d84382db4cdf60916b5e381ecf874029feebdbdaebc3eec + unrolled_ast: a494b73fd1c830a12d84382db4cdf60916b5e381ecf874029feebdbdaebc3eec + ssa_ast: a259511a9f4618d4a11c9b9b619ac19dd670ad251d02637ead3170ce2b2a88c0 diff --git a/tests/expectations/compiler/integers/i8/min.out b/tests/expectations/compiler/integers/i8/min.out index dc43431139..7be8f18841 100644 --- a/tests/expectations/compiler/integers/i8/min.out +++ b/tests/expectations/compiler/integers/i8/min.out @@ -4,6 +4,6 @@ expectation: Pass outputs: - output: - initial_input_ast: 3e63ac0f1c06b032de265411bd6b2e699c930841e0978be6b9233cbeb86cc605 - initial_ast: 70c6d62c439ec959dd9b0ed47a867c5e98035035b40f8de20946545dee84698a - unrolled_ast: 70c6d62c439ec959dd9b0ed47a867c5e98035035b40f8de20946545dee84698a - ssa_ast: e71d332aadafc0ea3c35a374919d49f329b5705f5293dcdd691d0cb0389a609a + initial_ast: 57852b7a300e4c1c2cf7b9401fef66287c1adbaa4767a5c475fad0c71d4eb960 + unrolled_ast: 57852b7a300e4c1c2cf7b9401fef66287c1adbaa4767a5c475fad0c71d4eb960 + ssa_ast: b92dc45d25f7fb25ea1f82278d68a1c30c02fb7c90453a96c1f853331a4e1b54 diff --git a/tests/expectations/compiler/integers/i8/min_fail.out b/tests/expectations/compiler/integers/i8/min_fail.out index 8d316c4736..8bf0f5f394 100644 --- a/tests/expectations/compiler/integers/i8/min_fail.out +++ b/tests/expectations/compiler/integers/i8/min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 127i8 into r0;\\n sub r0 2i8 into r1;\\n output r1 as i8;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 127i8 into r0;\\n sub r0 2i8 into r1;\\n output r1 as i8;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 127i8 into r0;\\n sub r0 2i8 into r1;\\n output r1 as i8;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: b31dfe6cd2720310b35822c841634998be88bc3f57fc4a22375b567a92f46133 + initial_ast: 82baa72f7b009875bbfb9a52e59a24b2cbb8befbf0ff0926b7f113a54b4afdf4 + unrolled_ast: 82baa72f7b009875bbfb9a52e59a24b2cbb8befbf0ff0926b7f113a54b4afdf4 + ssa_ast: ab56766b1d3ba302a545a6b55067afbe0ab1a439faea632e19356aad3d7197c9 diff --git a/tests/expectations/compiler/integers/i8/negate.out b/tests/expectations/compiler/integers/i8/negate.out index 5e99ee29e5..177e633b0a 100644 --- a/tests/expectations/compiler/integers/i8/negate.out +++ b/tests/expectations/compiler/integers/i8/negate.out @@ -3,8 +3,8 @@ namespace: Compile expectation: Pass outputs: - output: - - initial_input_ast: 0240f4f3a25cc059e688afbf3caed78bde18ad61f67b385de41b9c82de1c21f8 - - initial_input_ast: 55daf1fbe841b4cfc2a4a87dc4008ff9cf2edb7b52ec7192e40678315e0c03be + - initial_input_ast: 1bd20ea148c690dea235babece3a0cc7be442369a8d7f68580cea025c6815899 + - initial_input_ast: 5617dd2ded7e70af83fba9ae83760664c1d0255c49fd4ae7f81f96d54956c593 initial_ast: 3d91e13f420b7ff1c0249ccfb27ffeeffd09ad171ccb382ad386522eef62e7af unrolled_ast: 3d91e13f420b7ff1c0249ccfb27ffeeffd09ad171ccb382ad386522eef62e7af ssa_ast: 02c7b689cb8af367b4dc045d99a2a5076f175454755c9c95046cec05270ca818 diff --git a/tests/expectations/compiler/integers/i8/negate_min_fail.out b/tests/expectations/compiler/integers/i8/negate_min_fail.out index 618b6a840b..3ea585d3c8 100644 --- a/tests/expectations/compiler/integers/i8/negate_min_fail.out +++ b/tests/expectations/compiler/integers/i8/negate_min_fail.out @@ -1,5 +1,9 @@ --- namespace: Compile -expectation: Fail +expectation: Pass outputs: - - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n neg 127i8 into r0;\\n sub r0 1i8 into r1;\\n neg r1 into r2;\\n output r2 as i8;\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n neg 127i8 into r0;\\n sub r0 1i8 into r1;\\n neg r1 into r2;\\n output r2 as i8;\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n neg 127i8 into r0;\\n sub r0 1i8 into r1;\\n neg r1 into r2;\\n output r2 as i8;\\n\\n\\n\", Nom(Many1))] }" + - output: + - initial_input_ast: 53570f9b01fe828f720945ab561a01e4c514f52cec152aa4b458f1f0da94bcd2 + initial_ast: 4b3b640379d93cb35bf40aa911b4a20ee38fe3fc12eb5f288e337fa5eb01e03c + unrolled_ast: 4b3b640379d93cb35bf40aa911b4a20ee38fe3fc12eb5f288e337fa5eb01e03c + ssa_ast: b3d97eac6bd352d60fa2e84ac88933d8b03a2ec222a2df68fd005bc6d350ad59 diff --git a/tests/expectations/parser/expression/unary/neg.out b/tests/expectations/parser/expression/unary/neg.out index 6bddc3c4e1..20a2fa3c14 100644 --- a/tests/expectations/parser/expression/unary/neg.out +++ b/tests/expectations/parser/expression/unary/neg.out @@ -48,18 +48,12 @@ outputs: span: lo: 0 hi: 3 - - Unary: - receiver: - Literal: - I8: - - "5" - - span: - lo: 1 - hi: 4 - op: Negate - span: - lo: 0 - hi: 4 + - Literal: + I8: + - "-5" + - span: + lo: 0 + hi: 4 - Unary: receiver: Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}" diff --git a/tests/expectations/parser/inputs/input_const.out b/tests/expectations/parser/inputs/input_const.out index 77aa962b94..9cde03ff64 100644 --- a/tests/expectations/parser/inputs/input_const.out +++ b/tests/expectations/parser/inputs/input_const.out @@ -86,18 +86,12 @@ outputs: type_: I8 name: "{\"name\":\"f\",\"span\":\"{\\\"lo\\\":199,\\\"hi\\\":200}\"}" value: - Unary: - receiver: - Literal: - I8: - - "2" - - span: - lo: 211 - hi: 214 - op: Negate - span: - lo: 210 - hi: 214 + Literal: + I8: + - "-2" + - span: + lo: 210 + hi: 214 span: lo: 202 hi: 204 @@ -187,18 +181,12 @@ outputs: type_: I8 name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":388,\\\"hi\\\":390}\"}" value: - Unary: - receiver: - Literal: - I8: - - "1" - - span: - lo: 398 - hi: 401 - op: Negate - span: - lo: 397 - hi: 401 + Literal: + I8: + - "-1" + - span: + lo: 397 + hi: 401 span: lo: 392 hi: 394 diff --git a/tests/expectations/parser/inputs/input_constant.out b/tests/expectations/parser/inputs/input_constant.out index cc5442dcd5..ded04d93cc 100644 --- a/tests/expectations/parser/inputs/input_constant.out +++ b/tests/expectations/parser/inputs/input_constant.out @@ -86,18 +86,12 @@ outputs: type_: I8 name: "{\"name\":\"f\",\"span\":\"{\\\"lo\\\":217,\\\"hi\\\":218}\"}" value: - Unary: - receiver: - Literal: - I8: - - "2" - - span: - lo: 229 - hi: 232 - op: Negate - span: - lo: 228 - hi: 232 + Literal: + I8: + - "-2" + - span: + lo: 228 + hi: 232 span: lo: 220 hi: 222 @@ -187,18 +181,12 @@ outputs: type_: I8 name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":406,\\\"hi\\\":408}\"}" value: - Unary: - receiver: - Literal: - I8: - - "1" - - span: - lo: 416 - hi: 419 - op: Negate - span: - lo: 415 - hi: 419 + Literal: + I8: + - "-1" + - span: + lo: 415 + hi: 419 span: lo: 410 hi: 412 diff --git a/tests/expectations/parser/inputs/input_public.out b/tests/expectations/parser/inputs/input_public.out index 50ca09b1ae..33eea2b888 100644 --- a/tests/expectations/parser/inputs/input_public.out +++ b/tests/expectations/parser/inputs/input_public.out @@ -86,18 +86,12 @@ outputs: type_: I8 name: "{\"name\":\"f\",\"span\":\"{\\\"lo\\\":272,\\\"hi\\\":273}\"}" value: - Unary: - receiver: - Literal: - I8: - - "2" - - span: - lo: 284 - hi: 287 - op: Negate - span: - lo: 283 - hi: 287 + Literal: + I8: + - "-2" + - span: + lo: 283 + hi: 287 span: lo: 275 hi: 277 @@ -187,18 +181,12 @@ outputs: type_: I8 name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":528,\\\"hi\\\":530}\"}" value: - Unary: - receiver: - Literal: - I8: - - "1" - - span: - lo: 538 - hi: 541 - op: Negate - span: - lo: 537 - hi: 541 + Literal: + I8: + - "-1" + - span: + lo: 537 + hi: 541 span: lo: 532 hi: 534