fround.s
Floating-point round single-precision float to integer
Rounds the single-precision floating-point number in floating-point register fs1 to an integer, according to the rounding mode specified in the instruction’s rm field.
It then writes that integer, represented as a single-precision floating-point number, to floating-point register fd.
Zero and infinite inputs are copied to fd unmodified.
Signaling NaN inputs cause the invalid operation exception flag to be set; no other exception flags are set. FROUND.S is encoded like FCVT.S.D, but with rs2=4.
| This instruction must have data-independent timing when extension Zkt is enabled. |
Decode Variables
Bits<5> fs1 = $encoding[19:15];
Bits<3> rm = $encoding[14:12];
Bits<5> fd = $encoding[11:7];Execution
-
IDL
-
Sail
check_f_ok($encoding);
RoundingMode rounding_mode = rm_to_mode(rm, $encoding);
f[fd] = round_f32_to_integral(f[fs1], rounding_mode);
mark_f_state_dirty();{
let rs1_val_S = F_S(rs1);
match (select_instr_or_fcsr_rm(rm)) {
None() => { handle_illegal(); RETIRE_FAIL },
Some(rm') => {
let rm_3b = encdec_rounding_mode(rm');
let (fflags, rd_val_S) = riscv_f32roundToInt(rm_3b, rs1_val_S, false);
accrue_fflags(fflags);
F_S(rd) = rd_val_S;
RETIRE_SUCCESS
}
}
}