c.fswsp
Store single-precision value to stack
This instruction is defined by:
Synopsis
Stores a single-precision floating-point value in floating-point register rs2 to memory.
It computes an effective address by adding the zero-extended offset, scaled by 4,
to the stack pointer, x2.
It expands to fsw rs2, offset(x2).
Decode Variables
Bits<8> imm = {$encoding[8:7], $encoding[12:9], 2'd0};
Bits<5> rs2 = $encoding[6:2];Execution
-
Pruned, XLEN == 32
-
Original
if ((%%LINK%csr_field;misa.C;CSR[misa].C%% == 1'b0)) {
%%LINK%func;raise;raise%%(ExceptionCode::IllegalInstruction, %%LINK%func;mode;mode%%(), $encoding);
}
if ((%%LINK%csr_field;misa.F;CSR[misa].F%% == 1'b0)) {
%%LINK%func;raise;raise%%(ExceptionCode::IllegalInstruction, %%LINK%func;mode;mode%%(), $encoding);
}
XReg virtual_address = X[2] + imm;
%%LINK%func;write_memory;write_memory%%<32>(virtual_address, f[rs2][31:0], $encoding);if (%%LINK%func;implemented?;implemented?%%(ExtensionName::C) && (%%LINK%csr_field;misa.C;CSR[misa].C%% == 1'b0)) {
%%LINK%func;raise;raise%%(ExceptionCode::IllegalInstruction, %%LINK%func;mode;mode%%(), $encoding);
}
if (%%LINK%func;implemented?;implemented?%%(ExtensionName::F) && (%%LINK%csr_field;misa.F;CSR[misa].F%% == 1'b0)) {
%%LINK%func;raise;raise%%(ExceptionCode::IllegalInstruction, %%LINK%func;mode;mode%%(), $encoding);
}
XReg virtual_address = X[2] + imm;
%%LINK%func;write_memory;write_memory%%<32>(virtual_address, f[rs2][31:0], $encoding);