summaryrefslogtreecommitdiff
path: root/polly/test/ForwardOpTree/forward_load_tripleuse.ll
diff options
context:
space:
mode:
Diffstat (limited to 'polly/test/ForwardOpTree/forward_load_tripleuse.ll')
-rw-r--r--polly/test/ForwardOpTree/forward_load_tripleuse.ll48
1 files changed, 24 insertions, 24 deletions
diff --git a/polly/test/ForwardOpTree/forward_load_tripleuse.ll b/polly/test/ForwardOpTree/forward_load_tripleuse.ll
index ff5435b3b9ae..1d0df2a22e87 100644
--- a/polly/test/ForwardOpTree/forward_load_tripleuse.ll
+++ b/polly/test/ForwardOpTree/forward_load_tripleuse.ll
@@ -17,7 +17,7 @@
; C[j] = val2;
; }
;
-define void @func1(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B, double* noalias nonnull %C) {
+define void @func1(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B, ptr noalias nonnull %C) {
entry:
br label %for
@@ -27,16 +27,16 @@ for:
br i1 %j.cmp, label %bodyA, label %exit
bodyA:
- %A_idx = getelementptr inbounds double, double* %A, i32 %j
- %val1 = load double, double* %A_idx
+ %A_idx = getelementptr inbounds double, ptr %A, i32 %j
+ %val1 = load double, ptr %A_idx
%val2 = fadd double %val1, %val1
br label %bodyB
bodyB:
- %B_idx = getelementptr inbounds double, double* %B, i32 %j
- store double %val1, double* %B_idx
- %C_idx = getelementptr inbounds double, double* %C, i32 %j
- store double %val2, double* %C_idx
+ %B_idx = getelementptr inbounds double, ptr %B, i32 %j
+ store double %val1, ptr %B_idx
+ %C_idx = getelementptr inbounds double, ptr %C, i32 %j
+ store double %val2, ptr %C_idx
br label %inc
inc:
@@ -67,7 +67,7 @@ return:
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]
; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_val2[] };
; CHECK-NEXT: Instructions {
-; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
+; CHECK-NEXT: %val1 = load double, ptr %A_idx, align 8
; CHECK-NEXT: %val2 = fadd double %val1, %val1
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_bodyB
@@ -79,16 +79,16 @@ return:
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_C[i0] };
; CHECK-NEXT: Instructions {
-; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
+; CHECK-NEXT: %val1 = load double, ptr %A_idx, align 8
; CHECK-NEXT: %val2 = fadd double %val1, %val1
-; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
-; CHECK-NEXT: store double %val1, double* %B_idx, align 8
-; CHECK-NEXT: store double %val2, double* %C_idx, align 8
+; CHECK-NEXT: %val1 = load double, ptr %A_idx, align 8
+; CHECK-NEXT: store double %val1, ptr %B_idx, align 8
+; CHECK-NEXT: store double %val2, ptr %C_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
-define void @func2(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B, double* noalias nonnull %C) {
+define void @func2(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B, ptr noalias nonnull %C) {
entry:
br label %for
@@ -98,16 +98,16 @@ for:
br i1 %j.cmp, label %bodyA, label %exit
bodyA:
- %A_idx = getelementptr inbounds double, double* %A, i32 %j
- %val1 = load double, double* %A_idx
+ %A_idx = getelementptr inbounds double, ptr %A, i32 %j
+ %val1 = load double, ptr %A_idx
%val2 = fadd double %val1, %val1
br label %bodyB
bodyB:
- %B_idx = getelementptr inbounds double, double* %B, i32 %j
- store double %val2, double* %B_idx
- %C_idx = getelementptr inbounds double, double* %C, i32 %j
- store double %val1, double* %C_idx
+ %B_idx = getelementptr inbounds double, ptr %B, i32 %j
+ store double %val2, ptr %B_idx
+ %C_idx = getelementptr inbounds double, ptr %C, i32 %j
+ store double %val1, ptr %C_idx
br label %inc
inc:
@@ -138,7 +138,7 @@ return:
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]
; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_val1[] };
; CHECK-NEXT: Instructions {
-; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
+; CHECK-NEXT: %val1 = load double, ptr %A_idx, align 8
; CHECK-NEXT: %val2 = fadd double %val1, %val1
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_bodyB
@@ -150,10 +150,10 @@ return:
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_C[i0] };
; CHECK-NEXT: Instructions {
-; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
-; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
+; CHECK-NEXT: %val1 = load double, ptr %A_idx, align 8
+; CHECK-NEXT: %val1 = load double, ptr %A_idx, align 8
; CHECK-NEXT: %val2 = fadd double %val1, %val1
-; CHECK-NEXT: store double %val2, double* %B_idx, align 8
-; CHECK-NEXT: store double %val1, double* %C_idx, align 8
+; CHECK-NEXT: store double %val2, ptr %B_idx, align 8
+; CHECK-NEXT: store double %val1, ptr %C_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }