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/instructions/cells-basis.sig
ViewVC logotype

Diff of /MLRISC/trunk/instructions/cells-basis.sig

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

revision 774, Wed Jan 10 12:50:56 2001 UTC revision 775, Fri Jan 12 01:17:51 2001 UTC
# Line 97  Line 97 
97      *)      *)
98     val cellId           : cell -> cell_id        (* return cell id *)     val cellId           : cell -> cell_id        (* return cell id *)
99     val cellkind         : cell -> cellkind       (* return cellkind *)     val cellkind         : cell -> cellkind       (* return cellkind *)
100       val isConst          : cell -> bool
101     val annotations      : cell -> Annotations.annotations ref     val annotations      : cell -> Annotations.annotations ref
102     val sameCell         : cell * cell -> bool    (* object identity *)     val sameCell         : cell * cell -> bool    (* object identity *)
103     val sameKind         : cell * cell -> bool    (* same cellkind? *)     val sameKind         : cell * cell -> bool    (* same cellkind? *)
# Line 107  Line 108 
108     val registerNum      : cell -> register_num   (* +++ *)     val registerNum      : cell -> register_num   (* +++ *)
109     val physicalRegisterNum : cell -> int         (* +++ *)     val physicalRegisterNum : cell -> int         (* +++ *)
110     val sameColor        : cell * cell -> bool    (* color identity +++ *)     val sameColor        : cell * cell -> bool    (* color identity +++ *)
111       val compareColor     : cell * cell -> order   (* +++ *)
112     val toString         : cell -> string         (* pretty print a cell +++ *)     val toString         : cell -> string         (* pretty print a cell +++ *)
113     val toStringWithSize : cell * sz -> string    (* +++ *)     val toStringWithSize : cell * sz -> string    (* +++ *)
114    
115     (* Set the color of the 'from' cell to be the same as     (* Set the color of the 'from' cell to be the same as
116      * the 'to' cell.  The 'from' cell MUST be a pseudo register.      * the 'to' cell.  The 'from' cell MUST be a pseudo register,
117      * Chase aliases.      * and cannot be of kind CONST.
118      *)      *)
119     val setAlias    : {from: cell, to: cell} -> unit  (* +++ *)     val setAlias    : {from: cell, to: cell} -> unit  (* +++ *)
120    
# Line 148  Line 150 
150     structure HashTable : MONO_HASH_TABLE where type Key.hash_key = cell     structure HashTable : MONO_HASH_TABLE where type Key.hash_key = cell
151    
152      (*      (*
153        * Hash table indexed by cell color.
154        * IMPORTANT: this table is indexed by color!
155        * ALSO: DO NOT change the colors of the cells while using this table!
156        *)
157       structure ColorTable : MONO_HASH_TABLE where type Key.hash_key = cell
158    
159        (*
160       * These annotations adds extra definitions and uses to an instruction       * These annotations adds extra definitions and uses to an instruction
161       *)       *)
162     exception DEF_USE of {cellkind:cellkind, defs:cell list, uses:cell list}     exception DEF_USE of {cellkind:cellkind, defs:cell list, uses:cell list}
# Line 156  Line 165 
165    
166      (* Internal use for alias analysis; don't use! *)      (* Internal use for alias analysis; don't use! *)
167     val mem : register_id -> cell     val mem : register_id -> cell
168    
169        (* Internal use only! *)
170       val show         : cellkindDesc -> register_id -> string
171       val showWithSize : cellkindDesc -> register_id * sz -> string
172  end  end
173    

Legend:
Removed from v.774  
changed lines
  Added in v.775

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