| == foo == |
| fun foo(a: Int, b: Int) = a + b |
| --------------------- |
| <v0>: Int NEW: magic[FAKE_INITIALIZER](a: Int) -> <v0> |
| <v1>: Int NEW: magic[FAKE_INITIALIZER](b: Int) -> <v1> |
| a <v2>: Int NEW: r(a) -> <v2> |
| b <v3>: Int NEW: r(b) -> <v3> |
| a + b <v4>: Int NEW: call(a + b, plus|<v2>, <v3>) -> <v4> |
| ===================== |
| == bar == |
| fun bar(i: Int) { |
| foo(1, 1, i) |
| } |
| --------------------- |
| <v0>: Int NEW: magic[FAKE_INITIALIZER](i: Int) -> <v0> |
| <v4>: * NEW: magic[VALUE_CONSUMER](i|<v3>) -> <v4> |
| 1 <v1>: Int NEW: r(1) -> <v1> |
| 1 <v2>: Int NEW: r(1) -> <v2> |
| i <v3>: * NEW: r(i) -> <v3> |
| foo(1, 1, i) <v5>: * NEW: call(foo(1, 1, i), foo|<v1>, <v2>) -> <v5> |
| { foo(1, 1, i) } <v5>: * COPY |
| ===================== |
