fsw

Single-precision floating-point store

This instruction is defined by:

Encoding

svg

Synopsis

The fsw instruction stores a single-precision floating-point value in fs2 to memory at address rs1 + imm.

fsw does not modify the bits being transferred; in particular, the payloads of non-canonical NaNs are preserved.

Access

M

HS

U

VS

VU

Always

Always

Always

Always

Always

Decode Variables

Bits<12> imm = {$encoding[31:25], $encoding[11:7]};
Bits<5> fs2 = $encoding[24:20];
Bits<5> rs1 = $encoding[19:15];

Execution

  • Pruned, XLEN == 64

  • Original

%%LINK%func;check_f_ok;check_f_ok%%($encoding);
XReg virtual_address = X[rs1] + $signed(imm);
%%LINK%func;write_memory;write_memory%%<32>(virtual_address, f[fs2][31:0], $encoding);
%%LINK%func;check_f_ok;check_f_ok%%($encoding);
XReg virtual_address = X[rs1] + $signed(imm);
%%LINK%func;write_memory;write_memory%%<32>(virtual_address, f[fs2][31:0], $encoding);

Exceptions

This instruction may result in the following synchronous exceptions:

  • IllegalInstruction

  • LoadAccessFault

  • StoreAmoAccessFault

  • StoreAmoPageFault