| Tobias Grosser | f4ee371 | 2015-10-06 15:36:44 +0000 | [diff] [blame] | 1 | ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s |
| Johannes Doerfert | 5b9ff8b | 2015-09-10 13:00:06 +0000 | [diff] [blame] | 2 | ; |
| 3 | ; void foo(float *A) { |
| 4 | ; for (long i = 0; i < 16; i++) { |
| 5 | ; A[i] += 1; |
| 6 | ; if (i / 2 == 3) |
| 7 | ; A[i] += 2; |
| 8 | ; } |
| 9 | ; } |
| 10 | ; |
| Michael Kruse | 5a9a65e | 2016-01-15 00:48:42 +0000 | [diff] [blame] | 11 | ; CHECK: Statements { |
| 12 | ; CHECK-NEXT: Stmt_for_body |
| 13 | ; CHECK-NEXT: Domain := |
| Michael Kruse | 959a8dc | 2016-01-15 15:54:45 +0000 | [diff] [blame] | 14 | ; CHECK-NEXT: { Stmt_for_body[i0] : 0 <= i0 <= 15 }; |
| Michael Kruse | 5a9a65e | 2016-01-15 00:48:42 +0000 | [diff] [blame] | 15 | ; CHECK-NEXT: Schedule := |
| 16 | ; CHECK-NEXT: { Stmt_for_body[i0] -> [i0, 0] }; |
| 17 | ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0] |
| 18 | ; CHECK-NEXT: { Stmt_for_body[i0] -> MemRef_A[i0] }; |
| 19 | ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] |
| 20 | ; CHECK-NEXT: { Stmt_for_body[i0] -> MemRef_A[i0] }; |
| 21 | ; CHECK-NEXT: Stmt_if_then |
| 22 | ; CHECK-NEXT: Domain := |
| Michael Kruse | 959a8dc | 2016-01-15 15:54:45 +0000 | [diff] [blame] | 23 | ; CHECK-NEXT: { Stmt_if_then[i0] : 6 <= i0 <= 7 }; |
| Michael Kruse | 5a9a65e | 2016-01-15 00:48:42 +0000 | [diff] [blame] | 24 | ; CHECK-NEXT: Schedule := |
| 25 | ; CHECK-NEXT: { Stmt_if_then[i0] -> [i0, 1] }; |
| 26 | ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0] |
| 27 | ; CHECK-NEXT: { Stmt_if_then[i0] -> MemRef_A[i0] }; |
| 28 | ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] |
| 29 | ; CHECK-NEXT: { Stmt_if_then[i0] -> MemRef_A[i0] }; |
| 30 | ; CHECK-NEXT: } |
| Johannes Doerfert | 5b9ff8b | 2015-09-10 13:00:06 +0000 | [diff] [blame] | 31 | ; |
| 32 | target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| 33 | |
| 34 | define void @foo(float* %A) { |
| 35 | entry: |
| 36 | br label %for.cond |
| 37 | |
| 38 | for.cond: ; preds = %for.inc, %entry |
| 39 | %i.0 = phi i64 [ 0, %entry ], [ %inc, %for.inc ] |
| 40 | %exitcond = icmp ne i64 %i.0, 16 |
| 41 | br i1 %exitcond, label %for.body, label %for.end |
| 42 | |
| 43 | for.body: ; preds = %for.cond |
| 44 | %arrayidx0 = getelementptr inbounds float, float* %A, i64 %i.0 |
| 45 | %tmp0 = load float, float* %arrayidx0, align 4 |
| 46 | %add0 = fadd float %tmp0, 2.000000e+00 |
| 47 | store float %add0, float* %arrayidx0, align 4 |
| 48 | %rem1 = sdiv i64 %i.0, 2 |
| 49 | %tobool = icmp ne i64 %rem1, 3 |
| 50 | br i1 %tobool, label %if.end, label %if.then |
| 51 | |
| 52 | if.then: ; preds = %for.body |
| 53 | %arrayidx = getelementptr inbounds float, float* %A, i64 %i.0 |
| 54 | %tmp = load float, float* %arrayidx, align 4 |
| 55 | %add = fadd float %tmp, 2.000000e+00 |
| 56 | store float %add, float* %arrayidx, align 4 |
| 57 | br label %if.end |
| 58 | |
| 59 | if.end: ; preds = %for.body, %if.then |
| 60 | br label %for.inc |
| 61 | |
| 62 | for.inc: ; preds = %if.end |
| 63 | %inc = add nuw nsw i64 %i.0, 1 |
| 64 | br label %for.cond |
| 65 | |
| 66 | for.end: ; preds = %for.cond |
| 67 | ret void |
| 68 | } |