Ast.Cond
type t =
| EQ
| NE
| CS
alias HS
| CC
alias LO
| MI
| PL
| VS
| VC
| HI
| LS
| GE
| LT
| GT
| LE
AL and NV are not supported, because NV means AL, but has a different encoding. Use unconditional branching instead.
val of_float_cond : Float_cond.t -> t