test/libjulia/yulOptimizerTests/expressionInliner/no_move_with_sideeffects.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
27

// The calls to g and h cannot be moved because g and h are not movable. Therefore, the call
// to f is not inlined.
{
    function f(a, b) -> x { x := add(b, a) }
    function g() -> y { y := mload(0) mstore(0, 4) }
    function h() -> z { mstore(0, 4) z := mload(0) }
    let r := f(g(), h())
}
// ----
// expressionInliner
// {
//     function f(a, b) -> x
//     {
//         x := add(b, a)
//     }
//     function g() -> y
//     {
//         y := mload(0)
//         mstore(0, 4)
//     }
//     function h() -> z
//     {
//         mstore(0, 4)
//         z := mload(0)
//     }
//     let r := f(g(), h())
// }