diff options
author | Tobias Grosser <tobias@grosser.es> | 2015-03-30 03:07:50 +0300 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2015-03-30 03:07:50 +0300 |
commit | aa660a99579ee12d48878a2c5d6076e86dd30b4f (patch) | |
tree | 2272780d01f18ee50db0fe102e128a50b58343fe /polly/test | |
parent | c420f84e63ee983d263b2ef00d0701f0cafc3cc8 (diff) |
Gist-simplify access relations in the context of domain constraints
This simplifies already one test case and is needed for upcoming improvements
to our delinearization.
llvm-svn: 233507
Diffstat (limited to 'polly/test')
-rw-r--r-- | polly/test/ScopInfo/NonAffine/non_affine_but_sdiv.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/test/ScopInfo/NonAffine/non_affine_but_sdiv.ll b/polly/test/ScopInfo/NonAffine/non_affine_but_sdiv.ll index 9a02041bd526..81c33e6d4c37 100644 --- a/polly/test/ScopInfo/NonAffine/non_affine_but_sdiv.ll +++ b/polly/test/ScopInfo/NonAffine/non_affine_but_sdiv.ll @@ -1,9 +1,9 @@ ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -analyze < %s | FileCheck %s ; ; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0] -; CHECK: [N] -> { Stmt_for_body[i0] -> MemRef_A[o0] : (N >= 0 and 5o0 >= -4 + N + 5i0 and 5o0 <= N + 5i0) or (N <= -1 and 5o0 >= N + 5i0 and 5o0 <= 4 + N + 5i0) }; +; CHECK: [N] -> { Stmt_for_body[i0] -> MemRef_A[o0] : 5o0 >= -4 + N + 5i0 and 5o0 <= N + 5i0 }; ; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0] -; CHECK: [N] -> { Stmt_for_body[i0] -> MemRef_A[o0] : (N <= 0 and 5o0 <= -N + 5i0 and 5o0 >= -4 - N + 5i0) or (N >= 1 and 5o0 <= 4 - N + 5i0 and 5o0 >= -N + 5i0) }; +; CHECK: [N] -> { Stmt_for_body[i0] -> MemRef_A[o0] : 5o0 <= 4 - N + 5i0 and 5o0 >= -N + 5i0 }; ; ; void f(int *A, int N) { ; for (int i = 0; i < N; i++) |