1 files changed, 49 insertions, 0 deletions
diff --git a/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll
new file mode 100644
index 0000000..6d15fae
--- /dev/null
+++ b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll
@@ -0,0 +1,49 @@
+; This testcase was extracted from the gzip SPEC benchmark
+;
+; RUN: llvm-upgrade < %s | llvm-as | opt -adce
+
+%bk = external global uint		; <uint*> [#uses=2]
+%hufts = external global uint		; <uint*> [#uses=1]
+
+implementation   ; Functions:
+
+int %inflate() {
+bb0:					;[#uses=1]
+	br label %bb2
+
+bb2:					;[#uses=2]
+	%reg128 = phi uint [ %reg130, %bb6 ], [ 0, %bb0 ]		; <uint> [#uses=2]
+	br bool true, label %bb4, label %bb3
+
+bb3:					;[#uses=2]
+	br label %UnifiedExitNode
+
+bb4:					;[#uses=2]
+	%reg117 = load uint* %hufts		; <uint> [#uses=2]
+	%cond241 = setle uint %reg117, %reg128		; <bool> [#uses=1]
+	br bool %cond241, label %bb6, label %bb5
+
+bb5:					;[#uses=2]
+	br label %bb6
+
+bb6:					;[#uses=3]
+	%reg130 = phi uint [ %reg117, %bb5 ], [ %reg128, %bb4 ]		; <uint> [#uses=1]
+	br bool false, label %bb2, label %bb7
+
+bb7:					;[#uses=1]
+	%reg126 = load uint* %bk		; <uint> [#uses=1]
+	%cond247 = setle uint %reg126, 7		; <bool> [#uses=1]
+	br bool %cond247, label %bb9, label %bb8
+
+bb8:					;[#uses=2]
+	%reg119 = load uint* %bk		; <uint> [#uses=1]
+	%cond256 = setgt uint %reg119, 7		; <bool> [#uses=1]
+	br bool %cond256, label %bb8, label %bb9
+
+bb9:					;[#uses=3]
+	br label %UnifiedExitNode
+
+UnifiedExitNode:					;[#uses=2]
+	%UnifiedRetVal = phi int [ 7, %bb3 ], [ 0, %bb9 ]		; <int> [#uses=1]
+	ret int %UnifiedRetVal
+}