fcvt.s.w

Convert signed 32-bit integer to single-precision float

This instruction is defined by:

Encoding

Synopsis

Converts a 32-bit signed integer in integer register rs1 into a floating-point number in floating-point register fd.

All floating-point to integer and integer to floating-point conversion instructions round according to the rm field. A floating-point register can be initialized to floating-point positive zero using fcvt.s.w rd, x0, which will never set any exception flags.

All floating-point conversion instructions set the Inexact exception flag if the rounded result differs from the operand value and the Invalid exception flag is not set.

Access

Always

Decode Variables

Bits<5> rs1 = $encoding[19:15];
Bits<3> rm = $encoding[14:12];
Bits<5> fd = $encoding[11:7];

Execution

Pruned, XLEN == 64
Original

%%LINK%func;check_f_ok;check_f_ok%%($encoding);
RoundingMode rounding_mode = %%LINK%func;rm_to_mode;rm_to_mode%%(rm, $encoding);
X[fd] = %%LINK%func;i32_to_f32;i32_to_f32%%(X[rs1], rounding_mode);
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();

%%LINK%func;check_f_ok;check_f_ok%%($encoding);
RoundingMode rounding_mode = %%LINK%func;rm_to_mode;rm_to_mode%%(rm, $encoding);
X[fd] = %%LINK%func;i32_to_f32;i32_to_f32%%(X[rs1], rounding_mode);
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();

Exceptions

This instruction may result in the following synchronous exceptions:

IllegalInstruction