test/libyul/yulOptimizerTests/ssaTransform/simple.yul


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{
  let a := 1
  a := 2
  a := 3
  a := 4
}
// ----
// ssaTransform
// {
//     let a_1 := 1
//     let a := a_1
//     let a_2 := 2
//     a := a_2
//     let a_3 := 3
//     a := a_3
//     let a_4 := 4
//     a := a_4
// }