FSD

Float Store Double

FSD rs2, offset(rs1)

Stores a 64-bit double-precision floating-point value to memory.

Details

Stores a floating-point register to memory at address rs1+sext(offset).

Pseudocode Operation

M[R[rs1] + sext(offset)][63:0] = F[rs2];

Example

FSD f1, 16(x2)

Encoding

Binary Layout
imm[11:5]
31:25
rs2
24:20
rs1
19:15
011
14:12
imm[4:0]
11:7
0100111
6:0
 
Format S-Type
Opcode 0x27
Extension D

Operands

  • rs2
    Src (Float Reg)
  • rs1
    Base Address
  • offset
    Offset