These can be emitted by gcc, at least if requested specifically via __builtin_bswap{32,64,128}.
f128 -> f16