-
Notifications
You must be signed in to change notification settings - Fork 984
Add preservenone.md calling convention doc #5893
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.
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
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,70 @@ | ||
| # __preserve_none | ||
|
|
||
| **Microsoft Specific** | ||
|
|
||
| > [!IMPORTANT] | ||
| > The **`__preserve_none`** calling convention is experimental and subject to change in future releases. Use at your own risk. | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Remove "use at your own risk" |
||
|
|
||
| The **`__preserve_none`** calling convention specifies that arguments to functions are to be passed in registers, with most general-purpose registers treated as volatile. This calling convention is only supported for C programs and only applies to the x64 architecture. | ||
|
|
||
| This calling convention is designed to minimize register spilling and improve performance. | ||
|
|
||
| The following list shows the implementation of this calling convention. | ||
|
|
||
| | Element | Implementation | | ||
| |---------|----------------| | ||
| | Argument-passing order | Arguments are passed in up to 10 registers in the following order: r13, r14, r15, rbx, rsi, rdi, r9, r8, rdx, rcx. If a hidden parameter is required for struct returns, it is passed in r13 (the first parameter register), reducing available parameter registers to 9. Registers r10-r12 are reserved for various CRT and Windows runtimes. All parameters must be passed through registers; stack-based parameters are not currently supported. | | ||
| | Register allocation strategy | Registers rcx, rdx, r8, and r9 are allocated towards the end and in reverse order to reduce register spilling. | | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. what does "towards the end" mean? Combine that with "in reverse" order and it gets confusing. Maybe an example? |
||
| | Argument limit | Functions are restricted to a maximum of 10 parameters. An error is generated if this limit is exceeded. | | ||
| | Return value convention | Follows the regular x64 calling convention rules. Scalar return values are returned in rax. Structs of size 1, 2, 4, or 8 bytes are returned through the rax register. For structs of other sizes, a pointer to memory allocated by the caller and passed through the hidden parameter is returned in rax. | | ||
| | Volatile registers | All general-purpose registers except rsp (stack pointer) and rbp (base pointer) are treated as volatile and do not need to be preserved across function calls. While r10 and r11 are volatile, they are not used for parameter passing to maintain compatibility with existing programs. | | ||
| | Nonvolatile registers | Only rsp, rbp, and r12 are nonvolatile. | | ||
| | Stack alignment | The stack must maintain 16-byte alignment. | | ||
| | Frame pointer | The rbp register and frame chain follow the /Gy switch settings. | | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Can you link to the /Gy topic. |
||
| | Stack-maintenance responsibility | The callee is responsible for cleaning up its own stack space. | | ||
| | Shadow space | A 32-byte shadow space is reserved on the stack to maintain compatibility with profilers and debugging tools. | | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Is it worth a sentence to describe what shadow space is? |
||
| | Floating-point support | Floating-point parameters are not supported in the current version. | | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We don't say "in the current version" because some construe it to mean "but it's coming in the next". It's a legal thing so we avoid it. |
||
| | Name-decoration convention | Function names are decorated with @@_A suffix. | | ||
| | Case-translation convention | No case translation performed. | | ||
|
|
||
| > [!NOTE] | ||
| > The number of registers used for parameter passing may change in future releases. | ||
|
|
||
| ## Restrictions and Limitations | ||
|
|
||
| The **`__preserve_none`** calling convention has the following restrictions: | ||
|
|
||
| - **C only**: Only supported for C programs. | ||
| - **x64 only**: Only the x64 backend provides support for this calling convention. | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Can we say this without mentioning the backend? Something like "This calling convention is only supported for X64 code generation" or something like that. |
||
| - **No floating-point**: Floating-point parameters are not supported. | ||
| - **No variadic functions**: Variadic functions (varargs) are not supported. | ||
| - **Parameter limit**: Maximum of 10 parameters, all passed through registers. | ||
|
|
||
| ## Use Cases | ||
|
|
||
| The **`__preserve_none`** calling convention is designed for performance-critical scenarios where: | ||
|
|
||
| - Most functions in the codebase use the **`__preserve_none`** calling convention | ||
| - Used in conjunction with `msvc::musttail` to tail call between functions with no stack usage | ||
| - Minimizing register spilling is important for performance | ||
| - The codebase is compatible with treating most registers as volatile | ||
|
|
||
| ## Example | ||
|
|
||
| In the following example, the function `ProcessData` uses the **`__preserve_none`** calling convention: | ||
|
|
||
| ```c | ||
| // Example of the __preserve_none keyword | ||
| void __preserve_none ProcessData(int a, int b, int c, int d, int e); | ||
|
|
||
| // Example of the __preserve_none keyword on function pointer | ||
| typedef int (__preserve_none *callback_ptr)(void* context, int value, int flags); | ||
| ``` | ||
|
|
||
| **END Microsoft Specific** | ||
|
|
||
| ## See also | ||
|
|
||
| [Argument Passing and Naming Conventions](argument-passing-and-naming-conventions?view=msvc-170) | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. These will run together on the same line on the live site. Add '' to the end of all but the last one. |
||
| [x64 Calling Convention](../build/x64-calling-convention?view=msvc-170) | ||
| [Keywords](keywords-cpp?view=msvc-170) | ||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also needs to be added to ./toc.yml