[PATCH] D70789: [Attributor] Remove dereferenceable_or_null when nonull is present

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Nov 28 11:13:08 PST 2019


lebedev.ri added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:2944-2947
     getAttrs({Attribute::Dereferenceable, Attribute::DereferenceableOrNull},
              Attrs);
     for (const Attribute &Attr : Attrs)
       takeKnownDerefBytesMaximum(Attr.getValueAsInt());
----------------
uenoku wrote:
> The max of deref(x) and deref_or_null(y) is taken here.
Cool, thanks, just checking :)


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

https://reviews.llvm.org/D70789





More information about the llvm-commits mailing list