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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 695 - (download) (annotate)
Mon Aug 7 23:57:38 2000 UTC (18 years, 10 months ago) by leunga
File size: 862 byte(s)

   Stuff related to scheduling, SSA, x86, C-- and Moby.
   Tag: leunga-20000807-a-whole-bunch-of-stuff
(* 
 * 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