CMP<cc> (wide elements)
Compare vector to 64-bit wide elements
Compare active integer elements in the first source vector with overlapping 64-bit doubleword elements in the second source vector, and place the boolean results of the specified comparison in the corresponding elements of the destination predicate. Inactive elements in the destination predicate register are set to zero. Sets the First (N), None (Z), !Last (C) condition flags based on the predicate result, and the V flag to zero.
<cc>
Comparison
EQ
equal
GE
signed greater than or equal
GT
signed greater than
HI
unsigned higher than
HS
unsigned higher than or same
LE
signed less than or equal
LO
unsigned lower than
LS
unsigned lower than or same
LT
signed less than
NE
not equal
Green
True
True
True
It has encodings from 10 classes:
Equal
,
Greater than
,
Greater than or equal
,
Higher
,
Higher or same
,
Less than
,
Less than or equal
,
Lower
,
Lower or same
and
Not equal
0
0
1
0
0
1
0
0
0
0
0
1
0
CMPEQ <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_EQ;
constant boolean unsigned = FALSE;
0
0
1
0
0
1
0
0
0
0
1
0
1
CMPGT <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_GT;
constant boolean unsigned = FALSE;
0
0
1
0
0
1
0
0
0
0
1
0
0
CMPGE <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_GE;
constant boolean unsigned = FALSE;
0
0
1
0
0
1
0
0
0
1
1
0
1
CMPHI <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_GT;
constant boolean unsigned = TRUE;
0
0
1
0
0
1
0
0
0
1
1
0
0
CMPHS <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_GE;
constant boolean unsigned = TRUE;
0
0
1
0
0
1
0
0
0
0
1
1
0
CMPLT <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_LT;
constant boolean unsigned = FALSE;
0
0
1
0
0
1
0
0
0
0
1
1
1
CMPLE <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_LE;
constant boolean unsigned = FALSE;
0
0
1
0
0
1
0
0
0
1
1
1
0
CMPLO <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_LT;
constant boolean unsigned = TRUE;
0
0
1
0
0
1
0
0
0
1
1
1
1
CMPLS <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_LE;
constant boolean unsigned = TRUE;
0
0
1
0
0
1
0
0
0
0
0
1
1
CMPNE <Pd>.<T>, <Pg>/Z, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Pd);
constant SVECmp cmp_op = Cmp_NE;
constant boolean unsigned = FALSE;
<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
RESERVED
<Pg>
Is the name of the governing scalable predicate register P0-P7, encoded in the "Pg" field.
<Zn>
Is the name of the first source scalable vector register, encoded in the "Zn" field.
<Zm>
Is the name of the second source scalable vector register, encoded in the "Zm" field.
CheckSVEEnabled();
constant integer VL = CurrentVL;
constant integer PL = VL DIV 8;
constant integer elements = VL DIV esize;
constant bits(PL) mask = P[g, PL];
constant bits(VL) operand1 = if AnyActiveElement(mask, esize) then Z[n, VL] else Zeros(VL);
constant bits(VL) operand2 = if AnyActiveElement(mask, esize) then Z[m, VL] else Zeros(VL);
bits(PL) result;
constant integer psize = esize DIV 8;
for e = 0 to elements-1
constant integer element1 = Int(Elem[operand1, e, esize], unsigned);
if ActivePredicateElement(mask, e, esize) then
boolean cond;
constant integer element2 = Int(Elem[operand2, (e * esize) DIV 64, 64], unsigned);
case cmp_op of
when Cmp_EQ cond = element1 == element2;
when Cmp_NE cond = element1 != element2;
when Cmp_GE cond = element1 >= element2;
when Cmp_LT cond = element1 < element2;
when Cmp_GT cond = element1 > element2;
when Cmp_LE cond = element1 <= element2;
constant bit pbit = if cond then '1' else '0';
Elem[result, e, psize] = ZeroExtend(pbit, psize);
else
Elem[result, e, psize] = ZeroExtend('0', psize);
PSTATE.<N,Z,C,V> = PredTest(mask, result, esize);
P[d, PL] = result;