| 2 -> 3 EACH_TO_EACH |
| 3 -> 4 EACH_TO_EACH |
| 4 -> 8 THEN_TO_BOTH |
| 4 -> 10 ELSE_TO_BOTH |
| 8 -> 0 EACH_TO_EACH |
| 10 -> 0 EACH_TO_EACH |
| |
| 2: |
| Process order: 1 |
| AnalysisResult#1 |
| Before: live variables = none |
| ~~~~~~~~~ |
| <entry> |
| |
| 3: |
| Process order: 2 |
| AnalysisResult#3 |
| Before: live variables = none |
| ~~~~~~~~~ |
| a [ VariableDeclaration ] |
| 1 [ IntegerLiteral ] |
| a = 1 [ Assignment ] |
| b [ VariableDeclaration ] |
| 2 [ IntegerLiteral ] |
| b = 2 [ Assignment ] |
| c [ VariableDeclaration ] |
| 3 [ IntegerLiteral ] |
| c = 3 [ Assignment ] |
| a [ LocalVariable ] |
| 0 [ IntegerLiteral ] |
| (a > 0) [ GreaterThan ] |
| ~~~~~~~~~ |
| TransferInput#18 |
| After: live variables = a, b, c |
| |
| 4: |
| Process order: 3 |
| AnalysisResult#5 |
| Before: live variables = a, b, c |
| ~~~~~~~~~ |
| ConditionalBlock: then: 8, else: 10 |
| |
| 8: |
| Process order: 4 |
| AnalysisResult#7 |
| Before: live variables = a, c |
| ~~~~~~~~~ |
| d [ VariableDeclaration ] |
| a [ LocalVariable ] |
| c [ LocalVariable ] |
| (a + c) [ NumericalAddition ] |
| d = (a + c) [ Assignment ] |
| ~~~~~~~~~ |
| TransferInput#2 |
| After: live variables = none |
| |
| 10: |
| Process order: 5 |
| AnalysisResult#9 |
| Before: live variables = a, b |
| ~~~~~~~~~ |
| e [ VariableDeclaration ] |
| a [ LocalVariable ] |
| b [ LocalVariable ] |
| (a + b) [ NumericalAddition ] |
| e = (a + b) [ Assignment ] |
| ~~~~~~~~~ |
| TransferInput#1 |
| After: live variables = none |
| |
| 0: |
| Process order: 6 |
| AnalysisResult#11 |
| Before: live variables = none |
| ~~~~~~~~~ |
| <exit> |