[PATCH] D147704: [Inliner] Preserve nonnull from callsites during inlining

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

xbolva00 added a comment.

>> Something "cheap" we could do is attach nonnull attributes to arguments of inlined calls, when appropriate.

Lets assume following example:
https://godbolt.org/z/TY9h1PYqY

Clearly we fail to eliminate the "is not null" comparison and we have the attached nonnull attribute on the passed argument.
Can you please explain your approach more in details?


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

https://reviews.llvm.org/D147704