test/libyul/yulOptimizerTests/ssaTransform/branches.yul


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

{
  let a := 1
  a := add(a, 1)
  if a {
    a := add(a, 1)
  }
  a := add(a, 1)
  mstore(a, 1)
}
// ----
// ssaTransform
// {
//     let a_1 := 1
//     let a := a_1
//     let a_2 := add(a_1, 1)
//     a := a_2
//     if a_2
//     {
//         let a_3 := add(a_2, 1)
//         a := a_3
//     }
//     let a_4 := add(a, 1)
//     a := a_4
//     mstore(a_4, 1)
// }