1 ; RUN: llvm-as < %s | opt -predsimplify -disable-output
3 void %safe_strcpy(uint %size1) {
5 %tmp = seteq uint %size1, 0 ; <bool> [#uses=1]
6 br bool %tmp, label %return, label %strlen.exit
8 strlen.exit: ; preds = %entry
9 %tmp = cast ulong 0 to uint ; <uint> [#uses=2]
10 %tmp6 = setlt uint %tmp, %size1 ; <bool> [#uses=1]
11 br bool %tmp6, label %cond_true7, label %cond_false19
13 cond_true7: ; preds = %strlen.exit
14 %tmp9 = seteq uint %tmp, 0 ; <bool> [#uses=1]
15 br bool %tmp9, label %cond_next15, label %cond_true10
17 cond_true10: ; preds = %cond_true7
20 cond_next15: ; preds = %cond_true7
23 cond_false19: ; preds = %strlen.exit
26 return: ; preds = %entry