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

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

xbolva00 added a comment.

In D147704#4322809 <https://reviews.llvm.org/D147704#4322809>, @nikic wrote:

> @xbolva00 Could you please explain what the larger context here is? Which frontend generates nonnull on call-site only?

I was working on something else and I then found testcases in https://github.com/llvm/llvm-project/blob/ca42cd3e1264f8b44304019da07b6059a610fd24/llvm/test/Transforms/Inline/nonnull.ll#L75 and I was experimenting why some combinations of nonnull attribute placements work and some do not. I am not aware of such frontend, indeed. I was wondering if frontend or midend passes in some cases / contexts could add additional nonnull call site attribute to preserve knowledge. Currently I am only aware of added attributes on call sites with C libcalls by SimplifyLibCalls, so probably I have no real motivation case.


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

https://reviews.llvm.org/D147704