PMOV (to vector)

Move predicate to vector

Copy the source SVE predicate register elements into the destination vector register as a packed bitmap with one bit per predicate element, where bit value 0b1 represents a TRUE predicate element, and bit value 0b0 represents a FALSE predicate element.

Because the number of bits in an SVE predicate element scales with the the vector element size, the behavior varies according to the specified element size.

• When the predicate element specifier is.B, every bit in the predicate register is copied to the least-significant VL/8 bits of the destination vector register. The portion index, if specified, must be 0.
• When the predicate element specifier is.H, every second bit in the predicate register is copied to the indexed block of VL/16 bits in the destination vector register, where the portion index is in the range 0 to 1, inclusive.
• When the predicate element specifier is.S, every fourth bit in the predicate register is copied to the indexed block of VL/32 bits in the destination vector register, where the portion index is in the range 0 to 3, inclusive.
• When the predicate element specifier is.D, every eighth bit in the predicate register is copied to the indexed block of VL/64 bits in the destination vector register, where the portion index is in the range 0 to 7, inclusive.

The portion index is optional, defaulting to 0 if omitted. When the index is zero, the instruction writes zeroes to the most significant VL-(VL/esize) bits of the destination vector register. When a non-zero index is specified, the packed bitmap is inserted into the destination vector register, and the unindexed blocks remain unchanged.

It has encodings from 4 classes: Byte , Doubleword , Halfword and Word

Byte
(FEAT_SVE2p1)

if !HaveSVE2p1() && !HaveSME2p1() then UNDEFINED; integer n = UInt(Pn); integer d = UInt(Zd); constant integer esize = 8; constant integer imm = 0;

Doubleword
(FEAT_SVE2p1)

if !HaveSVE2p1() && !HaveSME2p1() then UNDEFINED; integer n = UInt(Pn); integer d = UInt(Zd); constant integer esize = 64; constant integer imm = UInt(i3h:i3l);

Halfword
(FEAT_SVE2p1)

if !HaveSVE2p1() && !HaveSME2p1() then UNDEFINED; integer n = UInt(Pn); integer d = UInt(Zd); constant integer esize = 16; constant integer imm = UInt(i1);

Word
(FEAT_SVE2p1)

if !HaveSVE2p1() && !HaveSME2p1() then UNDEFINED; integer n = UInt(Pn); integer d = UInt(Zd); constant integer esize = 32; constant integer imm = UInt(i2);