Diff of /branches/vis12/src/compiler/mid-il/mid-opt.sml

Parent Directory | Revision Log | Patch

	revision 2681, Sun Aug 24 18:59:07 2014 UTC	revision 2682, Mon Aug 25 17:20:56 2014 UTC
#	Line 21	Line 21
21	val checkFlag = ref true            (* controls IL checking *)	val checkFlag = ref true            (* controls IL checking *)
22
23	val controls = [	val controls = [
24	("mid-contract", contractFlag, "enable contraction for MidIL"),	("mid-contract", contractFlag, "contraction for MidIL"),
25	("mid-vn", vnFlag, "enable value-numbering for MidIL"),	("mid-vn",       vnFlag,       "value-numbering for MidIL"),
26	("mid-debug", debugFlag, "enable printing MidIL to log file [debug]"),	("mid-debug",    debugFlag,    "printing MidIL to log file [debug]"),
27	("mid-check", checkFlag, "enable consistency checking for MidIL [debug]")	("mid-check",    checkFlag,    "consistency checking for MidIL [debug]")
28	]	]
29
30	val timeCheck = PhaseTimer.withTimer Timers.timeMidCheck (fn arg => CheckMidIL.check arg)	val timeCheck = PhaseTimer.withTimer Timers.timeMidCheck (fn arg => CheckMidIL.check arg)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2681   changed lines   Added in v.2682

---

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