summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/Loads.cpp
diff options
context:
space:
mode:
authorTom Stellard <thomas.stellard@amd.com>2016-10-28 15:32:28 +0000
committerTom Stellard <thomas.stellard@amd.com>2016-10-28 15:32:28 +0000
commit13068995b9c397a6cfcc6243fa47d1e8edad0f21 (patch)
tree928bca7e7cae3859211f2d1bc31ea6ff01f59502 /llvm/lib/Analysis/Loads.cpp
parentd01fcc71590c320b4c7d111876c81bd3adc3e230 (diff)
downloadbcm5719-llvm-13068995b9c397a6cfcc6243fa47d1e8edad0f21.tar.gz
bcm5719-llvm-13068995b9c397a6cfcc6243fa47d1e8edad0f21.zip
[Loads] Fix crash in is isDereferenceableAndAlignedPointer()
Summary: We were trying to add APInt values with different bit sizes after visiting an addrspacecast instruction which changed the bit width of the pointer. Reviewers: majnemer, hfinkel Subscribers: hfinkel, wdng, llvm-commits Differential Revision: https://reviews.llvm.org/D24774 llvm-svn: 285407
Diffstat (limited to 'llvm/lib/Analysis/Loads.cpp')
-rw-r--r--llvm/lib/Analysis/Loads.cpp7
1 files changed, 5 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/Loads.cpp b/llvm/lib/Analysis/Loads.cpp
index af7ccb9dfc9..e46541e6538 100644
--- a/llvm/lib/Analysis/Loads.cpp
+++ b/llvm/lib/Analysis/Loads.cpp
@@ -91,8 +91,11 @@ static bool isDereferenceableAndAlignedPointer(
// then the GEP (== Base + Offset == k_0 * Align + k_1 * Align) is also
// aligned to Align bytes.
- return isDereferenceableAndAlignedPointer(Base, Align, Offset + Size, DL,
- CtxI, DT, Visited);
+ // Offset and Size may have different bit widths if we have visited an
+ // addrspacecast, so we can't do arithmetic directly on the APInt values.
+ return isDereferenceableAndAlignedPointer(
+ Base, Align, Offset + Size.sextOrTrunc(Offset.getBitWidth()),
+ DL, CtxI, DT, Visited);
}
// For gc.relocate, look through relocations
OpenPOWER on IntegriCloud