[PATCH] D32006: Mark invariant.group.barrier as inaccessiblememonly

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a subscriber: homerdin.
hfinkel added a comment.

In https://reviews.llvm.org/D32006#1084474, @Prazek wrote:

> As I don't see if writeonly could help us in any way, and I am worried that in case:
>
> %a = launder(%p)
>  %b = launder(%p)
>
> %a could potentially be optimized away, even if it would have load of %a in beetween (because of inaccessiblememonly), so I will leave it like this for now.


I agree (and, in fact, @homerdin is working on that optimization, so this likely won't be theoretical for very long).


Repository:
  rL LLVM

https://reviews.llvm.org/D32006