[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / IndVarSimplify / 2004-04-07-ScalarEvolutionCrash.ll
blobec1218bb86dd0debe32eb74e22abe1f2d4dccb59
1 ; RUN: opt < %s -indvars -disable-output
3 define void @.outPlank_21() {
4 entry:
5         br i1 false, label %loopexit.0, label %no_exit.0
7 no_exit.0:              ; preds = %entry
8         ret void
10 loopexit.0:             ; preds = %entry
11         br i1 false, label %no_exit.1, label %loopexit.1
13 no_exit.1:              ; preds = %loopexit.2, %loopexit.0
14         %i.0.0 = phi i32 [ %inc, %loopexit.2 ], [ 0, %loopexit.0 ]              ; <i32> [#uses=1]
15         br i1 false, label %loopexit.2, label %no_exit.2
17 no_exit.2:              ; preds = %no_exit.1
18         ret void
20 loopexit.2:             ; preds = %no_exit.1
21         %inc = add i32 %i.0.0, 1                ; <i32> [#uses=1]
22         br i1 false, label %no_exit.1, label %loopexit.1
24 loopexit.1:             ; preds = %loopexit.2, %loopexit.0
25         ret void