| ; These tests have an infinite trip count. We obviously shouldn't remove the |
| ; loops! :) |
| ; |
| ; RUN: llvm-as < %s | opt -indvars -adce -simplifycfg | llvm-dis | grep set | wc -l > %t2 |
| ; RUN: llvm-as < %s | llvm-dis | grep set | wc -l > %t1 |
| ; RUN: diff %t1 %t2 |
| |
| int %infinite_linear() { ;; test for (i = 1; i != 100; i += 2) |
| entry: |
| br label %loop |
| loop: |
| %i = phi int [ 1, %entry ], [ %i.next, %loop ] |
| %i.next = add int %i, 2 |
| %c = setne int %i, 100 |
| br bool %c, label %loop, label %loopexit |
| loopexit: |
| ret int %i |
| } |
| |
| int %infinite_quadratic() { ;; test for (i = 1; i*i != 63; ++i) |
| entry: |
| br label %loop |
| loop: |
| %i = phi int [ 1, %entry ], [ %i.next, %loop ] |
| %isquare = mul int %i, %i |
| %i.next = add int %i, 1 |
| %c = setne int %isquare, 63 |
| br bool %c, label %loop, label %loopexit |
| loopexit: |
| ret int %i |
| } |
| |