[PATCH 03/38] [noalias] LangRef: remove obsolete documentation of rebased D9375

[jeroen.dobbelaere]

Summary

This is part of the series started by D68484.

This patch removes the obsolete documentation brought in by D68485.

[jeroen.dobbelaere]

Rebased

[jeroen.dobbelaere]

For review convenience, all changes related to the original local restrict patches have now been incorporated in the full restrict patch series.

llvm/docs/LangRef.rst

 
 The ``llvm.ssa_copy`` intrinsic can be used to attach information to
 operations by copying them and giving them new names.  For example,
 the PredicateInfo utility uses it to build Extended SSA form, and
 attach various forms of information to operands that dominate specific
 uses.  It is not meant for general use, only for building temporary
 renaming forms that require value splits at certain points.
 
-.. _int_noalias:
-
-'``llvm.noalias``' Intrinsic
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-
-Syntax:
-"""""""
-
-::
-
-      declare <type>* @llvm.noalias.p<address space><type>(<type>* %ptr, metadata %scopes)
-
-Overview:
-"""""""""
-
-``llvm.noalias`` allows the optimizer to assume that memory accesses using
-pointers :ref:`based <pointeraliasing>` on the return value don't alias with
-memory accesses, tagged with the provided ``noalias`` scope, using pointers not
-derived from the return value.
-
-Arguments:
-""""""""""
-
-The first argument is the pointer on which the aliasing assumption is being
-placed. This pointer value is returned, but parts of the optimizer ignore this
-fact so that data dependencies on the return value will be maintained. The
-aliasing assumptions apply only to uses of pointers
-:ref:`based <pointeraliasing>` on the return value.
-
-The second argument is metadata that is a list of ``noalias`` metadata
-references. The format is identical to that required for ``noalias`` metadata.
-This list should have only one element.
-
-Semantics:
-""""""""""
-
-``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
-provided to the intrinsic must be one of the scopes with which the access is
-tagged), using pointers not based on the return value.  See the description of
-``alias.scope`` and ``noalias`` metadata for more information. The aliasing
-assumptions apply only to uses of pointers based on the return value, and
-accesses using those pointers must themselves be tagged with ``noalias``
-metadata with compatible scopes.
-
-Unlike ``alias.scope`` metadata, which applies to only the access to which it
-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
-with uses of a pointer in any loop iteration. This works only if the
-``llvm.noalias`` intrinsic itself dominates the loop body.
-
-Note that the use of ``alias.scope`` metadata does not block potential
-optimizations, as ``llvm.noalias`` might, and so use of  ``alias.scope``
-metadata when possible is recommended. Nevertheless, no code is generated for
-this intrinsic.
-
 .. _type.test:
 
 '``llvm.type.test``' Intrinsic
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 Syntax:
 """""""