ZIP1, ZIP2 (predicates) Interleave elements from two half predicates Interleave alternating elements from the lowest or highest halves of the first and second source predicates and place in elements of the destination predicate. This instruction is unpredicated. Green False True It has encodings from 2 classes: High halves and Low halves 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 ZIP2 <Pd>.<T>, <Pn>.<T>, <Pm>.<T> if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED; constant integer esize = 8 << UInt(size); constant integer n = UInt(Pn); constant integer m = UInt(Pm); constant integer d = UInt(Pd); constant integer part = 1; 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 ZIP1 <Pd>.<T>, <Pn>.<T>, <Pm>.<T> if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED; constant integer esize = 8 << UInt(size); constant integer n = UInt(Pn); constant integer m = UInt(Pm); constant integer d = UInt(Pd); constant integer part = 0; <Pd> Is the name of the destination scalable predicate register, encoded in the "Pd" field. <T> Is the size specifier, size <T> 00 B 01 H 10 S 11 D <Pn> Is the name of the first source scalable predicate register, encoded in the "Pn" field. <Pm> Is the name of the second source scalable predicate register, encoded in the "Pm" field. CheckSVEEnabled(); constant integer VL = CurrentVL; constant integer PL = VL DIV 8; constant integer pairs = VL DIV (esize * 2); constant bits(PL) operand1 = P[n, PL]; constant bits(PL) operand2 = P[m, PL]; bits(PL) result; constant integer base = part * pairs; for p = 0 to pairs-1 Elem[result, 2*p+0, esize DIV 8] = Elem[operand1, base+p, esize DIV 8]; Elem[result, 2*p+1, esize DIV 8] = Elem[operand2, base+p, esize DIV 8]; P[d, PL] = result;