package llvm

  1. Overview
  2. Docs

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 =
  1. | False
    (*

    Always false

    *)
  2. | Oeq
    (*

    Ordered and equal

    *)
  3. | Ogt
    (*

    Ordered and greater than

    *)
  4. | Oge
    (*

    Ordered and greater or equal

    *)
  5. | Olt
    (*

    Ordered and less than

    *)
  6. | Ole
    (*

    Ordered and less or equal

    *)
  7. | One
    (*

    Ordered and not equal

    *)
  8. | Ord
    (*

    Ordered (no operand is NaN)

    *)
  9. | Uno
    (*

    Unordered (one operand at least is NaN)

    *)
  10. | Ueq
    (*

    Unordered and equal

    *)
  11. | Ugt
    (*

    Unordered and greater than

    *)
  12. | Uge
    (*

    Unordered and greater or equal

    *)
  13. | Ult
    (*

    Unordered and less than

    *)
  14. | Ule
    (*

    Unordered and less or equal

    *)
  15. | Une
    (*

    Unordered and not equal

    *)
  16. | True
    (*

    Always true

    *)
OCaml

Innovation. Community. Security.