Comment 6 for bug 1821444

Revision history for this message
Sergei Trofimovich (trofi) wrote :

Alternatively 'uint64_t helper_todouble(uint32_t)' could be implemented via
    include/fpu/softfloat.h:float64 float32_to_float64(float32, float_status *status);