aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll
blob: 1ffe31a77af73ebc05ae4dc6bd9ddf5d59da59e3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
; This testcase was extracted from the gzip SPEC benchmark
;
; RUN: as < %s | opt -adce

%bk = internal uninitialized global uint		; <uint*> [#uses=2]
%hufts = internal uninitialized 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=1]
	ret int 7

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=2]
	ret int 0
}