summaryrefslogtreecommitdiff
path: root/test/Transforms/PredicateSimplifier/2006-09-20-ResolveCycle.ll
blob: 6b456b9502d6d1393750a09bc66b11ae1d3f6e95 (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
; RUN: llvm-as < %s | opt -predsimplify -disable-output

void %gs_image_next() {
entry:
	%tmp = load uint* null		; <uint> [#uses=2]
	br bool false, label %cond_next21, label %UnifiedReturnBlock

cond_next21:		; preds = %entry
	br bool false, label %cond_next42, label %UnifiedReturnBlock

cond_next42:		; preds = %cond_next21
	br label %cond_true158

cond_next134:		; preds = %cond_true158
	%tmp1571 = seteq uint 0, %min		; <bool> [#uses=0]
	ret void

cond_true158:		; preds = %cond_true158, %cond_next42
	%tmp47 = sub uint %tmp, 0		; <uint> [#uses=2]
	%tmp49 = setle uint %tmp47, 0		; <bool> [#uses=1]
	%min = select bool %tmp49, uint %tmp47, uint 0		; <uint> [#uses=2]
	%tmp92 = add uint %min, 0		; <uint> [#uses=1]
	%tmp101 = seteq uint %tmp92, %tmp		; <bool> [#uses=1]
	br bool %tmp101, label %cond_next134, label %cond_true158

UnifiedReturnBlock:		; preds = %cond_next21, %entry
	ret void
}