Skip to content

vector.cmpf

← vector dialect

Lanewise floating-point comparison producing an i1 mask vector. The predicate attribute uses the scalar.cmpf ordered/unordered 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 CmpFPredicate required —
Attribute fastmath flags FastMathFlags optional —

Verification constraints

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

Examples

%m = vector.cmpf olt, %lhs, %rhs : vector<16xf32> -> vector<16xi1>