[PATCH] D66272: [Attributor] Use structured deduction for AADereferenceable

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: uenoku, sstefan1.
Herald added subscribers: jfb, bollu, hiraditya.
Herald added a project: LLVM.

This is analogous to D66128 <https://reviews.llvm.org/D66128> but for AADereferenceable. We have the logic
concentrated in the floating value updateImpl and we use the combiner
helper classes for arguments and return values.

The regressions will go away with "on-demand" attribute creation.
Improvements are already visible in the existing tests.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D66272

Files:
  llvm/lib/Transforms/IPO/Attributor.cpp
  llvm/test/Transforms/FunctionAttrs/align.ll
  llvm/test/Transforms/FunctionAttrs/dereferenceable.ll
  llvm/test/Transforms/FunctionAttrs/noalias_returned.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D66272.215315.patch
Type: text/x-patch
Size: 16429 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190815/a3f63d54/attachment.bin>