1 2 3 4
require_fp; softfloat_roundingMode = RM; FRD = ui32_to_f32((uint32_t)RS1); set_fp_exceptions;