Skip to content

vector.cmpi

vector dialect

Lanewise integer comparison producing an i1 mask vector. The predicate attribute uses the scalar.cmpi predicate names and applies independently to each lane.

Operation contract

Property Value
Semantic phase executable
Traits Pure, Elementwise

Signature

Kind Name Type Cardinality Description
Operand lhs vector required
Operand rhs vector required
Result result vector required
Attribute predicate enum CmpIPredicate required

Verification constraints

  • HasIntegerElement(lhs)
  • HasI1Element(result)
  • SameKind(lhs, result)
  • SameShape(lhs, rhs, result)
  • SameElementType(lhs, rhs)

Examples

%m = vector.cmpi slt, %lhs, %rhs : vector<16xi32> -> vector<16xi1>