Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/compiler/CodeGen/main/machine-gen.sig
ViewVC logotype

Annotation of /sml/trunk/compiler/CodeGen/main/machine-gen.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4949 - (view) (download) (as text)

1 : jhr 4949 (* machine-gen.sig
2 :     *
3 :     * COPYRIGHT (c) 2019 The Fellowship of SML/NJ (http://www.smlnj.org)
4 :     * All rights reserved.
5 :     *
6 :     * Generation of machine code from a list of CPS functions
7 :     *)
8 : monnier 245
9 : jhr 4949 signature MACHINE_GEN =
10 :     sig
11 : monnier 245
12 : jhr 4949 include MACHINE
13 : monnier 245
14 : jhr 4949 structure MLTreeComp : MLTREECOMP
15 :     where CFG = CFG
16 :     and I = CFG.I
17 :     structure InvokeGC : INVOKE_GC
18 :     where CFG=MLTreeComp.CFG
19 :     and TS = MLTreeComp.TS
20 :     structure Shuffle : SHUFFLE
21 :     where I = MLTreeComp.I
22 :     structure MachSpec : MACH_SPEC
23 :    
24 :     val abi_variant : string option (* to distinguish between different ABIs
25 :     * for same CPU/OSKind combination;
26 :     * prime example: intel-based macs which
27 :     * are x86/unix vs. intel-based linux
28 :     * boxen. *)
29 :    
30 :     val codegen : {
31 :     funcs: CPS.function list,
32 :     limits: CPS.lvar -> int * int,
33 :     source: string
34 :     } -> (unit -> int)
35 :    
36 :     end (* MACHINE_GEN *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0