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