sd
Store doubleword
This instruction is defined by:
Synopsis
Store 64 bits of data from register rs2
to an
address formed by adding rs1
to a signed offset.
Decode Variables
signed Bits<12> imm = sext({$encoding[31:25], $encoding[11:7]});
Bits<5> rs1 = $encoding[19:15];
Bits<5> rs2 = $encoding[24:20];
Execution
-
Pruned, XLEN == 64
-
Original
XReg virtual_address = X[rs1] + imm;
write_memory<64>(virtual_address, X[rs2], $encoding);
XReg virtual_address = X[rs1] + imm;
write_memory<64>(virtual_address, X[rs2], $encoding);