diff options
Diffstat (limited to 'test/Transforms/GCSE')
| -rw-r--r-- | test/Transforms/GCSE/2002-05-14-OperandSwap.ll | 17 | ||||
| -rw-r--r-- | test/Transforms/GCSE/2002-05-21-NoSharedDominator.ll | 14 | ||||
| -rw-r--r-- | test/Transforms/GCSE/2003-06-13-LoadStoreEliminate.ll | 11 | ||||
| -rw-r--r-- | test/Transforms/GCSE/dg.exp | 3 | ||||
| -rw-r--r-- | test/Transforms/GCSE/gcsetests.ll | 46 | ||||
| -rw-r--r-- | test/Transforms/GCSE/vectorops.ll | 24 |
6 files changed, 0 insertions, 115 deletions
diff --git a/test/Transforms/GCSE/2002-05-14-OperandSwap.ll b/test/Transforms/GCSE/2002-05-14-OperandSwap.ll deleted file mode 100644 index ca4ac20..0000000 --- a/test/Transforms/GCSE/2002-05-14-OperandSwap.ll +++ /dev/null @@ -1,17 +0,0 @@ -; This entire chain of computation should be optimized away, but -; wasn't because the two multiplies were not detected as being identical. -; -; RUN: llvm-as < %s | opt -gcse -instcombine -dce | \ -; RUN: llvm-dis | not grep sub - -define i32 @vnum_test4(i32* %data) { - %idx1 = getelementptr i32* %data, i64 1 ; <i32*> [#uses=1] - %idx2 = getelementptr i32* %data, i64 3 ; <i32*> [#uses=1] - %reg1101 = load i32* %idx1 ; <i32> [#uses=2] - %reg1111 = load i32* %idx2 ; <i32> [#uses=2] - %reg109 = mul i32 %reg1101, %reg1111 ; <i32> [#uses=1] - %reg108 = mul i32 %reg1111, %reg1101 ; <i32> [#uses=1] - %reg121 = sub i32 %reg108, %reg109 ; <i32> [#uses=1] - ret i32 %reg121 -} - diff --git a/test/Transforms/GCSE/2002-05-21-NoSharedDominator.ll b/test/Transforms/GCSE/2002-05-21-NoSharedDominator.ll deleted file mode 100644 index cf288b8..0000000 --- a/test/Transforms/GCSE/2002-05-21-NoSharedDominator.ll +++ /dev/null @@ -1,14 +0,0 @@ -; This testcase shows a bug where an common subexpression exists, but there -; is no shared dominator block that the expression can be hoisted out to. -; -; RUN: llvm-as < %s | opt -gcse | llvm-dis - -define i32 @test(i32 %X, i32 %Y) { - %Z = add i32 %X, %Y ; <i32> [#uses=1] - ret i32 %Z - -Unreachable: ; No predecessors! - %Q = add i32 %X, %Y ; <i32> [#uses=1] - ret i32 %Q -} - diff --git a/test/Transforms/GCSE/2003-06-13-LoadStoreEliminate.ll b/test/Transforms/GCSE/2003-06-13-LoadStoreEliminate.ll deleted file mode 100644 index d4bdc3f..0000000 --- a/test/Transforms/GCSE/2003-06-13-LoadStoreEliminate.ll +++ /dev/null @@ -1,11 +0,0 @@ -; This testcase shows a bug where an common subexpression exists, but there -; is no shared dominator block that the expression can be hoisted out to. -; -; RUN: llvm-as < %s | opt -load-vn -gcse | llvm-dis | not grep load - -define i32 @test(i32* %P) { - store i32 5, i32* %P - %Z = load i32* %P ; <i32> [#uses=1] - ret i32 %Z -} - diff --git a/test/Transforms/GCSE/dg.exp b/test/Transforms/GCSE/dg.exp deleted file mode 100644 index f200589..0000000 --- a/test/Transforms/GCSE/dg.exp +++ /dev/null @@ -1,3 +0,0 @@ -load_lib llvm.exp - -RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,c,cpp}]] diff --git a/test/Transforms/GCSE/gcsetests.ll b/test/Transforms/GCSE/gcsetests.ll deleted file mode 100644 index 6fb3057..0000000 --- a/test/Transforms/GCSE/gcsetests.ll +++ /dev/null @@ -1,46 +0,0 @@ -; Various test cases to ensure basic functionality is working for GCSE - -; RUN: llvm-as < %s | opt -gcse - -define void @testinsts(i32 %i, i32 %j, i32* %p) { - %A = bitcast i32 %i to i32 ; <i32> [#uses=0] - %B = bitcast i32 %i to i32 ; <i32> [#uses=0] - %C = shl i32 %i, 1 ; <i32> [#uses=0] - %D = shl i32 %i, 1 ; <i32> [#uses=0] - %E = getelementptr i32* %p, i64 12 ; <i32*> [#uses=0] - %F = getelementptr i32* %p, i64 12 ; <i32*> [#uses=0] - %G = getelementptr i32* %p, i64 13 ; <i32*> [#uses=0] - ret void -} - -; Test different combinations of domination properties... -define void @sameBBtest(i32 %i, i32 %j) { - %A = add i32 %i, %j ; <i32> [#uses=1] - %B = add i32 %i, %j ; <i32> [#uses=1] - %C = xor i32 %A, -1 ; <i32> [#uses=0] - %D = xor i32 %B, -1 ; <i32> [#uses=0] - %E = xor i32 %j, -1 ; <i32> [#uses=0] - ret void -} - -define i32 @dominates(i32 %i, i32 %j) { - %A = add i32 %i, %j ; <i32> [#uses=0] - br label %BB2 - -BB2: ; preds = %0 - %B = add i32 %i, %j ; <i32> [#uses=1] - ret i32 %B -} - -define i32 @hascommondominator(i32 %i, i32 %j) { - br i1 true, label %BB1, label %BB2 - -BB1: ; preds = %0 - %A = add i32 %i, %j ; <i32> [#uses=1] - ret i32 %A - -BB2: ; preds = %0 - %B = add i32 %i, %j ; <i32> [#uses=1] - ret i32 %B -} - diff --git a/test/Transforms/GCSE/vectorops.ll b/test/Transforms/GCSE/vectorops.ll deleted file mode 100644 index f52688e..0000000 --- a/test/Transforms/GCSE/vectorops.ll +++ /dev/null @@ -1,24 +0,0 @@ -; RUN: llvm-as < %s | opt -gcse -instcombine | \ -; RUN: llvm-dis | not grep sub - -define i32 @test_extractelement(<4 x i32> %V) { - %R = extractelement <4 x i32> %V, i32 1 ; <i32> [#uses=1] - %R2 = extractelement <4 x i32> %V, i32 1 ; <i32> [#uses=1] - %V.upgrd.1 = sub i32 %R, %R2 ; <i32> [#uses=1] - ret i32 %V.upgrd.1 -} - -define <4 x i32> @test_insertelement(<4 x i32> %V) { - %R = insertelement <4 x i32> %V, i32 0, i32 0 ; <<4 x i32>> [#uses=1] - %R2 = insertelement <4 x i32> %V, i32 0, i32 0 ; <<4 x i32>> [#uses=1] - %x = sub <4 x i32> %R, %R2 ; <<4 x i32>> [#uses=1] - ret <4 x i32> %x -} - -define <4 x i32> @test_shufflevector(<4 x i32> %V) { - %R = shufflevector <4 x i32> %V, <4 x i32> %V, <4 x i32> < i32 1, i32 undef, i32 7, i32 2 > ; <<4 x i32>> [#uses=1] - %R2 = shufflevector <4 x i32> %V, <4 x i32> %V, <4 x i32> < i32 1, i32 undef, i32 7, i32 2 > ; <<4 x i32>> [#uses=1] - %x = sub <4 x i32> %R, %R2 ; <<4 x i32>> [#uses=1] - ret <4 x i32> %x -} - |