correct suffix matching to search for s/l/t suffixes on
[oota-llvm.git] / test / Transforms / ADCE / 2002-07-17-PHIAssertion.ll
index 5c386ff62595ddd61af01ce13fcf177fa8b61474..2f0df670d6ac0052596244b2a8d1947ed638a4b5 100644 (file)
@@ -1,74 +1,48 @@
 ; This testcase was extracted from the gzip SPEC benchmark
 ;
-; RUN: as < %s | opt -adce
+; RUN: opt < %s -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]
+@bk = external global i32               ; <i32*> [#uses=2]
+@hufts = external global i32            ; <i32*> [#uses=1]
 
-implementation   ; Functions:
+define i32 @inflate() {
+bb0:
+        br label %bb2
 
-int %inflate() {
-bb0:                                   ;[#uses=0]
-       %e = alloca int         ; <int*> [#uses=2]
-       br label %bb1
+bb2:            ; preds = %bb6, %bb0
+        %reg128 = phi i32 [ %reg130, %bb6 ], [ 0, %bb0 ]                ; <i32> [#uses=2]
+        br i1 true, label %bb4, label %bb3
 
-bb1:                                   ;[#uses=2]
-       store uint 0, uint* %outcnt
-       store uint 0, uint* %bk
-       store ulong 0, ulong* %bb
-       br label %bb2
+bb3:            ; preds = %bb2
+        br label %UnifiedExitNode
 
-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
+bb4:            ; preds = %bb2
+        %reg117 = load i32* @hufts              ; <i32> [#uses=2]
+        %cond241 = icmp ule i32 %reg117, %reg128                ; <i1> [#uses=1]
+        br i1 %cond241, label %bb6, label %bb5
 
-bb3:                                   ;[#uses=1]
-       ret int %reg236
+bb5:            ; preds = %bb4
+        br label %bb6
 
-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
+bb6:            ; preds = %bb5, %bb4
+        %reg130 = phi i32 [ %reg117, %bb5 ], [ %reg128, %bb4 ]          ; <i32> [#uses=1]
+        br i1 false, label %bb2, label %bb7
 
-bb5:                                   ;[#uses=2]
-       br label %bb6
+bb7:            ; preds = %bb6
+        %reg126 = load i32* @bk         ; <i32> [#uses=1]
+        %cond247 = icmp ule i32 %reg126, 7              ; <i1> [#uses=1]
+        br i1 %cond247, label %bb9, label %bb8
 
-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
+bb8:            ; preds = %bb8, %bb7
+        %reg119 = load i32* @bk         ; <i32> [#uses=1]
+        %cond256 = icmp ugt i32 %reg119, 7              ; <i1> [#uses=1]
+        br i1 %cond256, label %bb8, label %bb9
 
-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
+bb9:            ; preds = %bb8, %bb7
+        br label %UnifiedExitNode
 
-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
+UnifiedExitNode:                ; preds = %bb9, %bb3
+        %UnifiedRetVal = phi i32 [ 7, %bb3 ], [ 0, %bb9 ]               ; <i32> [#uses=1]
+        ret i32 %UnifiedRetVal
 }
 
-declare void %flush_window()
-
-declare int %inflate_block(int*)