From c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 27 Nov 2012 14:11:18 +1100
Subject: A bunch more thesis stuff.

---
 .../experiments/backwards_counter-output           | 83 ++++++++++++++++++++++
 1 file changed, 83 insertions(+)
 create mode 100644 tex/thesis/implementation/experiments/backwards_counter-output

(limited to 'tex/thesis/implementation/experiments/backwards_counter-output')

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
-- 
cgit v1.2.3