1 2 3 4
require_fp; softfloat_roundingMode = RM; RD = sext32(f32_to_i32(FRS1, RM, true)); set_fp_exceptions;