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/SSA/ssa-ccp.sml
ViewVC logotype

View of /MLRISC/trunk/SSA/ssa-ccp.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2126 - (download) (annotate)
Thu Nov 2 16:11:29 2006 UTC (12 years, 8 months ago) by blume
File size: 862 byte(s)
moved MLRISC to toplevel
(* 
 * Conditional Constant Propagation
 *)
functor SSACCP(CCP : SSA_CONDITIONAL_CONSTANT_PROPAGATION) : SSA_OPTIMIZATION =
struct
   structure SSA = CCP.SSA
   structure CF  = CCP.CF
   structure A   = Array

   type flowgraph = SSA.ssa

   val name = "conditional constant propagation"

   fun error msg = MLRiscErrorMsg.error("SSACCP",msg)

   fun run SSA =
   let val valueMap   = CCP.condConstProp SSA 
       val defSiteTbl = SSA.defSiteTbl SSA
       val showVal    = SSA.showVal SSA
       val showOp     = SSA.showOp SSA
       val showVN     = CF.showVN SSA
   in  A.appi (fn (v,vn) =>
         if vn <> CF.bot andalso vn <> CF.top then
            (let val i = A.sub(defSiteTbl,v)
             in  print(showVal v^" "^showOp i^" = "^showVN vn^"\n")
             end 
            )
         else ())
         (valueMap, 0, NONE);
       SSA
   end
end

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