diff options
Diffstat (limited to 'test/Transforms/ADCE')
25 files changed, 773 insertions, 0 deletions
diff --git a/test/Transforms/ADCE/2002-01-31-UseStuckAround.ll b/test/Transforms/ADCE/2002-01-31-UseStuckAround.ll new file mode 100644 index 000000000000..893d82b9f5e0 --- /dev/null +++ b/test/Transforms/ADCE/2002-01-31-UseStuckAround.ll @@ -0,0 +1,13 @@ +; RUN: llvm-as %s -o - | opt -adce + +define i32 @"main"(i32 %argc) +begin + br label %2 + + %retval = phi i32 [ %argc, %2 ] ; <i32> [#uses=2] + %two = add i32 %retval, %retval ; <i32> [#uses=1] + ret i32 %two + + br label %1 +end + diff --git a/test/Transforms/ADCE/2002-05-22-PHITest.ll b/test/Transforms/ADCE/2002-05-22-PHITest.ll new file mode 100644 index 000000000000..04f0051af8dc --- /dev/null +++ b/test/Transforms/ADCE/2002-05-22-PHITest.ll @@ -0,0 +1,16 @@ +; It is illegal to remove BB1 because it will mess up the PHI node! +; +; RUN: llvm-as < %s | opt -adce | llvm-dis | grep BB1 + +define i32 @test(i1 %C, i32 %A, i32 %B) { +; <label>:0 + br i1 %C, label %BB1, label %BB2 + +BB1: ; preds = %0 + br label %BB2 + +BB2: ; preds = %BB1, %0 + %R = phi i32 [ %A, %0 ], [ %B, %BB1 ] ; <i32> [#uses=1] + ret i32 %R +} + diff --git a/test/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll b/test/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll new file mode 100644 index 000000000000..911f8e678b35 --- /dev/null +++ b/test/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll @@ -0,0 +1,32 @@ +; This testcase contains a entire loop that should be removed. The only thing +; left is the store instruction in BB0. The problem this testcase was running +; into was that when the reg109 PHI was getting zero predecessors, it was +; removed even though there were uses still around. Now the uses are filled +; in with a dummy value before the PHI is deleted. +; +; RUN: llvm-as < %s | opt -adce + + %node_t = type { double*, %node_t*, %node_t**, double**, double*, i32, i32 } + +define void @localize_local(%node_t* %nodelist) { +bb0: + %nodelist.upgrd.1 = alloca %node_t* ; <%node_t**> [#uses=2] + store %node_t* %nodelist, %node_t** %nodelist.upgrd.1 + br label %bb1 + +bb1: ; preds = %bb0 + %reg107 = load %node_t** %nodelist.upgrd.1 ; <%node_t*> [#uses=2] + %cond211 = icmp eq %node_t* %reg107, null ; <i1> [#uses=1] + br i1 %cond211, label %bb3, label %bb2 + +bb2: ; preds = %bb2, %bb1 + %reg109 = phi %node_t* [ %reg110, %bb2 ], [ %reg107, %bb1 ] ; <%node_t*> [#uses=1] + %reg212 = getelementptr %node_t* %reg109, i64 0, i32 1 ; <%node_t**> [#uses=1] + %reg110 = load %node_t** %reg212 ; <%node_t*> [#uses=2] + %cond213 = icmp ne %node_t* %reg110, null ; <i1> [#uses=1] + br i1 %cond213, label %bb2, label %bb3 + +bb3: ; preds = %bb2, %bb1 + ret void +} + diff --git a/test/Transforms/ADCE/2002-05-28-Crash-distilled.ll b/test/Transforms/ADCE/2002-05-28-Crash-distilled.ll new file mode 100644 index 000000000000..5d25ff13525e --- /dev/null +++ b/test/Transforms/ADCE/2002-05-28-Crash-distilled.ll @@ -0,0 +1,17 @@ +; This testcase is a distilled form of: 2002-05-28-Crash.ll + +; RUN: llvm-as < %s | opt -adce + +define float @test(i32 %i) { + %F = sitofp i32 %i to float ; <float> [#uses=1] + %I = bitcast i32 %i to i32 ; <i32> [#uses=1] + br label %Loop + +Loop: ; preds = %Loop, %0 + %B = icmp ne i32 %I, 0 ; <i1> [#uses=1] + br i1 %B, label %Out, label %Loop + +Out: ; preds = %Loop + ret float %F +} + diff --git a/test/Transforms/ADCE/2002-05-28-Crash.ll b/test/Transforms/ADCE/2002-05-28-Crash.ll new file mode 100644 index 000000000000..27c7205203c0 --- /dev/null +++ b/test/Transforms/ADCE/2002-05-28-Crash.ll @@ -0,0 +1,54 @@ +; This testcase is distilled from the GNU rx package. The loop should be +; removed but causes a problem when ADCE does. The source function is: +; int rx_bitset_empty (int size, rx_Bitset set) { +; int x; +; RX_subset s; +; s = set[0]; +; set[0] = 1; +; for (x = rx_bitset_numb_subsets(size) - 1; !set[x]; --x) +; ; +; set[0] = s; +; return !s; +;} +; +; RUN: llvm-as < %s | opt -adce + +define i32 @rx_bitset_empty(i32 %size, i32* %set) { +bb1: + %reg110 = load i32* %set ; <i32> [#uses=2] + store i32 1, i32* %set + %cast112 = sext i32 %size to i64 ; <i64> [#uses=1] + %reg113 = add i64 %cast112, 31 ; <i64> [#uses=1] + %reg114 = lshr i64 %reg113, 5 ; <i64> [#uses=2] + %cast109 = trunc i64 %reg114 to i32 ; <i32> [#uses=1] + %reg129 = add i32 %cast109, -1 ; <i32> [#uses=1] + %reg114-idxcast = trunc i64 %reg114 to i32 ; <i32> [#uses=1] + %reg114-idxcast-offset = add i32 %reg114-idxcast, 1073741823 ; <i32> [#uses=1] + %reg114-idxcast-offset.upgrd.1 = zext i32 %reg114-idxcast-offset to i64 ; <i64> [#uses=1] + %reg124 = getelementptr i32* %set, i64 %reg114-idxcast-offset.upgrd.1 ; <i32*> [#uses=1] + %reg125 = load i32* %reg124 ; <i32> [#uses=1] + %cond232 = icmp ne i32 %reg125, 0 ; <i1> [#uses=1] + br i1 %cond232, label %bb3, label %bb2 + +bb2: ; preds = %bb2, %bb1 + %cann-indvar = phi i32 [ 0, %bb1 ], [ %add1-indvar, %bb2 ] ; <i32> [#uses=2] + %reg130-scale = mul i32 %cann-indvar, -1 ; <i32> [#uses=1] + %reg130 = add i32 %reg130-scale, %reg129 ; <i32> [#uses=1] + %add1-indvar = add i32 %cann-indvar, 1 ; <i32> [#uses=1] + %reg130-idxcast = bitcast i32 %reg130 to i32 ; <i32> [#uses=1] + %reg130-idxcast-offset = add i32 %reg130-idxcast, 1073741823 ; <i32> [#uses=1] + %reg130-idxcast-offset.upgrd.2 = zext i32 %reg130-idxcast-offset to i64 ; <i64> [#uses=1] + %reg118 = getelementptr i32* %set, i64 %reg130-idxcast-offset.upgrd.2 ; <i32*> [#uses=1] + %reg119 = load i32* %reg118 ; <i32> [#uses=1] + %cond233 = icmp eq i32 %reg119, 0 ; <i1> [#uses=1] + br i1 %cond233, label %bb2, label %bb3 + +bb3: ; preds = %bb2, %bb1 + store i32 %reg110, i32* %set + %cast126 = zext i32 %reg110 to i64 ; <i64> [#uses=1] + %reg127 = add i64 %cast126, -1 ; <i64> [#uses=1] + %reg128 = lshr i64 %reg127, 63 ; <i64> [#uses=1] + %cast120 = trunc i64 %reg128 to i32 ; <i32> [#uses=1] + ret i32 %cast120 +} + diff --git a/test/Transforms/ADCE/2002-07-17-AssertionFailure.ll b/test/Transforms/ADCE/2002-07-17-AssertionFailure.ll new file mode 100644 index 000000000000..fb4fe4a8d279 --- /dev/null +++ b/test/Transforms/ADCE/2002-07-17-AssertionFailure.ll @@ -0,0 +1,13 @@ +; This testcase fails because ADCE does not correctly delete the chain of +; three instructions that are dead here. Ironically there were a dead basic +; block in this function, it would work fine, but that would be the part we +; have to fix now, wouldn't it.... +; +; RUN: llvm-as < %s | opt -adce + +define void @foo(i8* %reg5481) { + %cast611 = bitcast i8* %reg5481 to i8** ; <i8**> [#uses=1] + %reg162 = load i8** %cast611 ; <i8*> [#uses=1] + ptrtoint i8* %reg162 to i32 ; <i32>:1 [#uses=0] + ret void +} diff --git a/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll new file mode 100644 index 000000000000..42a7e4dcde4a --- /dev/null +++ b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll @@ -0,0 +1,48 @@ +; This testcase was extracted from the gzip SPEC benchmark +; +; RUN: llvm-as < %s | opt -adce + +@bk = external global i32 ; <i32*> [#uses=2] +@hufts = external global i32 ; <i32*> [#uses=1] + +define i32 @inflate() { +bb0: + br label %bb2 + +bb2: ; preds = %bb6, %bb0 + %reg128 = phi i32 [ %reg130, %bb6 ], [ 0, %bb0 ] ; <i32> [#uses=2] + br i1 true, label %bb4, label %bb3 + +bb3: ; preds = %bb2 + br label %UnifiedExitNode + +bb4: ; preds = %bb2 + %reg117 = load i32* @hufts ; <i32> [#uses=2] + %cond241 = icmp ule i32 %reg117, %reg128 ; <i1> [#uses=1] + br i1 %cond241, label %bb6, label %bb5 + +bb5: ; preds = %bb4 + br label %bb6 + +bb6: ; preds = %bb5, %bb4 + %reg130 = phi i32 [ %reg117, %bb5 ], [ %reg128, %bb4 ] ; <i32> [#uses=1] + br i1 false, label %bb2, label %bb7 + +bb7: ; preds = %bb6 + %reg126 = load i32* @bk ; <i32> [#uses=1] + %cond247 = icmp ule i32 %reg126, 7 ; <i1> [#uses=1] + br i1 %cond247, label %bb9, label %bb8 + +bb8: ; preds = %bb8, %bb7 + %reg119 = load i32* @bk ; <i32> [#uses=1] + %cond256 = icmp ugt i32 %reg119, 7 ; <i1> [#uses=1] + br i1 %cond256, label %bb8, label %bb9 + +bb9: ; preds = %bb8, %bb7 + br label %UnifiedExitNode + +UnifiedExitNode: ; preds = %bb9, %bb3 + %UnifiedRetVal = phi i32 [ 7, %bb3 ], [ 0, %bb9 ] ; <i32> [#uses=1] + ret i32 %UnifiedRetVal +} + diff --git a/test/Transforms/ADCE/2002-07-29-Segfault.ll b/test/Transforms/ADCE/2002-07-29-Segfault.ll new file mode 100644 index 000000000000..1c65b3b54434 --- /dev/null +++ b/test/Transforms/ADCE/2002-07-29-Segfault.ll @@ -0,0 +1,9 @@ +; RUN: llvm-as < %s | opt -adce + +define void @test() { + br label %BB3 + +BB3: ; preds = %BB3, %0 + br label %BB3 +} + diff --git a/test/Transforms/ADCE/2003-01-22-PredecessorProblem.ll b/test/Transforms/ADCE/2003-01-22-PredecessorProblem.ll new file mode 100644 index 000000000000..4ec900560705 --- /dev/null +++ b/test/Transforms/ADCE/2003-01-22-PredecessorProblem.ll @@ -0,0 +1,25 @@ +; Testcase reduced from 197.parser by bugpoint +; RUN: llvm-as < %s | opt -adce + +define void @conjunction_prune() { +; <label>:0 + br label %bb19 + +bb19: ; preds = %bb23, %bb22, %0 + %reg205 = phi i8* [ null, %bb22 ], [ null, %bb23 ], [ null, %0 ] ; <i8*> [#uses=1] + br i1 false, label %bb21, label %bb22 + +bb21: ; preds = %bb19 + %cast455 = bitcast i8* %reg205 to i8** ; <i8**> [#uses=0] + br label %bb22 + +bb22: ; preds = %bb21, %bb19 + br i1 false, label %bb19, label %bb23 + +bb23: ; preds = %bb22 + br i1 false, label %bb19, label %bb28 + +bb28: ; preds = %bb23 + ret void +} + diff --git a/test/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll b/test/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll new file mode 100644 index 000000000000..603b14b537d5 --- /dev/null +++ b/test/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll @@ -0,0 +1,35 @@ +; THis testcase caused an assertion failure because a PHI node did not have +; entries for it's postdominator. But I think this can only happen when the +; PHI node is dead, so we just avoid patching up dead PHI nodes. + +; RUN: llvm-as < %s | opt -adce + +target datalayout = "e-p:32:32" + +define void @dead_test8() { +entry: + br label %loopentry + +loopentry: ; preds = %endif, %entry + %k.1 = phi i32 [ %k.0, %endif ], [ 0, %entry ] ; <i32> [#uses=1] + br i1 false, label %no_exit, label %return + +no_exit: ; preds = %loopentry + br i1 false, label %then, label %else + +then: ; preds = %no_exit + br label %endif + +else: ; preds = %no_exit + %dec = add i32 %k.1, -1 ; <i32> [#uses=1] + br label %endif + +endif: ; preds = %else, %then + %k.0 = phi i32 [ %dec, %else ], [ 0, %then ] ; <i32> [#uses=1] + store i32 2, i32* null + br label %loopentry + +return: ; preds = %loopentry + ret void +} + diff --git a/test/Transforms/ADCE/2003-06-11-InvalidCFG.ll b/test/Transforms/ADCE/2003-06-11-InvalidCFG.ll new file mode 100644 index 000000000000..a9657a7a37d1 --- /dev/null +++ b/test/Transforms/ADCE/2003-06-11-InvalidCFG.ll @@ -0,0 +1,28 @@ +; RUN: llvm-as < %s | opt -adce -disable-output + +@G = external global i32* ; <i32**> [#uses=1] + +declare void @Fn(i32*) + +define i32 @main(i32 %argc.1, i8** %argv.1) { +entry: + br label %endif.42 + +endif.42: ; preds = %shortcirc_done.12, %then.66, %endif.42, %entry + br i1 false, label %endif.65, label %endif.42 + +then.66: ; preds = %shortcirc_done.12 + call void @Fn( i32* %tmp.2846 ) + br label %endif.42 + +endif.65: ; preds = %endif.42 + %tmp.2846 = load i32** @G ; <i32*> [#uses=1] + br i1 false, label %shortcirc_next.12, label %shortcirc_done.12 + +shortcirc_next.12: ; preds = %endif.65 + br label %shortcirc_done.12 + +shortcirc_done.12: ; preds = %shortcirc_next.12, %endif.65 + br i1 false, label %then.66, label %endif.42 +} + diff --git a/test/Transforms/ADCE/2003-06-24-BadSuccessor.ll b/test/Transforms/ADCE/2003-06-24-BadSuccessor.ll new file mode 100644 index 000000000000..e5dd0cc6d9a7 --- /dev/null +++ b/test/Transforms/ADCE/2003-06-24-BadSuccessor.ll @@ -0,0 +1,91 @@ +; RUN: llvm-as < %s | opt -adce -disable-output +target datalayout = "e-p:32:32" + %struct..CppObjTypeDesc = type { i32, i16, i16 } + %struct..TypeToken = type { i32, i16, i16 } + +define i32 @C_ReFaxToDb() { +entry: + br i1 false, label %endif.0, label %then.0 + +then.0: ; preds = %entry + ret i32 0 + +endif.0: ; preds = %entry + br i1 false, label %then.11, label %then.4 + +then.4: ; preds = %endif.0 + ret i32 0 + +then.11: ; preds = %endif.0 + br i1 false, label %loopentry.0, label %else.2 + +loopentry.0: ; preds = %loopentry.1, %endif.14, %then.11 + br i1 false, label %endif.14, label %loopexit.0 + +endif.14: ; preds = %loopentry.0 + br i1 false, label %loopentry.1, label %loopentry.0 + +loopentry.1: ; preds = %then.53, %endif.14 + %SubArrays.10 = phi i32* [ %SubArrays.8, %then.53 ], [ null, %endif.14 ] ; <i32*> [#uses=3] + br i1 false, label %no_exit.1, label %loopentry.0 + +no_exit.1: ; preds = %loopentry.1 + switch i32 0, label %label.17 [ + i32 2, label %label.11 + i32 19, label %label.10 + ] + +label.10: ; preds = %no_exit.1 + br i1 false, label %then.43, label %endif.43 + +then.43: ; preds = %label.10 + br i1 false, label %then.44, label %endif.44 + +then.44: ; preds = %then.43 + br i1 false, label %shortcirc_next.4, label %endif.45 + +shortcirc_next.4: ; preds = %then.44 + br i1 false, label %no_exit.2, label %loopexit.2 + +no_exit.2: ; preds = %shortcirc_next.4 + %tmp.897 = getelementptr i32* %SubArrays.10, i64 0 ; <i32*> [#uses=1] + %tmp.899 = load i32* %tmp.897 ; <i32> [#uses=1] + store i32 %tmp.899, i32* null + ret i32 0 + +loopexit.2: ; preds = %shortcirc_next.4 + ret i32 0 + +endif.45: ; preds = %then.44 + ret i32 0 + +endif.44: ; preds = %then.43 + ret i32 0 + +endif.43: ; preds = %label.10 + ret i32 0 + +label.11: ; preds = %no_exit.1 + ret i32 0 + +label.17: ; preds = %no_exit.1 + br i1 false, label %then.53, label %shortcirc_next.7 + +shortcirc_next.7: ; preds = %label.17 + br i1 false, label %then.53, label %shortcirc_next.8 + +shortcirc_next.8: ; preds = %shortcirc_next.7 + ret i32 0 + +then.53: ; preds = %shortcirc_next.7, %label.17 + %SubArrays.8 = phi i32* [ %SubArrays.10, %shortcirc_next.7 ], [ %SubArrays.10, %label.17 ] ; <i32*> [#uses=1] + %tmp.1023 = load i32* null ; <i32> [#uses=1] + switch i32 %tmp.1023, label %loopentry.1 [ + ] + +loopexit.0: ; preds = %loopentry.0 + ret i32 0 + +else.2: ; preds = %then.11 + ret i32 0 +} diff --git a/test/Transforms/ADCE/2003-06-24-BasicFunctionality.ll b/test/Transforms/ADCE/2003-06-24-BasicFunctionality.ll new file mode 100644 index 000000000000..9c6764d56235 --- /dev/null +++ b/test/Transforms/ADCE/2003-06-24-BasicFunctionality.ll @@ -0,0 +1,41 @@ +; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis | not grep then: + +define void @dead_test8(i32* %data.1, i32 %idx.1) { +entry: + %tmp.1 = load i32* %data.1 ; <i32> [#uses=2] + %tmp.41 = icmp sgt i32 %tmp.1, 0 ; <i1> [#uses=1] + br i1 %tmp.41, label %no_exit.preheader, label %return + +no_exit.preheader: ; preds = %entry + %tmp.11 = getelementptr i32* %data.1, i64 1 ; <i32*> [#uses=1] + %tmp.22-idxcast = sext i32 %idx.1 to i64 ; <i64> [#uses=1] + %tmp.28 = getelementptr i32* %data.1, i64 %tmp.22-idxcast ; <i32*> [#uses=1] + br label %no_exit + +no_exit: ; preds = %endif, %no_exit.preheader + %k.1 = phi i32 [ %k.0, %endif ], [ 0, %no_exit.preheader ] ; <i32> [#uses=3] + %i.0 = phi i32 [ %inc.1, %endif ], [ 0, %no_exit.preheader ] ; <i32> [#uses=1] + %tmp.12 = load i32* %tmp.11 ; <i32> [#uses=1] + %tmp.14 = sub i32 0, %tmp.12 ; <i32> [#uses=1] + %tmp.161 = icmp ne i32 %k.1, %tmp.14 ; <i1> [#uses=1] + br i1 %tmp.161, label %then, label %else + +then: ; preds = %no_exit + %inc.0 = add i32 %k.1, 1 ; <i32> [#uses=1] + br label %endif + +else: ; preds = %no_exit + %dec = add i32 %k.1, -1 ; <i32> [#uses=1] + br label %endif + +endif: ; preds = %else, %then + %k.0 = phi i32 [ %dec, %else ], [ %inc.0, %then ] ; <i32> [#uses=1] + store i32 2, i32* %tmp.28 + %inc.1 = add i32 %i.0, 1 ; <i32> [#uses=2] + %tmp.4 = icmp slt i32 %inc.1, %tmp.1 ; <i1> [#uses=1] + br i1 %tmp.4, label %no_exit, label %return + +return: ; preds = %endif, %entry + ret void +} + diff --git a/test/Transforms/ADCE/2003-09-10-UnwindInstFail.ll b/test/Transforms/ADCE/2003-09-10-UnwindInstFail.ll new file mode 100644 index 000000000000..e6345c13eba3 --- /dev/null +++ b/test/Transforms/ADCE/2003-09-10-UnwindInstFail.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | opt -adce -disable-output + +define void @test() { + br i1 false, label %then, label %endif + +then: ; preds = %0 + invoke void null( i8* null ) + to label %invoke_cont unwind label %invoke_catch + +invoke_catch: ; preds = %then + unwind + +invoke_cont: ; preds = %then + ret void + +endif: ; preds = %0 + ret void +} + diff --git a/test/Transforms/ADCE/2003-09-15-InfLoopCrash.ll b/test/Transforms/ADCE/2003-09-15-InfLoopCrash.ll new file mode 100644 index 000000000000..37e077f21cb9 --- /dev/null +++ b/test/Transforms/ADCE/2003-09-15-InfLoopCrash.ll @@ -0,0 +1,9 @@ +; RUN: llvm-as < %s | opt -adce -disable-output + +define i32 @main() { + br label %loop + +loop: ; preds = %loop, %0 + br label %loop +} + diff --git a/test/Transforms/ADCE/2003-11-16-MissingPostDominanceInfo.ll b/test/Transforms/ADCE/2003-11-16-MissingPostDominanceInfo.ll new file mode 100644 index 000000000000..6e9b17ed3131 --- /dev/null +++ b/test/Transforms/ADCE/2003-11-16-MissingPostDominanceInfo.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis | grep call +declare void @exit(i32) + +define i32 @main(i32 %argc) { + %C = icmp eq i32 %argc, 1 ; <i1> [#uses=2] + br i1 %C, label %Cond, label %Done + +Cond: ; preds = %0 + br i1 %C, label %Loop, label %Done + +Loop: ; preds = %Loop, %Cond + call void @exit( i32 0 ) + br label %Loop + +Done: ; preds = %Cond, %0 + ret i32 1 +} + diff --git a/test/Transforms/ADCE/2004-05-04-UnreachableBlock.ll b/test/Transforms/ADCE/2004-05-04-UnreachableBlock.ll new file mode 100644 index 000000000000..87a1550e9d45 --- /dev/null +++ b/test/Transforms/ADCE/2004-05-04-UnreachableBlock.ll @@ -0,0 +1,16 @@ +; RUN: llvm-as < %s | opt -adce -disable-output + +define void @test() { +entry: + br label %UnifiedReturnBlock + +UnifiedReturnBlock: ; preds = %invoke_catch.0, %entry + ret void + +invoke_catch.0: ; No predecessors! + br i1 false, label %UnifiedUnwindBlock, label %UnifiedReturnBlock + +UnifiedUnwindBlock: ; preds = %invoke_catch.0 + unwind +} + diff --git a/test/Transforms/ADCE/2005-02-17-PHI-Invoke-Crash.ll b/test/Transforms/ADCE/2005-02-17-PHI-Invoke-Crash.ll new file mode 100644 index 000000000000..8ddbbbe2c50d --- /dev/null +++ b/test/Transforms/ADCE/2005-02-17-PHI-Invoke-Crash.ll @@ -0,0 +1,45 @@ +; RUN: llvm-as < %s | opt -adce -disable-output + +declare void @strlen() + +declare void @_ZN10QByteArray6resizeEi() + +declare void @q_atomic_decrement() + +define void @_ZNK10QByteArray13leftJustifiedEicb() { +entry: + invoke void @strlen( ) + to label %tmp.3.i.noexc unwind label %invoke_catch.0 + +tmp.3.i.noexc: ; preds = %entry + br i1 false, label %then.0, label %else.0 + +invoke_catch.0: ; preds = %entry + invoke void @q_atomic_decrement( ) + to label %tmp.1.i.i183.noexc unwind label %terminate + +tmp.1.i.i183.noexc: ; preds = %invoke_catch.0 + unwind + +then.0: ; preds = %tmp.3.i.noexc + invoke void @_ZN10QByteArray6resizeEi( ) + to label %invoke_cont.1 unwind label %invoke_catch.1 + +invoke_catch.1: ; preds = %then.0 + invoke void @q_atomic_decrement( ) + to label %tmp.1.i.i162.noexc unwind label %terminate + +tmp.1.i.i162.noexc: ; preds = %invoke_catch.1 + ret void + +invoke_cont.1: ; preds = %then.0 + ret void + +else.0: ; preds = %tmp.3.i.noexc + ret void + +terminate: ; preds = %invoke_catch.1, %invoke_catch.0 + %dbg.0.1 = phi { }* [ null, %invoke_catch.1 ], [ null, %invoke_catch.0 ] ; <{ }*> [#uses=0] + unreachable +} + diff --git a/test/Transforms/ADCE/basictest.ll b/test/Transforms/ADCE/basictest.ll new file mode 100644 index 000000000000..22ff0f753bec --- /dev/null +++ b/test/Transforms/ADCE/basictest.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis + +define i32 @Test(i32 %A, i32 %B) { +BB1: + br label %BB4 + +BB2: ; No predecessors! + br label %BB3 + +BB3: ; preds = %BB4, %BB2 + %ret = phi i32 [ %X, %BB4 ], [ %B, %BB2 ] ; <i32> [#uses=1] + ret i32 %ret + +BB4: ; preds = %BB1 + %X = phi i32 [ %A, %BB1 ] ; <i32> [#uses=1] + br label %BB3 +} + + diff --git a/test/Transforms/ADCE/basictest1.ll b/test/Transforms/ADCE/basictest1.ll new file mode 100644 index 000000000000..29f40deb9c7f --- /dev/null +++ b/test/Transforms/ADCE/basictest1.ll @@ -0,0 +1,97 @@ +; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis +%FILE = type { i32, i8*, i8*, i8, i8, i32, i32, i32 } + %spec_fd_t = type { i32, i32, i32, i8* } +@__iob = external global [20 x %FILE] ; <[20 x %FILE]*> [#uses=1] +@dbglvl = global i32 4 ; <i32*> [#uses=3] +@spec_fd = external global [3 x %spec_fd_t] ; <[3 x %spec_fd_t]*> [#uses=4] +@.LC9 = internal global [34 x i8] c"spec_read: fd=%d, > MAX_SPEC_FD!\0A\00" ; <[34 x i8]*> [#uses=1] +@.LC10 = internal global [4 x i8] c"EOF\00" ; <[4 x i8]*> [#uses=1] +@.LC11 = internal global [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1] +@.LC12 = internal global [17 x i8] c"spec_getc: %d = \00" ; <[17 x i8]*> [#uses=1] + +declare i32 @fprintf(%FILE*, i8*, ...) + +declare void @exit(i32) + +declare i32 @remove(i8*) + +declare i32 @fputc(i32, %FILE*) + +declare i32 @fwrite(i8*, i32, i32, %FILE*) + +declare void @perror(i8*) + +define i32 @spec_getc(i32 %fd) { + %reg109 = load i32* @dbglvl ; <i32> [#uses=1] + %cond266 = icmp sle i32 %reg109, 4 ; <i1> [#uses=1] + br i1 %cond266, label %bb3, label %bb2 + +bb2: ; preds = %0 + %cast273 = getelementptr [17 x i8]* @.LC12, i64 0, i64 0 ; <i8*> [#uses=0] + br label %bb3 + +bb3: ; preds = %bb2, %0 + %cond267 = icmp sle i32 %fd, 3 ; <i1> [#uses=1] + br i1 %cond267, label %bb5, label %bb4 + +bb4: ; preds = %bb3 + %reg111 = getelementptr [20 x %FILE]* @__iob, i64 0, i64 1, i32 3 ; <i8*> [#uses=1] + %cast274 = getelementptr [34 x i8]* @.LC9, i64 0, i64 0 ; <i8*> [#uses=0] + %cast282 = bitcast i8* %reg111 to %FILE* ; <%FILE*> [#uses=0] + call void @exit( i32 1 ) + br label %UnifiedExitNode + +bb5: ; preds = %bb3 + %reg107-idxcast1 = sext i32 %fd to i64 ; <i64> [#uses=2] + %reg107-idxcast2 = sext i32 %fd to i64 ; <i64> [#uses=1] + %reg1311 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast2 ; <%spec_fd_t*> [#uses=1] + %idx1 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast1, i32 2 ; <i32*> [#uses=1] + %reg1321 = load i32* %idx1 ; <i32> [#uses=3] + %idx2 = getelementptr %spec_fd_t* %reg1311, i64 0, i32 1 ; <i32*> [#uses=1] + %reg1331 = load i32* %idx2 ; <i32> [#uses=1] + %cond270 = icmp slt i32 %reg1321, %reg1331 ; <i1> [#uses=1] + br i1 %cond270, label %bb9, label %bb6 + +bb6: ; preds = %bb5 + %reg134 = load i32* @dbglvl ; <i32> [#uses=1] + %cond271 = icmp sle i32 %reg134, 4 ; <i1> [#uses=1] + br i1 %cond271, label %bb8, label %bb7 + +bb7: ; preds = %bb6 + %cast277 = getelementptr [4 x i8]* @.LC10, i64 0, i64 0 ; <i8*> [#uses=0] + br label %bb8 + +bb8: ; preds = %bb7, %bb6 + br label %UnifiedExitNode + +bb9: ; preds = %bb5 + %reg107-idxcast3 = sext i32 %fd to i64 ; <i64> [#uses=1] + %idx3 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast3, i32 3 ; <i8**> [#uses=1] + %reg1601 = load i8** %idx3 ; <i8*> [#uses=1] + %reg132-idxcast1 = sext i32 %reg1321 to i64 ; <i64> [#uses=1] + %idx4 = getelementptr i8* %reg1601, i64 %reg132-idxcast1 ; <i8*> [#uses=1] + %reg1621 = load i8* %idx4 ; <i8> [#uses=2] + %cast108 = zext i8 %reg1621 to i64 ; <i64> [#uses=0] + %reg157 = add i32 %reg1321, 1 ; <i32> [#uses=1] + %idx5 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast1, i32 2 ; <i32*> [#uses=1] + store i32 %reg157, i32* %idx5 + %reg163 = load i32* @dbglvl ; <i32> [#uses=1] + %cond272 = icmp sle i32 %reg163, 4 ; <i1> [#uses=1] + br i1 %cond272, label %bb11, label %bb10 + +bb10: ; preds = %bb9 + %cast279 = getelementptr [4 x i8]* @.LC11, i64 0, i64 0 ; <i8*> [#uses=0] + br label %bb11 + +bb11: ; preds = %bb10, %bb9 + %cast291 = zext i8 %reg1621 to i32 ; <i32> [#uses=1] + br label %UnifiedExitNode + +UnifiedExitNode: ; preds = %bb11, %bb8, %bb4 + %UnifiedRetVal = phi i32 [ 42, %bb4 ], [ -1, %bb8 ], [ %cast291, %bb11 ] ; <i32> [#uses=1] + ret i32 %UnifiedRetVal +} + +declare i32 @puts(i8*) + +declare i32 @printf(i8*, ...) diff --git a/test/Transforms/ADCE/basictest2.ll b/test/Transforms/ADCE/basictest2.ll new file mode 100644 index 000000000000..120e23352dd0 --- /dev/null +++ b/test/Transforms/ADCE/basictest2.ll @@ -0,0 +1,97 @@ +; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis + %FILE = type { i32, i8*, i8*, i8, i8, i32, i32, i32 } + %spec_fd_t = type { i32, i32, i32, i8* } +@__iob = external global [20 x %FILE] ; <[20 x %FILE]*> [#uses=1] +@dbglvl = global i32 4 ; <i32*> [#uses=3] +@spec_fd = external global [3 x %spec_fd_t] ; <[3 x %spec_fd_t]*> [#uses=4] +@.LC9 = internal global [34 x i8] c"spec_read: fd=%d, > MAX_SPEC_FD!\0A\00" ; <[34 x i8]*> [#uses=1] +@.LC10 = internal global [4 x i8] c"EOF\00" ; <[4 x i8]*> [#uses=1] +@.LC11 = internal global [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1] +@.LC12 = internal global [17 x i8] c"spec_getc: %d = \00" ; <[17 x i8]*> [#uses=1] + +declare i32 @fprintf(%FILE*, i8*, ...) + +declare void @exit(i32) + +declare i32 @remove(i8*) + +declare i32 @fputc(i32, %FILE*) + +declare i32 @fwrite(i8*, i32, i32, %FILE*) + +declare void @perror(i8*) + +define i32 @spec_getc(i32 %fd) { + %reg109 = load i32* @dbglvl ; <i32> [#uses=1] + %cond266 = icmp sle i32 %reg109, 4 ; <i1> [#uses=1] + br i1 %cond266, label %bb3, label %bb2 + +bb2: ; preds = %0 + %cast273 = getelementptr [17 x i8]* @.LC12, i64 0, i64 0 ; <i8*> [#uses=0] + br label %bb3 + +bb3: ; preds = %bb2, %0 + %cond267 = icmp sle i32 %fd, 3 ; <i1> [#uses=0] + br label %bb5 + +bb4: ; No predecessors! + %reg111 = getelementptr [20 x %FILE]* @__iob, i64 0, i64 1, i32 3 ; <i8*> [#uses=1] + %cast274 = getelementptr [34 x i8]* @.LC9, i64 0, i64 0 ; <i8*> [#uses=0] + %cast282 = bitcast i8* %reg111 to %FILE* ; <%FILE*> [#uses=0] + call void @exit( i32 1 ) + br label %UnifiedExitNode + +bb5: ; preds = %bb3 + %reg107-idxcast1 = sext i32 %fd to i64 ; <i64> [#uses=2] + %reg107-idxcast2 = sext i32 %fd to i64 ; <i64> [#uses=1] + %reg1311 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast2 ; <%spec_fd_t*> [#uses=1] + %idx1 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast1, i32 2 ; <i32*> [#uses=1] + %reg1321 = load i32* %idx1 ; <i32> [#uses=3] + %idx2 = getelementptr %spec_fd_t* %reg1311, i64 0, i32 1 ; <i32*> [#uses=1] + %reg1331 = load i32* %idx2 ; <i32> [#uses=1] + %cond270 = icmp slt i32 %reg1321, %reg1331 ; <i1> [#uses=1] + br i1 %cond270, label %bb9, label %bb6 + +bb6: ; preds = %bb5 + %reg134 = load i32* @dbglvl ; <i32> [#uses=1] + %cond271 = icmp sle i32 %reg134, 4 ; <i1> [#uses=1] + br i1 %cond271, label %bb8, label %bb7 + +bb7: ; preds = %bb6 + %cast277 = getelementptr [4 x i8]* @.LC10, i64 0, i64 0 ; <i8*> [#uses=0] + br label %bb8 + +bb8: ; preds = %bb7, %bb6 + br label %UnifiedExitNode + +bb9: ; preds = %bb5 + %reg107-idxcast3 = sext i32 %fd to i64 ; <i64> [#uses=1] + %idx3 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast3, i32 3 ; <i8**> [#uses=1] + %reg1601 = load i8** %idx3 ; <i8*> [#uses=1] + %reg132-idxcast1 = sext i32 %reg1321 to i64 ; <i64> [#uses=1] + %idx4 = getelementptr i8* %reg1601, i64 %reg132-idxcast1 ; <i8*> [#uses=1] + %reg1621 = load i8* %idx4 ; <i8> [#uses=2] + %cast108 = zext i8 %reg1621 to i64 ; <i64> [#uses=0] + %reg157 = add i32 %reg1321, 1 ; <i32> [#uses=1] + %idx5 = getelementptr [3 x %spec_fd_t]* @spec_fd, i64 0, i64 %reg107-idxcast1, i32 2 ; <i32*> [#uses=1] + store i32 %reg157, i32* %idx5 + %reg163 = load i32* @dbglvl ; <i32> [#uses=1] + %cond272 = icmp sle i32 %reg163, 4 ; <i1> [#uses=1] + br i1 %cond272, label %bb11, label %bb10 + +bb10: ; preds = %bb9 + %cast279 = getelementptr [4 x i8]* @.LC11, i64 0, i64 0 ; <i8*> [#uses=0] + br label %bb11 + +bb11: ; preds = %bb10, %bb9 + %cast291 = zext i8 %reg1621 to i32 ; <i32> [#uses=1] + br label %UnifiedExitNode + +UnifiedExitNode: ; preds = %bb11, %bb8, %bb4 + %UnifiedRetVal = phi i32 [ 42, %bb4 ], [ -1, %bb8 ], [ %cast291, %bb11 ] ; <i32> [#uses=1] + ret i32 %UnifiedRetVal +} + +declare i32 @puts(i8*) + +declare i32 @printf(i8*, ...) diff --git a/test/Transforms/ADCE/dce_pure_call.ll b/test/Transforms/ADCE/dce_pure_call.ll new file mode 100644 index 000000000000..3935bf72b9c1 --- /dev/null +++ b/test/Transforms/ADCE/dce_pure_call.ll @@ -0,0 +1,8 @@ +; RUN: llvm-as < %s | opt -adce | llvm-dis | not grep call + +declare i32 @strlen(i8*) readonly nounwind + +define void @test() { + call i32 @strlen( i8* null ) ; <i32>:1 [#uses=0] + ret void +} diff --git a/test/Transforms/ADCE/dce_pure_invoke.ll b/test/Transforms/ADCE/dce_pure_invoke.ll new file mode 100644 index 000000000000..bd28df2b5e75 --- /dev/null +++ b/test/Transforms/ADCE/dce_pure_invoke.ll @@ -0,0 +1,15 @@ +; RUN: llvm-as < %s | opt -adce | llvm-dis | grep null + +declare i32 @strlen(i8*) readnone + +define i32 @test() { + ; invoke of pure function should not be deleted! + invoke i32 @strlen( i8* null ) readnone + to label %Cont unwind label %Other ; <i32>:1 [#uses=0] + +Cont: ; preds = %0 + ret i32 0 + +Other: ; preds = %0 + ret i32 1 +} diff --git a/test/Transforms/ADCE/dg.exp b/test/Transforms/ADCE/dg.exp new file mode 100644 index 000000000000..f2005891a59a --- /dev/null +++ b/test/Transforms/ADCE/dg.exp @@ -0,0 +1,3 @@ +load_lib llvm.exp + +RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,c,cpp}]] diff --git a/test/Transforms/ADCE/unreachable-function.ll b/test/Transforms/ADCE/unreachable-function.ll new file mode 100644 index 000000000000..86c55f591688 --- /dev/null +++ b/test/Transforms/ADCE/unreachable-function.ll @@ -0,0 +1,5 @@ +; RUN: llvm-as < %s | opt -adce -disable-output + +define void @test() { + unreachable +} |