Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/mid-opt/mid-opt.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/mid-opt/mid-opt.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3774, Tue Apr 26 20:03:28 2016 UTC revision 3775, Tue Apr 26 20:55:36 2016 UTC
# Line 18  Line 18 
18    end = struct    end = struct
19    
20    (* Value numbering for MidIR *)    (* Value numbering for MidIR *)
21      structure VN = ValueNumberingFn (DomTreeFn (MidIR))      structure VN = ValueNumberingFn (DomTree)
22    
23      val checkAfter = Log.after {      val checkAfter = Log.after {
24              dumpCtl = Ctl.dumpMidIR,              dumpCtl = Ctl.dumpMidIR,
# Line 32  Line 32 
32              then checkAfter (phase, PhaseTimer.withTimer timer transform prog)              then checkAfter (phase, PhaseTimer.withTimer timer transform prog)
33              else prog              else prog
34    
35        fun transform' (timer, phase, transform, prog) =
36              checkAfter (phase, PhaseTimer.withTimer timer transform prog)
37    
38      fun optimize prog = let      fun optimize prog = let
39            val prog = transform (Ctl.midVN, Timers.timeMidVN, "value numbering", VN.transform, prog)            val prog = transform (Ctl.midVN, Timers.timeMidVN, "value numbering", VN.transform, prog)
40            val prog = transform (Ctl.midContract, Timers.timeMidContract, "contraction", MidContract.transform, prog)            val prog = transform (Ctl.midContract, Timers.timeMidContract, "contraction", MidContract.transform, prog)
41              val prog = transform' (Timers.timeMidBorderCtl, "border control", BorderCtl.transform, prog)
42            in            in
43              prog              prog
44            end            end

Legend:
Removed from v.3774  
changed lines
  Added in v.3775

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