[PATCH] D95815: [deref-at-point] restrict inference of dereferenceability based on allocsize attribute

[Philip Reames via Phabricator via llvm-commits]

reames updated this revision to Diff 333425.
reames retitled this revision from "(Corrrectly) support hoisting of loads following calls to noalias functions" to "[deref-at-point] restrict inference of dereferenceability based on allocsize attribute".
reames edited the summary of this revision.
reames added a reviewer: nikic.
reames added a comment.

Restrict scope further - only fix the existing latent issue w/allocsize.

(Good news, the weirdness from last night was human error.)


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

https://reviews.llvm.org/D95815

Files:
  llvm/include/llvm/IR/Value.h
  llvm/lib/Analysis/Loads.cpp
  llvm/lib/IR/Value.cpp
  llvm/test/Transforms/LICM/hoist-alloc.ll
  llvm/test/Transforms/LoopVectorize/X86/load-deref-pred.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D95815.333425.patch
Type: text/x-patch
Size: 23203 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210325/a0711a89/attachment.bin>