Inital import

[l4.git] / l4 / pkg / ocaml / contrib / asmcomp / hppa / scheduling.ml

diff --git a/l4/pkg/ocaml/contrib/asmcomp/hppa/scheduling.ml b/l4/pkg/ocaml/contrib/asmcomp/hppa/scheduling.ml
new file mode 100644 (file)
index 0000000..8d2ed7c
--- /dev/null
+++ b/l4/pkg/ocaml/contrib/asmcomp/hppa/scheduling.ml
@@ -0,0 +1,59 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
+(*                                                                     *)
+(*  Copyright 1996 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: scheduling.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+
+(* Instruction scheduling for the HPPA *)
+
+open Arch
+open Mach
+
+class scheduler = object (self)
+
+inherit Schedgen.scheduler_generic
+
+(* Latencies (in cycles). Roughly based on the ``Mustang'' chips. *)
+
+method oper_latency = function
+    Ireload -> 2
+  | Iload(_, _) -> 2
+  | Iconst_float _ -> 2                 (* turned into a load *)
+  | Iintop Imul -> 2                    (* ends up with a load *)
+  | Iaddf | Isubf | Imulf -> 3
+  | Idivf -> 12
+  | _ -> 1
+
+(* Issue cycles.  Rough approximations. *)
+
+method oper_issue_cycles = function
+    Iconst_float _ -> 3
+  | Iconst_symbol _ -> 2
+  | Iload(_, Ibased(_, _)) -> 2
+  | Istore(_, Ibased(_, _)) -> 2
+  | Ialloc _ -> 5
+  | Iintop Imul -> 10
+  | Iintop Ilsl -> 3
+  | Iintop Ilsr -> 2
+  | Iintop Iasr -> 3
+  | Iintop(Icomp _) -> 2
+  | Iintop(Icheckbound) -> 2
+  | Iintop_imm(Idiv, _) -> 4
+  | Iintop_imm(Imod, _) -> 5
+  | Iintop_imm(Icomp _, _) -> 2
+  | Iintop_imm(Icheckbound, _) -> 2
+  | Ifloatofint -> 4
+  | Iintoffloat -> 4
+  | _ -> 1
+
+end
+
+let fundecl f = (new scheduler)#schedule_fundecl f