test/libyul/yulOptimizerTests/ssaTransform/switch.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

{
    let a := mload(0)
    // This could be more efficient:
    // all cases could use the value of the variable from just before
    // the switch and not just the first
    switch a
    case 0 { a := add(a, 4) }
    default { a := add(a, 8) }
    mstore(0, a)
}
// ----
// ssaTransform
// {
//     let a_1 := mload(0)
//     let a := a_1
//     switch a_1
//     case 0 {
//         let a_2 := add(a_1, 4)
//         a := a_2
//     }
//     default {
//         let a_3 := add(a, 8)
//         a := a_3
//     }
//     mstore(0, a)
// }