diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-03-09 22:38:52 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-03-09 22:38:52 +0000 |
| commit | c63f9e09579ba88c4b9510ccce062fbc767fd3a6 (patch) | |
| tree | a9a7f7ef5f2c1a7d84ba7034e3ed12422800ec96 /asmcomp/i386/selection.ml | |
| parent | fb36548704ce096310707204c77218fe4d69f069 (diff) | |
| download | ocaml-c63f9e09579ba88c4b9510ccce062fbc767fd3a6.tar.gz | |
fix a few problems with whitespace and over-long lines
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/i386/selection.ml')
| -rw-r--r-- | asmcomp/i386/selection.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index 49b5059d97..cdf7fdfc44 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -130,7 +130,7 @@ let pseudoregs_for_operation op arg res = the result is always left at the top of the floating-point stack *) | Iconst_float _ | Inegf | Iabsf | Iaddf | Isubf | Imulf | Idivf | Ifloatofint | Iload((Single | Double | Double_u), _) - | Ispecific(Isubfrev | Idivfrev | Ifloatarithmem(_, _, _) | Ifloatspecial _) -> + | Ispecific(Isubfrev | Idivfrev | Ifloatarithmem _ | Ifloatspecial _) -> (arg, [| tos |], false) (* don't move it immediately *) (* For storing a byte, the argument must be in eax...edx. (But for a short, any reg will do!) @@ -220,11 +220,13 @@ method! select_operation op args = | Caddf -> self#select_floatarith Iaddf Iaddf Ifloatadd Ifloatadd args | Csubf -> - self#select_floatarith Isubf (Ispecific Isubfrev) Ifloatsub Ifloatsubrev args + self#select_floatarith Isubf (Ispecific Isubfrev) Ifloatsub Ifloatsubrev + args | Cmulf -> self#select_floatarith Imulf Imulf Ifloatmul Ifloatmul args | Cdivf -> - self#select_floatarith Idivf (Ispecific Idivfrev) Ifloatdiv Ifloatdivrev args + self#select_floatarith Idivf (Ispecific Idivfrev) Ifloatdiv Ifloatdivrev + args (* Recognize store instructions *) | Cstore Word -> begin match args with |