1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.8">
<title>CompilerOverview</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">
<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css"/>
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20130715</a>
</div>
</div>
<div id="header">
<h1>CompilerOverview</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>The following table shows the overall structure of the compiler.
<a href="IntermediateLanguage">IntermediateLanguage</a>s are shown in the center column. The names
of compiler passes are listed in the left and right columns.</p></div>
<table class="tableblock frame-all grid-all"
style="
margin-left:auto; margin-right:auto;
width:100%;
">
<col style="width:33%;">
<col style="width:33%;">
<col style="width:33%;">
<tbody>
<tr>
<td class="tableblock halign-center valign-top" colspan="3" ><p class="tableblock"><strong>Compiler Overview</strong></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><em>Translation Passes</em></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><em><a href="IntermediateLanguage">IntermediateLanguage</a></em></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><em>Optimization Passes</em></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock">Source</p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="FrontEnd">FrontEnd</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="AST">AST</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="Elaborate">Elaborate</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="CoreML">CoreML</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="CoreMLSimplify">CoreMLSimplify</a></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="Defunctorize">Defunctorize</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="XML">XML</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="XMLSimplify">XMLSimplify</a></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="Monomorphise">Monomorphise</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="SXML">SXML</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="SXMLSimplify">SXMLSimplify</a></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="ClosureConvert">ClosureConvert</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="SSA">SSA</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="SSASimplify">SSASimplify</a></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="ToSSA2">ToSSA2</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="SSA2">SSA2</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="SSA2Simplify">SSA2Simplify</a></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="ToRSSA">ToRSSA</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="RSSA">RSSA</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="RSSASimplify">RSSASimplify</a></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="ToMachine">ToMachine</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="Machine">Machine</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
<tr>
<td class="tableblock halign-center valign-top" ><p class="tableblock"><a href="Codegen">Codegen</a></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
<td class="tableblock halign-center valign-top" ><p class="tableblock"></p></td>
</tr>
</tbody>
</table>
<div class="paragraph"><p>The <span class="monospaced">Compile</span> functor (<a href="https://github.com/MLton/mlton/blob/master/mlton/main/compile.sig"><span class="monospaced">compile.sig</span></a>,
<a href="https://github.com/MLton/mlton/blob/master/mlton/main/compile.fun"><span class="monospaced">compile.fun</span></a>), controls the
high-level view of the compiler passes, from <a href="FrontEnd">FrontEnd</a> to code
generation.</p></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
|