1 ; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -disable-output
3 void %gs_image_next() {
5 %tmp = load uint* null ; <uint> [#uses=2]
6 br bool false, label %cond_next21, label %UnifiedReturnBlock
8 cond_next21: ; preds = %entry
9 br bool false, label %cond_next42, label %UnifiedReturnBlock
11 cond_next42: ; preds = %cond_next21
12 br label %cond_true158
14 cond_next134: ; preds = %cond_true158
15 %tmp1571 = seteq uint 0, %min ; <bool> [#uses=0]
18 cond_true158: ; preds = %cond_true158, %cond_next42
19 %tmp47 = sub uint %tmp, 0 ; <uint> [#uses=2]
20 %tmp49 = setle uint %tmp47, 0 ; <bool> [#uses=1]
21 %min = select bool %tmp49, uint %tmp47, uint 0 ; <uint> [#uses=2]
22 %tmp92 = add uint %min, 0 ; <uint> [#uses=1]
23 %tmp101 = seteq uint %tmp92, %tmp ; <bool> [#uses=1]
24 br bool %tmp101, label %cond_next134, label %cond_true158
26 UnifiedReturnBlock: ; preds = %cond_next21, %entry