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