diff options
Diffstat (limited to 'asmcomp/printmach.ml')
| -rw-r--r-- | asmcomp/printmach.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index 89f12e8504..5180ab9d20 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -143,6 +143,7 @@ let operation op arg ppf res = fprintf ppf "alloc %i" n; | Iintop(op) -> fprintf ppf "%a%s%a" reg arg.(0) (intop op) reg arg.(1) | Iintop_imm(op, n) -> fprintf ppf "%a%s%i" reg arg.(0) (intop op) n + | Icompf cmp -> fprintf ppf "%a%s%a" reg arg.(0) (floatcomp cmp) reg arg.(1) | Inegf -> fprintf ppf "-f %a" reg arg.(0) | Iabsf -> fprintf ppf "absf %a" reg arg.(0) | Iaddf -> fprintf ppf "%a +f %a" reg arg.(0) reg arg.(1) |