Skip to content
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

Jump to bottom

aapcs64-morello: Fix up rule C.8 #120

Merged
merged 1 commit into from
Dec 9, 2021
Merged

aapcs64-morello: Fix up rule C.8 #120

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
12 changes: 6 additions & 6 deletions aapcs64-morello/aapcs64-morello.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -606,12 +606,12 @@ The differences in language bindings used for AAPCS64 and AAPCS64-cap are descri
| | allocated. |
+-------------------------------+----------------------------------------------------------------------------------------+
| | If the argument is a Capability Type or a Composite Type containing Capabilities, and |
| | the size of the argument in quad words is less than 8 minus NGRN, the argument is |
| C.8 | passed as though it had been loaded into capability registers starting from a 16-byte |
| | aligned address with an appropriate sequence of capability loading instructions |
| | loading consecutive capability values from memory, starting from c[NGRN]. The NGRN is |
| | incremented by the number of capability registers used to hold the argument. |
| | The argument has now been allocated. |
| | the size of the argument in bytes is less than or equal to 16 * (8 minus NGRN), the |
| C.8 | argument is passed as though it had been loaded into capability registers starting |
| | from a 16-byte aligned address with an appropriate sequence of capability loading |
| | instructions loading consecutive capability values from memory, starting from c[NGRN]. |
| | The NGRN is incremented by the number of capability registers used to hold the |
| | argument. The argument has now been allocated. |
+-------------------------------+----------------------------------------------------------------------------------------+
| | If the argument is not a Capability Type and is not a Composite Type containing |
| | Capability Types and has an alignment of 16 then the NGRN is rounded up to the next |
Expand Down