[polly] 1a6e4a2 - Fix polly tests after D79968.
Eli Friedman via llvm-commits
llvm-commits at lists.llvm.org
Fri May 15 15:15:36 PDT 2020
Author: Eli Friedman
Date: 2020-05-15T15:15:09-07:00
New Revision: 1a6e4a2cf68b6cd6f3e18200b437a8317f653d95
URL: https://github.com/llvm/llvm-project/commit/1a6e4a2cf68b6cd6f3e18200b437a8317f653d95
DIFF: https://github.com/llvm/llvm-project/commit/1a6e4a2cf68b6cd6f3e18200b437a8317f653d95.diff
LOG: Fix polly tests after D79968.
Added:
Modified:
polly/test/ForwardOpTree/forward_from_region.ll
polly/test/ForwardOpTree/forward_hoisted.ll
polly/test/ForwardOpTree/forward_instruction.ll
polly/test/ForwardOpTree/forward_load.ll
polly/test/ForwardOpTree/forward_load_differentarray.ll
polly/test/ForwardOpTree/forward_load_double_write.ll
polly/test/ForwardOpTree/forward_load_fromloop.ll
polly/test/ForwardOpTree/forward_load_indirect.ll
polly/test/ForwardOpTree/forward_load_memset_before.ll
polly/test/ForwardOpTree/forward_load_tripleuse.ll
polly/test/ForwardOpTree/forward_load_unrelatedunusual.ll
polly/test/ForwardOpTree/forward_phi_load.ll
polly/test/ForwardOpTree/forward_readonly.ll
polly/test/ForwardOpTree/forward_store.ll
polly/test/ForwardOpTree/forward_synthesizable_definloop.ll
polly/test/ForwardOpTree/forward_synthesizable_indvar.ll
polly/test/ForwardOpTree/forward_synthesizable_useinloop.ll
polly/test/ForwardOpTree/forward_transitive.ll
polly/test/ScopInfo/granularity_scalar-indep.ll
polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi1.ll
polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi2.ll
polly/test/ScopInfo/granularity_scalar-indep_epilogue.ll
polly/test/ScopInfo/granularity_scalar-indep_epilogue_last.ll
polly/test/ScopInfo/granularity_scalar-indep_noepilogue.ll
polly/test/ScopInfo/granularity_scalar-indep_ordered-2.ll
polly/test/ScopInfo/granularity_scalar-indep_ordered.ll
Removed:
################################################################################
diff --git a/polly/test/ForwardOpTree/forward_from_region.ll b/polly/test/ForwardOpTree/forward_from_region.ll
index 351758cffe94..5621b510a197 100644
--- a/polly/test/ForwardOpTree/forward_from_region.ll
+++ b/polly/test/ForwardOpTree/forward_from_region.ll
@@ -72,7 +72,7 @@ return:
; CHECK: [n] -> { Stmt_bodyB[i0] -> MemRef_A[0] };
; CHECK: Instructions {
; CHECK: %val = fadd double 2.100000e+01, 2.100000e+01
-; CHECK: store double %val, double* %A
+; CHECK: store double %val, double* %A, align 8
; CHECK: }
; CHECK: }
diff --git a/polly/test/ForwardOpTree/forward_hoisted.ll b/polly/test/ForwardOpTree/forward_hoisted.ll
index fd7956cb2c1d..9520745182eb 100644
--- a/polly/test/ForwardOpTree/forward_hoisted.ll
+++ b/polly/test/ForwardOpTree/forward_hoisted.ll
@@ -60,6 +60,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val2 = fadd double %val1, 2.100000e+01
-; CHECK-NEXT: store double %val2, double* %A
+; CHECK-NEXT: store double %val2, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_instruction.ll b/polly/test/ForwardOpTree/forward_instruction.ll
index 4180ca231b6a..81f450a5c70b 100644
--- a/polly/test/ForwardOpTree/forward_instruction.ll
+++ b/polly/test/ForwardOpTree/forward_instruction.ll
@@ -57,6 +57,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = fadd double 2.100000e+01, 2.100000e+01
-; CHECK-NEXT: store double %val, double* %A
+; CHECK-NEXT: store double %val, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load.ll b/polly/test/ForwardOpTree/forward_load.ll
index fb48a1035bc4..f3cb6732398c 100644
--- a/polly/test/ForwardOpTree/forward_load.ll
+++ b/polly/test/ForwardOpTree/forward_load.ll
@@ -55,5 +55,5 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
-; CHECK-NEXT: store double %val, double* %A_idx
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load_
diff erentarray.ll b/polly/test/ForwardOpTree/forward_load_
diff erentarray.ll
index ec9e606abd10..b2adcf23fc4c 100644
--- a/polly/test/ForwardOpTree/forward_load_
diff erentarray.ll
+++ b/polly/test/ForwardOpTree/forward_load_
diff erentarray.ll
@@ -77,8 +77,8 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_C[i0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
-; CHECK-NEXT: store double 0.000000e+00, double* %B_idx
-; CHECK-NEXT: store double %val, double* %C_idx
+; CHECK-NEXT: store double 0.000000e+00, double* %B_idx, align 8
+; CHECK-NEXT: store double %val, double* %C_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_bodyC
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
@@ -88,6 +88,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_A[i0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
-; CHECK-NEXT: store double %val, double* %A_idx
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load_double_write.ll b/polly/test/ForwardOpTree/forward_load_double_write.ll
index 2ffebd99b446..0965da3314f0 100644
--- a/polly/test/ForwardOpTree/forward_load_double_write.ll
+++ b/polly/test/ForwardOpTree/forward_load_double_write.ll
@@ -51,6 +51,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
-; CHECK-NEXT: store double %val, double* %A_idx
-; CHECK-NEXT: store double %val, double* %A_idx
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load_fromloop.ll b/polly/test/ForwardOpTree/forward_load_fromloop.ll
index bac55ee5781f..9717fe96df54 100644
--- a/polly/test/ForwardOpTree/forward_load_fromloop.ll
+++ b/polly/test/ForwardOpTree/forward_load_fromloop.ll
@@ -72,6 +72,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
-; CHECK-NEXT: store double %val, double* %A_idx
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load_indirect.ll b/polly/test/ForwardOpTree/forward_load_indirect.ll
index 2cb4d50f0136..dc73a47f99df 100644
--- a/polly/test/ForwardOpTree/forward_load_indirect.ll
+++ b/polly/test/ForwardOpTree/forward_load_indirect.ll
@@ -70,6 +70,6 @@ return:
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
; CHECK-NEXT: %add = fadd double %val, 4.200000e+01
-; CHECK-NEXT: store double %add, double* %A_idx
+; CHECK-NEXT: store double %add, double* %A_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load_memset_before.ll b/polly/test/ForwardOpTree/forward_load_memset_before.ll
index 934c0a7c7c6f..0b813a15fa28 100644
--- a/polly/test/ForwardOpTree/forward_load_memset_before.ll
+++ b/polly/test/ForwardOpTree/forward_load_memset_before.ll
@@ -76,6 +76,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_A[o0] : 8i0 <= o0 <= 7 + 8i0 };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
-; CHECK-NEXT: store double %val, double* %A_idx
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load_tripleuse.ll b/polly/test/ForwardOpTree/forward_load_tripleuse.ll
index 6bef97ccd596..2567a552a952 100644
--- a/polly/test/ForwardOpTree/forward_load_tripleuse.ll
+++ b/polly/test/ForwardOpTree/forward_load_tripleuse.ll
@@ -83,8 +83,8 @@ return:
; CHECK-NEXT: %val1 = load double, double* %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
-; CHECK-NEXT: store double %val2, double* %C_idx
+; CHECK-NEXT: store double %val1, double* %B_idx, align 8
+; CHECK-NEXT: store double %val2, double* %C_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
@@ -155,7 +155,7 @@ return:
; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
; CHECK-NEXT: %val1 = load double, double* %A_idx, align 8
; CHECK-NEXT: %val2 = fadd double %val1, %val1
-; CHECK-NEXT: store double %val2, double* %B_idx
-; CHECK-NEXT: store double %val1, double* %C_idx
+; CHECK-NEXT: store double %val2, double* %B_idx, align 8
+; CHECK-NEXT: store double %val1, double* %C_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_load_unrelatedunusual.ll b/polly/test/ForwardOpTree/forward_load_unrelatedunusual.ll
index 16a2699331db..10a28b67db06 100644
--- a/polly/test/ForwardOpTree/forward_load_unrelatedunusual.ll
+++ b/polly/test/ForwardOpTree/forward_load_unrelatedunusual.ll
@@ -60,5 +60,5 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = load double, double* %B_idx, align 8
-; CHECK-NEXT: store double %val, double* %A_idx
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_phi_load.ll b/polly/test/ForwardOpTree/forward_phi_load.ll
index 8edcfa6af1bf..dc0a7b1f091c 100644
--- a/polly/test/ForwardOpTree/forward_phi_load.ll
+++ b/polly/test/ForwardOpTree/forward_phi_load.ll
@@ -77,6 +77,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_phi[] };
; CHECK-NEXT: new: [n] -> { Stmt_bodyC[i0] -> MemRef_B[i0] };
; CHECK-NEXT: Instructions {
-; CHECK-NEXT: store double %phi, double* %A_idx
+; CHECK-NEXT: store double %phi, double* %A_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_readonly.ll b/polly/test/ForwardOpTree/forward_readonly.ll
index ca514cfc6062..215af70d1573 100644
--- a/polly/test/ForwardOpTree/forward_readonly.ll
+++ b/polly/test/ForwardOpTree/forward_readonly.ll
@@ -63,7 +63,7 @@ return:
; MODEL-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_arg[] };
; MODEL-NEXT: Instructions {
; MODEL-NEXT: %val = fadd double %arg, 2.100000e+01
-; MODEL-NEXT: store double %val, double* %A
+; MODEL-NEXT: store double %val, double* %A, align 8
; MODEL-NEXT: }
; MODEL-NEXT: }
@@ -79,6 +79,6 @@ return:
; NOMODEL-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[0] };
; NOMODEL-NEXT: Instructions {
; NOMODEL-NEXT: %val = fadd double %arg, 2.100000e+01
-; NOMODEL-NEXT: store double %val, double* %A
+; NOMODEL-NEXT: store double %val, double* %A, align 8
; NOMODEL-NEXT: }
; NOMODEL-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_store.ll b/polly/test/ForwardOpTree/forward_store.ll
index 96a91cf29fdb..cc1137122178 100644
--- a/polly/test/ForwardOpTree/forward_store.ll
+++ b/polly/test/ForwardOpTree/forward_store.ll
@@ -59,7 +59,7 @@ attributes #0 = { nounwind readnone }
; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_val[] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = call double @f()
-; CHECK-NEXT: store double %val, double* %A_idx
+; CHECK-NEXT: store double %val, double* %A_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_bodyB
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
@@ -68,6 +68,6 @@ attributes #0 = { nounwind readnone }
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_val[] };
; CHECK-NEXT: new: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
; CHECK-NEXT: Instructions {
-; CHECK-NEXT: store double %val, double* %B_idx
+; CHECK-NEXT: store double %val, double* %B_idx, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_synthesizable_definloop.ll b/polly/test/ForwardOpTree/forward_synthesizable_definloop.ll
index 05d375a9a75b..26ffd7f6dd29 100644
--- a/polly/test/ForwardOpTree/forward_synthesizable_definloop.ll
+++ b/polly/test/ForwardOpTree/forward_synthesizable_definloop.ll
@@ -75,6 +75,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = sitofp i32 %i to double
-; CHECK-NEXT: store double %val, double* %A
+; CHECK-NEXT: store double %val, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_synthesizable_indvar.ll b/polly/test/ForwardOpTree/forward_synthesizable_indvar.ll
index b034cd1a5ae2..81aaeafdc859 100644
--- a/polly/test/ForwardOpTree/forward_synthesizable_indvar.ll
+++ b/polly/test/ForwardOpTree/forward_synthesizable_indvar.ll
@@ -57,6 +57,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = sitofp i32 %j to double
-; CHECK-NEXT: store double %val, double* %A
+; CHECK-NEXT: store double %val, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_synthesizable_useinloop.ll b/polly/test/ForwardOpTree/forward_synthesizable_useinloop.ll
index c43787d8a582..24b3ecda8745 100644
--- a/polly/test/ForwardOpTree/forward_synthesizable_useinloop.ll
+++ b/polly/test/ForwardOpTree/forward_synthesizable_useinloop.ll
@@ -75,6 +75,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyB[i0, i1] -> MemRef_A[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val = sitofp i32 %j to double
-; CHECK-NEXT: store double %val, double* %A
+; CHECK-NEXT: store double %val, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ForwardOpTree/forward_transitive.ll b/polly/test/ForwardOpTree/forward_transitive.ll
index b45b46621165..b3a44b924879 100644
--- a/polly/test/ForwardOpTree/forward_transitive.ll
+++ b/polly/test/ForwardOpTree/forward_transitive.ll
@@ -72,6 +72,6 @@ return:
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %val1 = fadd double 1.250000e+01, 1.250000e+01
; CHECK-NEXT: %val2 = fadd double %val1, 2.100000e+01
-; CHECK-NEXT: store double %val2, double* %A
+; CHECK-NEXT: store double %val2, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ScopInfo/granularity_scalar-indep.ll b/polly/test/ScopInfo/granularity_scalar-indep.ll
index 73c6a0025844..2bf0893cc6b7 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep.ll
@@ -52,7 +52,7 @@ return:
; CHECK-NEXT: [n] -> { Stmt_body[i0] -> MemRef_A[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = load double, double* %A, align 8
-; CHECK-NEXT: store double %valA, double* %A
+; CHECK-NEXT: store double %valA, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_body_b
; CHECK-NEXT: Domain :=
@@ -63,6 +63,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_body_b[i0] -> MemRef_B[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valB = fadd double 2.100000e+01, 2.100000e+01
-; CHECK-NEXT: store double %valB, double* %B
+; CHECK-NEXT: store double %valB, double* %B, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi1.ll b/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi1.ll
index 85b499aa2e5f..b2929f595107 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi1.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi1.ll
@@ -57,6 +57,6 @@ return:
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = phi double [ 4.200000e+01, %entry ], [ %valB, %for ]
; CHECK-NEXT: %valB = phi double [ 2.100000e+01, %entry ], [ %valA, %for ]
-; CHECK-NEXT: store double %valA, double* %A
+; CHECK-NEXT: store double %valA, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi2.ll b/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi2.ll
index f792911af296..a9ffe7afce40 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi2.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi2.ll
@@ -58,7 +58,7 @@ return:
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = phi double [ 4.200000e+01, %entry ], [ %valB, %for ]
; CHECK-NEXT: %valB = phi double [ 2.100000e+01, %entry ], [ %add, %for ]
-; CHECK-NEXT: store double %valB, double* %A
+; CHECK-NEXT: store double %valB, double* %A, align 8
; CHECK-NEXT: %add = fadd double %valA, 1.000000e-01
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ScopInfo/granularity_scalar-indep_epilogue.ll b/polly/test/ScopInfo/granularity_scalar-indep_epilogue.ll
index ec2c3f885c4b..fb6b3b93574b 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep_epilogue.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep_epilogue.ll
@@ -54,7 +54,7 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_A[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = load double, double* %A, align 8
-; CHECK-NEXT: store double %valA, double* %A
+; CHECK-NEXT: store double %valA, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_bodyA_last
; CHECK-NEXT: Domain :=
diff --git a/polly/test/ScopInfo/granularity_scalar-indep_epilogue_last.ll b/polly/test/ScopInfo/granularity_scalar-indep_epilogue_last.ll
index a84dc29d5c9b..0240bb62e873 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep_epilogue_last.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep_epilogue_last.ll
@@ -60,7 +60,7 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_phi__phi[] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = load double, double* %A, align 8
-; CHECK-NEXT: store double %valA, double* %A
+; CHECK-NEXT: store double %valA, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_bodyA_b
; CHECK-NEXT: Domain :=
@@ -73,6 +73,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyA_b[i0] -> MemRef_B[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valB = load double, double* %B, align 8
-; CHECK-NEXT: store double %valB, double* %B
+; CHECK-NEXT: store double %valB, double* %B, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ScopInfo/granularity_scalar-indep_noepilogue.ll b/polly/test/ScopInfo/granularity_scalar-indep_noepilogue.ll
index 01da1222a3e5..81cad266396f 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep_noepilogue.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep_noepilogue.ll
@@ -56,6 +56,6 @@ return:
; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_phi__phi[] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = load double, double* %A, align 8
-; CHECK-NEXT: store double %valA, double* %A
+; CHECK-NEXT: store double %valA, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ScopInfo/granularity_scalar-indep_ordered-2.ll b/polly/test/ScopInfo/granularity_scalar-indep_ordered-2.ll
index 0c5559382670..4ed2b264a76f 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep_ordered-2.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep_ordered-2.ll
@@ -56,7 +56,7 @@ return:
; CHECK-NEXT: [n] -> { Stmt_body[i0] -> MemRef_Y[0] };
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valX = load double, double* %X, align 8
-; CHECK-NEXT: store double %valX, double* %Y
+; CHECK-NEXT: store double %valX, double* %Y, align 8
; CHECK-NEXT: }
; CHECK-NEXT: Stmt_body_b
; CHECK-NEXT: Domain :=
@@ -74,7 +74,7 @@ return:
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = load double, double* %A, align 8
; CHECK-NEXT: %valB = load double, double* %B, align 8
-; CHECK-NEXT: store double %valA, double* %A
-; CHECK-NEXT: store double %valB, double* %A
+; CHECK-NEXT: store double %valA, double* %A, align 8
+; CHECK-NEXT: store double %valB, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
diff --git a/polly/test/ScopInfo/granularity_scalar-indep_ordered.ll b/polly/test/ScopInfo/granularity_scalar-indep_ordered.ll
index 30aca3d5c4e5..cf456b4a4dd6 100644
--- a/polly/test/ScopInfo/granularity_scalar-indep_ordered.ll
+++ b/polly/test/ScopInfo/granularity_scalar-indep_ordered.ll
@@ -56,7 +56,7 @@ return:
; CHECK-NEXT: Instructions {
; CHECK-NEXT: %valA = load double, double* %A, align 8
; CHECK-NEXT: %valB = load double, double* %B, align 8
-; CHECK-NEXT: store double %valA, double* %A
-; CHECK-NEXT: store double %valB, double* %A
+; CHECK-NEXT: store double %valA, double* %A, align 8
+; CHECK-NEXT: store double %valB, double* %A, align 8
; CHECK-NEXT: }
; CHECK-NEXT: }
More information about the llvm-commits
mailing list