Fix bug in updating dominance frontier after loop
[oota-llvm.git] / test / Transforms / PredicateSimplifier / 2006-10-25-AddSetCC.ll
1 ; RUN: llvm-upgrade < %s | llvm-as | \
2 ; RUN:   opt -predsimplify -instcombine -simplifycfg | llvm-dis | \
3 ; RUN:   grep -v declare | grep pass | count 2
4
5 int %test(int %x, int %y) {
6 entry:
7         %tmp2 = setlt int %x, %y
8         %tmp = setne bool %tmp2, true
9         br bool %tmp, label %cond_true, label %return
10
11 cond_true:              ; preds = %entry
12         %tmp4 = seteq int %x, %y                ; <bool> [#uses=1]
13         br bool %tmp4, label %cond_true5, label %cond_false
14
15 cond_true5:             ; preds = %cond_true
16         %tmp6 = call int %pass1( )              ; <int> [#uses=1]
17         ret int %tmp6
18
19 cond_false:
20         %tmp8 = call int %pass2( )              ; <int> [#uses=1]
21         ret int %tmp8
22
23 return:         ; preds = %cond_next7
24         ret int 0
25 }
26
27 declare int %pass1()
28 declare int %pass2()