[PATCH v2 2/7] linkage: add SYM_{ENTRY,START,END}_AT()

[Mark Rutland]

[adding clang folk]

Nick, Nathan, I have a couple of questions for you below.

On Tue, Jan 25, 2022 at 11:31:55AM +0000, Mark Rutland wrote:
> Currently, the SYM_{ENTRY,START,END}() helpers define symbols in terms
> of the current position within the section. In subsequent patches we'll
> need to define symbols after moving this position.
> 
> This patch splits the core out of SYM_{ENTRY,START,END}() into
> SYM_{ENTRY,START,END}_AT() macros which take a location argument,
> with SYM_{ENTRY,START,END}() passing the current position.
> 
> There should be no functional change as a result of this patch.

Unfortunately, it turns out clang doesn't like this:

| [mark at lakrids:~/src/linux]% usellvm 13.0.0 make ARCH=arm LLVM=1 -s omap1_defconfig
| [mark at lakrids:~/src/linux]% usellvm 13.0.0 make ARCH=arm LLVM=1 -s -j50 Image     
| arch/arm/mach-omap1/ams-delta-fiq-handler.S:272:5: error: expected absolute expression
| .if (qwerty_fiqin_end - qwerty_fiqin_start) > (0x200 - 0x1c)
|     ^
| arch/arm/mach-omap1/ams-delta-fiq-handler.S:273:2: error: .err encountered
|  .err
|  ^
| make[1]: *** [scripts/Makefile.build:389: arch/arm/mach-omap1/ams-delta-fiq-handler.o] Error 1
| make[1]: *** Waiting for unfinished jobs....
| make: *** [Makefile:1831: arch/arm/mach-omap1] Error 2
| make: *** Waiting for unfinished jobs....

Both GCC and clang are happy to treat labels as constant expressions:

| [mark at lakrids:~/asm-test]% cat test-label.S                                
|         .text
| 
| start:
|         nop
| end:
| 
|         .if (end - start) == 0
|         .err
|         .endif
| 
| [mark at lakrids:~/asm-test]% usekorg 11.1.0 aarch64-linux-gcc -c test-label.S                                      
| [mark at lakrids:~/asm-test]% usellvm 13.0.0 clang --target=aarch64-linux -c test-label.S

... but only GCC is happy to treat symbol definitions as constants:

| [mark at lakrids:~/asm-test]% cat test-symbol.S 
|         .text
| 
| .set start, .;
|         nop
| .set end, .;
| 
|         .if (end - start) == 0
|         .err
|         .endif
| 
| [mark at lakrids:~/asm-test]% usekorg 11.1.0 aarch64-linux-gcc -c test-symbol.S          
| [mark at lakrids:~/asm-test]% usellvm 13.0.0 clang --target=aarch64-linux -c test-symbol.S
| test-symbol.S:7:6: error: expected absolute expression
|  .if (end - start) == 0
|      ^
| test-symbol.S:8:2: error: .err encountered
|  .err
|  ^

This is obviously a behavioural difference, but I'm not sure whether it's
intentional, or just an artifact of the differing implementation of GNU as and
LLVM's integrated assembler. Nich, Nathan, any thoughts on that?

Does clang have any mechanism other than labels to define location constants
that can be used as absolute expressions? e.g. is there any mechanism to alias
a label which results in the alias also being a constant?

Thanks,
Mark.

> Signed-off-by: Mark Rutland <mark.rutland at arm.com>
> Acked-by: Ard Biesheuvel <ardb at kernel.org>
> Acked-by: Mark Brown <broonie at kernel.org>
> Cc: Borislav Petkov <bp at alien8.de>
> Cc: Jiri Slaby <jslaby at suse.cz>
> Cc: Josh Poimboeuf <jpoimboe at redhat.com>
> Cc: Peter Zijlstra <peterz at infradead.org>
> ---
>  include/linux/linkage.h | 28 +++++++++++++++++++++++-----
>  1 file changed, 23 insertions(+), 5 deletions(-)
> 
> diff --git a/include/linux/linkage.h b/include/linux/linkage.h
> index dbf8506decca0..d87c2acda2540 100644
> --- a/include/linux/linkage.h
> +++ b/include/linux/linkage.h
> @@ -147,25 +147,43 @@
>  
>  /* === generic annotations === */
>  
> +#ifndef SYM_ENTRY_AT
> +#define SYM_ENTRY_AT(name, location, linkage)		\
> +	linkage(name) ASM_NL				\
> +	.set name, location ASM_NL
> +#endif
> +
>  /* SYM_ENTRY -- use only if you have to for non-paired symbols */
>  #ifndef SYM_ENTRY
>  #define SYM_ENTRY(name, linkage, align...)		\
> -	linkage(name) ASM_NL				\
>  	align ASM_NL					\
> -	name:
> +	SYM_ENTRY_AT(name, ., linkage)
> +#endif
> +
> +/* SYM_START_AT -- use only if you have to */
> +#ifndef SYM_START_AT
> +#define SYM_START_AT(name, location, linkage)		\
> +	SYM_ENTRY_AT(name, location, linkage)
>  #endif
>  
>  /* SYM_START -- use only if you have to */
>  #ifndef SYM_START
>  #define SYM_START(name, linkage, align...)		\
> -	SYM_ENTRY(name, linkage, align)
> +	align ASM_NL					\
> +	SYM_START_AT(name, ., linkage)
> +#endif
> +
> +/* SYM_END_AT -- use only if you have to */
> +#ifndef SYM_END_AT
> +#define SYM_END_AT(name, location, sym_type)		\
> +	.type name sym_type ASM_NL			\
> +	.size name, location-name ASM_NL
>  #endif
>  
>  /* SYM_END -- use only if you have to */
>  #ifndef SYM_END
>  #define SYM_END(name, sym_type)				\
> -	.type name sym_type ASM_NL			\
> -	.size name, .-name
> +	SYM_END_AT(name, ., sym_type)
>  #endif
>  
>  /* === code annotations === */
> -- 
> 2.30.2
>