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

Aditya Kumar via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 11 15:56:35 PDT 2023


hiraditya created this revision.
hiraditya added reviewers: eli.friedman, jdoerfert, fhahn.
Herald added a subscriber: StephenFan.
Herald added a project: All.
hiraditya requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

As mentioned in:
https://github.com/llvm/llvm-project/issues/45555#issuecomment-981029204


https://reviews.llvm.org/D157765

Files:
  llvm/docs/LangRef.rst


Index: llvm/docs/LangRef.rst
===================================================================
--- llvm/docs/LangRef.rst
+++ llvm/docs/LangRef.rst
@@ -1854,7 +1854,8 @@
       accessible by the current module (before return from the function -- an
       allocator function may return newly accessible memory while only
       accessing inaccessible memory itself). Inaccessible memory is often used
-      to model control dependencies of intrinsics.
+      to model control dependencies of intrinsics. Note that `inaccessiblemem`
+      implies `nosync`.
     - The default access kind (specified without a location prefix) applies to
       all locations that haven't been specified explicitly, including those that
       don't currently have a dedicated location kind (e.g. accesses to globals


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D157765.549540.patch
Type: text/x-patch
Size: 801 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230811/43f5f102/attachment.bin>


More information about the llvm-commits mailing list