[PATCH] D70714: [Attributor] Deduce dereferenceable based on accessed bytes map

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

And I think Attributor needs to run before InstCombine and after InstCombine too. InstCombine infers a lot of derefereceable attrs for libcalls but there is no pass to propagate info futher into function signature, etc.


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

https://reviews.llvm.org/D70714