diff options
Diffstat (limited to 'test/Transforms/JumpThreading')
-rw-r--r-- | test/Transforms/JumpThreading/2008-11-27-EntryMunge.ll | 2 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/2008-11-28-InfLoop.ll | 2 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/2009-01-08-DeadLoopRepl.ll | 2 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll | 2 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/and-and-cond.ll | 4 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/and-cond.ll | 4 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/basic.ll | 129 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/branch-no-const.ll | 2 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/compare.ll | 2 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/crash.ll | 56 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/no-irreducible-loops.ll | 2 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/thread-loads.ll | 2 |
12 files changed, 193 insertions, 16 deletions
diff --git a/test/Transforms/JumpThreading/2008-11-27-EntryMunge.ll b/test/Transforms/JumpThreading/2008-11-27-EntryMunge.ll index 216dacb8d2682..b5d1065e67936 100644 --- a/test/Transforms/JumpThreading/2008-11-27-EntryMunge.ll +++ b/test/Transforms/JumpThreading/2008-11-27-EntryMunge.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -jump-threading -simplifycfg | llvm-dis | grep {ret i32 0} +; RUN: opt < %s -jump-threading -S | grep {ret i32 0} ; PR3138 define i32 @jt() { diff --git a/test/Transforms/JumpThreading/2008-11-28-InfLoop.ll b/test/Transforms/JumpThreading/2008-11-28-InfLoop.ll index 974b9ef77478e..306b2d5435fc6 100644 --- a/test/Transforms/JumpThreading/2008-11-28-InfLoop.ll +++ b/test/Transforms/JumpThreading/2008-11-28-InfLoop.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -jump-threading | llvm-dis +; RUN: opt < %s -jump-threading -S target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target triple = "i386-apple-darwin9.5" diff --git a/test/Transforms/JumpThreading/2009-01-08-DeadLoopRepl.ll b/test/Transforms/JumpThreading/2009-01-08-DeadLoopRepl.ll index 6de67ebbcecca..208c8229875ea 100644 --- a/test/Transforms/JumpThreading/2009-01-08-DeadLoopRepl.ll +++ b/test/Transforms/JumpThreading/2009-01-08-DeadLoopRepl.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -jump-threading | llvm-dis +; RUN: opt < %s -jump-threading | llvm-dis ; PR3298 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" diff --git a/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll b/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll index ab8b087f8a4af..05a3ef9017dbd 100644 --- a/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll +++ b/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -jump-threading | llvm-dis +; RUN: opt < %s -jump-threading -S ; PR3353 define i32 @test(i8 %X) { diff --git a/test/Transforms/JumpThreading/and-and-cond.ll b/test/Transforms/JumpThreading/and-and-cond.ll index de4435c507941..e6db9ee5a3259 100644 --- a/test/Transforms/JumpThreading/and-and-cond.ll +++ b/test/Transforms/JumpThreading/and-and-cond.ll @@ -1,6 +1,6 @@ -; RUN: llvm-as < %s | opt -jump-threading -mem2reg -instcombine -simplifycfg | llvm-dis | grep {ret i32 %v1} +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | grep {ret i32 %v1} ; There should be no uncond branches left. -; RUN: llvm-as < %s | opt -jump-threading -mem2reg -instcombine -simplifycfg | llvm-dis | not grep {br label} +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | not grep {br label} declare i32 @f1() declare i32 @f2() diff --git a/test/Transforms/JumpThreading/and-cond.ll b/test/Transforms/JumpThreading/and-cond.ll index b01c4baffc0ed..58dbec72a76ed 100644 --- a/test/Transforms/JumpThreading/and-cond.ll +++ b/test/Transforms/JumpThreading/and-cond.ll @@ -1,6 +1,6 @@ -; RUN: llvm-as < %s | opt -jump-threading -mem2reg -instcombine -simplifycfg | llvm-dis | grep {ret i32 %v1} +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | grep {ret i32 %v1} ; There should be no uncond branches left. -; RUN: llvm-as < %s | opt -jump-threading -mem2reg -instcombine -simplifycfg | llvm-dis | not grep {br label} +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | not grep {br label} declare i32 @f1() declare i32 @f2() diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index bf746e7f139c8..3d936b8f30fc0 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -1,12 +1,12 @@ -; RUN: llvm-as < %s | opt -jump-threading -simplifycfg -mem2reg | llvm-dis | grep {ret i32 %v1} -; There should be no uncond branches left. -; RUN: llvm-as < %s | opt -jump-threading -simplifycfg -mem2reg | llvm-dis | not grep {br label} +; RUN: opt < %s -jump-threading -S | FileCheck %s declare i32 @f1() declare i32 @f2() declare void @f3() -define i32 @test(i1 %cond) { +define i32 @test1(i1 %cond) { +; CHECK: @test1 + br i1 %cond, label %T1, label %F1 T1: @@ -23,20 +23,27 @@ Merge: br i1 %A, label %T2, label %F2 T2: +; CHECK: T2: +; CHECK: ret i32 %v1 call void @f3() ret i32 %B F2: +; CHECK: F2: +; CHECK: ret i32 %v2 ret i32 %B } ;; cond is known false on Entry -> F1 edge! define i32 @test2(i1 %cond) { +; CHECK: @test2 Entry: br i1 %cond, label %T1, label %F1 T1: +; CHECK: %v1 = call i32 @f1() +; CHECK: ret i32 47 %v1 = call i32 @f1() br label %Merge @@ -51,3 +58,117 @@ F2: call void @f3() ret i32 12 } + + +; Undef handling. +define i32 @test3(i1 %cond) { +; CHECK: @test3 +; CHECK-NEXT: T1: +; CHECK-NEXT: ret i32 42 + br i1 undef, label %T1, label %F1 + +T1: + ret i32 42 + +F1: + ret i32 17 +} + +define i32 @test4(i1 %cond, i1 %cond2) { +; CHECK: @test4 + + br i1 %cond, label %T1, label %F1 + +T1: +; CHECK: %v1 = call i32 @f1() +; CHECK-NEXT: br label %T + + %v1 = call i32 @f1() + br label %Merge + +F1: + %v2 = call i32 @f2() +; CHECK: %v2 = call i32 @f2() +; CHECK-NEXT: br i1 %cond2, + br label %Merge + +Merge: + %A = phi i1 [undef, %T1], [%cond2, %F1] + %B = phi i32 [%v1, %T1], [%v2, %F1] + br i1 %A, label %T2, label %F2 + +T2: + call void @f3() + ret i32 %B + +F2: + ret i32 %B +} + + +;; This tests that the branch in 'merge' can be cloned up into T1. +define i32 @test5(i1 %cond, i1 %cond2) { +; CHECK: @test5 + + br i1 %cond, label %T1, label %F1 + +T1: +; CHECK: T1: +; CHECK-NEXT: %v1 = call i32 @f1() +; CHECK-NEXT: %cond3 = icmp eq i32 %v1, 412 +; CHECK-NEXT: br i1 %cond3, label %T2, label %F2 + + %v1 = call i32 @f1() + %cond3 = icmp eq i32 %v1, 412 + br label %Merge + +F1: + %v2 = call i32 @f2() + br label %Merge + +Merge: + %A = phi i1 [%cond3, %T1], [%cond2, %F1] + %B = phi i32 [%v1, %T1], [%v2, %F1] + br i1 %A, label %T2, label %F2 + +T2: + call void @f3() + ret i32 %B + +F2: + ret i32 %B +} + + +;; Lexically duplicated conditionals should be threaded. + + +define i32 @test6(i32 %A) { +; CHECK: @test6 + %tmp455 = icmp eq i32 %A, 42 + br i1 %tmp455, label %BB1, label %BB2 + +BB2: +; CHECK: call i32 @f1() +; CHECK-NEXT: call void @f3() +; CHECK-NEXT: ret i32 4 + call i32 @f1() + br label %BB1 + + +BB1: + %tmp459 = icmp eq i32 %A, 42 + br i1 %tmp459, label %BB3, label %BB4 + +BB3: + call i32 @f2() + ret i32 3 + +BB4: + call void @f3() + ret i32 4 +} + + + + diff --git a/test/Transforms/JumpThreading/branch-no-const.ll b/test/Transforms/JumpThreading/branch-no-const.ll index 0ea2431ca0999..16867b07c2e43 100644 --- a/test/Transforms/JumpThreading/branch-no-const.ll +++ b/test/Transforms/JumpThreading/branch-no-const.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -jump-threading | llvm-dis | not grep phi +; RUN: opt < %s -jump-threading -S | not grep phi declare i8 @mcguffin() diff --git a/test/Transforms/JumpThreading/compare.ll b/test/Transforms/JumpThreading/compare.ll index cbada569aac99..581785c45f517 100644 --- a/test/Transforms/JumpThreading/compare.ll +++ b/test/Transforms/JumpThreading/compare.ll @@ -1,5 +1,5 @@ ; There should be no phi nodes left. -; RUN: llvm-as < %s | opt -jump-threading -simplifycfg -mem2reg | llvm-dis | not grep {phi i32} +; RUN: opt < %s -jump-threading -S | not grep {phi i32} declare i32 @f1() declare i32 @f2() diff --git a/test/Transforms/JumpThreading/crash.ll b/test/Transforms/JumpThreading/crash.ll new file mode 100644 index 0000000000000..0b6cd27110e48 --- /dev/null +++ b/test/Transforms/JumpThreading/crash.ll @@ -0,0 +1,56 @@ +; RUN: opt < %s -jump-threading -disable-output +; PR2285 +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" +target triple = "x86_64-unknown-linux-gnu" + %struct.system__secondary_stack__mark_id = type { i64, i64 } + +define void @_ada_c35507b() { +entry: + br label %bb + +bb: ; preds = %bb13, %entry + %ch.0 = phi i8 [ 0, %entry ], [ 0, %bb13 ] ; <i8> [#uses=1] + %tmp11 = icmp ugt i8 %ch.0, 31 ; <i1> [#uses=1] + %tmp120 = call %struct.system__secondary_stack__mark_id @system__secondary_stack__ss_mark( ) ; <%struct.system__secondary_stack__mark_id> [#uses=1] + br i1 %tmp11, label %bb110, label %bb13 + +bb13: ; preds = %bb + br label %bb + +bb110: ; preds = %bb + %mrv_gr124 = getresult %struct.system__secondary_stack__mark_id %tmp120, 1 ; <i64> [#uses=0] + unreachable +} + +declare %struct.system__secondary_stack__mark_id @system__secondary_stack__ss_mark() + + + +define fastcc void @findratio(double* nocapture %res1, double* nocapture %res2) nounwind ssp { +entry: + br label %bb12 + +bb6.us: + %tmp = icmp eq i32 undef, undef + %tmp1 = fsub double undef, undef + %tmp2 = fcmp ult double %tmp1, 0.000000e+00 + br i1 %tmp, label %bb6.us, label %bb13 + + +bb12: + %tmp3 = fcmp ult double undef, 0.000000e+00 + br label %bb13 + +bb13: + %.lcssa31 = phi double [ undef, %bb12 ], [ %tmp1, %bb6.us ] + %.lcssa30 = phi i1 [ %tmp3, %bb12 ], [ %tmp2, %bb6.us ] + br i1 %.lcssa30, label %bb15, label %bb61 + +bb15: + %tmp4 = fsub double -0.000000e+00, %.lcssa31 + ret void + + +bb61: + ret void +} diff --git a/test/Transforms/JumpThreading/no-irreducible-loops.ll b/test/Transforms/JumpThreading/no-irreducible-loops.ll index 0c729d1a9b4d7..b4d44187f5e9b 100644 --- a/test/Transforms/JumpThreading/no-irreducible-loops.ll +++ b/test/Transforms/JumpThreading/no-irreducible-loops.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -jump-threading -loop-rotate -instcombine -indvars -loop-unroll -simplifycfg | llvm-dis > %t +; RUN: opt < %s -jump-threading -loop-rotate -instcombine -indvars -loop-unroll -simplifycfg -S > %t ; RUN: grep {volatile store} %t | count 3 ; RUN: not grep {br label} %t diff --git a/test/Transforms/JumpThreading/thread-loads.ll b/test/Transforms/JumpThreading/thread-loads.ll index 5c0b256224a91..96ba701046d82 100644 --- a/test/Transforms/JumpThreading/thread-loads.ll +++ b/test/Transforms/JumpThreading/thread-loads.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -jump-threading -mem2reg -simplifycfg | llvm-dis | grep {ret i32 1} +; RUN: opt < %s -jump-threading -simplifycfg -S | grep {ret i32 1} ; rdar://6402033 ; Test that we can thread through the block with the partially redundant load (%2). |