New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6890 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/ADCE/2003-06-24-BadSuccessor.ll b/test/Transforms/ADCE/2003-06-24-BadSuccessor.ll
new file mode 100644 (file)
index 0000000..fb851e6
--- /dev/null
+++ b/test/Transforms/ADCE/2003-06-24-BadSuccessor.ll
@@ -0,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
+}