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/src/compiler/CodeGen/main/machspec.sml
ViewVC logotype

Annotation of /sml/trunk/src/compiler/CodeGen/main/machspec.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1540 - (view) (download)

1 : monnier 245 (* machspec.sml
2 :     *
3 :     * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
4 :     *
5 :     *)
6 :    
7 :     structure DefaultMachSpec : MACH_SPEC =
8 :     struct
9 :    
10 :     val architecture = ""
11 : george 717
12 : blume 840 val framesize = 4096
13 :    
14 : monnier 245 val numRegs = 0
15 :     val numFloatRegs = 0
16 :     val bigEndian = false
17 :     val spillAreaSz = 0
18 : monnier 429 val initialSpillOffset = 0
19 : monnier 245 val startgcOffset = 0
20 :     val pseudoRegOffset = 0
21 :     val constBaseRegOffset = 0
22 :    
23 :     val polling = false
24 :     val unboxedFloats = true
25 :     val representations = true
26 :     val newClosure = true
27 :     val numArgRegs = 10
28 :     val maxRepRegs = 10
29 :     val numFloatArgRegs = 0
30 :     val numCalleeSaves = 3
31 :     val numFloatCalleeSaves = 0
32 :     val untaggedInt = false
33 :    
34 :     type value_tag = {
35 :     tagbits : int,
36 :     tagval : int
37 :     }
38 :    
39 :     val intTag = {tagbits=1,tagval=1}
40 :     val ptrTag = {tagbits=2,tagval=0}
41 :     val descTag= {tagbits=2,tagval=2}
42 :    
43 :     (* representations of object descriptors *)
44 :     structure ObjDesc = ObjectDesc
45 :    
46 :     val valueSize = 4
47 :     val charSize = 1
48 :     val realSize = 8
49 :     val realAlign = true
50 :    
51 :     val quasiStack = false
52 :     val quasiFree = false
53 :     val quasiFrameSz = 7
54 :    
55 :     val newListRep = false
56 :     val listCellSz = 2
57 :    
58 :     val floatRegParams = true
59 :    
60 :     val writeAllocateHack = false
61 :    
62 :     val fixedArgPassing = false
63 :    
64 :     val spillRematerialization = false
65 : blume 812
66 :     (* the following defaults happen to be the values for x86 *)
67 :     val ML_STATE_OFFSET = 176
68 :     val VProcOffMSP = 4
69 :     val InMLOffVSP = 8
70 :     val LimitPtrMaskOffVSP = 200
71 : blume 840
72 :     val framePtrNeverVirtual = false
73 : mblume 1537
74 : mblume 1540 (* x86 and sparc don't use pre-allocated arg space for c-calls *)
75 :     val ccall_prealloc_argspace = NONE
76 : monnier 245 end (* DefaultMachSpec *)

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