scalar.cmpf
← scalar dialect
Floating-point comparison in the target's native floating-point environment. Optional fast-math flags grant additional source permissions.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, SafeToSpeculate |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
lhs |
float |
required |
— |
| Operand |
rhs |
float |
required |
— |
| Result |
result |
i1 |
required |
— |
| Attribute |
predicate |
enum CmpFPredicate |
required |
— |
| Attribute |
fastmath |
flags FastMathFlags |
optional |
— |
Verification constraints
Examples
%result = scalar.cmpf olt, %lhs, %rhs : f32