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