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

SCM Repository

[smlnj] Diff of /MLRISC/trunk/staged-allocation/staged-allocation-sig.sml
ViewVC logotype

Diff of /MLRISC/trunk/staged-allocation/staged-allocation-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3077, Tue Jun 10 21:15:52 2008 UTC revision 3078, Wed Jun 11 00:11:16 2008 UTC
# Line 20  Line 20 
20  signature STAGED_ALLOCATION =  signature STAGED_ALLOCATION =
21    sig    sig
22    
23      type location_kinds                                (* gprs, fprs, stack locations, etc. *)      type location_kind                                (* gprs, fprs, stack locations, etc. *)
24      type width = int                                   (* bit width *)      type width = int                                   (* bit width *)
25      type counter                                       (* abstract counter for a convention *)      type counter                                       (* abstract counter for a convention *)
26      type str                                           (* counter -> "bit offset" *)      type str                                           (* counter -> "bit offset" *)
27      datatype block_direction = UP | DOWN               (* direction in which the overflow block grows *)      datatype block_direction = UP | DOWN               (* direction in which the overflow block grows *)
28      type slot = (width * location_kinds * int)         (* the last field is the alignment *)      type slot = (width * location_kind * int)         (* the last field is the alignment *)
29      type reg      type reg
30      type reg_info = (width * reg)      type reg_info = (width * reg)
31    
# Line 36  Line 36 
36        = REG of reg_info        = REG of reg_info
37        | BLOCK_OFFSET of int        | BLOCK_OFFSET of int
38        | COMBINE of (location * location)        | COMBINE of (location * location)
39        | NARROW of (location * width * location_kinds)        | NARROW of (location * width * location_kind)
40    
41      (* metadata assocated with a location *)      (* metadata assocated with a location *)
42      type location_info = (width * location * location_kinds)      type location_info = (width * location * location_kind)
43    
44      (* language for specifying calling conventions *)      (* language for specifying calling conventions *)
45      datatype stage      datatype stage

Legend:
Removed from v.3077  
changed lines
  Added in v.3078

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