| Dan Gohman | 958e292 | 2009-06-19 17:33:15 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -analyze -iv-users -disable-output | grep {Stride i64 {1,+,2}<loop>:} |
| 2 | |
| 3 | ; The value of %r is dependent on a polynomial iteration expression. |
| 4 | |
| 5 | define i64 @foo(i64 %n) { |
| 6 | entry: |
| 7 | br label %loop |
| 8 | |
| 9 | loop: |
| 10 | %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ] |
| 11 | %indvar.next = add i64 %indvar, 1 |
| 12 | %c = icmp eq i64 %indvar.next, %n |
| 13 | br i1 %c, label %exit, label %loop |
| 14 | |
| 15 | exit: |
| 16 | %r = mul i64 %indvar, %indvar |
| 17 | ret i64 %r |
| 18 | } |