| Message ID | 20230802150712.3583252-1-elver@google.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | [1/3] Compiler attributes: Introduce the __preserve_most function attribute | expand |
On Wed, 2 Aug 2023 at 17:07, Marco Elver <elver@google.com> wrote: > > [1]: "On X86-64 and AArch64 targets, this attribute changes the calling > convention of a function. The preserve_most calling convention attempts > to make the code in the caller as unintrusive as possible. This > convention behaves identically to the C calling convention on how > arguments and return values are passed, but it uses a different set of > caller/callee-saved registers. This alleviates the burden of saving and > recovering a large register set before and after the call in the > caller." > > [1] https://clang.llvm.org/docs/AttributeReference.html#preserve-most > > Use of this attribute results in better code generation for calls to > very rarely called functions, such as error-reporting functions, or > rarely executed slow paths. > > Introduce the attribute to compiler_attributes.h. > > Signed-off-by: Marco Elver <elver@google.com> > --- > include/linux/compiler_attributes.h | 11 +++++++++++ > 1 file changed, 11 insertions(+) > > diff --git a/include/linux/compiler_attributes.h b/include/linux/compiler_attributes.h > index 00efa35c350f..615a63ecfcf6 100644 > --- a/include/linux/compiler_attributes.h > +++ b/include/linux/compiler_attributes.h > @@ -321,6 +321,17 @@ > # define __pass_object_size(type) > #endif > > +/* > + * Optional: not supported by gcc. > + * > + * clang: https://clang.llvm.org/docs/AttributeReference.html#preserve-most > + */ > +#if __has_attribute(__preserve_most__) > +# define __preserve_most __attribute__((__preserve_most__)) > +#else > +# define __preserve_most > +#endif Mark says that there may be an issue with using this in combination with ftrace because arm64 tracing relies on AAPCS. Probably not just arm64, but also other architectures (x86?). To make this safe, I'm going to move __preserve_most to compiler_types.h and always pair it with notrace and some comments in v2.
On Wed, Aug 2, 2023 at 6:51 PM Marco Elver <elver@google.com> wrote: > > Mark says that there may be an issue with using this in combination > with ftrace because arm64 tracing relies on AAPCS. Probably not just > arm64, but also other architectures (x86?). > > To make this safe, I'm going to move __preserve_most to > compiler_types.h and always pair it with notrace and some comments in > v2. Sounds good, thanks! The patch here was otherwise good in terms of `compiler_attributes.h`. I was also thinking about the implications for Rust. I guess if we need to call them, we will go through a C helper for the moment, and later on if we get cross-language LTO (or the LLVM IR hacks), it will hopefully not be a performance penalty. Cheers, Miguel
On Wed, 2 Aug 2023 17:06:37 +0200 Marco Elver <elver@google.com> wrote: > [1]: "On X86-64 and AArch64 targets, this attribute changes the calling > convention of a function. The preserve_most calling convention attempts > to make the code in the caller as unintrusive as possible. This > convention behaves identically to the C calling convention on how > arguments and return values are passed, but it uses a different set of > caller/callee-saved registers. This alleviates the burden of saving and > recovering a large register set before and after the call in the > caller." > > [1] https://clang.llvm.org/docs/AttributeReference.html#preserve-most > > Use of this attribute results in better code generation for calls to > very rarely called functions, such as error-reporting functions, or > rarely executed slow paths. > > Introduce the attribute to compiler_attributes.h. That sounds fairly radical. And no changes are needed for assembly code or asm statements? I'll add "LLVM" to the patch title to make it clear that gcc isn't affected.
On Wed, 2 Aug 2023 at 20:03, Andrew Morton <akpm@linux-foundation.org> wrote: > > On Wed, 2 Aug 2023 17:06:37 +0200 Marco Elver <elver@google.com> wrote: > > > [1]: "On X86-64 and AArch64 targets, this attribute changes the calling > > convention of a function. The preserve_most calling convention attempts > > to make the code in the caller as unintrusive as possible. This > > convention behaves identically to the C calling convention on how > > arguments and return values are passed, but it uses a different set of > > caller/callee-saved registers. This alleviates the burden of saving and > > recovering a large register set before and after the call in the > > caller." > > > > [1] https://clang.llvm.org/docs/AttributeReference.html#preserve-most > > > > Use of this attribute results in better code generation for calls to > > very rarely called functions, such as error-reporting functions, or > > rarely executed slow paths. > > > > Introduce the attribute to compiler_attributes.h. > > That sounds fairly radical. And no changes are needed for assembly > code or asm statements? The callee in this case is supposed to save the registers and restore them. If the caller (such as in asm) redundantly saves the registers as well, this would be safe although redundant. That being said, there are no plans to call functions marked with the attribute from asm. Only issue would be if someone implements such a function in asm with a C decl with the attribute - but also, there are no plans to do this. I'll need to spin a v2 to always add notrace: one way this can go wrong if something inserts itself between the callers and callee, such as tracing would.
diff --git a/include/linux/compiler_attributes.h b/include/linux/compiler_attributes.h index 00efa35c350f..615a63ecfcf6 100644 --- a/include/linux/compiler_attributes.h +++ b/include/linux/compiler_attributes.h @@ -321,6 +321,17 @@ # define __pass_object_size(type) #endif +/* + * Optional: not supported by gcc. + * + * clang: https://clang.llvm.org/docs/AttributeReference.html#preserve-most + */ +#if __has_attribute(__preserve_most__) +# define __preserve_most __attribute__((__preserve_most__)) +#else +# define __preserve_most +#endif + /* * gcc: https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-pure-function-attribute */
[1]: "On X86-64 and AArch64 targets, this attribute changes the calling convention of a function. The preserve_most calling convention attempts to make the code in the caller as unintrusive as possible. This convention behaves identically to the C calling convention on how arguments and return values are passed, but it uses a different set of caller/callee-saved registers. This alleviates the burden of saving and recovering a large register set before and after the call in the caller." [1] https://clang.llvm.org/docs/AttributeReference.html#preserve-most Use of this attribute results in better code generation for calls to very rarely called functions, such as error-reporting functions, or rarely executed slow paths. Introduce the attribute to compiler_attributes.h. Signed-off-by: Marco Elver <elver@google.com> --- include/linux/compiler_attributes.h | 11 +++++++++++ 1 file changed, 11 insertions(+)