STRD (register)
Store Register Dual (register)
Store Register Dual (register) calculates an address from a base
register value and a register offset, and stores two words from two
registers to memory. It can use offset, post-indexed, or pre-indexed
addressing. For information about memory accesses see
Memory accesses.
For more information about the CONSTRAINED UNPREDICTABLE behavior of this instruction, see Architectural Constraints on UNPREDICTABLE behaviors.
This instruction is a data-independent-time instruction as described in About the DIT bit.
!= 1111
0
0
0
0
0
(0)
(0)
(0)
(0)
1
1
1
1
1
0
STRD{<c>}{<q>} <Rt>, <Rt2>, [<Rn>, {+/-}<Rm>]
0
0
STRD{<c>}{<q>} <Rt>, <Rt2>, [<Rn>], {+/-}<Rm>
1
1
STRD{<c>}{<q>} <Rt>, <Rt2>, [<Rn>, {+/-}<Rm>]!
if Rt[0] == '1' then UnpredictableProcedure(); end;
let t : integer = UInt(Rt);
let t2 : integer = t + 1;
let n : integer = UInt(Rn);
let m : integer = UInt(Rm);
let index : boolean = (P == '1');
let add : boolean = (U == '1');
let wback : boolean = (P == '0') || (W == '1');
if P == '0' && W == '1' then UnpredictableProcedure(); end;
if t2 == 15 || m == 15 then UnpredictableProcedure(); end;
if wback && (n == 15 || n == t || n == t2) then UnpredictableProcedure(); end;
t == 15 || t2 == 15
The store instruction performs the store using the specified addressing mode but the value corresponding to R15 is UNKNOWN.
wback && (n == t || n == t2)
wback && n == 15
The instruction uses the addressing mode described in the equivalent immediate offset instruction.
Rt<0> == '1'
The instruction executes as described, with no change to its behavior and no additional side-effects. This does not apply when Rt == '1111'.
P == '0' && W == '1'
<c>
See Standard assembler syntax fields.
<q>
See Standard assembler syntax fields.
<Rt>
Is the first general-purpose register to be transferred, encoded in the "Rt" field. This register must be even-numbered and not R14.
<Rt2>
Is the second general-purpose register to be transferred. This register must be <R(t+1)>.
<Rn>
Is the general-purpose base register, encoded in the "Rn" field. The PC can be used in the offset variant, but this is deprecated.
+/-
Specifies the index register is added to or subtracted from the base register, defaulting to + if omitted and
<Rm>
Is the general-purpose index register, encoded in the "Rm" field.
if ConditionPassed() then
EncodingSpecificOperations();
let offset_addr : bits(32) = if add then (R(n) + R(m)) else (R(n) - R(m));
let address : bits(32) = if index then offset_addr else R(n);
if IsAlignedSize(address, 8) then
var data : bits(64);
if BigEndian(AccessType_GPR) then
data[63:32] = R(t);
data[31:0] = R(t2);
else
data[31:0] = R(t);
data[63:32] = R(t2);
end;
MemA{64}(address) = data;
else
MemA{32}(address) = R(t);
MemA{32}(address+4) = R(t2);
end;
if wback then R(n) = offset_addr; end;
end;
2026-03-26 20:27:25
2026-03_rel