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 /sml/trunk/src/MLRISC/mltree/mltree.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/mltree/mltree.sig

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

revision 1052, Wed Feb 6 04:04:48 2002 UTC revision 1053, Wed Feb 6 19:11:13 2002 UTC
# Line 221  Line 221 
221         and ccext  = (stm, rexp, fexp, ccexp) Extension.ccx         and ccext  = (stm, rexp, fexp, ccexp) Extension.ccx
222         and labexp = rexp         and labexp = rexp
223  (*  (*
   (*  
    * Instruction streams  
    *)  
   type ('i,'cellset, 'cfg) stream = ('i, an list, 'cellset, 'cfg) Stream.stream  
   
   (*  
    * Extension mechanism  
    *)  
   
   datatype ('instr,'cellset,'operand,'addressing_mode, 'cfg) reducer =  
     REDUCER of  
     { reduceRexp    : rexp -> reg,  
       reduceFexp    : fexp -> reg,  
       reduceCCexp   : ccexp -> reg,  
       reduceStm     : stm * an list -> unit,  
       operand       : rexp -> 'operand,  
       reduceOperand : 'operand -> reg,  
       addressOf     : rexp -> 'addressing_mode,  
       emit          : 'instr * an list -> unit,  
       instrStream   : ('instr,'cellset, 'cfg) stream,  
       mltreeStream  : (stm,mlrisc list, 'cfg) stream  
     }  
 *)  
   (*  
224     * Useful type abbreviations for working for MLTree.     * Useful type abbreviations for working for MLTree.
225     *)     *)
226    type rewriter =  (* rewriting functions *)    type rewriter =  (* rewriting functions *)

Legend:
Removed from v.1052  
changed lines
  Added in v.1053

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