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

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

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

> Is it possible to add "writeonly"? I am not sure if it will help in any way, but the tests seems to be working it.


Yes, I think this makes sense. The model is that there's some side table holding the object type of all memory, and this barrier represents places where we might be updating that table to assign a different type. Right?


https://reviews.llvm.org/D32006