scalar.cmpf¶
Floating-point comparison.
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¶
SameType(lhs, rhs)