[llvm-commits] CVS: llvm/test/Regression/Transforms/ADCE/2003-06-24-BadSuccessor.ll 2003-06-24-BasicFunctionality.ll 2002-05-23-ZeroArgPHITest.ll 2002-05-28-Crash.ll basictest1.ll basictest2.ll
John Criswell
criswell at choi.cs.uiuc.edu
Thu Jun 26 16:40:23 PDT 2003
Changes in directory llvm/test/Regression/Transforms/ADCE:
2003-06-24-BadSuccessor.ll added (r1.1.2.1)
2003-06-24-BasicFunctionality.ll added (r1.1.2.1)
2002-05-23-ZeroArgPHITest.ll updated: 1.2 -> 1.2.2.1
2002-05-28-Crash.ll updated: 1.2 -> 1.2.2.1
basictest1.ll updated: 1.2 -> 1.2.2.1
basictest2.ll updated: 1.2 -> 1.2.2.1
---
Log message:
Merged with mainline on Thursday, June 26, 2003.
---
Diffs of the changes:
Index: llvm/test/Regression/Transforms/ADCE/2003-06-24-BadSuccessor.ll
diff -c /dev/null llvm/test/Regression/Transforms/ADCE/2003-06-24-BadSuccessor.ll:1.1
*** /dev/null Thu Jun 26 16:37:30 2003
--- llvm/test/Regression/Transforms/ADCE/2003-06-24-BadSuccessor.ll Tue Jun 24 17:58:05 2003
***************
*** 0 ****
--- 1,94 ----
+ ; RUN: as < %s | opt -adce -disable-output
+
+ target endian = little
+ target pointersize = 32
+ %struct..CppObjTypeDesc = type { uint, ushort, ushort }
+ %struct..TypeToken = type { uint, ushort, ushort }
+
+ implementation ; Functions:
+
+ uint %C_ReFaxToDb() {
+ entry: ; No predecessors!
+ br bool false, label %endif.0, label %then.0
+
+ then.0: ; preds = %entry
+ ret uint 0
+
+ endif.0: ; preds = %entry
+ br bool false, label %then.11, label %then.4
+
+ then.4: ; preds = %endif.0
+ ret uint 0
+
+ then.11: ; preds = %endif.0
+ br bool false, label %loopentry.0, label %else.2
+
+ loopentry.0: ; preds = %then.11, %endif.14, %loopentry.1
+ br bool false, label %endif.14, label %loopexit.0
+
+ endif.14: ; preds = %loopentry.0
+ br bool false, label %loopentry.1, label %loopentry.0
+
+ loopentry.1: ; preds = %endif.14, %then.53, %then.53, %then.53, %then.53, %then.53
+ %SubArrays.10 = phi uint* [ %SubArrays.8, %then.53 ] , [ null, %endif.14 ] ; <uint*> [#uses=3]
+ br bool false, label %no_exit.1, label %loopentry.0
+
+ no_exit.1: ; preds = %loopentry.1
+ switch uint 0, label %label.17 [
+ uint 2, label %label.11
+ uint 19, label %label.10
+ ]
+
+ label.10: ; preds = %no_exit.1
+ br bool false, label %then.43, label %endif.43
+
+ then.43: ; preds = %label.10
+ br bool false, label %then.44, label %endif.44
+
+ then.44: ; preds = %then.43
+ br bool false, label %shortcirc_next.4, label %endif.45
+
+ shortcirc_next.4: ; preds = %then.44
+ br bool false, label %no_exit.2, label %loopexit.2
+
+ no_exit.2: ; preds = %shortcirc_next.4
+ %tmp.897 = getelementptr uint* %SubArrays.10, long 0 ; <uint*> [#uses=1]
+ %tmp.899 = load uint* %tmp.897 ; <uint> [#uses=1]
+ store uint %tmp.899, uint* null
+ ret uint 0
+
+ loopexit.2: ; preds = %shortcirc_next.4
+ ret uint 0
+
+ endif.45: ; preds = %then.44
+ ret uint 0
+
+ endif.44: ; preds = %then.43
+ ret uint 0
+
+ endif.43: ; preds = %label.10
+ ret uint 0
+
+ label.11: ; preds = %no_exit.1
+ ret uint 0
+
+ label.17: ; preds = %no_exit.1, %no_exit.1, %no_exit.1, %no_exit.1, %no_exit.1, %no_exit.1
+ br bool false, label %then.53, label %shortcirc_next.7
+
+ shortcirc_next.7: ; preds = %label.17
+ br bool false, label %then.53, label %shortcirc_next.8
+
+ shortcirc_next.8: ; preds = %shortcirc_next.7
+ ret uint 0
+
+ then.53: ; preds = %shortcirc_next.7, %label.17
+ %SubArrays.8 = phi uint* [ %SubArrays.10, %shortcirc_next.7 ], [ %SubArrays.10, %label.17 ] ; <uint*> [#uses=5]
+ %tmp.1023 = load uint* null ; <uint> [#uses=1]
+ switch uint %tmp.1023, label %loopentry.1 []
+
+ loopexit.0: ; preds = %loopentry.0
+ ret uint 0
+
+ else.2: ; preds = %then.11
+ ret uint 0
+ }
Index: llvm/test/Regression/Transforms/ADCE/2003-06-24-BasicFunctionality.ll
diff -c /dev/null llvm/test/Regression/Transforms/ADCE/2003-06-24-BasicFunctionality.ll:1.1
*** /dev/null Thu Jun 26 16:37:30 2003
--- llvm/test/Regression/Transforms/ADCE/2003-06-24-BasicFunctionality.ll Tue Jun 24 16:22:09 2003
***************
*** 0 ****
--- 1,43 ----
+ ; RUN: if as < %s | opt -adce -simplifycfg | dis | grep then:
+ ; RUN: then exit 1
+ ; RUN: else exit 0
+ ; RUN: fi
+
+ void %dead_test8(int* %data.1, int %idx.1) {
+ entry: ; No predecessors!
+ %tmp.1 = load int* %data.1 ; <int> [#uses=2]
+ %tmp.41 = setgt int %tmp.1, 0 ; <bool> [#uses=1]
+ br bool %tmp.41, label %no_exit.preheader, label %return
+
+ no_exit.preheader: ; preds = %entry
+ %tmp.11 = getelementptr int* %data.1, long 1 ; <int*> [#uses=1]
+ %tmp.22-idxcast = cast int %idx.1 to long ; <long> [#uses=1]
+ %tmp.28 = getelementptr int* %data.1, long %tmp.22-idxcast ; <int*> [#uses=1]
+ br label %no_exit
+
+ no_exit: ; preds = %no_exit.preheader, %endif
+ %k.1 = phi int [ %k.0, %endif ], [ 0, %no_exit.preheader ] ; <int> [#uses=3]
+ %i.0 = phi int [ %inc.1, %endif ], [ 0, %no_exit.preheader ] ; <int> [#uses=1]
+ %tmp.12 = load int* %tmp.11 ; <int> [#uses=1]
+ %tmp.14 = sub int 0, %tmp.12 ; <int> [#uses=1]
+ %tmp.161 = setne int %k.1, %tmp.14 ; <bool> [#uses=1]
+ br bool %tmp.161, label %then, label %else
+
+ then: ; preds = %no_exit
+ %inc.0 = add int %k.1, 1 ; <int> [#uses=1]
+ br label %endif
+
+ else: ; preds = %no_exit
+ %dec = add int %k.1, -1 ; <int> [#uses=1]
+ br label %endif
+
+ endif: ; preds = %else, %then
+ %k.0 = phi int [ %dec, %else ], [ %inc.0, %then ] ; <int> [#uses=1]
+ store int 2, int* %tmp.28
+ %inc.1 = add int %i.0, 1 ; <int> [#uses=2]
+ %tmp.4 = setlt int %inc.1, %tmp.1 ; <bool> [#uses=1]
+ br bool %tmp.4, label %no_exit, label %return
+
+ return: ; preds = %entry, %endif
+ ret void
+ }
Index: llvm/test/Regression/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll
diff -u llvm/test/Regression/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll:1.2 llvm/test/Regression/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll:1.2.2.1
--- llvm/test/Regression/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll:1.2 Thu Aug 22 11:39:04 2002
+++ llvm/test/Regression/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll Thu Jun 26 16:35:49 2003
@@ -23,7 +23,7 @@
bb2: ;[#uses=3]
%reg109 = phi %node_t* [ %reg110, %bb2 ], [ %reg107, %bb1 ] ; <%node_t*> [#uses=1]
- %reg212 = getelementptr %node_t* %reg109, uint 0, ubyte 1 ; <%node_t**> [#uses=1]
+ %reg212 = getelementptr %node_t* %reg109, long 0, ubyte 1 ; <%node_t**> [#uses=1]
%reg110 = load %node_t** %reg212 ; <%node_t*> [#uses=2]
%cond213 = setne %node_t* %reg110, null ; <bool> [#uses=1]
br bool %cond213, label %bb2, label %bb3
Index: llvm/test/Regression/Transforms/ADCE/2002-05-28-Crash.ll
diff -u llvm/test/Regression/Transforms/ADCE/2002-05-28-Crash.ll:1.2 llvm/test/Regression/Transforms/ADCE/2002-05-28-Crash.ll:1.2.2.1
--- llvm/test/Regression/Transforms/ADCE/2002-05-28-Crash.ll:1.2 Tue May 28 16:29:28 2002
+++ llvm/test/Regression/Transforms/ADCE/2002-05-28-Crash.ll Thu Jun 26 16:35:50 2003
@@ -26,7 +26,8 @@
%reg129 = add int %cast109, -1 ; <int> [#uses=1]
%reg114-idxcast = cast ulong %reg114 to uint ; <uint> [#uses=1]
%reg114-idxcast-offset = add uint %reg114-idxcast, 1073741823 ; <uint> [#uses=1]
- %reg124 = getelementptr uint* %set, uint %reg114-idxcast-offset ; <uint*> [#uses=1]
+ %reg114-idxcast-offset = cast uint %reg114-idxcast-offset to long
+ %reg124 = getelementptr uint* %set, long %reg114-idxcast-offset ; <uint*> [#uses=1]
%reg125 = load uint* %reg124 ; <uint> [#uses=1]
%cond232 = setne uint %reg125, 0 ; <bool> [#uses=1]
br bool %cond232, label %bb3, label %bb2
@@ -38,7 +39,8 @@
%add1-indvar = add int %cann-indvar, 1 ; <int> [#uses=1]
%reg130-idxcast = cast int %reg130 to uint ; <uint> [#uses=1]
%reg130-idxcast-offset = add uint %reg130-idxcast, 1073741823 ; <uint> [#uses=1]
- %reg118 = getelementptr uint* %set, uint %reg130-idxcast-offset ; <uint*> [#uses=1]
+ %reg130-idxcast-offset = cast uint %reg130-idxcast-offset to long
+ %reg118 = getelementptr uint* %set, long %reg130-idxcast-offset ; <uint*> [#uses=1]
%reg119 = load uint* %reg118 ; <uint> [#uses=1]
%cond233 = seteq uint %reg119, 0 ; <bool> [#uses=1]
br bool %cond233, label %bb2, label %bb3
Index: llvm/test/Regression/Transforms/ADCE/basictest1.ll
diff -u llvm/test/Regression/Transforms/ADCE/basictest1.ll:1.2 llvm/test/Regression/Transforms/ADCE/basictest1.ll:1.2.2.1
--- llvm/test/Regression/Transforms/ADCE/basictest1.ll:1.2 Thu Aug 22 11:39:04 2002
+++ llvm/test/Regression/Transforms/ADCE/basictest1.ll Thu Jun 26 16:35:50 2003
@@ -31,7 +31,7 @@
br bool %cond266, label %bb3, label %bb2
bb2: ;[#uses=1]
- %cast273 = getelementptr [17 x sbyte]* %.LC12, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %cast273 = getelementptr [17 x sbyte]* %.LC12, long 0, long 0 ; <sbyte*> [#uses=0]
br label %bb3
bb3: ;[#uses=2]
@@ -39,19 +39,19 @@
br bool %cond267, label %bb5, label %bb4
bb4: ;[#uses=2]
- %reg111 = getelementptr [20 x %FILE]* %__iob, uint 0, uint 1, ubyte 3 ; <ubyte*> [#uses=1]
- %cast274 = getelementptr [34 x sbyte]* %.LC9, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %reg111 = getelementptr [20 x %FILE]* %__iob, long 0, long 1, ubyte 3 ; <ubyte*> [#uses=1]
+ %cast274 = getelementptr [34 x sbyte]* %.LC9, long 0, long 0 ; <sbyte*> [#uses=0]
%cast282 = cast ubyte* %reg111 to %FILE* ; <%FILE*> [#uses=0]
call void %exit( int 1 )
br label %UnifiedExitNode
bb5: ;[#uses=1]
- %reg107-idxcast1 = cast int %fd to uint ; <uint> [#uses=2]
- %reg107-idxcast2 = cast int %fd to uint ; <uint> [#uses=1]
- %reg1311 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast2 ; <%spec_fd_t*> [#uses=1]
- %idx1 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast1, ubyte 2 ; <int> [#uses=3]
+ %reg107-idxcast1 = cast int %fd to long ; <long> [#uses=2]
+ %reg107-idxcast2 = cast int %fd to long ; <long> [#uses=1]
+ %reg1311 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast2 ; <%spec_fd_t*> [#uses=1]
+ %idx1 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast1, ubyte 2 ; <int> [#uses=3]
%reg1321 = load int* %idx1
- %idx2 = getelementptr %spec_fd_t* %reg1311, uint 0, ubyte 1 ; <int> [#uses=1]
+ %idx2 = getelementptr %spec_fd_t* %reg1311, long 0, ubyte 1 ; <int> [#uses=1]
%reg1331 = load int* %idx2
%cond270 = setlt int %reg1321, %reg1331 ; <bool> [#uses=1]
br bool %cond270, label %bb9, label %bb6
@@ -62,29 +62,29 @@
br bool %cond271, label %bb8, label %bb7
bb7: ;[#uses=1]
- %cast277 = getelementptr [4 x sbyte]* %.LC10, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %cast277 = getelementptr [4 x sbyte]* %.LC10, long 0, long 0 ; <sbyte*> [#uses=0]
br label %bb8
bb8: ;[#uses=3]
br label %UnifiedExitNode
bb9: ;[#uses=1]
- %reg107-idxcast3 = cast int %fd to uint ; <uint> [#uses=1]
- %idx3 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast3, ubyte 3 ; <ubyte*> [#uses=1]
+ %reg107-idxcast3 = cast int %fd to long ; <long> [#uses=1]
+ %idx3 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast3, ubyte 3 ; <ubyte*> [#uses=1]
%reg1601 = load ubyte** %idx3
- %reg132-idxcast1 = cast int %reg1321 to uint ; <uint> [#uses=1]
- %idx4 = getelementptr ubyte* %reg1601, uint %reg132-idxcast1 ; <ubyte> [#uses=2]
+ %reg132-idxcast1 = cast int %reg1321 to long ; <long> [#uses=1]
+ %idx4 = getelementptr ubyte* %reg1601, long %reg132-idxcast1 ; <ubyte> [#uses=2]
%reg1621 = load ubyte* %idx4
- %cast108 = cast ubyte %reg1621 to uint ; <uint> [#uses=0]
+ %cast108 = cast ubyte %reg1621 to long ; <long> [#uses=0]
%reg157 = add int %reg1321, 1 ; <int> [#uses=1]
- %idx5 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast1, ubyte 2
+ %idx5 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast1, ubyte 2
store int %reg157, int* %idx5
%reg163 = load int* %dbglvl ; <int> [#uses=1]
%cond272 = setle int %reg163, 4 ; <bool> [#uses=1]
br bool %cond272, label %bb11, label %bb10
bb10: ;[#uses=1]
- %cast279 = getelementptr [4 x sbyte]* %.LC11, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %cast279 = getelementptr [4 x sbyte]* %.LC11, long 0, long 0 ; <sbyte*> [#uses=0]
br label %bb11
bb11: ;[#uses=3]
Index: llvm/test/Regression/Transforms/ADCE/basictest2.ll
diff -u llvm/test/Regression/Transforms/ADCE/basictest2.ll:1.2 llvm/test/Regression/Transforms/ADCE/basictest2.ll:1.2.2.1
--- llvm/test/Regression/Transforms/ADCE/basictest2.ll:1.2 Thu Aug 22 11:39:04 2002
+++ llvm/test/Regression/Transforms/ADCE/basictest2.ll Thu Jun 26 16:35:50 2003
@@ -31,7 +31,7 @@
br bool %cond266, label %bb3, label %bb2
bb2: ;[#uses=1]
- %cast273 = getelementptr [17 x sbyte]* %.LC12, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %cast273 = getelementptr [17 x sbyte]* %.LC12, long 0, long 0 ; <sbyte*> [#uses=0]
br label %bb3
bb3: ;[#uses=2]
@@ -40,19 +40,19 @@
br label %bb5
bb4: ;[#uses=2]
- %reg111 = getelementptr [20 x %FILE]* %__iob, uint 0, uint 1, ubyte 3 ; <ubyte*> [#uses=1]
- %cast274 = getelementptr [34 x sbyte]* %.LC9, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %reg111 = getelementptr [20 x %FILE]* %__iob, long 0, long 1, ubyte 3 ; <ubyte*> [#uses=1]
+ %cast274 = getelementptr [34 x sbyte]* %.LC9, long 0, long 0 ; <sbyte*> [#uses=0]
%cast282 = cast ubyte* %reg111 to %FILE* ; <%FILE*> [#uses=0]
call void %exit( int 1 )
br label %UnifiedExitNode
bb5: ;[#uses=1]
- %reg107-idxcast1 = cast int %fd to uint ; <uint> [#uses=2]
- %reg107-idxcast2 = cast int %fd to uint ; <uint> [#uses=1]
- %reg1311 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast2 ; <%spec_fd_t*> [#uses=1]
- %idx1 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast1, ubyte 2 ; <int> [#uses=3]
+ %reg107-idxcast1 = cast int %fd to long ; <long> [#uses=2]
+ %reg107-idxcast2 = cast int %fd to long ; <long> [#uses=1]
+ %reg1311 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast2 ; <%spec_fd_t*> [#uses=1]
+ %idx1 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast1, ubyte 2 ; <int> [#uses=3]
%reg1321 = load int* %idx1
- %idx2 = getelementptr %spec_fd_t* %reg1311, uint 0, ubyte 1 ; <int> [#uses=1]
+ %idx2 = getelementptr %spec_fd_t* %reg1311, long 0, ubyte 1 ; <int> [#uses=1]
%reg1331 = load int* %idx2
%cond270 = setlt int %reg1321, %reg1331 ; <bool> [#uses=1]
br bool %cond270, label %bb9, label %bb6
@@ -63,29 +63,29 @@
br bool %cond271, label %bb8, label %bb7
bb7: ;[#uses=1]
- %cast277 = getelementptr [4 x sbyte]* %.LC10, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %cast277 = getelementptr [4 x sbyte]* %.LC10, long 0, long 0 ; <sbyte*> [#uses=0]
br label %bb8
bb8: ;[#uses=3]
br label %UnifiedExitNode
bb9: ;[#uses=1]
- %reg107-idxcast3 = cast int %fd to uint ; <uint> [#uses=1]
- %idx3 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast3, ubyte 3 ; <ubyte*> [#uses=1]
+ %reg107-idxcast3 = cast int %fd to long ; <uint> [#uses=1]
+ %idx3 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast3, ubyte 3 ; <ubyte*> [#uses=1]
%reg1601 = load ubyte** %idx3
- %reg132-idxcast1 = cast int %reg1321 to uint ; <uint> [#uses=1]
- %idx4 = getelementptr ubyte* %reg1601, uint %reg132-idxcast1 ; <ubyte> [#uses=2]
+ %reg132-idxcast1 = cast int %reg1321 to long ; <long> [#uses=1]
+ %idx4 = getelementptr ubyte* %reg1601, long %reg132-idxcast1 ; <ubyte> [#uses=2]
%reg1621 = load ubyte* %idx4
- %cast108 = cast ubyte %reg1621 to uint ; <uint> [#uses=0]
+ %cast108 = cast ubyte %reg1621 to long ; <long> [#uses=0]
%reg157 = add int %reg1321, 1 ; <int> [#uses=1]
- %idx5 = getelementptr [3 x %spec_fd_t]* %spec_fd, uint 0, uint %reg107-idxcast1, ubyte 2
+ %idx5 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast1, ubyte 2
store int %reg157, int* %idx5
%reg163 = load int* %dbglvl ; <int> [#uses=1]
%cond272 = setle int %reg163, 4 ; <bool> [#uses=1]
br bool %cond272, label %bb11, label %bb10
bb10: ;[#uses=1]
- %cast279 = getelementptr [4 x sbyte]* %.LC11, uint 0, uint 0 ; <sbyte*> [#uses=0]
+ %cast279 = getelementptr [4 x sbyte]* %.LC11, long 0, long 0 ; <sbyte*> [#uses=0]
br label %bb11
bb11: ;[#uses=3]
More information about the llvm-commits
mailing list