Symbol: float32_to_floatx80
lib/libc/softfloat/bits64/softfloat.c
1572
floatx80 float32_to_floatx80( float32 a )
lib/libc/softfloat/softfloat-for-gcc.h
114
#define float32_to_floatx80 __extendsfxf2