RE: [PATCH 00/27] Use avx10.x as the only option for AVX10 with 512 bit vector support while remove avx10.x-256/512 option and 256 bit rounding support

[Jiang, Haochen]

> all AVX512 features while disabling AVX512FP16. And "-mavx512f -mno-
> avx10.1"
> should disable all AVX512 features. Both of the two combinations currently
> will ignore "-mno-". In GCC 15, we will raise a warning to mention that we

Correction here, "-mavx512f -mno-avx10.1" should keep AVX512 on since
It will finally become AVX10.1 implies all AVX512, just like AVX512F implies
AVX2. So it won't disable AVX512.

Thx,
Haochen