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

Sanjoy Das via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon May 8 08:28:51 PDT 2017


sanjoy added a comment.

In https://reviews.llvm.org/D32006#748700, @hfinkel wrote:

> 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?


If that is the model then barrier can't be both `writeonly` *and* `argmemonly`, since the side table is disjoint from the object.


https://reviews.llvm.org/D32006





More information about the llvm-commits mailing list