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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 991 - (download) (as text) (annotate)
Thu Nov 22 14:25:12 2001 UTC (18 years ago) by george
File size: 912 byte(s)
  Fixed a bug on non-x86 architectures related to backpatching
  and the new pseudo-ops.
(* mltree-stream.sig 
 *
 * COPYRIGHT (c) 2001 Lucent Technologies, Bell Laboratories.
 *
 *)

signature MLTREE_STREAM = sig
  structure T : MLTREE
  structure S : INSTRUCTION_STREAM

  (*
   * 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