HCoop / hcoop / debian / mlton.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / SSASimplify
CommitLineData
7f918cf1
CE		 1<!DOCTYPE html>\r
2<html lang="en">\r
3<head>\r
4<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">\r
5<meta name="generator" content="AsciiDoc 8.6.9">\r
6<title>SSASimplify</title>\r
7<link rel="stylesheet" href="./asciidoc.css" type="text/css">\r
8<link rel="stylesheet" href="./pygments.css" type="text/css">\r
9\r
10\r
11<script type="text/javascript" src="./asciidoc.js"></script>\r
12<script type="text/javascript">\r
13/*<![CDATA[*/\r
14asciidoc.install();\r
15/*]]>*/\r
16</script>\r
17<link rel="stylesheet" href="./mlton.css" type="text/css">\r
18</head>\r
19<body class="article">\r
20<div id="banner">\r
21<div id="banner-home">\r
22<a href="./Home">MLton 20180207</a>\r
23</div>\r
24</div>\r
25<div id="header">\r
26<h1>SSASimplify</h1>\r
27</div>\r
28<div id="content">\r
29<div id="preamble">\r
30<div class="sectionbody">\r
31<div class="paragraph"><p>The optimization passes for the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are\r
32collected and controlled by the <span class="monospaced">Simplify</span> functor\r
33(<a href="https://github.com/MLton/mlton/blob/master/mlton/ssa/simplify.sig"><span class="monospaced">simplify.sig</span></a>,\r
34<a href="https://github.com/MLton/mlton/blob/master/mlton/ssa/simplify.fun"><span class="monospaced">simplify.fun</span></a>).</p></div>\r
35<div class="paragraph"><p>The following optimization passes are implemented:</p></div>\r
36<div class="ulist"><ul>\r
37<li>\r
38<p>\r
39<a href="CombineConversions">CombineConversions</a>\r
40</p>\r
41</li>\r
42<li>\r
43<p>\r
44<a href="CommonArg">CommonArg</a>\r
45</p>\r
46</li>\r
47<li>\r
48<p>\r
49<a href="CommonBlock">CommonBlock</a>\r
50</p>\r
51</li>\r
52<li>\r
53<p>\r
54<a href="CommonSubexp">CommonSubexp</a>\r
55</p>\r
56</li>\r
57<li>\r
58<p>\r
59<a href="ConstantPropagation">ConstantPropagation</a>\r
60</p>\r
61</li>\r
62<li>\r
63<p>\r
64<a href="Contify">Contify</a>\r
65</p>\r
66</li>\r
67<li>\r
68<p>\r
69<a href="Flatten">Flatten</a>\r
70</p>\r
71</li>\r
72<li>\r
73<p>\r
74<a href="Inline">Inline</a>\r
75</p>\r
76</li>\r
77<li>\r
78<p>\r
79<a href="IntroduceLoops">IntroduceLoops</a>\r
80</p>\r
81</li>\r
82<li>\r
83<p>\r
84<a href="KnownCase">KnownCase</a>\r
85</p>\r
86</li>\r
87<li>\r
88<p>\r
89<a href="LocalFlatten">LocalFlatten</a>\r
90</p>\r
91</li>\r
92<li>\r
93<p>\r
94<a href="LocalRef">LocalRef</a>\r
95</p>\r
96</li>\r
97<li>\r
98<p>\r
99<a href="LoopInvariant">LoopInvariant</a>\r
100</p>\r
101</li>\r
102<li>\r
103<p>\r
104<a href="LoopUnfoll">LoopUnfoll</a>\r
105</p>\r
106</li>\r
107<li>\r
108<p>\r
109<a href="LoopUnswitch">LoopUnswitch</a>\r
110</p>\r
111</li>\r
112<li>\r
113<p>\r
114<a href="Redundant">Redundant</a>\r
115</p>\r
116</li>\r
117<li>\r
118<p>\r
119<a href="RedundantTests">RedundantTests</a>\r
120</p>\r
121</li>\r
122<li>\r
123<p>\r
124<a href="RemoveUnused">RemoveUnused</a>\r
125</p>\r
126</li>\r
127<li>\r
128<p>\r
129<a href="ShareZeroVec">ShareZeroVec</a>\r
130</p>\r
131</li>\r
132<li>\r
133<p>\r
134<a href="SimplifyTypes">SimplifyTypes</a>\r
135</p>\r
136</li>\r
137<li>\r
138<p>\r
139<a href="Useless">Useless</a>\r
140</p>\r
141</li>\r
142</ul></div>\r
143<div class="paragraph"><p>The following implementation passes are implemented:</p></div>\r
144<div class="ulist"><ul>\r
145<li>\r
146<p>\r
147<a href="PolyEqual">PolyEqual</a>\r
148</p>\r
149</li>\r
150<li>\r
151<p>\r
152<a href="PolyHash">PolyHash</a>\r
153</p>\r
154</li>\r
155</ul></div>\r
156<div class="paragraph"><p>There are additional analysis and rewrite passes that augment many of the other optimization passes:</p></div>\r
157<div class="ulist"><ul>\r
158<li>\r
159<p>\r
160<a href="Multi">Multi</a>\r
161</p>\r
162</li>\r
163<li>\r
164<p>\r
165<a href="Restore">Restore</a>\r
166</p>\r
167</li>\r
168<li>\r
169<p>\r
170<a href="Shrink">Shrink</a>\r
171</p>\r
172</li>\r
173</ul></div>\r
174<div class="paragraph"><p>The optimization passes can be controlled from the command-line by the options:</p></div>\r
175<div class="ulist"><ul>\r
176<li>\r
177<p>\r
178<span class="monospaced">-diag-pass &lt;pass&gt;</span>&#8201;&#8212;&#8201;keep diagnostic info for pass\r
179</p>\r
180</li>\r
181<li>\r
182<p>\r
183<span class="monospaced">-disable-pass &lt;pass&gt;</span>&#8201;&#8212;&#8201;skip optimization pass (if normally performed)\r
184</p>\r
185</li>\r
186<li>\r
187<p>\r
188<span class="monospaced">-enable-pass &lt;pass&gt;</span>&#8201;&#8212;&#8201;perform optimization pass (if normally skipped)\r
189</p>\r
190</li>\r
191<li>\r
192<p>\r
193<span class="monospaced">-keep-pass &lt;pass&gt;</span>&#8201;&#8212;&#8201;keep the results of pass\r
194</p>\r
195</li>\r
196<li>\r
197<p>\r
198<span class="monospaced">-loop-passes &lt;n&gt;</span>&#8201;&#8212;&#8201;loop optimization passes\r
199</p>\r
200</li>\r
201<li>\r
202<p>\r
203<span class="monospaced">-ssa-passes &lt;passes&gt;</span>&#8201;&#8212;&#8201;ssa optimization passes\r
204</p>\r
205</li>\r
206</ul></div>\r
207</div>\r
208</div>\r
209</div>\r
210<div id="footnotes"><hr></div>\r
211<div id="footer">\r
212<div id="footer-text">\r
213</div>\r
214<div id="footer-badges">\r
215</div>\r
216</div>\r
217</body>\r
218</html>\r
mlton packaging