sd
Store doubleword
This instruction is defined by:
Synopsis
For RV64, store 64 bits of data from register xs2 to an
address formed by adding xs1 to a signed offset.
<% if ext?(:Zilsd) %>
For RV32, store doubleword from even/odd register pair.
<% end %>
Decode Variables
signed Bits<12> imm = sext({$encoding[31:25], $encoding[11:7]}, 12);
Bits<5> xs2 = $encoding[24:20];
Bits<5> xs1 = $encoding[19:15];Execution
-
Pruned, XLEN == 64
-
Original
XReg virtual_address = X[xs1] + $signed(imm);
write_memory(64, virtual_address, X[xs2], $encoding);XReg virtual_address = X[xs1] + $signed(imm);
if (xlen() == 64) {
write_memory(64, virtual_address, X[xs2], $encoding);
} else if (implemented?(ExtensionName::Zilsd)) {
if (endianness() == Endian::Big) {
write_memory(32, virtual_address, X[xs2 + 1], $encoding);
write_memory(32, virtual_address + 4, X[xs2], $encoding);
} else {
write_memory(32, virtual_address, X[xs2], $encoding);
write_memory(32, virtual_address + 4, X[xs2 + 1], $encoding);
}
} else {
raise(ExceptionCode::IllegalInstruction, mode(), $encoding);
}