[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopSimplify / 2004-04-01-IncorrectDomUpdate.ll
blobc29383764af66d701e6ff0d11f08194b0f95ae5e
1 ; RUN: opt < %s -loop-simplify -licm -disable-output
3 ; This is PR306
5 define void @NormalizeCoeffsVecFFE() {
6 entry:
7         br label %loopentry.0
8 loopentry.0:            ; preds = %no_exit.0, %entry
9         br i1 false, label %loopentry.1, label %no_exit.0
10 no_exit.0:              ; preds = %loopentry.0
11         br i1 false, label %loopentry.0, label %loopentry.1
12 loopentry.1:            ; preds = %no_exit.1, %no_exit.0, %loopentry.0
13         br i1 false, label %no_exit.1, label %loopexit.1
14 no_exit.1:              ; preds = %loopentry.1
15         %tmp.43 = icmp eq i16 0, 0              ; <i1> [#uses=1]
16         br i1 %tmp.43, label %loopentry.1, label %loopexit.1
17 loopexit.1:             ; preds = %no_exit.1, %loopentry.1
18         ret void