RE: [PATCH] x86: rename avx10.1aux to avx10v1aux

> From: Rohan Shenoy <[email protected]>
> Sent: Wednesday, August 19, 2026 4:18 PM
> 
> diff --git a/gas/config/tc-i386.c b/gas/config/tc-i386.c
> index 1ce5a063c67..b41eeeddc71 100644
> --- a/gas/config/tc-i386.c
> +++ b/gas/config/tc-i386.c
> @@ -1253,7 +1253,7 @@ static const arch_entry cpu_arch[] =
>    VECARCH (sm4, SM4, ANY_SM4, reset),
>    SUBARCH (pbndkb, PBNDKB, PBNDKB, false),
>    VECARCH (avx10.1, AVX10_1, ANY_AVX512F, set),
> -  VECARCH (avx10.1aux, AVX10_1_AUX, ANY_AVX10_1_AUX, set),
> +  VECARCH (avx10v1aux, AVX10_1_AUX, ANY_AVX10_1_AUX, set),

Should we also change from AVX10_1_AUX to AVX10V1AUX and also
for cpu bit name avx10_1_aux to avx10v1aux?

Thx,
Haochen

>    VECARCH (avx10.2, AVX10_2, ANY_AVX10_2, set),
>    SUBARCH (user_msr, USER_MSR, USER_MSR, false),
>    SUBARCH (apx_f, APX_F, ANY_APX_F, false),