package llvm
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
*)