summaryrefslogtreecommitdiff
path: root/test/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll
blob: 1322b90f4860f3f700b6394c6442a2dded27fa29 (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-upgrade < %s | llvm-as | opt -predsimplify -disable-output

void %safe_strcpy(uint %size1) {
entry:
	%tmp = seteq uint %size1, 0		; <bool> [#uses=1]
	br bool %tmp, label %return, label %strlen.exit

strlen.exit:		; preds = %entry
	%tmp = cast ulong 0 to uint		; <uint> [#uses=2]
	%tmp6 = setlt uint %tmp, %size1		; <bool> [#uses=1]
	br bool %tmp6, label %cond_true7, label %cond_false19

cond_true7:		; preds = %strlen.exit
	%tmp9 = seteq uint %tmp, 0		; <bool> [#uses=1]
	br bool %tmp9, label %cond_next15, label %cond_true10

cond_true10:		; preds = %cond_true7
	ret void

cond_next15:		; preds = %cond_true7
	ret void

cond_false19:		; preds = %strlen.exit
	ret void

return:		; preds = %entry
	ret void
}