On Tue, 6 Jul 2021, H.J. Lu via Gcc-patches wrote: > > > So the key point is that the soft-fp and avx512fp16 instructions may > > > do not behave the same on the exception, is this acceptable? > > > > I think that's quite often the case for soft-fp. > > So this is a GCC limitation. Please document difference behaviors > of _Float16 with and without AVX512FP16, similar to
I don't think it's yet clear there will be any such limitation, just semantics that depend on whether the excess precision support is used or not (which is covered by FLT_EVAL_METHOD, like on AArch64). -- Joseph S. Myers jos...@codesourcery.com