diff options
Diffstat (limited to 'polly/test/CodeGen/annotated_alias_scopes.ll')
| -rw-r--r-- | polly/test/CodeGen/annotated_alias_scopes.ll | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/polly/test/CodeGen/annotated_alias_scopes.ll b/polly/test/CodeGen/annotated_alias_scopes.ll index ae68af4e3433..f8d14cd34b62 100644 --- a/polly/test/CodeGen/annotated_alias_scopes.ll +++ b/polly/test/CodeGen/annotated_alias_scopes.ll @@ -1,14 +1,14 @@ -; RUN: opt -opaque-pointers=0 %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=SCOPES +; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=SCOPES ; ; Check that we create alias scopes that indicate the accesses to A, B and C cannot alias in any way. ; ; SCOPES-LABEL: polly.stmt.for.body: -; SCOPES: %[[BIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} i32* %B, i64 %polly.indvar -; SCOPES: load i32, i32* %[[BIdx]], align 4, !alias.scope !0, !noalias !3 -; SCOPES: %[[CIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} float* %C, i64 %polly.indvar -; SCOPES: load float, float* %[[CIdx]], align 4, !alias.scope !6, !noalias !7 -; SCOPES: %[[AIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} i32* %A, i64 %polly.indvar -; SCOPES: store i32 %{{[._a-zA-Z0-9]*}}, i32* %[[AIdx]], align 4, !alias.scope !8, !noalias !9 +; SCOPES: %[[BIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} ptr %B, i64 %{{.*}} +; SCOPES: load i32, ptr %[[BIdx]], align 4, !alias.scope !0, !noalias !3 +; SCOPES: %[[CIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} ptr %C, i64 %{{.*}} +; SCOPES: load float, ptr %[[CIdx]], align 4, !alias.scope !6, !noalias !7 +; SCOPES: %[[AIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} ptr %A, i64 %{{.*}} +; SCOPES: store i32 %{{[._a-zA-Z0-9]*}}, ptr %[[AIdx]], align 4, !alias.scope !8, !noalias !9 ; ; SCOPES: !0 = !{!1} ; SCOPES: !1 = distinct !{!1, !2, !"polly.alias.scope.MemRef_B"} @@ -28,7 +28,7 @@ ; target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" -define void @jd(i32* %A, i32* %B, float* %C) { +define void @jd(ptr %A, ptr %B, ptr %C) { entry: br label %for.cond @@ -38,15 +38,15 @@ for.cond: ; preds = %for.inc, %entry br i1 %exitcond, label %for.body, label %for.end for.body: ; preds = %for.cond - %arrayidx = getelementptr inbounds i32, i32* %B, i64 %indvars.iv - %tmp = load i32, i32* %arrayidx, align 4 + %arrayidx = getelementptr inbounds i32, ptr %B, i64 %indvars.iv + %tmp = load i32, ptr %arrayidx, align 4 %conv = sitofp i32 %tmp to float - %arrayidx2 = getelementptr inbounds float, float* %C, i64 %indvars.iv - %tmp1 = load float, float* %arrayidx2, align 4 + %arrayidx2 = getelementptr inbounds float, ptr %C, i64 %indvars.iv + %tmp1 = load float, ptr %arrayidx2, align 4 %add = fadd fast float %conv, %tmp1 %conv3 = fptosi float %add to i32 - %arrayidx5 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv - store i32 %conv3, i32* %arrayidx5, align 4 + %arrayidx5 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv + store i32 %conv3, ptr %arrayidx5, align 4 br label %for.inc for.inc: ; preds = %for.body |