sd

Store doubleword

This instruction is defined by:

Encoding

svg

Synopsis

Store 64 bits of data from register xs2 to an address formed by adding xs1 to a signed offset.

Access

M

HS

U

VS

VU

Always

Always

Always

Always

Always

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);
%%LINK%func;write_memory;write_memory%%<64>(virtual_address, X[xs2], $encoding);
XReg virtual_address = X[xs1] + $signed(imm);
%%LINK%func;write_memory;write_memory%%<64>(virtual_address, X[xs2], $encoding);

Exceptions

This instruction may result in the following synchronous exceptions:

  • LoadAccessFault

  • StoreAmoAccessFault

  • StoreAmoPageFault