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