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.
Decode Variables
Bits<5> fs1 = $encoding[19:15];
Bits<3> rm = $encoding[14:12];
Bits<5> fd = $encoding[11:7];Execution
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();