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

SCM Repository

[smlnj] View of /MLRISC/trunk/mltree/mltree-stream.sml
ViewVC logotype

View of /MLRISC/trunk/mltree/mltree-stream.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2126 - (download) (annotate)
Thu Nov 2 16:11:29 2006 UTC (12 years, 11 months ago) by blume
File size: 959 byte(s)
moved MLRISC to toplevel
(* mltree-stream.sml
 *
 * COPYRIGHT (c) 2001 Lucent Technologies, Bell Laboratories.
 *
 *)
functor MLTreeStream
   ( structure T : MLTREE
     structure S : INSTRUCTION_STREAM
    ) : MLTREE_STREAM = 
struct
  structure T = T
  structure S = S
  (*
   * Instruction streams
   *)
  type ('i,'cellset, 'cfg) stream = ('i, T.an list, 'cellset, 'cfg) S.stream 

  (* 
   * Extension mechanism
   *)
  datatype ('instr,'cellset,'operand,'addressing_mode, 'cfg) reducer =
    REDUCER of
    { reduceRexp    : T.rexp -> T.reg,
      reduceFexp    : T.fexp -> T.reg,
      reduceCCexp   : T.ccexp -> T.reg,
      reduceStm     : T.stm * T.an list -> unit,
      operand       : T.rexp -> 'operand,
      reduceOperand : 'operand -> T.reg,
      addressOf     : T.rexp -> 'addressing_mode,
      emit          : 'instr * T.an list -> unit,
      instrStream   : ('instr,'cellset, 'cfg) stream,
      mltreeStream  : (T.stm,T.mlrisc list, 'cfg) stream
    }
  
end


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