[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopSimplify / hardertest.ll
blob1ccb396490ca1ee542b30e6b5040386b22242b63
1 ; RUN: opt < %s -loop-simplify
3 define void @foo(i1 %C) {
4         br i1 %C, label %T, label %F
5 T:              ; preds = %0
6         br label %Loop
7 F:              ; preds = %0
8         br label %Loop
9 Loop:           ; preds = %L2, %Loop, %F, %T
10         %Val = phi i32 [ 0, %T ], [ 1, %F ], [ 2, %Loop ], [ 3, %L2 ]           ; <i32> [#uses=0]
11         br i1 %C, label %Loop, label %L2
12 L2:             ; preds = %Loop
13         br label %Loop