[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / IndVarSimplify / 2003-12-15-Crash.ll
blob662828c749d660588381d11ebece1c014dbfd1a2
1 ; RUN: opt < %s -indvars -disable-output 
2 define void @_ZN17CoinFactorization7cleanupEv() {
3 entry:
4         br i1 false, label %loopexit.14, label %cond_continue.3
6 cond_continue.3:                ; preds = %entry
7         ret void
9 loopexit.14:            ; preds = %entry
10         %tmp.738 = sub i32 0, 0         ; <i32> [#uses=1]
11         br i1 undef, label %no_exit.15.preheader, label %loopexit.15
13 no_exit.15.preheader:           ; preds = %loopexit.14
14         br label %no_exit.15
16 no_exit.15:             ; preds = %no_exit.15, %no_exit.15.preheader
17         %highC.0 = phi i32 [ %tmp.738, %no_exit.15.preheader ], [ %dec.0, %no_exit.15 ]         ; <i32> [#uses=1]
18         %dec.0 = add i32 %highC.0, -1           ; <i32> [#uses=1]
19         br i1 undef, label %no_exit.15, label %loopexit.15
21 loopexit.15:            ; preds = %no_exit.15, %loopexit.14
22         ret void