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

[Piotr Padlewski via Phabricator via llvm-commits]

Prazek added a comment.

In D109548#2997429 <https://reviews.llvm.org/D109548#2997429>, @jdoerfert wrote:

> volatile reads are considered write effects, IIRC: https://godbolt.org/z/73Tqjj4rc

But a volatile store is considered to read and write?
https://godbolt.org/z/hjr7hrscP

This one shows that function doing volatile store is not marked with writeonly, which adds to my point that in my understanding, writeonly function with identical arguments will store the same values (which means it can be CSEd)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109548