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/branches/SMLNJ/src/MLRISC/ir-moved/ssa.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/MLRISC/ir-moved/ssa.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (download) (as text) (annotate)
Sat Apr 17 18:47:12 1999 UTC (21 years, 3 months ago) by monnier
File size: 979 byte(s)
version 110.16
signature STATIC_SINGLE_ASSIGNMENT_FORM =
sig

   structure Dom : DOMINATOR_TREE

   type var     = int 
   type phi  = var * var * var list (* orig def/def/uses *)
   type renamer = {defs : var list, uses: var list} ->
                  {defs : var list, uses: var list}
   type copy    = {dst : var list, src: var list} -> unit

         (* 
          * Given a set of definitions for each block,
          * Compute the set of phi nodes.
          *)
   val compute_ssa : 
       ('n,'e,'g) Dom.dominator_tree ->
       { max_var      : var,  
         defs         : 'n Graph.node -> var list,
         is_live      : var * int -> bool,
         rename_var   : var -> var,
         rename_stmt  : {rename:renamer,copy:copy} -> 'n Graph.node -> unit,
         insert_phi   : {block    : 'n Graph.node,
                         in_edges : 'e Graph.edge list,
                         phis     : phi list 
                        } -> unit
       } -> unit
end

(*
 * $Log$
 *)

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