| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-reduce -disable-output |
| Owen Anderson | 335f14d | 2009-04-23 04:26:42 +0000 | [diff] [blame] | 2 | ; PR 2537 |
| 3 | |
| 4 | define void @a() { |
| 5 | entry: |
| 6 | br label %dobody |
| 7 | |
| 8 | dobody: ; preds = %dobody, %entry |
| 9 | %y.0 = phi i128 [ 0, %entry ], [ %add, %dobody ] |
| 10 | %x.0 = phi i128 [ 0, %entry ], [ %add2, %dobody ] |
| 11 | %add = add i128 %y.0, shl (i128 1, i128 64) |
| 12 | %add2 = add i128 %x.0, shl (i128 1, i128 48) |
| 13 | call void @b( i128 %add ) |
| 14 | %cmp = icmp ult i128 %add2, shl (i128 1, i128 64) |
| 15 | br i1 %cmp, label %dobody, label %afterdo |
| 16 | |
| 17 | afterdo: ; preds = %dobody |
| 18 | ret void |
| 19 | } |
| 20 | |
| 21 | declare void @b(i128 %add) |