[PATCH] D32331: Hoist loads known to be in bounds of allocations
Philip Reames via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 20 18:06:37 PDT 2017
reames created this revision.
Herald added a subscriber: mcrosier.
Extend the dereferenceability analysis to exploit our existing implementation for computing a minimal object size. If we can tell we're within a known allocation, we can speculate the load without changing dereferenceability. This does assume that allocations are dereferenceable within their entire extend, but that seems like an entirely reasonable definition. (It also appears to be true of the existing code.)
https://reviews.llvm.org/D32331
Files:
lib/Analysis/Loads.cpp
test/Transforms/LICM/hoisting.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D32331.96068.patch
Type: text/x-patch
Size: 3419 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170421/09a451ca/attachment.bin>
More information about the llvm-commits
mailing list