diff options
| author | Tobias Grosser <tobias@grosser.es> | 2016-07-21 07:12:17 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2016-07-21 07:12:17 +0000 |
| commit | 903eefd1f22dfbbbf2443274d27ae93af60fd146 (patch) | |
| tree | 0d37cd374afbae5e897e65367be97837a407ca6c /polly/test/Isl/CodeGen/MemAccess/update_access_functions.ll | |
| parent | 9ea152714ae00f036510b97d24dcd3e151f80f4f (diff) | |
| download | bcm5719-llvm-903eefd1f22dfbbbf2443274d27ae93af60fd146.tar.gz bcm5719-llvm-903eefd1f22dfbbbf2443274d27ae93af60fd146.zip | |
tests: fix order of memory accesses to ensure import succeeds
It seems the order in which we generated memory accesses changed such that
the import of these updated memory accesses failed for the 'loop3' statement
in this test case. Unfortunately, the existing CHECK lines were not strict
enough to catch this. Hence, besides fixing the order of the memory access
lines we also ensure that the memory access changes are both clearly visibly
and well checked.
llvm-svn: 276247
Diffstat (limited to 'polly/test/Isl/CodeGen/MemAccess/update_access_functions.ll')
| -rw-r--r-- | polly/test/Isl/CodeGen/MemAccess/update_access_functions.ll | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/polly/test/Isl/CodeGen/MemAccess/update_access_functions.ll b/polly/test/Isl/CodeGen/MemAccess/update_access_functions.ll index 63f2edac0f9..4c1b398db16 100644 --- a/polly/test/Isl/CodeGen/MemAccess/update_access_functions.ll +++ b/polly/test/Isl/CodeGen/MemAccess/update_access_functions.ll @@ -2,14 +2,22 @@ ; RUN: -polly-import-jscop-postfix=transformed -polly-codegen \ ; RUN: < %s -S | FileCheck %s -; CHECK: polly.stmt.loop2: -; CHECK-NEXT: %polly.access.A = getelementptr double, double* %A, i64 42 -; CHECK-NEXT: %val_p_scalar_ = load double, double* %polly.access.A +; CHECK-LABEL: polly.stmt.loop1: +; CHECK-NEXT: %3 = mul nsw i64 5, %polly.indvar +; CHECK-NEXT: %4 = sub nsw i64 %3, 10 +; CHECK-NEXT: %polly.access.A = getelementptr double, double* %A, i64 %4 +; CHECK-NEXT: store double 4.200000e+01, double* %polly.access.A, align 8 -; CHECK: polly.stmt.loop3: +; CHECK-LABEL: polly.stmt.loop2: +; CHECK-NEXT: %polly.access.A10 = getelementptr double, double* %A, i64 42 +; CHECK-NEXT: %val_p_scalar_ = load double, double* %polly.access.A10, align 8 + +; CHECK-LABEL: polly.stmt.loop3: ; CHECK-NEXT: %val.s2a.reload = load double, double* %val.s2a -; CHECK-NEXT: %scevgep[[R21:[0-9]*]] = getelementptr double, double* %scevgep{{[0-9]*}}, i64 %polly.indvar16 -; CHECK-NEXT: store double %val.s2a.reload, double* %scevgep[[R21]] +; CHECK-NEXT: %7 = mul nsw i64 13, %polly.indvar16 +; CHECK-NEXT: %8 = add nsw i64 %7, 5 +; CHECK-NEXT: %polly.access.A20 = getelementptr double, double* %A, i64 %8 +; CHECK-NEXT: store double %val.s2a.reload, double* %polly.access.A20, align 8, target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
