/usr/lib/ocaml/compiler-libs/schedgen.mli is in ocaml-compiler-libs 4.05.0-10ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 | (**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* 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 GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(* Instruction scheduling *)
type code_dag_node =
{ instr: Linearize.instruction;
delay: int;
mutable sons: (code_dag_node * int) list;
mutable date: int;
mutable length: int;
mutable ancestors: int;
mutable emitted_ancestors: int }
class virtual scheduler_generic : object
(* Can be overridden by processor description *)
method virtual oper_issue_cycles : Mach.operation -> int
(* Number of cycles needed to issue the given operation *)
method virtual oper_latency : Mach.operation -> int
(* Number of cycles needed to complete the given operation *)
method reload_retaddr_issue_cycles : int
(* Number of cycles needed to issue a Lreloadretaddr operation *)
method reload_retaddr_latency : int
(* Number of cycles needed to complete a Lreloadretaddr operation *)
method oper_in_basic_block : Mach.operation -> bool
(* Says whether the given operation terminates a basic block *)
method is_store : Mach.operation -> bool
(* Says whether the given operation is a memory store *)
method is_load : Mach.operation -> bool
(* Says whether the given operation is a memory load *)
method is_checkbound : Mach.operation -> bool
(* Says whether the given operation is a checkbound *)
(* Entry point *)
method schedule_fundecl : Linearize.fundecl -> Linearize.fundecl
end
val reset : unit -> unit
|