solidity/test/libyul/yulOptimizerTests/ssaTransform/branches.yul

28 lines
401 B
Plaintext

{
let a := 1
a := add(a, 1)
if a {
a := add(a, 1)
}
a := add(a, 1)
mstore(a, 1)
}
// ----
// step: 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_5 := a
// let a_4 := add(a_5, 1)
// a := a_4
// mstore(a_4, 1)
// }