| ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | grep phi | wc -l | grep 1 |
| |
| ; This testcase should have ONE stride 18 indvar, the other use should have a |
| ; loop invariant value (B) added to it inside of the loop, instead of having |
| ; a whole indvar based on B for it. |
| |
| declare bool %cond(uint) |
| |
| void %test(uint %B) { |
| br label %Loop |
| Loop: |
| %IV = phi uint [0, %0], [%IVn, %Loop] |
| |
| %C = mul uint %IV, 18 |
| %D = mul uint %IV, 18 |
| %E = add uint %D, %B |
| |
| %cnd = call bool %cond(uint %E) |
| call bool %cond(uint %C) |
| %IVn = add uint %IV, 1 |
| br bool %cnd, label %Loop, label %Out |
| Out: |
| ret void |
| } |
