test/libyul/yulOptimizerTests/rematerialiser/non_movable_function.yul


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{
    function f(x) -> y {}
    let a := 1
    let b := f(a)
    let c := a
    mstore(add(a, b), c)
}
// ----
// rematerialiser
// {
//     function f(x) -> y
//     {
//     }
//     let a := 1
//     let b := f(1)
//     let c := 1
//     mstore(add(1, b), 1)
// }