[PATCH] D64258: [InferFuncAttributes] extend 'dereferenceable' attribute based on loads

[Sanjay Patel via Phabricator via llvm-commits]

spatel updated this revision to Diff 208700.
spatel added a comment.
Herald added a subscriber: jfb.

Patch updated:

1. Used GetPointerBaseWithConstantOffset() to allow more complex pattern matching.
2. But limited that matching to cases where the argument and access have the same size to reduce complexity.
3. Generalized variable names and comments to allow less churn for follow-up enhancements.
4. Added tests with multiple dereferenceable arguments, pointer casts, and negative offsets.


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

https://reviews.llvm.org/D64258

Files:
  clang/test/CodeGen/ms-intrinsics.c
  clang/test/CodeGen/systemz-inline-asm.c
  llvm/lib/Transforms/IPO/InferFunctionAttrs.cpp
  llvm/test/CodeGen/AMDGPU/inline-attr.ll
  llvm/test/Transforms/InferFunctionAttrs/dereferenceable.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D64258.208700.patch
Type: text/x-patch
Size: 15956 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190709/5e4fef8c/attachment.bin>