PMOV (to predicate)

Move predicate from vector

Copy a packed bitmap, where bit value 0b1 represents TRUE and bit value 0b0 represents FALSE, from a portion of the source vector register to elements of the destination SVE predicate register.

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

• When the predicate element specifier is.B, each bit [N] from the least-significant VL/8 bits in the source vector register is copied to bit [N] of the destination predicate register. The portion index, if specified, must be 0.
• When the predicate element specifier is.H, each bit [N] within the indexed block of VL/16 bits in the source vector register is copied to bit [N*2] of the destination predicate register, and the other bits in the predicate are set to zero. The portion index is in the range 0 to 1, inclusive.
• When the predicate elements specifier is.S, each bit [N] within the indexed block of VL/32 bits in the source vector register is copied to bit [N*4] of the destination predicate register, and the other bits in the predicate are set to zero. The portion index is in the range 0 to 3, inclusive.
• When the predicate element specifier is.D, each bit [N] within the indexed block of VL/64 bits in the source vector register is copied to bit [N*8] of the destination predicate register, and the other bits in the predicate are set to zero. The portion index is in the range 0 to 7, inclusive.

The portion index is optional, defaulting to 0 if omitted.

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

Byte
(FEAT_SVE2p1)

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

Doubleword
(FEAT_SVE2p1)

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

Halfword
(FEAT_SVE2p1)

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

Word
(FEAT_SVE2p1)

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