diff options
author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-11-27 14:11:18 +1100 |
---|---|---|
committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-11-27 14:11:18 +1100 |
commit | c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 (patch) | |
tree | c74fbf32c3b9740d27c26751588949e06d96cc15 /tex/thesis/implementation/experiments/backwards_counter-output | |
parent | ec585a127f8f673be9e8a09ee394571b232b1b8d (diff) |
A bunch more thesis stuff.
Diffstat (limited to 'tex/thesis/implementation/experiments/backwards_counter-output')
-rw-r--r-- | tex/thesis/implementation/experiments/backwards_counter-output | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/tex/thesis/implementation/experiments/backwards_counter-output b/tex/thesis/implementation/experiments/backwards_counter-output new file mode 100644 index 0000000..46d3aef --- /dev/null +++ b/tex/thesis/implementation/experiments/backwards_counter-output @@ -0,0 +1,83 @@ + + [B6 (ENTRY)] + Succs (1): B5 + + [B1] + 1: i + 2: [B1.1] (ImplicitCastExpr, LValueToRValue, int) + 3: return [B1.2]; + Preds (1): B2 + Succs (1): B0 + + [B2] + 1: i + 2: [B2.1] (ImplicitCastExpr, LValueToRValue, int) + 3: 0 + 4: [B2.2] > [B2.3] + T: while [B2.4] + Preds (2): B3 B5 + Succs (2): B4 B1 + + [B3] + Preds (1): B4 + Succs (1): B2 + + [B4] + 1: i + 2: [B4.1] (ImplicitCastExpr, LValueToRValue, int) + 3: 1 + 4: [B4.2] - [B4.3] + 5: i + 6: [B4.5] = [B4.4] + Preds (1): B2 + Succs (1): B3 + + [B5] + 1: 100 + 2: int i = 100; + Preds (1): B6 + Succs (1): B2 + + [B0 (EXIT)] + Preds (1): B1 + +0-6-pre = max(-inf, inf) +1-6-pre = max(-inf, inf) +0-5-pre = max(-inf, 0-6-pre) +1-5-pre = max(-inf, 1-6-pre) +0-5-0 = max(-inf, add(100, MCF<[0,0],[2:1,1:2]>(0-5-pre, 1-5-pre))) +1-5-0 = max(-inf, add(-100, MCF<[0,0],[2:1,1:2]>(0-5-pre, 1-5-pre))) +0-2-pre = max(-inf, 0-5-0, 0-3-pre) +1-2-pre = max(-inf, 1-5-0, 1-3-pre) +0-4-pre = max(-inf, 0-2-pre) +1-4-pre = max(-inf, min(-1, 1-2-pre)) +0-1-pre = max(-inf, min(0, 0-2-pre)) +1-1-pre = max(-inf, 1-2-pre) +0-4-0 = max(-inf, add(-1, MCF<[-1,1],[2:1,1:2]>(0-4-pre, 1-4-pre))) +1-4-0 = max(-inf, add(1, MCF<[1,-1],[2:1,1:2]>(0-4-pre, 1-4-pre))) +0-3-pre = max(-inf, 0-4-0) +1-3-pre = max(-inf, 1-4-0) +0-0-pre = max(-inf, 0-1-pre) +1-0-pre = max(-inf, 1-1-pre) + +Block 0: + i <= 0 + -i <= 0 +Block 1: + i <= 0 + -i <= 0 +Block 2: + i <= 100 + -i <= 0 +Block 3: + i <= 99 + -i <= 0 +Block 4: + i <= 100 + -i <= -1 +Block 5: + i <= inf + -i <= inf +Block 6: + i <= inf + -i <= inf |