sd.rl
Store Doubleword Release
This instruction is defined by:
Synopsis
Store the lowest 64 bits of register xs2 to the address in xs1.
This instruction has release semantics, which means that no previous memory operations (in program order) from this hart can be observed to occur after this store completes. Release semantics provide ordering guarantees useful for synchronization, such as writing a lock variable to release it.
The address must be naturally aligned (8-byte aligned); if not, an address-misaligned or access-fault exception will be raised.
Execution
-
Pruned, XLEN == 64
-
Original
XReg virtual_address = X[xs1];
if (!is_naturally_aligned(64, virtual_address)) {
raise(ExceptionCode::StoreAmoAddressMisaligned, mode(), virtual_address);
}
write_memory_aligned(64, virtual_address, X[xs2], $encoding, 1'b0, 1'b1);XReg virtual_address = X[xs1];
if (!is_naturally_aligned(64, virtual_address)) {
raise(ExceptionCode::StoreAmoAddressMisaligned, mode(), virtual_address);
}
write_memory_aligned(64, virtual_address, X[xs2], $encoding, 1'b0, 1'b1);