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/cpscompile/smlnj-gctype.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/CodeGen/cpscompile/smlnj-gctype.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 498 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/compiler/CodeGen/cpscompile/smlnj-gctype.sig

1 : monnier 473 signature SMLGCTYPE =
2 :     sig
3 :    
4 : monnier 498 structure CPS : CPS
5 : monnier 473 type objtype = CPS.cty
6 :    
7 :     datatype gctype =
8 :     CONST of int (* integer constant *)
9 :     | NONREF of objtype ref (* non-reference value *)
10 :     | REF of objtype ref (* a reference, pointer to a gc object *)
11 :     | ADD of int * gctype * gctype (* address arithmetic + *)
12 :     | SUB of int * gctype * gctype (* address arithmetic - *)
13 :     | BOT
14 :     | TOP
15 :    
16 : monnier 498 val == : gctype * gctype -> bool
17 :     val join : gctype * gctype -> gctype
18 :     val meet : gctype * gctype -> gctype
19 :    
20 : monnier 473 val toString : gctype -> string
21 :    
22 : monnier 498 (*
23 :     * Primitive types
24 :     *)
25 :     val I31 : gctype (* tagged integers *)
26 :     val I32 : gctype (* untagged integers *)
27 :     val REAL64 : gctype (* unboxed real *)
28 :     val PTR : gctype (* tagged ML objects *)
29 :    
30 : monnier 473 end
31 :    

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