← Home

PUNPKHI, PUNPKLO

Unpack and widen half of predicate

This instruction unpacks elements from the lowest or highest half of the source predicate and places them in elements of twice their size within the destination predicate. This instruction is unpredicated.

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

High half class

(FEAT_SVE || FEAT_SME)

313029282726252423222120191817161514131211109876543210
00000101001100010100000Pn0Pd
H

Encoding

PUNPKHI <Pd>.H, <Pn>.B

Decode

if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF); end; let esize : integer{} = 16; let n : integer = UInt(Pn); let d : integer = UInt(Pd); let hi : boolean = TRUE;

Low half class

(FEAT_SVE || FEAT_SME)

313029282726252423222120191817161514131211109876543210
00000101001100000100000Pn0Pd
H

Encoding

PUNPKLO <Pd>.H, <Pn>.B

Decode

if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF); end; let esize : integer{} = 16; let n : integer = UInt(Pn); let d : integer = UInt(Pd); let hi : boolean = FALSE;

Assembler Symbols

<Pd>

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

<Pn>

Is the name of the source scalable predicate register, encoded in the "Pn" field.

Operation

CheckSVEEnabled(); let VL : integer{} = CurrentVL(); let PL : integer{} = VL DIV 8; let elements : integer = VL DIV esize; let operand : bits(PL) = P{}(n); var result : bits(PL); let psize : integer{} = esize DIV 8; for e = 0 to elements-1 do let pbit : bit = PredicateElement{PL}(operand, if hi then e + elements else e, esize DIV 2); result[e*:psize] = ZeroExtend{psize}(pbit); end; P{PL}(d) = result;

Version 2026.06 — Copyright © 2010-2026 Arm Limited or its affiliates.

This site is provided as a community resource and is NOT affiliated with nor endorsed by Arm Limited.