https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102494
--- Comment #12 from Hongtao.liu <crazylht at gmail dot com> --- > That's pretty good, but VMOVD eax, xmm0 would be more efficient than > VPEXTRW when we don't need to avoid high garbage (because it's a return > value in this case). And TARGET_AVX512FP16 has vmovw.
