[PATCH] D109548: Make llvm.launder.invariant.group writeonly

[Piotr Padlewski via Phabricator via llvm-commits]

Prazek added a comment.

In D109548#2993926 <https://reviews.llvm.org/D109548#2993926>, @nikic wrote:

> Do you have any examples of where this is relevant in practice?
>
> The change looks sound to me, but should probably apply to all intrinsics that exist to model control dependence, i.e. assume, noalias.scope.decl, annotation etc.

+1, it is nice to propagate more function attributes, but I am not sure if it is going go give us much.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109548