diff options
Diffstat (limited to 'test')
33 files changed, 0 insertions, 577 deletions
diff --git a/test/Transforms/LevelRaise/.cvsignore b/test/Transforms/LevelRaise/.cvsignore deleted file mode 100644 index 7f2443f2f3..0000000000 --- a/test/Transforms/LevelRaise/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -Output -*.log -*.sum diff --git a/test/Transforms/LevelRaise/2002-02-14-BadAssertion.ll b/test/Transforms/LevelRaise/2002-02-14-BadAssertion.ll deleted file mode 100644 index 546b6544f8..0000000000 --- a/test/Transforms/LevelRaise/2002-02-14-BadAssertion.ll +++ /dev/null @@ -1,19 +0,0 @@ -; An invalid assertion killed the level raiser. Fixed. -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - -implementation - -declare int "connect_left"() - -int "do_merge"() -begin - %reg108 = call int %connect_left( ) - %cast1002 = cast ulong 8 to sbyte * - %reg108-idxcast = cast int %reg108 to long - %reg1000 = getelementptr sbyte * %cast1002, long %reg108-idxcast - %cast1003 = cast sbyte * %reg1000 to sbyte * * - %reg112 = load sbyte * * %cast1003 - %cast111 = cast sbyte * %reg112 to int - ret int %cast111 -end diff --git a/test/Transforms/LevelRaise/2002-03-11-Calls.ll b/test/Transforms/LevelRaise/2002-03-11-Calls.ll deleted file mode 100644 index 3e8a58fc36..0000000000 --- a/test/Transforms/LevelRaise/2002-03-11-Calls.ll +++ /dev/null @@ -1,15 +0,0 @@ -; Fixed a problem where level raise would try to forward substitute a cast of a -; method pointer type into a call. In doing so, it would have to change the -; types of the arguments to the call, but broke doing so. -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - -implementation - - -void "test"(void (int*) *%Fn, long* %Arg) -begin - %Fn2 = cast void (int*) *%Fn to void(long*) * - call void %Fn2(long *%Arg) - ret void -end diff --git a/test/Transforms/LevelRaise/2002-03-14-ConvertableToGEPHang.ll b/test/Transforms/LevelRaise/2002-03-14-ConvertableToGEPHang.ll deleted file mode 100644 index 895d5ae110..0000000000 --- a/test/Transforms/LevelRaise/2002-03-14-ConvertableToGEPHang.ll +++ /dev/null @@ -1,24 +0,0 @@ -; This testcase found a bug in ConvertableToGEP that could cause an infinite loop -; Note that this code is actually miscompiled from the input source, but despite -; that, level raise should not hang! -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - - %Disjunct = type { \2 *, short, sbyte, sbyte *, { short, short, sbyte, sbyte, \2, sbyte * } *, { short, short, sbyte, sbyte, \2, sbyte * } * } -%chosen_disjuncts = uninitialized global %Disjunct * * ; <%Disjunct * * *> [#uses=1] -implementation - -void "build_image_array"() -begin -bb0: ;[#uses=0] - %reg109 = getelementptr %Disjunct * * * %chosen_disjuncts, long 7 ; <%Disjunct * * *> [#uses=1] - %reg108 = load %Disjunct * * * %reg109 ; <%Disjunct * *> [#uses=1] - %reg1000 = getelementptr %Disjunct * * %reg108, long 3 ; <%Disjunct * *> [#uses=1] - %cast1007 = cast %Disjunct * * %reg1000 to sbyte * * ; <sbyte * *> [#uses=1] - %reg110 = load sbyte * * %cast1007 ; <sbyte *> [#uses=1] - %cast1008 = cast ulong 4 to sbyte * ; <sbyte *> [#uses=1] - %A = cast sbyte * %reg110 to ulong - %B = cast sbyte * %cast1008 to ulong - %reg1001 = add ulong %A, %B ; <sbyte *> [#uses=0] - ret void -end diff --git a/test/Transforms/LevelRaise/2002-03-20-Crash.ll b/test/Transforms/LevelRaise/2002-03-20-Crash.ll deleted file mode 100644 index 35f4c8df60..0000000000 --- a/test/Transforms/LevelRaise/2002-03-20-Crash.ll +++ /dev/null @@ -1,20 +0,0 @@ -; Level raise is making an incorrect transformation, which causes incorrect -; bytecode to be generated. -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis -; - - %Village = type { [4 x \3 *], \2 *, { \2 *, { int, int, int, \5 * } *, \2 * }, { int, int, int, { \2 *, { int, int, int, \6 * } *, \2 * }, { \2 *, { int, int, int, \6 * } *, \2 * }, { \2 *, { int, int, int, \6 * } *, \2 * }, { \2 *, { int, int, int, \6 * } *, \2 * } }, int, int } -implementation - -%Village *"get_results"(%Village * %village) -begin -bb0: ;[#uses=1] - %cast121 = cast int 24 to ulong ; <%Village *> [#uses=1] - %A = cast %Village* %village to ulong - %reg123 = add ulong %A, %cast121 ; <%Village *> [#uses=1] - %reg123 = cast ulong %reg123 to %Village* - %idx = getelementptr %Village * %reg123, long 0, uint 0, long 0 ; <%Village *> [#uses=1] - %reg118 = load %Village** %idx - ret %Village *%reg118 -end diff --git a/test/Transforms/LevelRaise/2002-03-21-MissedRaise.ll b/test/Transforms/LevelRaise/2002-03-21-MissedRaise.ll deleted file mode 100644 index 182575f2cf..0000000000 --- a/test/Transforms/LevelRaise/2002-03-21-MissedRaise.ll +++ /dev/null @@ -1,24 +0,0 @@ -; This example should be raised to return a Hash directly without casting. -; LevelRaise should eliminate all cast instructions from this testcase. -; -; XFAIL: * -; RUN: llvm-upgrade < %s && -; RUN: llvm-upgrade < %s | llvm-as > /dev/null && -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | notcast - - %Hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int } * - %hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int } - %hash_el = type { uint, sbyte *, \2 } * -implementation - -%Hash "MakeHash"(int %size, int (uint) * %map) -begin - %reg112 = malloc sbyte, uint 24 ; <sbyte *> [#uses=5] - %reg115 = malloc sbyte, uint 96 ; <sbyte *> [#uses=1] - %cast237 = bitcast sbyte * %reg112 to sbyte * * ; <sbyte * *> [#uses=1] - store sbyte * %reg115, sbyte * * %cast237 - - %cast246 = bitcast sbyte * %reg112 to %Hash ; <%Hash> [#uses=1] - ret %Hash %cast246 -end - diff --git a/test/Transforms/LevelRaise/2002-03-21-MissedRaise2.ll b/test/Transforms/LevelRaise/2002-03-21-MissedRaise2.ll deleted file mode 100644 index e3b533c282..0000000000 --- a/test/Transforms/LevelRaise/2002-03-21-MissedRaise2.ll +++ /dev/null @@ -1,29 +0,0 @@ -; Problem that occured because of obsolete code that only allowed malloc -; instructions to change type if they were 'array' allocations. This -; prevented reg115 from being able to change. -; -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep bitcast - - %Hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int } * - %HashEntry = type { uint, sbyte *, \2 } * - %hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int } - %hash_entry = type { uint, sbyte *, \2 * } -implementation - -%Hash "MakeHash"(int %size, int (uint) * %map) -begin -bb1: ;[#uses=0] - %reg112 = malloc sbyte * *, uint 3 ; <sbyte * * *> [#uses=4] - %reg115 = malloc sbyte *, uint 1 ; <sbyte * *> [#uses=1] - store sbyte * * %reg115, sbyte * * * %reg112 - %reg121 = load sbyte * * * %reg112 ; <sbyte * *> [#uses=1] - %size-idxcast1 = cast int %size to long ; <uint> [#uses=1] - %reg1221 = getelementptr sbyte * * %reg121, long %size-idxcast1 ; <sbyte * *> [#uses=1] - store sbyte * null, sbyte * * %reg1221 - %reg232 = getelementptr sbyte * * * %reg112, long 1 ; <sbyte * * *> [#uses=1] - %cast243 = cast int (uint) * %map to sbyte * * ; <sbyte * *> [#uses=1] - store sbyte * * %cast243, sbyte * * * %reg232 - %cast246 = cast sbyte * * * %reg112 to %Hash ; <%Hash> [#uses=1] - ret %Hash %cast246 -end diff --git a/test/Transforms/LevelRaise/2002-03-21-MissedRaise3.ll b/test/Transforms/LevelRaise/2002-03-21-MissedRaise3.ll deleted file mode 100644 index 310f34fb81..0000000000 --- a/test/Transforms/LevelRaise/2002-03-21-MissedRaise3.ll +++ /dev/null @@ -1,19 +0,0 @@ -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep bitcast - - %Hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int } * - %HashEntry = type { uint, sbyte *, \2 } * - %hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int } - %hash_entry = type { uint, sbyte *, \2 * } -implementation - -%Hash "MakeHash"(int %size, int (uint) * %map) { - %reg112 = malloc sbyte * *, uint 3 ; <sbyte * * *> [#uses=5] - %reg107-uint = cast int %size to uint ; <uint> [#uses=1] - %reg115 = malloc sbyte *, uint %reg107-uint ; <sbyte * *> [#uses=1] - store sbyte * * %reg115, sbyte * * * %reg112 - - %cast246 = cast sbyte * * * %reg112 to %Hash ; <%Hash> [#uses=1] - ret %Hash %cast246 -} - diff --git a/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll b/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll deleted file mode 100644 index 3fa7320a20..0000000000 --- a/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll +++ /dev/null @@ -1,22 +0,0 @@ -; XFAIL: * -; this testcase is distilled from this C source: -; int *foo(unsigned N, unsigned M) { -; unsigned i = (N+1)*sizeof(int); -; unsigned j = (M+1)*sizeof(int); -; return (int*)malloc(i+j); -; } - -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep bitcast - -implementation - -int* %test(uint %N, uint %M) { - %reg111 = shl uint %N, ubyte 2 ; <uint> [#uses=1] - %reg109 = add uint %reg111, 4 ; <uint> [#uses=1] - %reg114 = shl uint %M, ubyte 2 ; <uint> [#uses=1] - %reg112 = add uint %reg114, 4 ; <uint> [#uses=1] - %reg116 = add uint %reg109, %reg112 ; <uint> [#uses=1] - %reg117 = malloc sbyte, uint %reg116 ; <sbyte*> [#uses=1] - %cast221 = cast sbyte* %reg117 to int* ; <int*> [#uses=1] - ret int* %cast221 -} diff --git a/test/Transforms/LevelRaise/2002-05-02-BadCastElimination.ll b/test/Transforms/LevelRaise/2002-05-02-BadCastElimination.ll deleted file mode 100644 index 444d9d4236..0000000000 --- a/test/Transforms/LevelRaise/2002-05-02-BadCastElimination.ll +++ /dev/null @@ -1,24 +0,0 @@ -; This test contains two cast instructions that cannot be eliminated. If the -; input of the "test" function is negative, it should be correctly converted -; to a 32 bit version of the number with all upper 16 bits clear (ushort->uint -; involves no sign extension). Optimizing this to a single cast is invalid! -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise -q | lli -; -implementation - -uint "test"(short %argc) -begin - %cast223 = cast short %argc to ushort ; <ushort> [#uses=1] - %cast114 = cast ushort %cast223 to uint ; <uint> [#uses=1] - ret uint %cast114 -end - -int "main"() -begin - %Ret = call uint %test(short -1) - %test = cast uint %Ret to int - %Res = seteq int %test, -1 ; If it returns -1 as int, it's a failure - %Res = cast bool %Res to int - ret int %Res -end diff --git a/test/Transforms/LevelRaise/2002-05-02-MissedRaise.ll b/test/Transforms/LevelRaise/2002-05-02-MissedRaise.ll deleted file mode 100644 index 7335af090d..0000000000 --- a/test/Transforms/LevelRaise/2002-05-02-MissedRaise.ll +++ /dev/null @@ -1,20 +0,0 @@ -; This testcase is not level raised properly... -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep bitcast - - %List = type { int, %List* } - -implementation - -%List* "createList"(uint %Depth) -begin - %reg110 = malloc uint, uint 4 - store uint %Depth, uint* %reg110 - %reg113 = call %List* %createList( uint %Depth ) - %reg217 = getelementptr uint* %reg110, long 2 - %cast221 = cast uint* %reg217 to %List** - store %List* %reg113, %List** %cast221 - %cast222 = cast uint* %reg110 to %List* - ret %List* %cast222 -end - diff --git a/test/Transforms/LevelRaise/2002-05-10-LoadPeephole.ll b/test/Transforms/LevelRaise/2002-05-10-LoadPeephole.ll deleted file mode 100644 index 640415408d..0000000000 --- a/test/Transforms/LevelRaise/2002-05-10-LoadPeephole.ll +++ /dev/null @@ -1,10 +0,0 @@ -; This testcase should have the cast propogated through the load -; just like a store does... -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep 'bitcast uint \*' - -int "test"(uint * %Ptr) { - %P2 = cast uint *%Ptr to int * - %Val = load int * %P2 - ret int %Val -} diff --git a/test/Transforms/LevelRaise/2002-05-23-MissedRaise.ll b/test/Transforms/LevelRaise/2002-05-23-MissedRaise.ll deleted file mode 100644 index cbb77870e3..0000000000 --- a/test/Transforms/LevelRaise/2002-05-23-MissedRaise.ll +++ /dev/null @@ -1,20 +0,0 @@ -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep bitcast - -%FILE = type { int, ubyte*, ubyte*, ubyte, ubyte, uint, uint, uint } - -uint %addfile(%FILE* %f) { - %cast255 = cast %FILE* %f to sbyte* - - ; Addreses a ubyte member in memory... - %reg2421 = getelementptr sbyte* %cast255, long 24 - - ; Loads the ubyte - %reg130 = load sbyte* %reg2421 - - ; Error, cast cannot convert the source operand to ubyte because then - ; the sign extension would not be performed. Need to insert a cast. - ; - %cast250 = cast sbyte %reg130 to uint ; This is a sign extension instruction - ret uint %cast250 -} diff --git a/test/Transforms/LevelRaise/2002-07-16-MissedRaise.ll b/test/Transforms/LevelRaise/2002-07-16-MissedRaise.ll deleted file mode 100644 index 456b09fb6a..0000000000 --- a/test/Transforms/LevelRaise/2002-07-16-MissedRaise.ll +++ /dev/null @@ -1,22 +0,0 @@ -; This case fails raise because the store requires that it's argument is of a -; particular type, but the gep is unable to propogate types backwards through -; it, because it doesn't know what type to ask it's operand to be. -; -; This could be fixed by making all stores add themselves to a list, and check -; their arguments are consistent AFTER all other values are propogated. -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | notcast - - %Tree = type %struct.tree* - %struct.tree = type { int, double, double, %Tree, %Tree, %Tree, %Tree } - -void %reverse(%Tree %t) { -bb0: ;[#uses=0] - %cast219 = cast %Tree %t to sbyte*** ; <sbyte***> [#uses=2] - %reg2221 = getelementptr sbyte*** %cast219, long 6 ; <sbyte***> [#uses=1] - %reg108 = load sbyte*** %reg2221 ; <sbyte**> [#uses=2] - %reg247 = getelementptr sbyte*** %cast219, long 5 ; <sbyte***> [#uses=1] - store sbyte** %reg108, sbyte*** %reg247 - ret void -} - diff --git a/test/Transforms/LevelRaise/2002-07-16-RaiseCrash.ll b/test/Transforms/LevelRaise/2002-07-16-RaiseCrash.ll deleted file mode 100644 index ad8a1dc673..0000000000 --- a/test/Transforms/LevelRaise/2002-07-16-RaiseCrash.ll +++ /dev/null @@ -1,53 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - - %Tree = type %struct.tree* - %struct.tree = type { int, double, double, %Tree, %Tree, %Tree, %Tree } - -implementation ; Functions: - -void %reverse(%Tree %t) { -bb0: ;[#uses=0] - %cast219 = cast %Tree %t to sbyte*** ; <sbyte***> [#uses=7] - %cond220 = seteq sbyte*** %cast219, null ; <bool> [#uses=1] - br bool %cond220, label %bb5, label %bb2 - -bb2: ;[#uses=3] - %reg2221 = getelementptr sbyte*** %cast219, long 6 ; <sbyte***> [#uses=1] - %reg108 = load sbyte*** %reg2221 ; <sbyte**> [#uses=3] - %reg2251 = getelementptr sbyte** %reg108, long 5 ; <sbyte**> [#uses=1] - store sbyte* null, sbyte** %reg2251 - %reg2281 = getelementptr sbyte*** %cast219, long 6 ; <sbyte***> [#uses=1] - store sbyte** null, sbyte*** %reg2281 - %reg2311 = getelementptr sbyte*** %cast219, long 5 ; <sbyte***> [#uses=1] - %reg114 = load sbyte*** %reg2311 ; <sbyte**> [#uses=2] - %cond234 = seteq sbyte** %reg114, null ; <bool> [#uses=1] - br bool %cond234, label %bb4, label %bb3 - -bb3: ;[#uses=4] - %reg115 = phi sbyte*** [ %cast117, %bb3 ], [ %cast219, %bb2 ] ; <sbyte***> [#uses=2] - %reg116 = phi sbyte** [ %cast118, %bb3 ], [ %reg114, %bb2 ] ; <sbyte**> [#uses=4] - %reg236 = getelementptr sbyte** %reg116, long 5 ; <sbyte**> [#uses=1] - %reg110 = load sbyte** %reg236 ; <sbyte*> [#uses=1] - %reg239 = getelementptr sbyte** %reg116, long 5 ; <sbyte**> [#uses=1] - %cast241 = cast sbyte*** %reg115 to sbyte* ; <sbyte*> [#uses=1] - store sbyte* %cast241, sbyte** %reg239 - %reg242 = getelementptr sbyte*** %reg115, long 6 ; <sbyte***> [#uses=1] - store sbyte** %reg116, sbyte*** %reg242 - %cast117 = cast sbyte** %reg116 to sbyte*** ; <sbyte***> [#uses=1] - %cast118 = cast sbyte* %reg110 to sbyte** ; <sbyte**> [#uses=2] - %cond245 = setne sbyte** %cast118, null ; <bool> [#uses=1] - br bool %cond245, label %bb3, label %bb4 - -bb4: ;[#uses=2] - %reg247 = getelementptr sbyte*** %cast219, long 5 ; <sbyte***> [#uses=1] - store sbyte** %reg108, sbyte*** %reg247 - %reg250 = getelementptr sbyte** %reg108, long 6 ; <sbyte**> [#uses=2] - cast sbyte** %reg250 to sbyte**** ; <sbyte****>:0 [#uses=0] - %cast252 = cast sbyte*** %cast219 to sbyte* ; <sbyte*> [#uses=1] - store sbyte* %cast252, sbyte** %reg250 - br label %bb5 - -bb5: ;[#uses=2] - ret void -} - diff --git a/test/Transforms/LevelRaise/2002-07-16-RaiseCrash2.ll b/test/Transforms/LevelRaise/2002-07-16-RaiseCrash2.ll deleted file mode 100644 index 9c03684d95..0000000000 --- a/test/Transforms/LevelRaise/2002-07-16-RaiseCrash2.ll +++ /dev/null @@ -1,12 +0,0 @@ -; This crashes raise, with an cast<> failure - -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - -implementation -sbyte* %test(int* %ptr) { - %A = cast int* %ptr to sbyte * - %A = cast sbyte* %A to ulong - %B = add ulong %A, %A - %B = cast ulong %B to sbyte* - ret sbyte * %B -} diff --git a/test/Transforms/LevelRaise/2002-07-16-SourceAndDestCrash.ll b/test/Transforms/LevelRaise/2002-07-16-SourceAndDestCrash.ll deleted file mode 100644 index 18121634dd..0000000000 --- a/test/Transforms/LevelRaise/2002-07-16-SourceAndDestCrash.ll +++ /dev/null @@ -1,21 +0,0 @@ -; This testcase, which was distilled from a HUGE function, causes problems -; because both the source and the destination of the %Y cast are converted -; to a new type, which causes massive problems. - -; RUN: llvm-upgrade < %s | llvm-as | opt -raise -raise-start-inst=W - -int **%test(sbyte **%S) { -BB0: - br label %Loop - -Loop: - %X = phi sbyte* [null , %BB0], [%Z, %Loop] - - %Y = cast sbyte *%X to sbyte ** - %Z = load sbyte** %Y - br bool true, label %Loop, label %Out - -Out: - %W = cast sbyte** %Y to int** - ret int** %W -} diff --git a/test/Transforms/LevelRaise/2002-07-18-MissedAllocaRaise.ll b/test/Transforms/LevelRaise/2002-07-18-MissedAllocaRaise.ll deleted file mode 100644 index 7ab4ea360d..0000000000 --- a/test/Transforms/LevelRaise/2002-07-18-MissedAllocaRaise.ll +++ /dev/null @@ -1,11 +0,0 @@ -; Looks like we don't raise alloca's like we do mallocs -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep bitcast - -implementation ; Functions: - -int *%X() { - %reg107 = alloca ubyte, uint 4 - %cast213 = cast ubyte* %reg107 to int* - ret int* %cast213 -} diff --git a/test/Transforms/LevelRaise/2002-07-31-AssertionFailure.ll b/test/Transforms/LevelRaise/2002-07-31-AssertionFailure.ll deleted file mode 100644 index d875b1e71c..0000000000 --- a/test/Transforms/LevelRaise/2002-07-31-AssertionFailure.ll +++ /dev/null @@ -1,26 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise -raise-start-inst=cast271 - - %CON_list = type { %CON_list*, %CON_node* } - %CON_node = type { %DIS_list*, %DIS_list*, int } - %DIS_list = type { %DIS_list*, %DIS_node* } - %DIS_node = type { %CON_list*, %List_o_links*, int } - %List_o_links = type { int, int, int, %List_o_links* } - -implementation ; Functions: - -%CON_node* %build_CON_node(int %reg107) { - br label %bb5 - -bb2: ;[#uses=3] - %reg126 = phi sbyte* [ %reg126, %bb2 ] - br bool true, label %bb2, label %bb5 - -bb5: ;[#uses=2] - %reg125 = phi sbyte* [ %reg126, %bb2], [ null, %0 ] - %reg263 = malloc sbyte*, uint 3 ; <sbyte**> [#uses=4] - %reg2641 = getelementptr sbyte** %reg263, long 1 ; <sbyte**> [#uses=1] - store sbyte* %reg125, sbyte** %reg2641 - store sbyte* %reg125, sbyte** %reg263 - %cast271 = cast sbyte** %reg263 to %CON_node* ; <%CON_node*> [#uses=1] - ret %CON_node* %cast271 -} diff --git a/test/Transforms/LevelRaise/2002-09-10-PointerAdds.ll b/test/Transforms/LevelRaise/2002-09-10-PointerAdds.ll deleted file mode 100644 index 6a2bc50ef2..0000000000 --- a/test/Transforms/LevelRaise/2002-09-10-PointerAdds.ll +++ /dev/null @@ -1,9 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - -int* %test(int* %P, int* %Q) { - %P = cast int* %P to ulong - %Q = cast int* %Q to ulong - %V = add ulong %P, %Q - %V = cast ulong %V to int* - ret int* %V -} diff --git a/test/Transforms/LevelRaise/2002-10-02-SignExtensionProblem.ll b/test/Transforms/LevelRaise/2002-10-02-SignExtensionProblem.ll deleted file mode 100644 index d3b24304b7..0000000000 --- a/test/Transforms/LevelRaise/2002-10-02-SignExtensionProblem.ll +++ /dev/null @@ -1,13 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | grep -v uint | not grep 4294967295 - -%length_code = uninitialized global [256 x ubyte] - -ubyte* %test(uint %length) { - %d = add uint 4294967295, %length - %e = cast uint %d to int - %g = cast int %e to ulong - %j = cast [256 x ubyte]* %length_code to ulong - %l = add ulong %j, %g - %m = cast ulong %l to ubyte* - ret ubyte* %m -} diff --git a/test/Transforms/LevelRaise/2002-10-08-VarArgCall.ll b/test/Transforms/LevelRaise/2002-10-08-VarArgCall.ll deleted file mode 100644 index 6ddcc45c0b..0000000000 --- a/test/Transforms/LevelRaise/2002-10-08-VarArgCall.ll +++ /dev/null @@ -1,9 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | grep call | not grep '\.\.\.' - -implementation - -void %test(sbyte* %P) { - %Q = cast sbyte* %P to void (...)* - call void (...)* %Q(sbyte* %P) - ret void -} diff --git a/test/Transforms/LevelRaise/2002-10-08-VarArgCallInfLoop.ll b/test/Transforms/LevelRaise/2002-10-08-VarArgCallInfLoop.ll deleted file mode 100644 index a7ac87144f..0000000000 --- a/test/Transforms/LevelRaise/2002-10-08-VarArgCallInfLoop.ll +++ /dev/null @@ -1,10 +0,0 @@ -; Due to a recent change, this testcase now sends the raise pass into an infinite loop -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - -implementation - -void %test(sbyte* %P, void(...) * %F) { - call void (...)* %F(sbyte* %P) - ret void -} diff --git a/test/Transforms/LevelRaise/2002-11-04-ConstantSharing.ll b/test/Transforms/LevelRaise/2002-11-04-ConstantSharing.ll deleted file mode 100644 index 4e4b806b44..0000000000 --- a/test/Transforms/LevelRaise/2002-11-04-ConstantSharing.ll +++ /dev/null @@ -1,12 +0,0 @@ -; RUN: llvm-as < 2002-11-04-ConstantSharing.ll | opt -raise | llvm-dis | notcast - -implementation - -bool %test(int *%X, uint* %Y) { - %A = cast int* %X to sbyte* - %B = cast uint* %Y to sbyte* - %c1 = seteq sbyte* %A, null - %c2 = seteq sbyte* %B, null - %c = and bool %c1, %c2 - ret bool %c -} diff --git a/test/Transforms/LevelRaise/2002-11-13-PointerFunction.ll b/test/Transforms/LevelRaise/2002-11-13-PointerFunction.ll deleted file mode 100644 index 2d51811501..0000000000 --- a/test/Transforms/LevelRaise/2002-11-13-PointerFunction.ll +++ /dev/null @@ -1,10 +0,0 @@ -; This testcase should be able to eliminate at least one of the casts. -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep 'REMOVE' - -int %foo(sbyte * %PF) { - %UPF = cast sbyte* %PF to uint()* - %Ret = call uint %UPF() - %REMOVE = cast uint %Ret to int - ret int %REMOVE -} diff --git a/test/Transforms/LevelRaise/2003-01-22-GEPProblem.ll b/test/Transforms/LevelRaise/2003-01-22-GEPProblem.ll deleted file mode 100644 index 540ffa26b9..0000000000 --- a/test/Transforms/LevelRaise/2003-01-22-GEPProblem.ll +++ /dev/null @@ -1,22 +0,0 @@ -; Testcase reduced from 197.parser by bugpoint -; RUN: llvm-upgrade < %s | llvm-as | opt -raise -raise-start-inst=cast455 > /dev/null - -void %conjunction_prune() { -; <label>:0 ; No predecessors! - br label %bb19 - -bb19: ; preds = %bb22, %0 - %reg205 = phi ulong [ %cast208, %bb22 ], [ 0, %0 ] ; <ulong> [#uses=2] - %reg449 = add ulong %reg205, 10 ; <ulong> [#uses=0] - %cast455 = cast ulong %reg205 to sbyte** ; <sbyte**> [#uses=1] - store sbyte* null, sbyte** %cast455 - br label %bb22 - -bb22: ; preds = %bb19 - %cast208 = cast sbyte* null to ulong ; <ulong> [#uses=1] - br bool false, label %bb19, label %bb28 - -bb28: ; preds = %bb22 - ret void -} - diff --git a/test/Transforms/LevelRaise/2003-01-30-ShiftCrash.ll b/test/Transforms/LevelRaise/2003-01-30-ShiftCrash.ll deleted file mode 100644 index 18c0900c88..0000000000 --- a/test/Transforms/LevelRaise/2003-01-30-ShiftCrash.ll +++ /dev/null @@ -1,34 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise -raise-start-inst=cast459 - -int %deflateInit2_({ ubyte*, uint, ulong, ubyte*, uint, ulong, sbyte*, { \4, int, ubyte*, ulong, ubyte*, int, int, ubyte, ubyte, int, uint, uint, uint, ubyte*, ulong, ushort*, ushort*, uint, uint, uint, uint, uint, long, uint, uint, int, uint, uint, uint, uint, uint, uint, int, int, uint, int, [573 x { { ushort }, { ushort } }], [61 x { { ushort }, { ushort } }], [39 x { { ushort }, { ushort } }], { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, [16 x ushort], [573 x int], int, int, [573 x ubyte], ubyte*, uint, uint, ushort*, ulong, ulong, uint, int, ushort, int }*, sbyte* (sbyte*, uint, uint)*, void (sbyte*, sbyte*)*, sbyte*, int, ulong, ulong }* %strm, int %level, int %method, int %windowBits, int %memLevel, int %strategy, sbyte* %version, int %stream_size) { -bb0: ; No predecessors! - %reg107 = load { ubyte*, uint, ulong, ubyte*, uint, ulong, sbyte*, { \4, int, ubyte*, ulong, ubyte*, int, int, ubyte, ubyte, int, uint, uint, uint, ubyte*, ulong, ushort*, ushort*, uint, uint, uint, uint, uint, long, uint, uint, int, uint, uint, uint, uint, uint, uint, int, int, uint, int, [573 x { { ushort }, { ushort } }], [61 x { { ushort }, { ushort } }], [39 x { { ushort }, { ushort } }], { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, [16 x ushort], [573 x int], int, int, [573 x ubyte], ubyte*, uint, uint, ushort*, ulong, ulong, uint, int, ushort, int }*, sbyte* (sbyte*, uint, uint)*, void (sbyte*, sbyte*)*, sbyte*, int, ulong, ulong }** null ; <{ ubyte*, uint, ulong, ubyte*, uint, ulong, sbyte*, { \4, int, ubyte*, ulong, ubyte*, int, int, ubyte, ubyte, int, uint, uint, uint, ubyte*, ulong, ushort*, ushort*, uint, uint, uint, uint, uint, long, uint, uint, int, uint, uint, uint, uint, uint, uint, int, int, uint, int, [573 x { { ushort }, { ushort } }], [61 x { { ushort }, { ushort } }], [39 x { { ushort }, { ushort } }], { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, [16 x ushort], [573 x int], int, int, [573 x ubyte], ubyte*, uint, uint, ushort*, ulong, ulong, uint, int, ushort, int }*, sbyte* (sbyte*, uint, uint)*, void (sbyte*, sbyte*)*, sbyte*, int, ulong, ulong }*> [#uses=2] - br bool false, label %bb5, label %UnifiedExitNode - -bb5: ; preds = %bb0 - br bool false, label %bb22, label %UnifiedExitNode - -bb22: ; preds = %bb5 - br bool false, label %bb24, label %UnifiedExitNode - -bb24: ; preds = %bb22 - %reg399 = getelementptr { ubyte*, uint, ulong, ubyte*, uint, ulong, sbyte*, { \4, int, ubyte*, ulong, ubyte*, int, int, ubyte, ubyte, int, uint, uint, uint, ubyte*, ulong, ushort*, ushort*, uint, uint, uint, uint, uint, long, uint, uint, int, uint, uint, uint, uint, uint, uint, int, int, uint, int, [573 x { { ushort }, { ushort } }], [61 x { { ushort }, { ushort } }], [39 x { { ushort }, { ushort } }], { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, [16 x ushort], [573 x int], int, int, [573 x ubyte], ubyte*, uint, uint, ushort*, ulong, ulong, uint, int, ushort, int }*, sbyte* (sbyte*, uint, uint)*, void (sbyte*, sbyte*)*, sbyte*, int, ulong, ulong }* %reg107, long 0, uint 8 ; <sbyte* (sbyte*, uint, uint)**> [#uses=1] - %reg137 = load sbyte* (sbyte*, uint, uint)** %reg399 ; <sbyte* (sbyte*, uint, uint)*> [#uses=1] - %reg402 = call sbyte* %reg137( sbyte* null, uint 0, uint 0 ) ; <sbyte*> [#uses=1] - br bool false, label %bb26, label %UnifiedExitNode - -bb26: ; preds = %bb24 - %reg457 = getelementptr sbyte* %reg402, long 0 ; <sbyte*> [#uses=1] - %cast459 = cast sbyte* %reg457 to ubyte* ; <ubyte*> [#uses=1] - %reg146 = load ubyte* %cast459 ; <ubyte> [#uses=1] - %reg145 = shl uint 0, ubyte %reg146 ; <uint> [#uses=1] - store uint %reg145, uint* null - %reg647 = call int %deflateEnd( { ubyte*, uint, ulong, ubyte*, uint, ulong, sbyte*, { \4, int, ubyte*, ulong, ubyte*, int, int, ubyte, ubyte, int, uint, uint, uint, ubyte*, ulong, ushort*, ushort*, uint, uint, uint, uint, uint, long, uint, uint, int, uint, uint, uint, uint, uint, uint, int, int, uint, int, [573 x { { ushort }, { ushort } }], [61 x { { ushort }, { ushort } }], [39 x { { ushort }, { ushort } }], { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, [16 x ushort], [573 x int], int, int, [573 x ubyte], ubyte*, uint, uint, ushort*, ulong, ulong, uint, int, ushort, int }*, sbyte* (sbyte*, uint, uint)*, void (sbyte*, sbyte*)*, sbyte*, int, ulong, ulong }* %reg107 ) ; <int> [#uses=0] - br label %UnifiedExitNode - -UnifiedExitNode: ; preds = %bb26, %bb24, %bb22, %bb5, %bb0 - ret int 0 -} - -declare int %deflateEnd({ ubyte*, uint, ulong, ubyte*, uint, ulong, sbyte*, { \4, int, ubyte*, ulong, ubyte*, int, int, ubyte, ubyte, int, uint, uint, uint, ubyte*, ulong, ushort*, ushort*, uint, uint, uint, uint, uint, long, uint, uint, int, uint, uint, uint, uint, uint, uint, int, int, uint, int, [573 x { { ushort }, { ushort } }], [61 x { { ushort }, { ushort } }], [39 x { { ushort }, { ushort } }], { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, { { { ushort }, { ushort } }*, int, { int }* }, [16 x ushort], [573 x int], int, int, [573 x ubyte], ubyte*, uint, uint, ushort*, ulong, ulong, uint, int, ushort, int }*, sbyte* (sbyte*, uint, uint)*, void (sbyte*, sbyte*)*, sbyte*, int, ulong, ulong }*) - diff --git a/test/Transforms/LevelRaise/2003-02-13-CallRaise.ll b/test/Transforms/LevelRaise/2003-02-13-CallRaise.ll deleted file mode 100644 index c52fc56294..0000000000 --- a/test/Transforms/LevelRaise/2003-02-13-CallRaise.ll +++ /dev/null @@ -1,9 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise - -declare void %foo() - -void %test() { - %X = cast void()* %foo to int()* - %retval = call int %X() - ret void -} diff --git a/test/Transforms/LevelRaise/2003-05-01-CallCast.ll b/test/Transforms/LevelRaise/2003-05-01-CallCast.ll deleted file mode 100644 index 7ab0f6f17d..0000000000 --- a/test/Transforms/LevelRaise/2003-05-01-CallCast.ll +++ /dev/null @@ -1,8 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | notcast - -void %test(...) { ret void } - -void %caller() { - call void (...) *%test() - ret void -} diff --git a/test/Transforms/LevelRaise/2003-06-07-EmptyArrayTest.ll b/test/Transforms/LevelRaise/2003-06-07-EmptyArrayTest.ll deleted file mode 100644 index 141b807362..0000000000 --- a/test/Transforms/LevelRaise/2003-06-07-EmptyArrayTest.ll +++ /dev/null @@ -1,10 +0,0 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -raise -disable-output - -%T = type { [0 x ubyte] } - -void %test(%T* %tmp.22) { - %tmp.23 = getelementptr %T* %tmp.22, long 0, uint 0 - %tmp.24 = cast [0 x ubyte]* %tmp.23 to sbyte** - %tmp.25 = load sbyte** %tmp.24 - ret void -} diff --git a/test/Transforms/LevelRaise/2003-06-25-ExprAnalysis.ll b/test/Transforms/LevelRaise/2003-06-25-ExprAnalysis.ll deleted file mode 100644 index f507e72909..0000000000 --- a/test/Transforms/LevelRaise/2003-06-25-ExprAnalysis.ll +++ /dev/null @@ -1,24 +0,0 @@ -; The expr analysis routines were being too aggressive across cast instructions! - -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep 4294967295 - -target endian = big -target pointersize = 64 - %struct..istack_struct = type { %struct..istack_struct*, %struct..istk_entry*, uint } - %struct..istk_entry = type { double, int, int, double, double, sbyte* } - -implementation ; Functions: -bool %Intersection(%struct..istack_struct* %tmp.0, uint %tmp.12) { ; No predecessors! - %tmp.8 = getelementptr %struct..istack_struct* %tmp.0, long 0, uint 1 ; <%struct..istk_entry**> [#uses=1] - %tmp.9 = load %struct..istk_entry** %tmp.8 ; <%struct..istk_entry*> [#uses=1] - %dec = sub uint %tmp.12, 1 ; <uint> [#uses=1] - %tmp.13 = cast uint %dec to ulong ; <ulong> [#uses=1] - %tmp.14 = mul ulong %tmp.13, 40 ; <ulong> [#uses=1] - %tmp.16 = cast %struct..istk_entry* %tmp.9 to long ; <long> [#uses=1] - %tmp.17 = cast ulong %tmp.14 to long ; <long> [#uses=1] - %tmp.18 = add long %tmp.16, %tmp.17 ; <long> [#uses=1] - %tmp.19 = cast long %tmp.18 to %struct..istk_entry* ; <%struct..istk_entry*> [#uses=1] - %tmp.21 = setne %struct..istk_entry* %tmp.19, null ; <bool> [#uses=1] - ret bool %tmp.21 -} - diff --git a/test/Transforms/LevelRaise/2003-11-28-IllegalTypeConversion.ll b/test/Transforms/LevelRaise/2003-11-28-IllegalTypeConversion.ll deleted file mode 100644 index 0addb212d7..0000000000 --- a/test/Transforms/LevelRaise/2003-11-28-IllegalTypeConversion.ll +++ /dev/null @@ -1,10 +0,0 @@ -; The program should not just cast 2143289344 to float and store it! -; -; RUN: llvm-upgrade < %s | llvm-as | opt -raise | llvm-dis | not grep 41DFF - -void %test() { - %mem_tmp = alloca float - %tmp.0 = cast float* %mem_tmp to uint* - store uint 2143289344, uint* %tmp.0 - ret void -} diff --git a/test/Transforms/LevelRaise/dg.exp b/test/Transforms/LevelRaise/dg.exp deleted file mode 100644 index 142de8a6c8..0000000000 --- a/test/Transforms/LevelRaise/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 |