mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
x86/altcall: further refine clang workaround
The current code in ALT_CALL_ARG() won't successfully workaround the clang
code-generation issue if the arg parameter has a size that's not a power of 2.
While there are no such sized parameters at the moment, improve the workaround
to also be effective when such sizes are used.
Instead of using a union with a long use an unsigned long that's first
initialized to 0 and afterwards set to the argument value.
Reported-by: Alejandro Vallejo <alejandro.vallejo@cloud.com>
Suggested-by: Alejandro Vallejo <alejandro.vallejo@cloud.com>
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
master commit: 561cba38ff
master date: 2024-07-31 12:41:22 +0200
This commit is contained in:
1 parent
adf1939b51
commit
ee032f2997
1 file changed
+12
-14
@@ -169,27 +169,25 @@ extern void alternative_branches(void);
|
||||
|
||||
#ifdef CONFIG_CC_IS_CLANG
|
||||
/*
|
||||
* Use a union with an unsigned long in order to prevent clang from
|
||||
* skipping a possible truncation of the value. By using the union any
|
||||
* truncation is carried before the call instruction, in turn covering
|
||||
* for ABI-non-compliance in that the necessary clipping / extension of
|
||||
* the value is supposed to be carried out in the callee.
|
||||
* Clang doesn't follow the psABI and doesn't truncate parameter values at the
|
||||
* callee. This can lead to bad code being generated when using alternative
|
||||
* calls.
|
||||
*
|
||||
* Note this behavior is not mandated by the standard, and hence could
|
||||
* stop being a viable workaround, or worse, could cause a different set
|
||||
* of code-generation issues in future clang versions.
|
||||
* Workaround it by using a temporary intermediate variable that's zeroed
|
||||
* before being assigned the parameter value, as that forces clang to zero the
|
||||
* register at the caller.
|
||||
*
|
||||
* This has been reported upstream:
|
||||
* https://github.com/llvm/llvm-project/issues/12579
|
||||
* https://github.com/llvm/llvm-project/issues/82598
|
||||
*/
|
||||
#define ALT_CALL_ARG(arg, n) \
|
||||
register union { \
|
||||
typeof(arg) e[sizeof(long) / sizeof(arg)]; \
|
||||
unsigned long r; \
|
||||
} a ## n ## _ asm ( ALT_CALL_arg ## n ) = { \
|
||||
.e[0] = ({ BUILD_BUG_ON(sizeof(arg) > sizeof(void *)); (arg); })\
|
||||
}
|
||||
register unsigned long a ## n ## _ asm ( ALT_CALL_arg ## n ) = ({ \
|
||||
unsigned long tmp = 0; \
|
||||
BUILD_BUG_ON(sizeof(arg) > sizeof(unsigned long)); \
|
||||
*(typeof(arg) *)&tmp = (arg); \
|
||||
tmp; \
|
||||
})
|
||||
#else
|
||||
#define ALT_CALL_ARG(arg, n) \
|
||||
register typeof(arg) a ## n ## _ asm ( ALT_CALL_arg ## n ) = \
|
||||
|
||||