[PATCH] D62766: [Attributor] Deduce "nosync" function attribute.

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1482-1484
+    This function attribute indicates that the function does not communicate
+    (synchronize) with another thread. If the function does ever synchronize
+    with another thread, the behavior is undefined.
----------------
This should mention that synchronization means through some kind of memory side-effect. This needs to be distinguished from a cross-lane operations, which could be interpreted as a kind of of synchronization where treating it as a memory dependence is not sufficient


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D62766