| ; RUN: llvm-as < %s | opt -indvars -adce -simplifycfg | llvm-dis | not grep br |
| ; |
| ; Testcase distilled from 256.bzip2 |
| |
| int %main() { |
| entry: |
| br label %loopentry |
| |
| loopentry: ; preds = %entry, %loopentry |
| %indvar1 = phi uint [ 0, %entry ], [ %indvar.next2, %loopentry ] ; <uint> [#uses=1] |
| %h.0 = phi int [ %tmp.2, %loopentry ], [ 4, %entry ] ; <int> [#uses=1] |
| %tmp.1 = mul int %h.0, 3 ; <int> [#uses=1] |
| %tmp.2 = add int %tmp.1, 1 ; <int> [#uses=1] |
| %indvar.next2 = add uint %indvar1, 1 ; <uint> [#uses=2] |
| %exitcond3 = setne uint %indvar.next2, 4 ; <bool> [#uses=1] |
| br bool %exitcond3, label %loopentry, label %loopexit |
| |
| loopexit: ; preds = %loopentry |
| ret int %tmp.2 |
| } |
| |
