Llvm.FcmpSourceThe 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 = | FalseAlways false
*)| OeqOrdered and equal
*)| OgtOrdered and greater than
*)| OgeOrdered and greater or equal
*)| OltOrdered and less than
*)| OleOrdered and less or equal
*)| OneOrdered and not equal
*)| OrdOrdered (no operand is NaN)
*)| UnoUnordered (one operand at least is NaN)
*)| UeqUnordered and equal
*)| UgtUnordered and greater than
*)| UgeUnordered and greater or equal
*)| UltUnordered and less than
*)| UleUnordered and less or equal
*)| UneUnordered and not equal
*)| TrueAlways true
*)