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/SSA/ssa-const-folding.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/SSA/ssa-const-folding.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 221 - (download) (as text) (annotate)
Sat Apr 17 16:19:57 1999 UTC (20 years, 5 months ago) by monnier
File size: 754 byte(s)
Initial revision
signature SSA_CONSTANT_FOLDING =
sig

   structure SSA : SSA

   type valnum = int

   (* special value numbers *)
   val bot      : valnum 
   val top      : valnum  (* uninitialized *)
   val volatile : valnum  (* volatile value *)
   val zero     : valnum  (* integer zero *)
   val one      : valnum  (* integer one *)

   (* constant folding and algebraic simplification *)
   val constantFolding : SSA.ssa -> 
        (SSA.exp * valnum list * 'a -> valnum) ->
         SSA.exp * valnum list * 'a -> valnum

   (* create a exp/operand hash table *)
   val hashTable : int * exn -> (SSAExp.exp * valnum list, 'a) HashTable.table  

end

(*
 * $Log: ssa-const-folding.sig,v $
 * Revision 1.1.1.1  1998/11/16 21:47:05  george
 *  Version 110.10
 *
 *)

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