fcvt.s.lu
Floating-Point Convert Unsigned Long to Single-Precision
This instruction is defined by:
Synopsis
The fcvt.s.lu instruction converts a 64-bit unsigned integer into a single-precision floating-point number.
Decode Variables
Bits<5> xs1 = $encoding[19:15];
Bits<3> rm = $encoding[14:12];
Bits<5> fd = $encoding[11:7];
Execution
-
Pruned, XLEN == 64
-
Original
check_f_ok($encoding);
RoundingMode rounding_mode = rm_to_mode(rm, $encoding);
F[fd] = ui64_to_f32(X[xs1], rounding_mode);
mark_f_state_dirty();
check_f_ok($encoding);
RoundingMode rounding_mode = rm_to_mode(rm, $encoding);
F[fd] = ui64_to_f32(X[xs1], rounding_mode);
mark_f_state_dirty();