Re: [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@lakrids:~/src/linux]% usellvm 13.0.0 make ARCH=arm LLVM=1 -s omap1_defconfig
| [mark@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@lakrids:~/asm-test]% cat test-label.S                                
|         .text
| 
| start:
|         nop
| end:
| 
|         .if (end - start) == 0
|         .err
|         .endif
| 
| [mark@lakrids:~/asm-test]% usekorg 11.1.0 aarch64-linux-gcc -c test-label.S                                      
| [mark@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@lakrids:~/asm-test]% cat test-symbol.S 
|         .text
| 
| .set start, .;
|         nop
| .set end, .;
| 
|         .if (end - start) == 0
|         .err
|         .endif
| 
| [mark@lakrids:~/asm-test]% usekorg 11.1.0 aarch64-linux-gcc -c test-symbol.S          
| [mark@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@xxxxxxx>
> Acked-by: Ard Biesheuvel <ardb@xxxxxxxxxx>
> Acked-by: Mark Brown <broonie@xxxxxxxxxx>
> Cc: Borislav Petkov <bp@xxxxxxxxx>
> Cc: Jiri Slaby <jslaby@xxxxxxx>
> Cc: Josh Poimboeuf <jpoimboe@xxxxxxxxxx>
> Cc: Peter Zijlstra <peterz@xxxxxxxxxxxxx>
> ---
>  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
>