ADDVL Add multiple of vector register size to scalar register Add the current 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. Green False True 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 ADDVL <Xd|SP>, <Xn|SP>, #<imm> if !IsFeatureImplemented(FEAT_SVE) && !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. CheckSVEEnabled(); constant integer VL = CurrentVL; constant integer PL = VL DIV 8; constant bits(64) operand1 = if n == 31 then SP[] else X[n, 64]; constant bits(64) result = operand1 + (imm * (VL DIV 8)); if d == 31 then SP[] = result; else X[d, 64] = result;