diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-06 09:07:06 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-06 09:07:06 +0000 |
| commit | 9d58fcda15b297479f54ef26a89579ee98e823ba (patch) | |
| tree | b577cb50840322f79093c51073a81623579305d8 | |
| parent | c9f077f8db3972f1e977b264833ef87d7bbd79e9 (diff) | |
Cosmetique
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1891 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | asmcomp/i386/selection.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index 79a9f942a..b77527c7e 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -117,7 +117,7 @@ let pseudoregs_for_operation op arg res = (* For floating-point operations, the result is always left at the top of the floating-point stack *) | Iconst_float _ | Inegf | Iabsf | Iaddf | Isubf | Imulf | Idivf - | Ifloatofint |Ispecific(Isubfrev | Idivfrev | Ifloatarithmem(_, _)) -> + | Ifloatofint | Ispecific(Isubfrev | Idivfrev | Ifloatarithmem(_, _)) -> (arg, [| tos |], false) (* don't move it immediately *) (* Same for a floating-point load *) | Iload(Word, addr) when res.(0).typ = Float -> |