SADALP Signed add and accumulate long pairwise Add pairs of adjacent signed integer values and accumulate the results into the overlapping double-width elements of the destination vector. Green True True True True 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 SADALP <Zda>.<T>, <Pg>/M, <Zn>.<Tb> if !IsFeatureImplemented(FEAT_SVE2) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED; if size == '00' then UNDEFINED; constant integer esize = 8 << UInt(size); constant integer g = UInt(Pg); constant integer n = UInt(Zn); constant integer da = UInt(Zda); <Zda> Is the name of the second source and destination scalable vector register, encoded in the "Zda" field. <T> Is the size specifier, size <T> 00 RESERVED 01 H 10 S 11 D <Pg> Is the name of the governing scalable predicate register P0-P7, encoded in the "Pg" field. <Zn> Is the name of the first source scalable vector register, encoded in the "Zn" field. <Tb> Is the size specifier, size <Tb> 00 RESERVED 01 B 10 H 11 S CheckSVEEnabled(); constant integer VL = CurrentVL; constant integer PL = VL DIV 8; constant integer elements = VL DIV esize; constant bits(PL) mask = P[g, PL]; constant bits(VL) operand_acc = Z[da, VL]; constant bits(VL) operand_src = if AnyActiveElement(mask, esize) then Z[n, VL] else Zeros(VL); bits(VL) result; for e = 0 to elements-1 if !ActivePredicateElement(mask, e, esize) then Elem[result, e, esize] = Elem[operand_acc, e, esize]; else constant integer element1 = SInt(Elem[operand_src, 2*e + 0, esize DIV 2]); constant integer element2 = SInt(Elem[operand_src, 2*e + 1, esize DIV 2]); constant bits(esize) sum = (element1 + element2)<esize-1:0>; Elem[result, e, esize] = Elem[operand_acc, e, esize] + sum; Z[da, VL] = result;