[PATCH] D9375: An llvm.noalias intrinsic

[Nicolai Hähnle via Phabricator via llvm-commits]

nhaehnle added inline comments.


================
Comment at: docs/LangRef.rst:13883
+``llvm.noalias`` allows the optimizer to assume that memory accesses using
+pointers :ref:`based <pointeraliasing>` on from the return value don't alias
+with memory accesses, tagged with compatible ``noalias`` scopes (i.e. the scope
----------------
-from


================
Comment at: docs/LangRef.rst:13894
+is attached, the ``llvm.noalias`` intrinsic applies to all pointers based on
+from the return value. Placing an ``llvm.noalias`` intrinsic outside of a loop
+provides a mechanism for communicating that certain memory accesses don't alias
----------------
-from


https://reviews.llvm.org/D9375