| Wojciech Matyjewicz | 52c7a38 | 2008-02-12 15:12:40 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -analyze -scalar-evolution | grep -e {--> %b} |
| Nick Lewycky | ef94749 | 2007-11-20 08:24:44 +0000 | [diff] [blame] | 2 | ; PR1810 |
| 3 | |||||
| 4 | define void @fun() { | ||||
| 5 | entry: | ||||
| 6 | br label %header | ||||
| 7 | header: | ||||
| 8 | %i = phi i32 [ 1, %entry ], [ %i.next, %body ] | ||||
| 9 | %cond = icmp eq i32 %i, 10 | ||||
| 10 | br i1 %cond, label %exit, label %body | ||||
| 11 | body: | ||||
| 12 | %a = mul i32 %i, 5 | ||||
| 13 | %b = or i32 %a, 1 | ||||
| 14 | %i.next = add i32 %i, 1 | ||||
| 15 | br label %header | ||||
| 16 | exit: | ||||
| 17 | ret void | ||||
| 18 | } | ||||