diff options
| author | jofrn <jofernau@amd.com> | 2024-11-25 15:05:53 -0500 |
|---|---|---|
| committer | jofrn <jofernau@amd.com> | 2024-12-18 03:24:49 -0500 |
| commit | 202adf98584945edca4cf29ad5e325f38c36b197 (patch) | |
| tree | 82d11970b02d381fc97841cdf2e9909bdc4fcb53 /llvm/docs/LangRef.rst | |
| parent | e532241b021cd48bad303721757c1194bc844775 (diff) | |
| download | llvm-users/jofrn/spr/main/df9b38fd.zip llvm-users/jofrn/spr/main/df9b38fd.tar.gz llvm-users/jofrn/spr/main/df9b38fd.tar.bz2 | |
[Verifier] Allow vector type in atomic load and storeusers/jofrn/spr/main/df9b38fd
Vector types on atomics are assumed to be invalid by the verifier. However,
this type can be valid if it is lowered by codegen.
commit-id:df9b38fd
Diffstat (limited to 'llvm/docs/LangRef.rst')
| -rw-r--r-- | llvm/docs/LangRef.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 7e01331..eb85604 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -10956,8 +10956,8 @@ If the ``load`` is marked as ``atomic``, it takes an extra :ref:`ordering <ordering>` and optional ``syncscope("<target-scope>")`` argument. The ``release`` and ``acq_rel`` orderings are not valid on ``load`` instructions. Atomic loads produce :ref:`defined <memmodel>` results when they may see -multiple atomic stores. The type of the pointee must be an integer, pointer, or -floating-point type whose bit width is a power of two greater than or equal to +multiple atomic stores. The type of the pointee must be an integer, pointer, +floating-point, or vector type whose bit width is a power of two greater than or equal to eight and less than or equal to a target-specific size limit. ``align`` must be explicitly specified on atomic loads. Note: if the alignment is not greater or equal to the size of the `<value>` type, the atomic operation is likely to @@ -11097,8 +11097,8 @@ If the ``store`` is marked as ``atomic``, it takes an extra :ref:`ordering <ordering>` and optional ``syncscope("<target-scope>")`` argument. The ``acquire`` and ``acq_rel`` orderings aren't valid on ``store`` instructions. Atomic loads produce :ref:`defined <memmodel>` results when they may see -multiple atomic stores. The type of the pointee must be an integer, pointer, or -floating-point type whose bit width is a power of two greater than or equal to +multiple atomic stores. The type of the pointee must be an integer, pointer, +floating-point, or vector type whose bit width is a power of two greater than or equal to eight and less than or equal to a target-specific size limit. ``align`` must be explicitly specified on atomic stores. Note: if the alignment is not greater or equal to the size of the `<value>` type, the atomic operation is likely to |