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
|
(* PPCspec.sml
*
* COPYRIGHT (c) 1999 Bell Laboratories.
*
*)
structure PPCSpec : MACH_SPEC =
struct
open DefaultMachSpec
val framesize = 8192
val architecture = "ppc"
val bigEndian = true
val spillAreaSz = 8192 (* really the end of the spill area! *)
val initialSpillOffset = 4096+144
val numRegs = 15
val numFloatRegs = 30
val numFloatCalleeSaves = 0
val startgcOffset = 4096+4 (* from runtime *)
val constBaseRegOffset = 32764
val ML_STATE_OFFSET = 4096+0
val VProcOffMSP = 4
val InMLOffVSP = 8
val LimitPtrMaskOffVSP = 200
(* the pre-allocated space is 4k minus the linkage area (24 bytes) *)
val ccall_prealloc_argspace = SOME (4096 - 24)
end
|
