RTLIB::UO_F32

what C code would produce the following when soft float is enabled?

   (RTLIB::UO_F32, "__unordsf2");
   (RTLIB::UO_F64, "__unorddf2");
   (RTLIB::O_F32, "__unordsf2");
   (RTLIB::O_F64, "__unorddf2");

tia.

reed