[PATCH] D157765: [llvm langref] inaccessiblemem implies nosync

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

`inaccessiblemem` takes an access "kinds" which changes the behavior a lot. Is `nosync` implied by `inaccessiblemem: none`, or by `inaccessiblemem: write`, or both?

That said, we have `nosync`, people should just add it. This patch would cause all places that interpret `nosync` to also look for other things, which is not helpful at all.
If you want this behavior w/o the complex semantic, add `nosync` to all intrinsics and known functions we have right now. The rest is deduction.


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

https://reviews.llvm.org/D157765