cmeq

Vector Compare Equal

CMEQ <Vd>.<T>, <Vn>.<T>, <Vm>.<T>

Compares elements (Vn == Vm) and sets bits to all 1s or 0s.

Details

Compares each element of Vn with the corresponding element of Vm for equality; if Vn[i] == Vm[i], sets all bits in Vd[i] to 1; otherwise sets them to 0. The comparison is bitwise exact, regardless of signedness. Condition flags are not affected. This is a NEON instruction available in AArch64 execution state.

Pseudocode Operation

for i = 0 to elements_in_vector - 1
  if (Vn[i] == Vm[i]) then
    Vd[i] ← all_ones
  else
    Vd[i] ← all_zeros

Example

CMEQ v0.4s.T, v1.4s.T, v2.4s.T

Encoding

Binary Layout
0
Q
1
01110
size
1
Rm
10001
1
Rn
Rd
 
Format SIMD Three Register
Opcode 0x2E208C00
Extension NEON (SIMD)

Operands

  • Vd
    Destination SIMD/FP vector register
  • Vn
    First source SIMD/FP vector register
  • Vm
    Second source SIMD/FP vector register

Reference (Arm A64 ISA)

Instruction Forms

Encoding Instruction ISA Bit pattern
0x7EE08C00 CMEQ D<d>, D<n>, D<m> A64 01 | 1 | 11110 | 11 | 1 | Rm | 10001 | 1 | Rn | Rd
0x2E208C00 CMEQ <Vd>.<T>, <Vn>.<T>, <Vm>.<T> A64 0 | Q | 1 | 01110 | size | 1 | Rm | 10001 | 1 | Rn | Rd
0x5EE09800 CMEQ D<d>, D<n>, #0 A64 01 | 0 | 11110 | 11 | 100000100 | 1 | 10 | Rn | Rd
0x0E209800 CMEQ <Vd>.<T>, <Vn>.<T>, #0 A64 0 | Q | 0 | 01110 | size | 100000100 | 1 | 10 | Rn | Rd

Description

Compare bitwise Equal (vector). This instruction compares each vector element from the first source SIMD&FP register with the corresponding vector element from the second source SIMD&FP register, and if the comparison is equal sets every bit of the corresponding vector element in the destination SIMD&FP register to one, otherwise sets every bit of the corresponding vector element in the destination SIMD&FP register to zero. Depending on the settings in the CPACR_EL1, CPTR_EL2, and CPTR_EL3 registers, and the current Security state and Exception level, an attempt to execute the instruction might be trapped.

Operation

CheckFPAdvSIMDEnabled64();
bits(datasize) operand1 = V[n, datasize];
bits(datasize) operand2 = V[m, datasize];
bits(datasize) result;
bits(esize) element1;
bits(esize) element2;
boolean test_passed;

for e = 0 to elements-1
    element1 = Elem[operand1, e, esize];
    element2 = Elem[operand2, e, esize];
    if and_test then
        test_passed = !IsZero(element1 AND element2);
    else
        test_passed = (element1 == element2);
    Elem[result, e, esize] = if test_passed then Ones(esize) else Zeros(esize);

V[d, datasize] = result;