ADDSVL
Add multiple of Streaming SVE vector register size to scalar register
Add the Streaming SVE vector register size in bytes multiplied by an immediate in the range -32 to 31 to the 64-bit source general-purpose register or current stack pointer, and place the result in the 64-bit destination general-purpose register or current stack pointer.
This instruction does not require the PE to be in Streaming SVE mode.
Green
False
True
0
0
0
0
0
1
0
0
0
0
1
0
1
0
1
1
ADDSVL <Xd|SP>, <Xn|SP>, #<imm>
if !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
constant integer n = UInt(Rn);
constant integer d = UInt(Rd);
constant integer imm = SInt(imm6);
<Xd|SP>
Is the 64-bit name of the destination general-purpose register or stack pointer, encoded in the "Rd" field.
<Xn|SP>
Is the 64-bit name of the source general-purpose register or stack pointer, encoded in the "Rn" field.
<imm>
Is the signed immediate operand, in the range -32 to 31, encoded in the "imm6" field.
CheckSMEEnabled();
constant integer SVL = CurrentSVL;
constant integer len = imm * (SVL DIV 8);
constant bits(64) operand1 = if n == 31 then SP[] else X[n, 64];
constant bits(64) result = operand1 + len;
if d == 31 then
SP[] = result;
else
X[d, 64] = result;