c.fsd
Store double-precision
This instruction is defined by:
Synopsis
Stores a double precision floating-point value in register rs2 to memory.
It computes an effective address by adding the zero-extended offset, scaled by 8,
to the base address in register rs1.
It expands to fsd rs2, offset(rs1).
Decode Variables
Bits<8> imm = {$encoding[6:5], $encoding[12:10], 3'd0};
Bits<3> rs2 = $encoding[4:2];
Bits<3> rs1 = $encoding[9:7];Execution
-
Pruned, XLEN == 64
-
Original
if ((%%LINK%csr_field;misa.C;CSR[misa].C%% == 1'b0)) {
%%LINK%func;raise;raise%%(ExceptionCode::IllegalInstruction, %%LINK%func;mode;mode%%(), $encoding);
}
XReg virtual_address = X[%%LINK%func;creg2reg;creg2reg%%(rs1)] + imm;
%%LINK%func;write_memory;write_memory%%<64>(virtual_address, X[%%LINK%func;creg2reg;creg2reg%%(rs2)], $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);
}
XReg virtual_address = X[%%LINK%func;creg2reg;creg2reg%%(rs1)] + imm;
%%LINK%func;write_memory;write_memory%%<64>(virtual_address, X[%%LINK%func;creg2reg;creg2reg%%(rs2)], $encoding);