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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/driver/main.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/driver/main.sml

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

revision 3522, Sun Dec 20 14:20:20 2015 UTC revision 3711, Fri Apr 1 22:57:00 2016 UTC
# Line 59  Line 59 
59            val simple = SimpleOpt.checkAfter ("simplify", Simplify.transform (errStrm, ast))            val simple = SimpleOpt.checkAfter ("simplify", Simplify.transform (errStrm, ast))
60            val simple = SimpleOpt.transform simple            val simple = SimpleOpt.transform simple
61            in            in
           (* check for warnings and report if necessary *)  
             if Error.anyWarnings errStrm  
               then Error.report (TextIO.stdErr, errStrm)  
               else ();  
62              simple              simple
63            end            end
64    
# Line 72  Line 68 
68      fun frontEnd filename = let      fun frontEnd filename = let
69            val errStrm = Error.mkErrStream filename            val errStrm = Error.mkErrStream filename
70            fun finish () = (            fun finish () = (
71                  if Error.anyErrors errStrm                  if Error.anyWarnings errStrm
                   then (  
                     Error.report (TextIO.stdErr, errStrm);  
                     quitWithError (Error.sourceFile errStrm))  
                 else if Error.anyWarnings errStrm  
72                    then Error.report (TextIO.stdErr, errStrm)                    then Error.report (TextIO.stdErr, errStrm)
73                    else ())                    else ())
74            in            in
# Line 96  Line 88 
88          (***** HIGH-IR OPTIMIZATION *****)          (***** HIGH-IR OPTIMIZATION *****)
89            val high = HighOptimizer.optimize high            val high = HighOptimizer.optimize high
90          (***** TRANSLATION TO MID IR *****)          (***** TRANSLATION TO MID IR *****)
91  (* TODO *)            val mid = HighToMid.translate high
92              val _ = dump Ctl.dumpMidIR MidPP.output "high-to-mid" mid
93            (***** MID-IR OPTIMIZATION *****)
94              val mid = MidOptimizer.optimize mid
95          (***** TRANSLATION TO LOW IR *****)          (***** TRANSLATION TO LOW IR *****)
96              val low = MidToLow.translate mid
97              val _ = dump Ctl.dumpLowIR LowPP.output "mid-to-low" low
98  (* TODO *)  (* TODO *)
99            in            in
100            (***** CODE GENERATION *****)            (***** CODE GENERATION *****)

Legend:
Removed from v.3522  
changed lines
  Added in v.3711

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