[PATCH] D32331: Hoist loads known to be in bounds of allocations

[Philip Reames via Phabricator via llvm-commits]

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>