https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104253
--- Comment #20 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Eric, we don't have access to test VxWorks. Can you try changing the > dg-require using ppc_float128_sw to ppc_float128_hw and see if that fixes it > for you? Apparently not, so Michael's approach is probably required.