intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-23 07:58:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix polly tests after D79968.

Browse Source
This commit is contained in:
Eli Friedman
2020-05-15 15:15:09 -07:00
parent 675d5543d4
commit 1a6e4a2cf6
26 changed files with 39 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
polly/test/ForwardOpTree/forward_from_region.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_hoisted.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_instruction.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_load.ll
View File

@@ -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: }

6
polly/test/ForwardOpTree/forward_load_differentarray.ll
View File

@@ -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: }

4
polly/test/ForwardOpTree/forward_load_double_write.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_load_fromloop.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_load_indirect.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_load_memset_before.ll
View File

@@ -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: }

8
polly/test/ForwardOpTree/forward_load_tripleuse.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_load_unrelatedunusual.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_phi_load.ll
View File

@@ -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: }

4
polly/test/ForwardOpTree/forward_readonly.ll
View File

@@ -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: }

4
polly/test/ForwardOpTree/forward_store.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_synthesizable_definloop.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_synthesizable_indvar.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_synthesizable_useinloop.ll
View File

@@ -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: }

2
polly/test/ForwardOpTree/forward_transitive.ll
View File

@@ -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: }

4
polly/test/ScopInfo/granularity_scalar-indep.ll
View File

@@ -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: }

2
polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi1.ll
View File

@@ -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: }

2
polly/test/ScopInfo/granularity_scalar-indep_cross-referencing-phi2.ll
View File

@@ -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: }

2
polly/test/ScopInfo/granularity_scalar-indep_epilogue.ll
View File

@@ -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 :=

4
polly/test/ScopInfo/granularity_scalar-indep_epilogue_last.ll
View File

@@ -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: }

2
polly/test/ScopInfo/granularity_scalar-indep_noepilogue.ll
View File

@@ -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: }

6
polly/test/ScopInfo/granularity_scalar-indep_ordered-2.ll
View File

@@ -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: }

4
polly/test/ScopInfo/granularity_scalar-indep_ordered.ll
View File

@@ -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: }