test/libyul/yulOptimizerTests/ssaTransform/notransform.yul


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

{
  let a := 1
  // this should not be transformed
  let b := add(a, 2)
  let c
  mstore(c, 0)
  c := add(a, b)
}
// ----
// ssaTransform
// {
//     let a := 1
//     let b := add(a, 2)
//     let c_1
//     let c := c_1
//     mstore(c_1, 0)
//     let c_2 := add(a, b)
//     c := c_2
// }