Post-index
32-bit variant
Applies when opc == 00.
STP <Wt1>, <Wt2>, [<Xn|SP>], #<imm>
64-bit variant
Applies when opc == 10.
STP <Xt1>, <Xt2>, [<Xn|SP>], #<imm>
Pre-index
32-bit variant
Applies when opc == 00.
STP <Wt1>, <Wt2>, [<Xn|SP>, #<imm>]!
64-bit variant
Applies when opc == 10.
STP <Xt1>, <Xt2>, [<Xn|SP>, #<imm>]!
Signed offset
32-bit variant
Applies when opc == 00.
STP <Wt1>, <Wt2>, [<Xn|SP>{, #<imm>}]
64-bit variant
Applies when opc == 10.
STP <Xt1>, <Xt2>, [<Xn|SP>{, #<imm>}]
Assembler symbols
<Wt1> | Is the 32-bit name of the first general-purpose register to be transferred, encoded in the "Rt" field. |
<Wt2> | Is the 32-bit name of the second general-purpose register to be transferred, encoded in the "Rt2 |
<Xt1> | Is the 64-bit name of the first general-purpose register to be transferred, encoded in the "Rt" field. |
<Xt2> | Is the 64-bit name of the second general-purpose register to be transferred, encoded in the "Rt2" |
<Xn|SP> Is the 64-bit name of the general-purpose base register or stack pointer, encoded in the "Rn" field.
<imm> For the 32-bit post-index and 32-bit pre-index variant: is the signed immediate byte offset, a
multiple of 4 in the range -256 to 252, encoded in the "imm7" field as <imm>/4.
For the 32-bit signed offset variant: is the optional signed immediate byte offset, a multiple of 4 in
the range -256 to 252, defaulting to 0 and encoded in the "imm7" field as <imm>/4.
For the 64-bit post-index and 64-bit pre-index variant: is the signed immediate byte offset, a
multiple of 8 in the range -512 to 504, encoded in the "imm7" field as <imm>/8.
For the 64-bit signed offset variant: is the optional signed immediate byte offset, a multiple of 8 in
the range -512 to 504, defaulting to 0 and encoded in the "imm7" field as <imm>/8.
Shared decode for all encodings
integer n = UInt(Rn);
integer t = UInt(Rt);
integer t2 = UInt(Rt2);
if L:opc<0> == '01' || opc == '11' then UnallocatedEncoding();
integer scale = 2 + UInt(opc<1>);
integer datasize = 8 << scale;
bits(64) offset = LSL(SignExtend(imm7, 64), scale);
Operation for all encodings
bits(64) address;
bits(datasize) data1;
bits(datasize) data2;
constant integer dbytes = datasize DIV 8;
boolean rt_unknown = FALSE;
if wback && (t == n || t2 == n) && n != 31 then
Constraint c = ConstrainUnpredictable();
assert c IN {Constraint_NONE, Constraint_UNKNOWN, Constraint_UNDEF, Constraint_NOP};
case c of
when Constraint_NONE rt_unknown = FALSE; // value stored is pre-writeback
when Constraint_UNKNOWN rt_unknown = TRUE; // value stored is UNKNOWN
when Constraint_UNDEF UnallocatedEncoding();
when Constraint_NOP EndOfInstruction();
if n == 31 then
CheckSPAlignment();
address = SP[];
else
address = X[n];
if !postindex then
address = address + offset;
if rt_unknown && t == n then
data1 = bits(datasize) UNKNOWN;
else
data1 = X[t];
if rt_unknown && t2 == n then
data2 = bits(datasize) UNKNOWN;
else
data2 = X[t2];
Mem[address, dbytes, AccType_NORMAL] = data1;
Mem[address+dbytes, dbytes, AccType_NORMAL] = data2;
if wback then
if postindex then
address = address + offset;
if n == 31 then
SP[] = address;
else
X[n] = address;