[ConstraintElim] Add support for decomposing gep nuw (#118639)
[llvm-project.git] / llvm / test / Transforms / LoopSimplify / 2004-03-15-IncorrectDomUpdate.ll
blob34bc7d2f412e1f1d7dc076a510ac6ff43d37330e
1 ; RUN: opt < %s -passes='loop-simplify,loop-mssa(licm)' -disable-output
2 define void @main() {
3 entry:
4         br i1 false, label %Out, label %loop
5 loop:           ; preds = %loop, %entry
6         %LI = icmp sgt i32 0, 0         ; <i1> [#uses=1]
7         br i1 %LI, label %loop, label %Out
8 Out:            ; preds = %loop, %entry
9         ret void