| Tom Stellard | 0d171c8 | 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 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 7 | ; CHECK: {{^}}loop_ge: |
| Vincent Lejeune | bfaa63a6 | 2013-04-01 21:48:05 +0000 | [diff] [blame] | 8 | ; CHECK: LOOP_START_DX10 |
| Vincent Lejeune | 3abdbf1 | 2013-04-30 00:14:38 +0000 | [diff] [blame] | 9 | ; CHECK: ALU_PUSH_BEFORE |
| Vincent Lejeune | bfaa63a6 | 2013-04-01 21:48:05 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: JUMP |
| 11 | ; CHECK-NEXT: LOOP_BREAK |
| Tom Stellard | 0d171c8 | 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 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 21 | %arrayidx = getelementptr inbounds i32, i32 addrspace(1)* %out, i32 %ai.06 |
| Tom Stellard | 0d171c8 | 2013-02-21 15:06:59 +0000 | [diff] [blame] | 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 | } |