Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / RunningOnAMD64
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>RunningOnAMD64</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>RunningOnAMD64</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>MLton runs fine on the AMD64 (aka "x86-64" or "x64") architecture.</p></div>\r
32</div>\r
33</div>\r
34<div class="sect1">\r
35<h2 id="_notes">Notes</h2>\r
36<div class="sectionbody">\r
37<div class="ulist"><ul>\r
38<li>\r
39<p>\r
40When compiling for AMD64, MLton targets the 64-bit ABI.\r
41</p>\r
42</li>\r
43<li>\r
44<p>\r
45On AMD64, MLton supports native code generation (<span class="monospaced">-codegen native</span> or <span class="monospaced">-codegen amd64</span>).\r
46</p>\r
47</li>\r
48<li>\r
49<p>\r
50When compiling for AMD64, MLton uses <span class="monospaced">-align 8</span> by default. Using\r
51<span class="monospaced">-align 4</span> may be incompatible with optimized builds of the <a href="GnuMP">GnuMP</a>\r
52library, which assume 8-byte alignment. (See the thread at\r
53<a href="http://www.mlton.org/pipermail/mlton/2009-October/030674.html">http://www.mlton.org/pipermail/mlton/2009-October/030674.html</a> for more\r
54details.)\r
55</p>\r
56</li>\r
57</ul></div>\r
58</div>\r
59</div>\r
60</div>\r
61<div id="footnotes"><hr></div>\r
62<div id="footer">\r
63<div id="footer-text">\r
64</div>\r
65<div id="footer-badges">\r
66</div>\r
67</div>\r
68</body>\r
69</html>\r