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