Undo second SSA transformation and add more tests.

1 files changed, 27 insertions, 30 deletions

diff --git a/test/libyul/yulOptimizerTests/fullSuite/aztec.yul b/test/libyul/yulOptimizerTests/fullSuite/aztec.yul
index e05a3c92..868c6b01 100644
--- a/test/libyul/yulOptimizerTests/fullSuite/aztec.yul
+++ b/test/libyul/yulOptimizerTests/fullSuite/aztec.yul
@@ -245,17 +245,16 @@
 //         mstore(0x00, 404)
 //         revert(0x00, 0x20)
 //     }
-//     let validateJo_kn_287 := calldataload(add(calldatasize(), 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff40))
-//     let validateJo_kn := validateJo_kn_287
+//     let validateJo_kn := calldataload(add(calldatasize(), 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff40))
 //     let validateJo__24 := 0x2a0
 //     mstore(validateJo__24, caller())
-//     mstore(0x2c0, validateJo_kn_287)
+//     mstore(0x2c0, validateJo_kn)
 //     mstore(0x2e0, validateJo_m)
-//     validateJo_kn := mulmod(sub(validateJo_gen_order, validateJo_kn_287), validateJo_challenge, validateJo_gen_order)
+//     validateJo_kn := mulmod(sub(validateJo_gen_order, validateJo_kn), validateJo_challenge, validateJo_gen_order)
 //     hashCommitments(validateJo_notes, validateJo_n)
 //     let validateJo_b := add(0x300, mul(validateJo_n, validateJo__6))
-//     let validateJo_i_290 := 0
-//     let validateJo_i := validateJo_i_290
+//     let validateJo_i := 0
+//     let validateJo_i_1306 := validateJo_i
 //     for {
 //     }
 //     lt(validateJo_i, validateJo_n)
@@ -266,9 +265,8 @@
 //         let validateJo__34 := 0x20
 //         let validateJo__351 := add(validateJo__10, mul(validateJo_i, 0xc0))
 //         let validateJo_noteIndex := add(validateJo__351, 0x24)
-//         let validateJo_k := validateJo_i_290
-//         let validateJo_a_292 := calldataload(add(validateJo__351, 0x44))
-//         let validateJo_a := validateJo_a_292
+//         let validateJo_k := validateJo_i_1306
+//         let validateJo_a := calldataload(add(validateJo__351, 0x44))
 //         let validateJo_c := validateJo_challenge
 //         let validateJo__39 := add(validateJo_i, 0x01)
 //         switch eq(validateJo__39, validateJo_n)
@@ -282,15 +280,15 @@
 //         case 0 {
 //             validateJo_k := calldataload(validateJo_noteIndex)
 //         }
-//         validateCommitment(validateJo_noteIndex, validateJo_k, validateJo_a_292)
+//         validateCommitment(validateJo_noteIndex, validateJo_k, validateJo_a)
 //         switch gt(validateJo__39, validateJo_m)
 //         case 1 {
 //             validateJo_kn := addmod(validateJo_kn, sub(validateJo_gen_order, validateJo_k), validateJo_gen_order)
-//             let validateJo_x := mod(mload(validateJo_i_290), validateJo_gen_order)
+//             let validateJo_x := mod(mload(validateJo_i_1306), validateJo_gen_order)
 //             validateJo_k := mulmod(validateJo_k, validateJo_x, validateJo_gen_order)
-//             validateJo_a := mulmod(validateJo_a_292, validateJo_x, validateJo_gen_order)
+//             validateJo_a := mulmod(validateJo_a, validateJo_x, validateJo_gen_order)
 //             validateJo_c := mulmod(validateJo_challenge, validateJo_x, validateJo_gen_order)
-//             mstore(validateJo_i_290, keccak256(validateJo_i_290, validateJo__34))
+//             mstore(validateJo_i_1306, keccak256(validateJo_i_1306, validateJo__34))
 //         }
 //         case 0 {
 //             validateJo_kn := addmod(validateJo_kn, validateJo_k, validateJo_gen_order)
@@ -304,13 +302,12 @@
 //         mstore(validateJo__62, validateJo_k)
 //         mstore(0xc0, validateJo_a)
 //         let validateJo__65 := 0x1a0
