test/libyul/yulOptimizerTests/equivalentFunctionCombiner/multiple_complex.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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

{
  pop(f(1,2,3))
  pop(g(4,5,6))
  pop(h(7,8,9))
  function f(f1, f2, f3) -> rf
  {
    switch f1
        case 0 {
            if f2
            {
                rf := f3
            }
            if not(f2)
            {
                rf := f1
            }
        }
        default {
            rf := 3
        }
  }
  function g(g1, g2, g3) -> rg
  {
    switch g1
        case 0 {
            if g2
            {
                rg := g3
            }
            if not(g2)
            {
                rg := g1
            }
        }
        default {
            rg := 3
        }
  }
  function h(h1, h2, h3) -> rh
  {
    switch h1
        case 1 {
            if h2
            {
                rh := h3
            }
            if not(h2)
            {
                rh := h1
            }
        }
        default {
            rh := 3
        }
  }
}
// ----
// equivalentFunctionCombiner
// {
//     pop(f(1, 2, 3))
//     pop(f(4, 5, 6))
//     pop(h(7, 8, 9))
//     function f(f1, f2, f3) -> rf
//     {
//         switch f1
//         case 0 {
//             if f2
//             {
//                 rf := f3
//             }
//             if not(f2)
//             {
//                 rf := f1
//             }
//         }
//         default {
//             rf := 3
//         }
//     }
//     function g(g1, g2, g3) -> rg
//     {
//         switch g1
//         case 0 {
//             if g2
//             {
//                 rg := g3
//             }
//             if not(g2)
//             {
//                 rg := g1
//             }
//         }
//         default {
//             rg := 3
//         }
//     }
//     function h(h1, h2, h3) -> rh
//     {
//         switch h1
//         case 1 {
//             if h2
//             {
//                 rh := h3
//             }
//             if not(h2)
//             {
//                 rh := h1
//             }
//         }
//         default {
//             rh := 3
//         }
//     }
// }