cmtst

Vector Compare Test

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

Tests if any bits match ((Vn & Vm) != 0).

Details

Tests whether any bits match between Vn and Vm by computing the bitwise AND; if (Vn[i] & Vm[i]) != 0, sets all bits in Vd[i] to 1; otherwise sets them to 0. 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]) != 0) then
    Vd[i] ← all_ones
  else
    Vd[i] ← all_zeros

Example

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

Encoding

Binary Layout
0
Q
0
01110
size
1
Rm
10001
1
Rn
Rd
 
Format SIMD Three Register
Opcode 0x0E208C00
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
0x5EE08C00 CMTST D<d>, D<n>, D<m> A64 01 | 0 | 11110 | 11 | 1 | Rm | 10001 | 1 | Rn | Rd
0x0E208C00 CMTST <Vd>.<T>, <Vn>.<T>, <Vm>.<T> A64 0 | Q | 0 | 01110 | size | 1 | Rm | 10001 | 1 | Rn | Rd

Description

Compare bitwise Test bits nonzero (vector). This instruction reads each vector element in the first source SIMD&FP register, performs an AND with the corresponding vector element in the second source SIMD&FP register, and if the result is not zero, 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;