diff options
author | Eli Friedman <efriedma@quicinc.com> | 2020-05-16 17:55:18 -0700 |
---|---|---|
committer | Eli Friedman <efriedma@quicinc.com> | 2020-05-20 16:37:20 -0700 |
commit | f26bdb539e8acef23e2a0370408521a6458001ee (patch) | |
tree | 858d012071872321fd2f4417bd10e90b6c414a33 /polly | |
parent | 770ba4f0516e9af7279767ae90e283c3755c0c97 (diff) | |
download | llvm-f26bdb539e8acef23e2a0370408521a6458001ee.zip llvm-f26bdb539e8acef23e2a0370408521a6458001ee.tar.gz llvm-f26bdb539e8acef23e2a0370408521a6458001ee.tar.bz2 |
Make Value::getPointerAlignment() return an Align, not a MaybeAlign.
If we don't know anything about the alignment of a pointer, Align(1) is
still correct: all pointers are at least 1-byte aligned.
Included in this patch is a bugfix for an issue discovered during this
cleanup: pointers with "dereferenceable" attributes/metadata were
assumed to be aligned according to the type of the pointer. This
wasn't intentional, as far as I can tell, so Loads.cpp was fixed to
stop making this assumption. Frontends may need to be updated. I
updated clang's handling of C++ references, and added a release note for
this.
Differential Revision: https://reviews.llvm.org/D80072
Diffstat (limited to 'polly')
-rw-r--r-- | polly/test/ScopInfo/invariant_load_dereferenceable.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/test/ScopInfo/invariant_load_dereferenceable.ll b/polly/test/ScopInfo/invariant_load_dereferenceable.ll index 420bbfe..dbc56a1 100644 --- a/polly/test/ScopInfo/invariant_load_dereferenceable.ll +++ b/polly/test/ScopInfo/invariant_load_dereferenceable.ll @@ -17,7 +17,7 @@ ; CHECK-NOT: Function: foo_undereferanceable -define void @foo_dereferanceable(double* %A, double* %B, i64* dereferenceable(8) %sizeA_ptr, +define void @foo_dereferanceable(double* %A, double* %B, i64* dereferenceable(8) align 8 %sizeA_ptr, i32 %lb.i, i32 %lb.j, i32 %ub.i, i32 %ub.j) { entry: br label %for.i |