[PATCH] D90341: Use deref facts derived from minimum object size of allocations

[Philip Reames via Phabricator via llvm-commits]

reames updated this revision to Diff 304912.
reames added a comment.

Update to be conservative about whether allocation is a point in time fact or a globally established fact.  Technically, the attribute we need to clarify is actually allocsize itself, but deref is the one we have demonstrated progress on, so describe the problem in terms of that.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D90341/new/

https://reviews.llvm.org/D90341

Files:
  llvm/lib/Analysis/Loads.cpp
  llvm/test/Transforms/LoopVectorize/X86/load-deref-pred.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D90341.304912.patch
Type: text/x-patch
Size: 39436 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201112/974e71e8/attachment-0001.bin>