ZIP1, ZIP2 (predicates)

Interleave elements from two half predicates

This instruction interleaves alternating elements from the lowest or highest halves of the first and second source predicates, and places the values in the destination predicate. This instruction is unpredicated.

It has encodings from 2 classes: High halves and Low halves

High halves
(FEAT_SVE || FEAT_SME)

313029282726252423222120191817161514131211109876543210
00000101size10Pm0100010Pn0Pd
opcH

Encoding

ZIP2 <Pd>.<T>, <Pn>.<T>, <Pm>.<T>

Decode for this encoding

if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF); end; let esize : integer{} = 8 << UInt(size); let n : integer = UInt(Pn); let m : integer = UInt(Pm); let d : integer = UInt(Pd); let part : integer = 1;

Low halves
(FEAT_SVE || FEAT_SME)

313029282726252423222120191817161514131211109876543210
00000101size10Pm0100000Pn0Pd
opcH

Encoding

ZIP1 <Pd>.<T>, <Pn>.<T>, <Pm>.<T>

Decode for this encoding

if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF); end; let esize : integer{} = 8 << UInt(size); let n : integer = UInt(Pn); let m : integer = UInt(Pm); let d : integer = UInt(Pd); let part : integer = 0;

Assembler Symbols

<Pd>

Is the name of the destination scalable predicate register, encoded in the "Pd" field.

<T>

Is the size specifier, encoded in size:

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.

Operation

CheckSVEEnabled(); let VL : integer{} = CurrentVL(); let PL : integer{} = VL DIV 8; let pairs : integer = VL DIV (esize * 2); let operand1 : bits(PL) = P{}(n); let operand2 : bits(PL) = P{}(m); var result : bits(PL); let base : integer = part * pairs; for p = 0 to pairs-1 do result[(2*p+0)*:(esize DIV 8)] = operand1[(base+p)*:(esize DIV 8)]; result[(2*p+1)*:(esize DIV 8)] = operand2[(base+p)*:(esize DIV 8)]; end; P{PL}(d) = result;


2026-03_rel 2026-03-26 20:48:11

Copyright © 2010-2026 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.