From 839764bd955d2bddedb4a38ab1d4d92c797c56b9 Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Tue, 27 Nov 2012 18:20:06 +1100 Subject: Thesis and performance testing related stuff. --- .../implementation/experiments/simple_while-output | 83 ---------------------- 1 file changed, 83 deletions(-) delete mode 100644 tex/thesis/implementation/experiments/simple_while-output (limited to 'tex/thesis/implementation/experiments/simple_while-output') diff --git a/tex/thesis/implementation/experiments/simple_while-output b/tex/thesis/implementation/experiments/simple_while-output deleted file mode 100644 index 44fb2c8..0000000 --- a/tex/thesis/implementation/experiments/simple_while-output +++ /dev/null @@ -1,83 +0,0 @@ - - [B6 (ENTRY)] - Succs (1): B5 - - [B1] - 1: x - 2: [B1.1] (ImplicitCastExpr, LValueToRValue, int) - 3: return [B1.2]; - Preds (1): B2 - Succs (1): B0 - - [B2] - 1: x - 2: [B2.1] (ImplicitCastExpr, LValueToRValue, int) - 3: 10 - 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: x - 2: [B4.1] (ImplicitCastExpr, LValueToRValue, int) - 3: 1 - 4: [B4.2] + [B4.3] - 5: x - 6: [B4.5] = [B4.4] - Preds (1): B2 - Succs (1): B3 - - [B5] - 1: 1 - 2: int x = 1; - 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(1, MCF<[0,0],[2:1,1:2]>(0-5-pre, 1-5-pre))) -1-5-0 = max(-inf, add(-1, 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, min(10, 0-2-pre)) -1-4-pre = max(-inf, 1-2-pre) -0-1-pre = max(-inf, 0-2-pre) -1-1-pre = max(-inf, min(-11, 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: - x <= 11 - -x <= -11 -Block 1: - x <= 11 - -x <= -11 -Block 2: - x <= 11 - -x <= -1 -Block 3: - x <= 11 - -x <= -2 -Block 4: - x <= 10 - -x <= -1 -Block 5: - x <= inf - -x <= inf -Block 6: - x <= inf - -x <= inf -- cgit v1.2.3