[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopUnswitch / 2007-07-13-DomInfo.ll
blob6b837d8ee0697eb5af87b2a83a8fa435dd81f239
1 ; RUN: opt < %s -loop-unswitch -disable-output
2 ; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
4 define i32 @main(i32 %argc, i8** %argv) {
5 entry:
6         %tmp1785365 = icmp ult i32 0, 100               ; <i1> [#uses=1]
7         br label %bb
9 bb:             ; preds = %cond_true, %entry
10         br i1 false, label %cond_true, label %cond_next
12 cond_true:              ; preds = %bb
13         br i1 %tmp1785365, label %bb, label %bb1788
15 cond_next:              ; preds = %bb
16         %iftmp.1.0 = select i1 false, i32 0, i32 0              ; <i32> [#uses=1]
17         br i1 false, label %cond_true47, label %cond_next74
19 cond_true47:            ; preds = %cond_next
20         %tmp53 = urem i32 %iftmp.1.0, 0         ; <i32> [#uses=0]
21         ret i32 0
23 cond_next74:            ; preds = %cond_next
24         ret i32 0
26 bb1788:         ; preds = %cond_true
27         ret i32 0