solidity/test/libyul/yulOptimizerTests/fullSimplify/inside_for.yul

{
    let x := calldataload(3)
    let a := 10
    for { } iszero(eq(a, sub(x, calldataload(3)))) { a := add(a, 1) } {}
}
// ----
// step: fullSimplify
//
// {
//     {
//         let a := 10
//         for { } iszero(iszero(a)) { a := add(a, 1) }
//         { }
//     }
// }
Add a "full simplify" test that applies multiple elementary transforms. 2018-10-11 19:16:37 +00:00			`{`
			`let x := calldataload(3)`
Removing scope rules for pre block in 'For Loops' 2019-04-05 18:38:23 +00:00			`let a := 10`
			`for { } iszero(eq(a, sub(x, calldataload(3)))) { a := add(a, 1) } {}`
Add a "full simplify" test that applies multiple elementary transforms. 2018-10-11 19:16:37 +00:00			`}`
			`// ----`
Moved "step" from settings to expectations. 2020-03-17 22:31:56 +00:00			`// step: fullSimplify`
			`//`
Add a "full simplify" test that applies multiple elementary transforms. 2018-10-11 19:16:37 +00:00			`// {`
Update tests. 2021-11-09 12:25:25 +00:00			`// {`
			`// let a := 10`
			`// for { } iszero(iszero(a)) { a := add(a, 1) }`
			`// { }`
			`// }`
Add a "full simplify" test that applies multiple elementary transforms. 2018-10-11 19:16:37 +00:00			`// }`