| Tobias Grosser | d1e33e7 | 2015-02-19 05:31:07 +0000 | [diff] [blame] | 1 | ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-code-generator=isl -polly-detect -analyze < %s | FileCheck %s |
| Johannes Doerfert | b9fb5a2 | 2014-09-18 11:20:36 +0000 | [diff] [blame] | 2 | ; |
| 3 | ; CHECK: Valid Region for Scop: |
| 4 | ; |
| 5 | ; void jd(int *A, int *B) { |
| 6 | ; for (int i = 0; i < 1024; i++) |
| 7 | ; A[i] = B[0]; |
| 8 | ; } |
| 9 | ; |
| 10 | target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| 11 | |
| 12 | define void @jd(i32* %A, i32* %B) { |
| 13 | entry: |
| 14 | br label %for.cond |
| 15 | |
| 16 | for.cond: ; preds = %for.inc, %entry |
| 17 | %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ] |
| 18 | %exitcond = icmp ne i64 %indvars.iv, 1024 |
| 19 | br i1 %exitcond, label %for.body, label %for.end |
| 20 | |
| 21 | for.body: ; preds = %for.cond |
| 22 | %tmp = load i32* %B, align 4 |
| 23 | %arrayidx2 = getelementptr inbounds i32* %A, i64 %indvars.iv |
| 24 | store i32 %tmp, i32* %arrayidx2, align 4 |
| 25 | br label %for.inc |
| 26 | |
| 27 | for.inc: ; preds = %for.body |
| 28 | %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 |
| 29 | br label %for.cond |
| 30 | |
| 31 | for.end: ; preds = %for.cond |
| 32 | ret void |
| 33 | } |