STLR

Store-release register

This instruction stores a 32-bit word or a 64-bit doubleword to a memory location, from a register. The instruction also has memory ordering semantics as described in Load-Acquire, Store-Release. For information about addressing modes, see Load/Store addressing modes.

It has encodings from 2 classes: No offset and Pre-index

No offset

Decode for all variants of this encoding

let t : integer{} = UInt(Rt); let n : integer{} = UInt(Rn); let wback : boolean = FALSE; let offset : integer = 0; let rt_unknown : boolean = FALSE; let elsize : integer{} = 8 << UInt(size); let datasize : integer{} = elsize; let acquire : boolean = FALSE; let tagchecked : boolean = n != 31;

Pre-index
(FEAT_LRCPC3)

Decode for all variants of this encoding

if !IsFeatureImplemented(FEAT_LRCPC3) then EndOfDecode(Decode_UNDEF); end; let wback : boolean = TRUE; let t : integer{} = UInt(Rt); let n : integer{} = UInt(Rn); let datasize : integer{} = 8 << UInt(size); let offset : integer = -1 * (1 << UInt(size)); let acquire : boolean = FALSE; let tagchecked : boolean = TRUE; var rt_unknown : boolean = FALSE; if n == t && n != 31 then let c : Constraint = ConstrainUnpredictable(Unpredictable_WBOVERLAPST); assert c IN {Constraint_NONE, Constraint_UNKNOWN, Constraint_UNDEF, Constraint_NOP}; case c of when Constraint_NONE => rt_unknown = FALSE; // value stored is original value when Constraint_UNKNOWN => rt_unknown = TRUE; // value stored is UNKNOWN when Constraint_UNDEF => EndOfDecode(Decode_UNDEF); when Constraint_NOP => EndOfDecode(Decode_NOP); end; end;