1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(* COPYRIGHT (c) 1999 Lucent Technologies, Bell Labs *)
(* Signature to capture various aspects of the MLRISC back end *)
signature MACHINE = sig
structure P : INSN_PROPERTIES
structure Asm : INSTRUCTION_EMITTER
where I = P.I
structure CFG : CONTROL_FLOW_GRAPH
where I = Asm.I
and P = Asm.S.P
type mlriscPhase = string * (CFG.cfg -> CFG.cfg)
val makePhase : string * (CFG.cfg -> CFG.cfg) -> mlriscPhase
val raPhase : mlriscPhase
val optimizerHook : mlriscPhase list ref
val finish : unit -> unit
end (* MACHINE *)
|
