solidity/test/libyul/yulOptimizerTests/ssaTransform/for_simple.yul
chriseth 711ed588d7 Require for loop init rewriter for SSA.
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
2020-07-03 19:24:31 +02:00

53 lines
894 B
Plaintext

{
let a := mload(0)
a := add(a, 1)
if a {
a := add(a, 2)
}
{
a := add(a, 4)
}
for { a := add(a, 3) } a { a := add(a, 6) }
{
a := add(a, 12)
}
a := add(a, 8)
}
// ----
// step: ssaTransform
//
// {
// let a_1 := mload(0)
// let a := a_1
// let a_2 := add(a_1, 1)
// a := a_2
// if a_2
// {
// let a_3 := add(a_2, 2)
// a := a_3
// }
// let a_9 := a
// {
// let a_4 := add(a_9, 4)
// a := a_4
// }
// let a_10 := a
// let a_5 := add(a_10, 3)
// a := a_5
// for { }
// a
// {
// let a_12 := a
// let a_6 := add(a_12, 6)
// a := a_6
// }
// {
// let a_11 := a
// let a_7 := add(a_11, 12)
// a := a_7
// }
// let a_13 := a
// let a_8 := add(a_13, 8)
// a := a_8
// }