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-eval.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 985 - (download) (as text) (annotate)
Wed Nov 21 19:09:12 2001 UTC (18 years, 10 months ago) by george
File size: 602 byte(s)
  Implemented a complete redesign of MLRISC pseudo-ops. Now there
  ought to never be any question of incompatabilities with
  pseudo-op syntax expected by host assemblers.

  For now, only modules supporting GAS syntax are implemented
  but more should follow, such as MASM, and vendor assembler
  syntax, e.g. IBM as, Sun as, etc.
signature MLTREE_EVAL = sig
  structure T : MLTREE

   (*
    * Equality
    *)
  val eqStm     : T.stm * T.stm -> bool
  val eqRexp    : T.rexp * T.rexp -> bool
  val eqFexp    : T.fexp * T.fexp -> bool
  val eqCCexp   : T.ccexp * T.ccexp -> bool
  val eqMlriscs : T.mlrisc list * T.mlrisc list -> bool
  val ==       : T.labexp * T.labexp -> bool


  (* 
   * Value
   *)
  exception NonConst
  val eval : 
      {const:T.Constant.const -> IntInf.int,
       label:Label.label -> int} 
     -> 
      {rexp : T.rexp -> IntInf.int,
       ccexp : T.ccexp -> bool}

  val valueOf : T.labexp -> int
end

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