Module Llvm.Icmp

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

type t =
| Eq(*

Equal

*)
| Ne(*

Not equal

*)
| Ugt(*

Unsigned greater than

*)
| Uge(*

Unsigned greater or equal

*)
| Ult(*

Unsigned less than

*)
| Ule(*

Unsigned less or equal

*)
| Sgt(*

Signed greater than

*)
| Sge(*

Signed greater or equal

*)
| Slt(*

Signed less than

*)
| Sle(*

Signed less or equal

*)