blob: 1322b90f4860f3f700b6394c6442a2dded27fa29 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -disable-output
2
3void %safe_strcpy(uint %size1) {
4entry:
5 %tmp = seteq uint %size1, 0 ; <bool> [#uses=1]
6 br bool %tmp, label %return, label %strlen.exit
7
8strlen.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
12
13cond_true7: ; preds = %strlen.exit
14 %tmp9 = seteq uint %tmp, 0 ; <bool> [#uses=1]
15 br bool %tmp9, label %cond_next15, label %cond_true10
16
17cond_true10: ; preds = %cond_true7
18 ret void
19
20cond_next15: ; preds = %cond_true7
21 ret void
22
23cond_false19: ; preds = %strlen.exit
24 ret void
25
26return: ; preds = %entry
27 ret void
28}