test/libyul/yulOptimizerTests/splitJoin/control_flow.yul


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

{
    if mul(add(calldataload(0), 2), 3) {
        for { let a := 2 } lt(a, mload(a)) { a := add(a, mul(a, 2)) } {
            let b := mul(add(a, 2), 4)
            sstore(b, mul(b, 2))
        }
    }
}
// ----
// splitJoin
// {
//     if mul(add(calldataload(0), 2), 3)
//     {
//         for {
//             let a := 2
//         }
//         lt(a, mload(a))
//         {
//             a := add(a, mul(a, 2))
//         }
//         {
//             let b := mul(add(a, 2), 4)
//             sstore(b, mul(b, 2))
//         }
//     }
// }