On Sun, 29 Jan 2023, liuhongt wrote: > The official name is AVX512-FP16. > > Ready to push to trunk. > > gcc/ChangeLog: > > * config/i386/i386.opt: Change AVX512FP16 to AVX512-FP16. > * doc/invoke.texi: Ditto.
Ok, thank you. (And okay to backport to older branches as/if you want.) Gerald
