| Tom Stellard | 70a9ca9 | 2013-02-21 15:06:59 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=r600 -mcpu=redwood | FileCheck %s |
| 2 | |
| 3 | ; PRED_SET* instructions must be tied to any instruction that uses their |
| 4 | ; result. This tests that there are no instructions between the PRED_SET* |
| 5 | ; and the PREDICATE_BREAK in this loop. |
| 6 | |
| 7 | ; CHECK: @loop_ge |
| Vincent Lejeune | 08001a5 | 2013-04-01 21:48:05 +0000 | [diff] [blame] | 8 | ; CHECK: LOOP_START_DX10 |
| Vincent Lejeune | 2c836f8 | 2013-04-30 00:14:38 +0000 | [diff] [blame^] | 9 | ; CHECK: ALU_PUSH_BEFORE |
| Vincent Lejeune | 08001a5 | 2013-04-01 21:48:05 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: JUMP |
| 11 | ; CHECK-NEXT: LOOP_BREAK |
| Tom Stellard | 70a9ca9 | 2013-02-21 15:06:59 +0000 | [diff] [blame] | 12 | define void @loop_ge(i32 addrspace(1)* nocapture %out, i32 %iterations) nounwind { |
| 13 | entry: |
| 14 | %cmp5 = icmp sgt i32 %iterations, 0 |
| 15 | br i1 %cmp5, label %for.body, label %for.end |
| 16 | |
| 17 | for.body: ; preds = %for.body, %entry |
| 18 | %i.07.in = phi i32 [ %i.07, %for.body ], [ %iterations, %entry ] |
| 19 | %ai.06 = phi i32 [ %add, %for.body ], [ 0, %entry ] |
| 20 | %i.07 = add nsw i32 %i.07.in, -1 |
| 21 | %arrayidx = getelementptr inbounds i32 addrspace(1)* %out, i32 %ai.06 |
| 22 | store i32 %i.07, i32 addrspace(1)* %arrayidx, align 4 |
| 23 | %add = add nsw i32 %ai.06, 1 |
| 24 | %exitcond = icmp eq i32 %add, %iterations |
| 25 | br i1 %exitcond, label %for.end, label %for.body |
| 26 | |
| 27 | for.end: ; preds = %for.body, %entry |
| 28 | ret void |
| 29 | } |