diff options
Diffstat (limited to 'ocaml-binary-annot/asmcomp/reloadgen.mli')
| -rw-r--r-- | ocaml-binary-annot/asmcomp/reloadgen.mli | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/ocaml-binary-annot/asmcomp/reloadgen.mli b/ocaml-binary-annot/asmcomp/reloadgen.mli new file mode 100644 index 0000000000..f0d1c78c0a --- /dev/null +++ b/ocaml-binary-annot/asmcomp/reloadgen.mli @@ -0,0 +1,26 @@ +(***********************************************************************) +(* *) +(* Objective Caml *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1997 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + +class reload_generic : object + method reload_operation : + Mach.operation -> Reg.t array -> Reg.t array -> Reg.t array * Reg.t array + method reload_test : Mach.test -> Reg.t array -> Reg.t array + (* Can be overridden to reflect instructions that can operate + directly on stack locations *) + method makereg : Reg.t -> Reg.t + (* Can be overridden to avoid creating new registers of some class + (i.e. if all "registers" of that class are actually on stack) *) + method fundecl : Mach.fundecl -> Mach.fundecl * bool + (* The entry point *) +end |