aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/Other/2002-01-31-PostDomSet.ll45
1 files changed, 6 insertions, 39 deletions
diff --git a/test/Other/2002-01-31-PostDomSet.ll b/test/Other/2002-01-31-PostDomSet.ll
index b83bd66..bb38be8 100644
--- a/test/Other/2002-01-31-PostDomSet.ll
+++ b/test/Other/2002-01-31-PostDomSet.ll
@@ -5,50 +5,17 @@
implementation
-int "looptest"(int %i, int %j)
+int "looptest"()
begin
- %whichLoop = setlt int %i, %j
- br bool %whichLoop, label %Loop1Header, label %Loop2Header
+ br label %L2Top
-Loop1Header:
- %i1 = add int 0, 0 ; %i1 = 0
- br label %L1Top
-L1Top:
- %i2 = phi int [%i1, %Loop1Header], [%i3, %L1Body]
- %L1Done = seteq int %i2, %j
- br bool %L1Done, label %L1End, label %L1Body
-L1Body:
- %i3 = add int %i2, 2
- br label %L1Top
-L1End:
- %v0 = add int %i2, %j ; %v0 = 3 * %j
- br label %Merge
-
-Loop2Header:
- %m1 = add int 0, 0
- %k1 = add int 0, %i
- br label %L2Top
L2Top:
- %k2 = phi int [%k1, %Loop2Header], [%k3, %L2Body]
- %m2 = phi int [%m1, %Loop2Header], [%m3, %L2Body]
- %L2Done = seteq int %k2, 0
- br bool %L2Done, label %L2End, label %L2Body
+ br bool true, label %L2End, label %L2Top
+
L2Body:
- %k3 = sub int %k2, 1
- %m3 = add int %m2, %j
br label %L2Top
-L2End:
- %v1 = add int %m2, %k2
- br label %Merge
-Merge:
- %v2 = phi int [%v0, %L1End], [%v1, %L2End]
- ret int %v2
-end
-
-int "main"()
-begin
- call int %looptest(int 0, int 12)
- ret int %0
+L2End:
+ ret int 0
end