-//         let validateJo_result_302 := call(gas(), 7, validateJo_i_290, 0xe0, validateJo__62, validateJo__65, validateJo__52)
-//         let validateJo_result := validateJo_result_302
-//         let validateJo_result_303 := and(validateJo_result_302, call(gas(), 7, validateJo_i_290, validateJo__34, validateJo__62, validateJo__61, validateJo__52))
+//         let validateJo_result := call(gas(), 7, validateJo_i_1306, 0xe0, validateJo__62, validateJo__65, validateJo__52)
+//         let validateJo_result_303 := and(validateJo_result, call(gas(), 7, validateJo_i_1306, validateJo__34, validateJo__62, validateJo__61, validateJo__52))
 //         let validateJo__80 := 0x160
-//         let validateJo_result_304 := and(validateJo_result_303, call(gas(), 7, validateJo_i_290, validateJo__6, validateJo__62, validateJo__80, validateJo__52))
-//         let validateJo_result_305 := and(validateJo_result_304, call(gas(), 6, validateJo_i_290, validateJo__61, validateJo__6, validateJo__80, validateJo__52))
-//         validateJo_result := and(validateJo_result_305, call(gas(), 6, validateJo_i_290, validateJo__80, validateJo__6, validateJo_b, validateJo__52))
+//         let validateJo_result_304 := and(validateJo_result_303, call(gas(), 7, validateJo_i_1306, validateJo__6, validateJo__62, validateJo__80, validateJo__52))
+//         let validateJo_result_305 := and(validateJo_result_304, call(gas(), 6, validateJo_i_1306, validateJo__61, validateJo__6, validateJo__80, validateJo__52))
+//         validateJo_result := and(validateJo_result_305, call(gas(), 6, validateJo_i_1306, validateJo__80, validateJo__6, validateJo_b, validateJo__52))
 //         if eq(validateJo_i, validateJo_m)
 //         {
 //             mstore(0x260, mload(validateJo__34))
@@ -322,14 +319,14 @@
 //         {
 //             mstore(validateJo__62, validateJo_c)
 //             let validateJo__120 := 0x220
-//             let validateJo_result_307 := and(validateJo_result, call(gas(), 7, validateJo_i_290, validateJo__34, validateJo__62, validateJo__120, validateJo__52))
-//             let validateJo_result_308 := and(validateJo_result_307, call(gas(), 6, validateJo_i_290, validateJo__120, validateJo__6, 0x260, validateJo__52))
-//             validateJo_result := and(validateJo_result_308, call(gas(), 6, validateJo_i_290, validateJo__65, validateJo__6, 0x1e0, validateJo__52))
+//             let validateJo_result_307 := and(validateJo_result, call(gas(), 7, validateJo_i_1306, validateJo__34, validateJo__62, validateJo__120, validateJo__52))
+//             let validateJo_result_308 := and(validateJo_result_307, call(gas(), 6, validateJo_i_1306, validateJo__120, validateJo__6, 0x260, validateJo__52))
+//             validateJo_result := and(validateJo_result_308, call(gas(), 6, validateJo_i_1306, validateJo__65, validateJo__6, 0x1e0, validateJo__52))
 //         }
 //         if iszero(validateJo_result)
 //         {
-//             mstore(validateJo_i_290, 400)
-//             revert(validateJo_i_290, validateJo__34)
+//             mstore(validateJo_i_1306, 400)
+//             revert(validateJo_i_1306, validateJo__34)
 //         }
 //         validateJo_b := add(validateJo_b, validateJo__52)
 //     }
@@ -339,13 +336,13 @@
 //     }
 //     if iszero(eq(mod(keccak256(validateJo__24, add(validateJo_b, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd60)), validateJo_gen_order), validateJo_challenge))
 //     {
-//         mstore(validateJo_i_290, 404)
-//         revert(validateJo_i_290, 0x20)
+//         mstore(validateJo_i_1306, 404)
+//         revert(validateJo_i_1306, 0x20)
 //     }
-//     mstore(validateJo_i_290, 0x01)
-//     return(validateJo_i_290, 0x20)
-//     mstore(validateJo_i_290, 404)
-//     revert(validateJo_i_290, 0x20)
+//     mstore(validateJo_i_1306, 0x01)
+//     return(validateJo_i_1306, 0x20)
+//     mstore(validateJo_i_1306, 404)
+//     revert(validateJo_i_1306, 0x20)
 //     function validatePairing(t2)
 //     {
 //         let t2_x_1 := calldataload(t2)