diff options
Diffstat (limited to 'llvm/test/Regression/Transforms/ScalarRepl')
24 files changed, 0 insertions, 519 deletions
diff --git a/llvm/test/Regression/Transforms/ScalarRepl/.cvsignore b/llvm/test/Regression/Transforms/ScalarRepl/.cvsignore deleted file mode 100644 index 7f2443f2f31..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -Output -*.log -*.sum diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2003-05-29-ArrayFail.ll b/llvm/test/Regression/Transforms/ScalarRepl/2003-05-29-ArrayFail.ll deleted file mode 100644 index fb6b1dad4ef..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2003-05-29-ArrayFail.ll +++ /dev/null @@ -1,11 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | grep alloca | grep '4 x' - -; Test that an array is not incorrectly deconstructed... - -int %test() { - %X = alloca [4 x int] - %Y = getelementptr [4 x int]* %X, long 0, long 0 - %Z = getelementptr int* %Y, long 1 ; Must preserve arrayness! - %A = load int* %Z - ret int %A -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2003-05-30-InvalidIndices.ll b/llvm/test/Regression/Transforms/ScalarRepl/2003-05-30-InvalidIndices.ll deleted file mode 100644 index a66e575e88a..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2003-05-30-InvalidIndices.ll +++ /dev/null @@ -1,7 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl - -void %main() { - %E = alloca { { int, float, double, long }, { int, float, double, long } } ; <{ { int, float, double, long }, { int, float, double, long } }*> [#uses=1] - %tmp.151 = getelementptr { { int, float, double, long }, { int, float, double, long } }* %E, long 0, uint 1, uint 3 ; <long*> [#uses=0] - ret void -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2003-05-30-MultiLevel.ll b/llvm/test/Regression/Transforms/ScalarRepl/2003-05-30-MultiLevel.ll deleted file mode 100644 index 20beadc502e..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2003-05-30-MultiLevel.ll +++ /dev/null @@ -1,9 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl - -int %test() { - %X = alloca { [ 4 x int] } - %Y = getelementptr { [ 4 x int] }* %X, long 0, uint 0, long 2 - store int 4, int* %Y - %Z = load int* %Y - ret int %Z -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2003-09-12-IncorrectPromote.ll b/llvm/test/Regression/Transforms/ScalarRepl/2003-09-12-IncorrectPromote.ll deleted file mode 100644 index 5bf1c5358b6..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2003-09-12-IncorrectPromote.ll +++ /dev/null @@ -1,11 +0,0 @@ -; Scalar replacement was incorrectly promoting this alloca!! -; -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | sed 's/;.*//g' | grep '\[' - -sbyte *%test() { - %A = alloca [30 x sbyte] - %B = getelementptr [30 x sbyte]* %A, long 0, long 0 - %C = getelementptr sbyte* %B, long 1 - store sbyte 0, sbyte* %B - ret sbyte* %C -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2003-10-29-ArrayProblem.ll b/llvm/test/Regression/Transforms/ScalarRepl/2003-10-29-ArrayProblem.ll deleted file mode 100644 index 742db46f298..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2003-10-29-ArrayProblem.ll +++ /dev/null @@ -1,14 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | grep alloca | grep '{' -implementation ; Functions: - -declare int %.callback_1(sbyte*) -declare void %.iter_2(int (sbyte*)*, sbyte*) - -int %main() { - %d = alloca { [80 x sbyte], int, uint } - %tmp.0 = getelementptr { [80 x sbyte], int, uint }* %d, long 0, uint 2 - store uint 0, uint* %tmp.0 - %tmp.1 = getelementptr { [80 x sbyte], int, uint }* %d, long 0, uint 0, long 0 - call void %.iter_2( int (sbyte*)* %.callback_1, sbyte* %tmp.1 ) - ret int 0 -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2005-12-14-UnionPromoteCrash.ll b/llvm/test/Regression/Transforms/ScalarRepl/2005-12-14-UnionPromoteCrash.ll deleted file mode 100644 index f7f15932480..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2005-12-14-UnionPromoteCrash.ll +++ /dev/null @@ -1,34 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -disable-output -target endian = big -target pointersize = 32 - %struct.rtx_def = type { [2 x ubyte], int, [1 x %union.rtunion_def] } - %union.rtunion_def = type { uint } - -implementation ; Functions: - -void %find_reloads() { -entry: - %c_addr.i = alloca sbyte ; <sbyte*> [#uses=1] - switch uint 0, label %return [ - uint 36, label %label.7 - uint 34, label %label.7 - uint 41, label %label.5 - ] - -label.5: ; preds = %entry - ret void - -label.7: ; preds = %entry, %entry - br bool false, label %then.4, label %switchexit.0 - -then.4: ; preds = %label.7 - %tmp.0.i = cast sbyte* %c_addr.i to int* ; <int*> [#uses=1] - store int 44, int* %tmp.0.i - ret void - -switchexit.0: ; preds = %label.7 - ret void - -return: ; preds = %entry - ret void -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2006-01-24-IllegalUnionPromoteCrash.ll b/llvm/test/Regression/Transforms/ScalarRepl/2006-01-24-IllegalUnionPromoteCrash.ll deleted file mode 100644 index d9749319411..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2006-01-24-IllegalUnionPromoteCrash.ll +++ /dev/null @@ -1,12 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -disable-output - -target endian = big -target pointersize = 32 - -int %test(long %L) { - %X = alloca int - %Y = cast int* %X to ulong* - store ulong 0, ulong* %Y - %Z = load int *%X - ret int %Z -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2006-04-20-PromoteCrash.ll b/llvm/test/Regression/Transforms/ScalarRepl/2006-04-20-PromoteCrash.ll deleted file mode 100644 index a4d39334fa2..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2006-04-20-PromoteCrash.ll +++ /dev/null @@ -1,18 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -disable-output - -void %output_toc() { -entry: - %buf = alloca [256 x sbyte], align 16 ; <[256 x sbyte]*> [#uses=1] - %name = alloca sbyte*, align 4 ; <sbyte**> [#uses=1] - %real_name = alloca sbyte*, align 4 ; <sbyte**> [#uses=0] - "alloca point" = cast int 0 to int ; <int> [#uses=0] - %buf = cast [256 x sbyte]* %buf to sbyte* ; <sbyte*> [#uses=1] - store sbyte* %buf, sbyte** %name - call void %abort( ) - unreachable - -return: ; No predecessors! - ret void -} - -declare void %abort() diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2006-10-23-PointerUnionCrash.ll b/llvm/test/Regression/Transforms/ScalarRepl/2006-10-23-PointerUnionCrash.ll deleted file mode 100644 index 9fcf16d4ee8..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2006-10-23-PointerUnionCrash.ll +++ /dev/null @@ -1,75 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -disable-output - -target datalayout = "e-p:32:32" -target endian = little -target pointersize = 32 -target triple = "i686-apple-darwin8.7.2" - -implementation ; Functions: - -void %glgProcessColor() { -entry: - %source_ptr = alloca sbyte*, align 4 ; <sbyte**> [#uses=2] - br bool false, label %bb1357, label %cond_next583 - -cond_next583: ; preds = %entry - ret void - -bb1357: ; preds = %entry - br bool false, label %bb1365, label %bb27055 - -bb1365: ; preds = %bb1357 - switch uint 0, label %cond_next10377 [ - uint 0, label %bb4679 - uint 1, label %bb4679 - uint 2, label %bb4679 - uint 3, label %bb4679 - uint 4, label %bb5115 - uint 5, label %bb6651 - uint 6, label %bb7147 - uint 7, label %bb8683 - uint 8, label %bb9131 - uint 9, label %bb9875 - uint 10, label %bb4679 - uint 11, label %bb4859 - uint 12, label %bb4679 - uint 16, label %bb10249 - ] - -bb4679: ; preds = %bb1365, %bb1365, %bb1365, %bb1365, %bb1365, %bb1365 - ret void - -bb4859: ; preds = %bb1365 - ret void - -bb5115: ; preds = %bb1365 - ret void - -bb6651: ; preds = %bb1365 - ret void - -bb7147: ; preds = %bb1365 - ret void - -bb8683: ; preds = %bb1365 - ret void - -bb9131: ; preds = %bb1365 - ret void - -bb9875: ; preds = %bb1365 - %source_ptr9884 = cast sbyte** %source_ptr to ubyte** ; <ubyte**> [#uses=1] - %tmp9885 = load ubyte** %source_ptr9884 ; <ubyte*> [#uses=0] - ret void - -bb10249: ; preds = %bb1365 - %source_ptr10257 = cast sbyte** %source_ptr to ushort** ; <ushort**> [#uses=1] - %tmp10258 = load ushort** %source_ptr10257 ; <ushort*> [#uses=0] - ret void - -cond_next10377: ; preds = %bb1365 - ret void - -bb27055: ; preds = %bb1357 - ret void -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll b/llvm/test/Regression/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll deleted file mode 100644 index 82bb1edd7f1..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll +++ /dev/null @@ -1,19 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis && -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | grep -F 'alloca [2 x <4 x i32>]' - -int %func(<4 x float> %v0, <4 x float> %v1) { - %vsiidx = alloca [2 x <4 x int>], align 16 ; <[2 x <4 x int>]*> [#uses=3] - %tmp = call <4 x int> %llvm.x86.sse2.cvttps2dq( <4 x float> %v0 ) ; <<4 x int>> [#uses=2] - %tmp = cast <4 x int> %tmp to <2 x long> ; <<2 x long>> [#uses=0] - %tmp = getelementptr [2 x <4 x int>]* %vsiidx, int 0, int 0 ; <<4 x int>*> [#uses=1] - store <4 x int> %tmp, <4 x int>* %tmp - %tmp10 = call <4 x int> %llvm.x86.sse2.cvttps2dq( <4 x float> %v1 ) ; <<4 x int>> [#uses=2] - %tmp10 = cast <4 x int> %tmp10 to <2 x long> ; <<2 x long>> [#uses=0] - %tmp14 = getelementptr [2 x <4 x int>]* %vsiidx, int 0, int 1 ; <<4 x int>*> [#uses=1] - store <4 x int> %tmp10, <4 x int>* %tmp14 - %tmp15 = getelementptr [2 x <4 x int>]* %vsiidx, int 0, int 0, int 4 ; <int*> [#uses=1] - %tmp = load int* %tmp15 ; <int> [#uses=1] - ret int %tmp -} - -declare <4 x int> %llvm.x86.sse2.cvttps2dq(<4 x float>) diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2006-12-11-SROA-Crash.ll b/llvm/test/Regression/Transforms/ScalarRepl/2006-12-11-SROA-Crash.ll deleted file mode 100644 index 0b87a63e399..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/2006-12-11-SROA-Crash.ll +++ /dev/null @@ -1,24 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -disable-output -; PR1045 - -target datalayout = "e-p:32:32" -target endian = little -target pointersize = 32 -target triple = "i686-pc-linux-gnu" - "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>" = type { "struct.__gnu_cxx::bitmap_allocator<char>::_Alloc_block"* } - "struct.__gnu_cxx::bitmap_allocator<char>" = type { ubyte } - "struct.__gnu_cxx::bitmap_allocator<char>::_Alloc_block" = type { [8 x sbyte] } - -implementation ; Functions: - -void %_ZN9__gnu_cxx16bitmap_allocatorIwE27_M_deallocate_single_objectEPw() { -entry: - %this_addr.i = alloca "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"* ; <"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"**> [#uses=3] - %tmp = alloca "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>", align 4 ; <"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"*> [#uses=1] - store "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"* %tmp, "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"** %this_addr.i - %tmp.i = load "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"** %this_addr.i ; <"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"*> [#uses=1] - %tmp.i = bitcast "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"* %tmp.i to "struct.__gnu_cxx::bitmap_allocator<char>"* ; <"struct.__gnu_cxx::bitmap_allocator<char>"*> [#uses=0] - %tmp1.i = load "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"** %this_addr.i ; <"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"*> [#uses=1] - %tmp.i = getelementptr "struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"* %tmp1.i, int 0, uint 0 ; <"struct.__gnu_cxx::bitmap_allocator<char>::_Alloc_block"**> [#uses=0] - unreachable -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/AggregatePromote.ll b/llvm/test/Regression/Transforms/ScalarRepl/AggregatePromote.ll deleted file mode 100644 index ea16b5e5eea..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/AggregatePromote.ll +++ /dev/null @@ -1,54 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | not grep alloca && -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -disable-output - -target endian = big -target pointersize = 32 -target triple = "powerpc-apple-darwin8.0.0" - -long %test1(long %X) { - %A = alloca long - store long %X, long* %A - %B = cast long* %A to int* - %C = cast int* %B to sbyte* - store sbyte 0, sbyte* %C - %Y = load long *%A - ret long %Y -} - - -sbyte %test2(long %X) { - %X_addr = alloca long ; <long*> [#uses=2] - store long %X, long* %X_addr - %tmp.0 = cast long* %X_addr to int* ; <int*> [#uses=1] - %tmp.1 = getelementptr int* %tmp.0, int 1 ; <int*> [#uses=1] - %tmp.2 = cast int* %tmp.1 to sbyte* - %tmp.3 = getelementptr sbyte* %tmp.2, int 3 - %tmp.2 = load sbyte* %tmp.3 ; <int> [#uses=1] - ret sbyte %tmp.2 -} - -short %crafty(long %X) { - %a = alloca { long } - %tmp.0 = getelementptr { long }* %a, int 0, uint 0 ; <long*> [#uses=1] - store long %X, long* %tmp.0 - %tmp.3 = cast { long }* %a to [4 x short]* ; <[4 x short]*> [#uses=2] - %tmp.4 = getelementptr [4 x short]* %tmp.3, int 0, int 3 ; <short*> [#uses=1] - %tmp.5 = load short* %tmp.4 ; <short> [#uses=1] - %tmp.8 = getelementptr [4 x short]* %tmp.3, int 0, int 2 ; <short*> [#uses=1] - %tmp.9 = load short* %tmp.8 ; <short> [#uses=1] - %tmp.10 = or short %tmp.9, %tmp.5 ; <short> [#uses=1] - ret short %tmp.10 -} - -short %crafty2(long %X) { - %a = alloca long - store long %X, long* %a - %tmp.3 = cast long* %a to [4 x short]* ; <[4 x short]*> [#uses=2] - %tmp.4 = getelementptr [4 x short]* %tmp.3, int 0, int 3 ; <short*> [#uses=1] - %tmp.5 = load short* %tmp.4 ; <short> [#uses=1] - %tmp.8 = getelementptr [4 x short]* %tmp.3, int 0, int 2 ; <short*> [#uses=1] - %tmp.9 = load short* %tmp.8 ; <short> [#uses=1] - %tmp.10 = or short %tmp.9, %tmp.5 ; <short> [#uses=1] - ret short %tmp.10 -} - diff --git a/llvm/test/Regression/Transforms/ScalarRepl/arraytest.ll b/llvm/test/Regression/Transforms/ScalarRepl/arraytest.ll deleted file mode 100644 index e6fe1a63793..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/arraytest.ll +++ /dev/null @@ -1,10 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -mem2reg | llvm-dis | not grep alloca - -int %test() { - %X = alloca [ 4 x int ] - %Y = getelementptr [4x int]* %X, long 0, long 0 - store int 0, int* %Y - - %Z = load int* %Y - ret int %Z -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/badarray.ll b/llvm/test/Regression/Transforms/ScalarRepl/badarray.ll deleted file mode 100644 index f525255b41f..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/badarray.ll +++ /dev/null @@ -1,10 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -mem2reg | llvm-dis | grep alloca - -int %test() { - %X = alloca [ 4 x int ] - %Y = getelementptr [4x int]* %X, long 0, long 6 ; Off end of array! - store int 0, int* %Y - - %Z = load int* %Y - ret int %Z -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/basictest.ll b/llvm/test/Regression/Transforms/ScalarRepl/basictest.ll deleted file mode 100644 index b7e0a295e38..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/basictest.ll +++ /dev/null @@ -1,10 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -mem2reg | llvm-dis | not grep alloca - -int %test() { - %X = alloca { int, float } - %Y = getelementptr {int,float}* %X, long 0, uint 0 - store int 0, int* %Y - - %Z = load int* %Y - ret int %Z -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/dg.exp b/llvm/test/Regression/Transforms/ScalarRepl/dg.exp deleted file mode 100644 index 142de8a6c8f..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/dg.exp +++ /dev/null @@ -1,3 +0,0 @@ -load_lib llvm-dg.exp - -llvm-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]] $objdir $srcdir $subdir $target_triplet $llvmgcc $llvmgxx $prcontext $llvmgcc_version diff --git a/llvm/test/Regression/Transforms/ScalarRepl/phinodepromote.ll b/llvm/test/Regression/Transforms/ScalarRepl/phinodepromote.ll deleted file mode 100644 index 4dc70233e07..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/phinodepromote.ll +++ /dev/null @@ -1,37 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg -instcombine -mem2reg | llvm-dis | not grep alloca -; -; This tests to see if mem2reg can promote alloca instructions whose addresses -; are used by PHI nodes that are immediately loaded. The LLVM C++ front-end -; often generates code that looks like this (when it codegen's ?: exprs as -; lvalues), so handling this simple extension is quite useful. -; -; This testcase is what the following program looks like when it reaches -; instcombine: -; -; template<typename T> -; const T& max(const T& a1, const T& a2) { return a1 < a2 ? a1 : a2; } -; int main() { return max(0, 1); } -; -; This test checks to make sure the combination of instcombine and mem2reg -; perform the transformation. - -int %main() { -entry: - %mem_tmp.0 = alloca int - %mem_tmp.1 = alloca int - store int 0, int* %mem_tmp.0 - store int 1, int* %mem_tmp.1 - %tmp.1.i = load int* %mem_tmp.1 - %tmp.3.i = load int* %mem_tmp.0 - %tmp.4.i = setle int %tmp.1.i, %tmp.3.i - br bool %tmp.4.i, label %cond_true.i, label %cond_continue.i - -cond_true.i: - br label %cond_continue.i - -cond_continue.i: - %mem_tmp.i.0 = phi int* [ %mem_tmp.1, %cond_true.i ], [ %mem_tmp.0, %entry ] - %tmp.3 = load int* %mem_tmp.i.0 - ret int %tmp.3 -} - diff --git a/llvm/test/Regression/Transforms/ScalarRepl/select_promote.ll b/llvm/test/Regression/Transforms/ScalarRepl/select_promote.ll deleted file mode 100644 index a7a325cdd9c..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/select_promote.ll +++ /dev/null @@ -1,18 +0,0 @@ -; Test promotion of loads that use the result of a select instruction. This -; should be simplified by the instcombine pass. - -; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -mem2reg | llvm-dis | not grep alloca - -int %main() { - %mem_tmp.0 = alloca int ; <int*> [#uses=3] - %mem_tmp.1 = alloca int ; <int*> [#uses=3] - store int 0, int* %mem_tmp.0 - store int 1, int* %mem_tmp.1 - %tmp.1.i = load int* %mem_tmp.1 ; <int> [#uses=1] - %tmp.3.i = load int* %mem_tmp.0 ; <int> [#uses=1] - %tmp.4.i = setle int %tmp.1.i, %tmp.3.i ; <bool> [#uses=1] - %mem_tmp.i.0 = select bool %tmp.4.i, int* %mem_tmp.1, int* %mem_tmp.0 ; <int*> [#uses=1] - %tmp.3 = load int* %mem_tmp.i.0 ; <int> [#uses=1] - ret int %tmp.3 -} - diff --git a/llvm/test/Regression/Transforms/ScalarRepl/sroa_two.ll b/llvm/test/Regression/Transforms/ScalarRepl/sroa_two.ll deleted file mode 100644 index fa044922e8b..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/sroa_two.ll +++ /dev/null @@ -1,16 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis - -implementation - -int %test(int %X) { - %Arr = alloca [2 x int] - %tmp.0 = getelementptr [2 x int]* %Arr, int 0, int 0 - store int 1, int* %tmp.0 - %tmp.1 = getelementptr [2 x int]* %Arr, int 0, int 1 - store int 2, int* %tmp.1 - - ;; This should turn into a select instruction. - %tmp.3 = getelementptr [2 x int]* %Arr, int 0, int %X - %tmp.4 = load int* %tmp.3 - ret int %tmp.4 -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/union-fp-int.ll b/llvm/test/Regression/Transforms/ScalarRepl/union-fp-int.ll deleted file mode 100644 index 681636b07b4..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/union-fp-int.ll +++ /dev/null @@ -1,10 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | not grep alloca && -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | grep 'bitcast.*float.*i32' - -int %test(float %X) { - %X_addr = alloca float - store float %X, float* %X_addr - %X_addr = bitcast float* %X_addr to int* - %tmp = load int* %X_addr - ret int %tmp -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/union-packed.ll b/llvm/test/Regression/Transforms/ScalarRepl/union-packed.ll deleted file mode 100644 index 0df6e3957f7..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/union-packed.ll +++ /dev/null @@ -1,12 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | not grep alloca && -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | grep 'bitcast' - -target endian = little - -<4 x int> %test(<4 x float> %X) { - %X_addr = alloca <4 x float> - store <4 x float> %X, <4 x float>* %X_addr - %X_addr = bitcast <4 x float>* %X_addr to <4 x int>* - %tmp = load <4 x int>* %X_addr - ret <4 x int> %tmp -} diff --git a/llvm/test/Regression/Transforms/ScalarRepl/union-pointer.ll b/llvm/test/Regression/Transforms/ScalarRepl/union-pointer.ll deleted file mode 100644 index be4c4604f9c..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/union-pointer.ll +++ /dev/null @@ -1,46 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | not grep alloca && -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | grep 'ret i8' - -; PR892 - -target endian = little -target pointersize = 32 -target triple = "i686-apple-darwin8.7.2" - -%struct.Val = type { int*, int } - -implementation ; Functions: - -sbyte* %test(short* %X) { - %X_addr = alloca short* - store short* %X, short** %X_addr - %X_addr = cast short** %X_addr to sbyte** - %tmp = load sbyte** %X_addr - ret sbyte* %tmp -} - -void %test2(long %Op.0) { - %tmp = alloca %struct.Val, align 8 - %tmp1 = alloca %struct.Val, align 8 - %tmp = call ulong %_Z3foov( ) - %tmp1 = cast %struct.Val* %tmp1 to ulong* - store ulong %tmp, ulong* %tmp1 - %tmp = getelementptr %struct.Val* %tmp, int 0, uint 0 - %tmp2 = getelementptr %struct.Val* %tmp1, int 0, uint 0 - %tmp = load int** %tmp2 - store int* %tmp, int** %tmp - %tmp3 = getelementptr %struct.Val* %tmp, int 0, uint 1 - %tmp4 = getelementptr %struct.Val* %tmp1, int 0, uint 1 - %tmp = load int* %tmp4 - store int %tmp, int* %tmp3 - %tmp7 = cast %struct.Val* %tmp to { long }* - %tmp8 = getelementptr { long }* %tmp7, int 0, uint 0 - %tmp9 = load long* %tmp8 - call void %_Z3bar3ValS_( long %Op.0, long %tmp9 ) - ret void -} - -declare ulong %_Z3foov() - -declare void %_Z3bar3ValS_(long, long) - diff --git a/llvm/test/Regression/Transforms/ScalarRepl/vector_promote.ll b/llvm/test/Regression/Transforms/ScalarRepl/vector_promote.ll deleted file mode 100644 index 2e9bce77402..00000000000 --- a/llvm/test/Regression/Transforms/ScalarRepl/vector_promote.ll +++ /dev/null @@ -1,56 +0,0 @@ - -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl -disable-output && -; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | not grep alloca - -void %test(<4 x float>* %F, float %f) { -entry: - %G = alloca <4 x float>, align 16 ; <<4 x float>*> [#uses=3] - %tmp = load <4 x float>* %F ; <<4 x float>> [#uses=2] - %tmp3 = add <4 x float> %tmp, %tmp ; <<4 x float>> [#uses=1] - store <4 x float> %tmp3, <4 x float>* %G - %G = getelementptr <4 x float>* %G, int 0, int 0 ; <float*> [#uses=1] - store float %f, float* %G - %tmp4 = load <4 x float>* %G ; <<4 x float>> [#uses=2] - %tmp6 = add <4 x float> %tmp4, %tmp4 ; <<4 x float>> [#uses=1] - store <4 x float> %tmp6, <4 x float>* %F - ret void -} - -void %test2(<4 x float>* %F, float %f) { -entry: - %G = alloca <4 x float>, align 16 ; <<4 x float>*> [#uses=3] - %tmp = load <4 x float>* %F ; <<4 x float>> [#uses=2] - %tmp3 = add <4 x float> %tmp, %tmp ; <<4 x float>> [#uses=1] - store <4 x float> %tmp3, <4 x float>* %G - %tmp = getelementptr <4 x float>* %G, int 0, int 2 ; <float*> [#uses=1] - store float %f, float* %tmp - %tmp4 = load <4 x float>* %G ; <<4 x float>> [#uses=2] - %tmp6 = add <4 x float> %tmp4, %tmp4 ; <<4 x float>> [#uses=1] - store <4 x float> %tmp6, <4 x float>* %F - ret void -} - -void %test3(<4 x float>* %F, float* %f) { -entry: - %G = alloca <4 x float>, align 16 ; <<4 x float>*> [#uses=2] - %tmp = load <4 x float>* %F ; <<4 x float>> [#uses=2] - %tmp3 = add <4 x float> %tmp, %tmp ; <<4 x float>> [#uses=1] - store <4 x float> %tmp3, <4 x float>* %G - %tmp = getelementptr <4 x float>* %G, int 0, int 2 ; <float*> [#uses=1] - %tmp = load float* %tmp ; <float> [#uses=1] - store float %tmp, float* %f - ret void -} - -void %test4(<4 x float>* %F, float* %f) { -entry: - %G = alloca <4 x float>, align 16 ; <<4 x float>*> [#uses=2] - %tmp = load <4 x float>* %F ; <<4 x float>> [#uses=2] - %tmp3 = add <4 x float> %tmp, %tmp ; <<4 x float>> [#uses=1] - store <4 x float> %tmp3, <4 x float>* %G - %G = getelementptr <4 x float>* %G, int 0, int 0 ; <float*> [#uses=1] - %tmp = load float* %G ; <float> [#uses=1] - store float %tmp, float* %f - ret void -} - |
