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
| `*)` |