require_xpr64;
require_fp;
softfloat_roundingMode = RM;
-RD = f64_to_i64_r_minMag(FRS1,true);
+RD = f64_to_i64(FRS1, RM, true);
set_fp_exceptions;
require_xpr64;
require_fp;
softfloat_roundingMode = RM;
-RD = f32_to_i64_r_minMag(FRS1,true);
+RD = f32_to_i64(FRS1, RM, true);
set_fp_exceptions;
require_xpr64;
require_fp;
softfloat_roundingMode = RM;
-RD = f64_to_i64_r_minMag(FRS1,true);
+RD = f64_to_ui64(FRS1, RM, true);
set_fp_exceptions;
require_xpr64;
require_fp;
softfloat_roundingMode = RM;
-RD = f32_to_i64_r_minMag(FRS1,true);
+RD = f32_to_ui64(FRS1, RM, true);
set_fp_exceptions;
require_fp;
softfloat_roundingMode = RM;
-RD = f64_to_i32_r_minMag(FRS1,true);
+RD = sext32(f64_to_i32(FRS1, RM, true));
set_fp_exceptions;
require_fp;
softfloat_roundingMode = RM;
-RD = f32_to_i32_r_minMag(FRS1,true);
+RD = sext32(f32_to_i32(FRS1, RM, true));
set_fp_exceptions;
require_fp;
softfloat_roundingMode = RM;
-RD = f64_to_ui32_r_minMag(FRS1,true);
+RD = sext32(f64_to_ui32(FRS1, RM, true));
set_fp_exceptions;
require_fp;
softfloat_roundingMode = RM;
-RD = f32_to_ui32_r_minMag(FRS1,true);
+RD = sext32(f32_to_ui32(FRS1, RM, true));
set_fp_exceptions;