fcvt.s.l

Floating-Point Convert Long to Single-Precision

This instruction is defined by:

Encoding

svg

Synopsis

The fcvt.s.l instruction converts a 64-bit signed integer in integer register xs1 into a floating-point number in floating-point register fd.

Access

M HS U VS VU

Always

Always

Always

Always

Always

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] = i64_to_f32(X[xs1], rounding_mode);
mark_f_state_dirty();
check_f_ok($encoding);
RoundingMode rounding_mode = rm_to_mode(rm, $encoding);
F[fd] = i64_to_f32(X[xs1], rounding_mode);
mark_f_state_dirty();

Exceptions

This instruction may result in the following synchronous exceptions:

  • IllegalInstruction