New testcase, unanalyzed.

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

diff --git a/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll
new file mode 100644 (file)
index 0000000..5c386ff
--- /dev/null
+++ b/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll
@@ -0,0 +1,74 @@
+; This testcase was extracted from the gzip SPEC benchmark
+;
+; RUN: as < %s | opt -adce
+
+%inptr = internal uninitialized global uint            ; <uint*> [#uses=2]
+%outcnt = internal uninitialized global uint           ; <uint*> [#uses=1]
+%bb = internal uninitialized global ulong              ; <ulong*> [#uses=1]
+%bk = internal uninitialized global uint               ; <uint*> [#uses=5]
+%hufts = internal uninitialized global uint            ; <uint*> [#uses=2]
+
+implementation   ; Functions:
+
+int %inflate() {
+bb0:                                   ;[#uses=0]
+       %e = alloca int         ; <int*> [#uses=2]
+       br label %bb1
+
+bb1:                                   ;[#uses=2]
+       store uint 0, uint* %outcnt
+       store uint 0, uint* %bk
+       store ulong 0, ulong* %bb
+       br label %bb2
+
+bb2:                                   ;[#uses=2]
+       %reg128 = phi uint [ %reg130, %bb6 ], [ 0, %bb1 ]               ; <uint> [#uses=2]
+       store uint 0, uint* %hufts
+       %reg236 = call int %inflate_block( int* %e )            ; <int> [#uses=2]
+       %cond237 = seteq int %reg236, 0         ; <bool> [#uses=1]
+       br bool %cond237, label %bb4, label %bb3
+
+bb3:                                   ;[#uses=1]
+       ret int %reg236
+
+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]
+       %reg118 = load int* %e, uint 0          ; <int> [#uses=1]
+       %cond244 = seteq int %reg118, 0         ; <bool> [#uses=1]
+       br bool %cond244, 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]
+       %reg120 = load uint* %bk                ; <uint> [#uses=1]
+       %reg121 = add uint %reg120, 4294967288          ; <uint> [#uses=1]
+       store uint %reg121, uint* %bk
+       %reg122 = load uint* %inptr             ; <uint> [#uses=1]
+       %reg123 = add uint %reg122, 4294967295          ; <uint> [#uses=1]
+       store uint %reg123, uint* %inptr
+       %reg119 = load uint* %bk                ; <uint> [#uses=1]
+       %cond256 = setgt uint %reg119, 7                ; <bool> [#uses=1]
+       br bool %cond256, label %bb8, label %bb9
+
+bb9:                                   ;[#uses=2]
+       call void %flush_window( )
+       ret int 0
+
+bb10:                                  ;[#uses=0]
+       ret int 42
+}
+
+declare void %flush_window()
+
+declare int %inflate_block(int*)