| Value | Meaning |
|---|---|
| PredicateFalse | |
| OEQ | < Always false (always folded) |
| OGT | < True if ordered and equal |
| OGE | < True if ordered and greater than |
| OLT | < True if ordered and greater than or equal |
| OLE | < True if ordered and less than |
| ONE | < True if ordered and less than or equal |
| ORD | < True if ordered and operands are unequal |
| UNO | < True if ordered (no nans) |
| UEQ | < True if unordered: isnan(X) | isnan(Y) |
| UGT | < True if unordered or equal |
| UGE | < True if unordered or greater than |
| ULT | < True if unordered, greater than, or equal |
| ULE | < True if unordered or less than |
| UNE | < True if unordered, less than, or equal |
| PredicateTrue | < True if unordered or not equal |
LLVM-4.0 See: llvm-c/Core.h