On 12.07.2023 14:33, Jan Beulich wrote: > --- a/xen/arch/x86/arch.mk > +++ b/xen/arch/x86/arch.mk > @@ -36,6 +36,10 @@ CFLAGS += -mno-red-zone -fpic > # the SSE setup for variadic function calls. > CFLAGS += -mno-mmx -mno-sse $(call cc-option,$(CC),-mskip-rax-setup) > > +# Enable the selected baseline ABI, if supported by the compiler. > +CFLAGS-$(CONFIG_X86_64_V2) += $(call cc-option,$(CC),-march=x86-64-v2) > +CFLAGS-$(CONFIG_X86_64_V3) += $(call cc-option,$(CC),-march=x86-64-v3)
Hmm, I should have remembered that this won't work with older gcc, because of how $(cc-option ...) works. I recall someone else already fell into this trap a few years ago, but then they weren't following up on the suggestions on how to make their somewhat fragile workaround more robust. Now I'm on the hook ... Jan
