Module Llvm.Fcmp

The predicate for a floating-point comparison (fcmp) instruction. Ordered means that neither operand is a QNAN while unordered means that either operand may be a QNAN. See the llvm::FCmpInst::Predicate enumeration.

type t =
| False(*

Always false

*)
| Oeq(*

Ordered and equal

*)
| Ogt(*

Ordered and greater than

*)
| Oge(*

Ordered and greater or equal

*)
| Olt(*

Ordered and less than

*)
| Ole(*

Ordered and less or equal

*)
| One(*

Ordered and not equal

*)
| Ord(*

Ordered (no operand is NaN)

*)
| Uno(*

Unordered (one operand at least is NaN)

*)
| Ueq(*

Unordered and equal

*)
| Ugt(*

Unordered and greater than

*)
| Uge(*

Unordered and greater or equal

*)
| Ult(*

Unordered and less than

*)
| Ule(*

Unordered and less or equal

*)
| Une(*

Unordered and not equal

*)
| True(*

Always true

*)