diff options
| author | Piotr Padlewski <piotr.padlewski@gmail.com> | 2018-04-08 13:53:04 +0000 |
|---|---|---|
| committer | Piotr Padlewski <piotr.padlewski@gmail.com> | 2018-04-08 13:53:04 +0000 |
| commit | 74b155fdf6ced6a135a07ca3c7f5361f910364b4 (patch) | |
| tree | 34c948e31f4c55f3d9487f67747f193fd235b2a9 /llvm/docs | |
| parent | 99c4e2f364bd774a03a4e50e8bae219a05f4cab4 (diff) | |
| download | bcm5719-llvm-74b155fdf6ced6a135a07ca3c7f5361f910364b4.tar.gz bcm5719-llvm-74b155fdf6ced6a135a07ca3c7f5361f910364b4.zip | |
Mark invariant.group as experimental
Differential Revision: https://reviews.llvm.org/D33235
llvm-svn: 329531
Diffstat (limited to 'llvm/docs')
| -rw-r--r-- | llvm/docs/LangRef.rst | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 8bef503abf9..963a66f0015 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -5313,7 +5313,8 @@ Irreducible loop header weights are typically based on profile data. '``invariant.group``' Metadata ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -The ``invariant.group`` metadata may be attached to ``load``/``store`` instructions. +The experimental ``invariant.group`` metadata may be attached to +``load``/``store`` instructions. The existence of the ``invariant.group`` metadata on the instruction tells the optimizer that every ``load`` and ``store`` to the same pointer operand within the same invariant group can be assumed to load or store the same @@ -5363,6 +5364,8 @@ to the SSA value of the pointer operand. ; if %x mustalias %y then we can replace the above instruction with %v = load i8, i8* %y +Note that this is an experimental feature, which means that its semantics might +change in the future. '``type``' Metadata ^^^^^^^^^^^^^^^^^^^ @@ -12923,7 +12926,8 @@ Overview: The '``llvm.invariant.group.barrier``' intrinsic can be used when an invariant established by invariant.group metadata no longer holds, to obtain a new pointer -value that does not carry the invariant information. +value that does not carry the invariant information. It is an experimental +intrinsic, which means that its semantics might change in the future. Arguments: |
