| == lazyBooleans == |
| fun lazyBooleans(a : Boolean, b : Boolean) : Unit { |
| if (a) { |
| 1 |
| } |
| else { |
| 2 |
| } |
| 3 |
| if (a && b) 5 else 6 |
| 7 |
| if (a || b) 8 else 9 |
| 10 |
| if (a) 11 |
| 12 |
| if (a) else 13 |
| 14 |
| } |
| --------------------- |
| <v0>: Boolean NEW: magic[FAKE_INITIALIZER](a : Boolean) -> <v0> |
| <v1>: Boolean NEW: magic[FAKE_INITIALIZER](b : Boolean) -> <v1> |
| a <v2>: Boolean NEW: r(a) -> <v2> |
| 1 <v3>: * NEW: r(1) -> <v3> |
| { 1 } <v3>: * COPY |
| 2 <v4>: * NEW: r(2) -> <v4> |
| { 2 } <v4>: * COPY |
| if (a) { 1 } else { 2 } <v5>: * NEW: merge(if (a) { 1 } else { 2 }|<v3>, <v4>) -> <v5> |
| 3 <v6>: * NEW: r(3) -> <v6> |
| a <v7>: Boolean NEW: r(a) -> <v7> |
| b <v8>: Boolean NEW: r(b) -> <v8> |
| a && b <v9>: Boolean NEW: magic[AND](a && b|<v7>, <v8>) -> <v9> |
| 5 <v10>: * NEW: r(5) -> <v10> |
| 6 <v11>: * NEW: r(6) -> <v11> |
| if (a && b) 5 else 6 <v12>: * NEW: merge(if (a && b) 5 else 6|<v10>, <v11>) -> <v12> |
| 7 <v13>: * NEW: r(7) -> <v13> |
| a <v14>: Boolean NEW: r(a) -> <v14> |
| b <v15>: Boolean NEW: r(b) -> <v15> |
| a || b <v16>: Boolean NEW: magic[OR](a || b|<v14>, <v15>) -> <v16> |
| 8 <v17>: * NEW: r(8) -> <v17> |
| 9 <v18>: * NEW: r(9) -> <v18> |
| if (a || b) 8 else 9 <v19>: * NEW: merge(if (a || b) 8 else 9|<v17>, <v18>) -> <v19> |
| 10 <v20>: * NEW: r(10) -> <v20> |
| a <v21>: Boolean NEW: r(a) -> <v21> |
| 11 <v22>: * NEW: r(11) -> <v22> |
| if (a) 11 <v23>: * NEW: merge(if (a) 11|<v22>) -> <v23> |
| 12 <v24>: * NEW: r(12) -> <v24> |
| a <v25>: Boolean NEW: r(a) -> <v25> |
| 13 <v26>: * NEW: r(13) -> <v26> |
| if (a) else 13 <v27>: * NEW: merge(if (a) else 13|<v26>) -> <v27> |
| 14 <v28>: * NEW: r(14) -> <v28> |
| { if (a) { 1 } else { 2 } 3 if (a && b) 5 else 6 7 if (a || b) 8 else 9 10 if (a) 11 12 if (a) else 13 14 } <v28>: * COPY |
| ===================== |
