Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline
Changeset View
Changeset View
Standalone View
Standalone View
test/ScopInfo/non_affine_but_modulo_access_4.ll
- This file was added.
| ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s | |||||
| ; | |||||
| ; void jd(int *A, int c) { | |||||
| ; for (int i = 0; i < 1024; i++) | |||||
| ; A[i % 4] = A[(i + 1) % 4] + A[c % 4] + A[(i - c) % 4]; | |||||
| ; } | |||||
| ; | |||||
| ; CHECK: ReadAccess := [Reduction Type: NONE] | |||||
| ; CHECK: [c] -> { Stmt_for_body[i0] -> MemRef_A[o0] : exists (e0 = floor((-1 - i0 + o0)/4): 4e0 = -1 - i0 + o0 and o0 >= 0 and o0 <= 3) }; | |||||
| ; CHECK: ReadAccess := [Reduction Type: NONE] | |||||
| ; CHECK: [c] -> { Stmt_for_body[i0] -> MemRef_A[o0] : exists (e0 = floor((-c + o0)/4): 4e0 = -c + o0 and o0 >= 0 and o0 <= 3) }; | |||||
| ; CHECK: ReadAccess := [Reduction Type: NONE] | |||||
| ; CHECK: [c] -> { Stmt_for_body[i0] -> MemRef_A[o0] : exists (e0 = floor((-3c - i0 + o0)/4): 4e0 = -3c - i0 + o0 and o0 >= 0 and o0 <= 3) }; | |||||
| ; CHECK: MustWriteAccess := [Reduction Type: NONE] | |||||
| ; CHECK: [c] -> { Stmt_for_body[i0] -> MemRef_A[o0] : exists (e0 = floor((-i0 + o0)/4): 4e0 = -i0 + o0 and o0 >= 0 and o0 <= 3) }; | |||||
| ; | |||||
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" | |||||
| define void @jd(i32* %A, i32 %c) { | |||||
| entry: | |||||
| br label %for.cond | |||||
| for.cond: ; preds = %for.inc, %entry | |||||
| %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] | |||||
| %exitcond = icmp ne i32 %i.0, 1024 | |||||
| br i1 %exitcond, label %for.body, label %for.end | |||||
| for.body: ; preds = %for.cond | |||||
| %add = add nsw i32 %i.0, 1 | |||||
| %rem = srem i32 %add, 4 | |||||
| %idxprom = sext i32 %rem to i64 | |||||
| %arrayidx = getelementptr inbounds i32* %A, i64 %idxprom | |||||
| %tmp = load i32* %arrayidx, align 4 | |||||
| %rem1 = srem i32 %c, 4 | |||||
| %idxprom2 = sext i32 %rem1 to i64 | |||||
| %arrayidx3 = getelementptr inbounds i32* %A, i64 %idxprom2 | |||||
| %tmp1 = load i32* %arrayidx3, align 4 | |||||
| %add4 = add nsw i32 %tmp, %tmp1 | |||||
| %sub = sub nsw i32 %i.0, %c | |||||
| %rem5 = srem i32 %sub, 4 | |||||
| %idxprom6 = sext i32 %rem5 to i64 | |||||
| %arrayidx7 = getelementptr inbounds i32* %A, i64 %idxprom6 | |||||
| %tmp2 = load i32* %arrayidx7, align 4 | |||||
| %add8 = add nsw i32 %add4, %tmp2 | |||||
| %rem9 = srem i32 %i.0, 4 | |||||
| %idxprom10 = sext i32 %rem9 to i64 | |||||
| %arrayidx11 = getelementptr inbounds i32* %A, i64 %idxprom10 | |||||
| store i32 %add8, i32* %arrayidx11, align 4 | |||||
| br label %for.inc | |||||
| for.inc: ; preds = %for.body | |||||
| %inc = add nsw i32 %i.0, 1 | |||||
| br label %for.cond | |||||
| for.end: | |||||
| ret void | |||||
| } | |||||