module Icmp:sig..end
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 | *) |