package llvm

  1. Overview
  2. Docs

The predicate for an integer comparison (icmp) instruction. See the llvm::ICmpInst::Predicate enumeration.

type t =
  1. | Eq
    (*

    Equal

    *)
  2. | Ne
    (*

    Not equal

    *)
  3. | Ugt
    (*

    Unsigned greater than

    *)
  4. | Uge
    (*

    Unsigned greater or equal

    *)
  5. | Ult
    (*

    Unsigned less than

    *)
  6. | Ule
    (*

    Unsigned less or equal

    *)
  7. | Sgt
    (*

    Signed greater than

    *)
  8. | Sge
    (*

    Signed greater or equal

    *)
  9. | Slt
    (*

    Signed less than

    *)
  10. | Sle
    (*

    Signed less or equal

    *)
OCaml

Innovation. Community. Security.