diff options
| author | Vincent Laviron <vincent.laviron@gmail.com> | 2018-03-15 10:57:53 +0100 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@gmail.com> | 2018-03-15 09:57:53 +0000 |
| commit | 022051e7bd491a2da21ca458f178ee2ff46d5fed (patch) | |
| tree | 6ffe85cb200ec34e88dcb060e7c0da676ce3d234 /asmcomp/i386/selection.ml | |
| parent | bce9d4b659f51c06cfbdbd23b9ebb2a2488bc842 (diff) | |
| download | ocaml-022051e7bd491a2da21ca458f178ee2ff46d5fed.tar.gz | |
Replace constant pointers by regular integers (#1580)
Diffstat (limited to 'asmcomp/i386/selection.ml')
| -rw-r--r-- | asmcomp/i386/selection.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index efde628d6b..572455031e 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -196,10 +196,6 @@ method! select_store is_assign addr exp = (Ispecific(Istore_int(Nativeint.of_int n, addr, is_assign)), Ctuple []) | (Cconst_natint n | Cblockheader (n, _)) -> (Ispecific(Istore_int(n, addr, is_assign)), Ctuple []) - | Cconst_pointer n -> - (Ispecific(Istore_int(Nativeint.of_int n, addr, is_assign)), Ctuple []) - | Cconst_natpointer n -> - (Ispecific(Istore_int(n, addr, is_assign)), Ctuple []) | Cconst_symbol s -> (Ispecific(Istore_symbol(s, addr, is_assign)), Ctuple []) | _ -> @@ -289,8 +285,6 @@ method select_push exp = match exp with Cconst_int n -> (Ispecific(Ipush_int(Nativeint.of_int n)), Ctuple []) | Cconst_natint n -> (Ispecific(Ipush_int n), Ctuple []) - | Cconst_pointer n -> (Ispecific(Ipush_int(Nativeint.of_int n)), Ctuple []) - | Cconst_natpointer n -> (Ispecific(Ipush_int n), Ctuple []) | Cconst_symbol s -> (Ispecific(Ipush_symbol s), Ctuple []) | Cop(Cload ((Word_int | Word_val as chunk), _), [loc], _) -> let (addr, arg) = self#select_addressing chunk loc in |