Module Llvm.Fcmp

module Fcmp: sig .. end

The predicate for a floating-point comparison (fcmp) instruction. Ordered means that neither operand is a QNAN while unordered means that either operand may be a QNAN. See the llvm::FCmpInst::Predicate enumeration.

type t =

`\|`	`False`	`(*`	Always false	`*)`
`\|`	`Oeq`	`(*`	Ordered and equal	`*)`
`\|`	`Ogt`	`(*`	Ordered and greater than	`*)`
`\|`	`Oge`	`(*`	Ordered and greater or equal	`*)`
`\|`	`Olt`	`(*`	Ordered and less than	`*)`
`\|`	`Ole`	`(*`	Ordered and less or equal	`*)`
`\|`	`One`	`(*`	Ordered and not equal	`*)`
`\|`	`Ord`	`(*`	Ordered (no operand is NaN)	`*)`
`\|`	`Uno`	`(*`	Unordered (one operand at least is NaN)	`*)`
`\|`	`Ueq`	`(*`	Unordered and equal	`*)`
`\|`	`Ugt`	`(*`	Unordered and greater than	`*)`
`\|`	`Uge`	`(*`	Unordered and greater or equal	`*)`
`\|`	`Ult`	`(*`	Unordered and less than	`*)`
`\|`	`Ule`	`(*`	Unordered and less or equal	`*)`
`\|`	`Une`	`(*`	Unordered and not equal	`*)`
`\|`	`True`	`(*`	Always true	`*)`