Skip to content

[LangRef] Revisit attributes semantics after opaque ptr migration (NFC) #146846

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 3, 2025
Merged

[LangRef] Revisit attributes semantics after opaque ptr migration (NFC) #146846

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 5 additions & 9 deletions llvm/docs/LangRef.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1234,8 +1234,7 @@ Currently, only the following parameter attributes are defined:
``byval`` parameters). This is not a valid attribute for return
values.

The byval type argument indicates the in-memory value type, and
must be the same as the pointee type of the argument.
The byval type argument indicates the in-memory value type.

The byval attribute also supports specifying an alignment with the
align attribute. It indicates the alignment of the stack slot to
Expand Down Expand Up @@ -1283,8 +1282,7 @@ Currently, only the following parameter attributes are defined:
any parameter must have a ``"preallocated"`` operand bundle. A ``musttail``
function call cannot have a ``"preallocated"`` operand bundle.

The preallocated attribute requires a type argument, which must be
the same as the pointee type of the argument.
The preallocated attribute requires a type argument.

The preallocated attribute also supports specifying an alignment with the
align attribute. It indicates the alignment of the stack slot to
Expand Down Expand Up @@ -1318,8 +1316,7 @@ Currently, only the following parameter attributes are defined:
must be cleared off with :ref:`llvm.stackrestore
<int_stackrestore>`.

The inalloca attribute requires a type argument, which must be the
same as the pointee type of the argument.
The inalloca attribute requires a type argument.

See :doc:`InAlloca` for more information on how to use this
attribute.
Expand All @@ -1331,8 +1328,7 @@ Currently, only the following parameter attributes are defined:
loads and stores to the structure may be assumed by the callee not
to trap and to be properly aligned.

The sret type argument specifies the in memory type, which must be
the same as the pointee type of the argument.
The sret type argument specifies the in memory type.

A function that accepts an ``sret`` argument must return ``void``.
A return value may not be ``sret``.
Expand Down Expand Up @@ -13178,7 +13174,7 @@ This instruction requires several arguments:
- All ABI-impacting function attributes, such as sret, byval, inreg,
returned, and inalloca, must match.
- The caller and callee prototypes must match. Pointer types of parameters
or return types may differ in pointee type, but not in address space.
or return types do not differ in address space.

On the other hand, if the calling convention is `swifttailcc` or `tailcc`:

Expand Down
Loading