test/libyul/yulOptimizerTests/redundantAssignEliminator/function.yul


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

{
    let r
    r := 1
    function f(x, y) -> a, b {
        // Can be removed, is param
        x := 1
        y := 2
        // Cannot be removed, is return param
        a := 3
        b := 4
    }
    r := 2
}
// ----
// redundantAssignEliminator
// {
//     let r
//     function f(x, y) -> a, b
//     {
//         a := 3
//         b := 4
//     }
// }