; 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*)