On Fri, 8 Oct 2021, Hongtao Liu wrote: > > On Fri, 24 Sep 2021, Hongtao Liu via Gcc-patches wrote: >>> + <li>New ISA extension support for Intel AVX512-FP16 was added to GCC. >>> + AVX512FP16 intrinsics are available [...] >> So, is it AVX512-FP16 or AVX512FP16? > Sorry for the confusion, the official name is AVX512-FP16[1], and for > simplicity, AVX512FP16 is used in the mail thread.
Shouldn't we then consistently use AVX512-FP16 here (gcc-12/changes.html) and in gcc/doc/invoke.texi where there are three instances of AVX512FP16 (without the dash)? Gerald