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