Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / RunningOnHPPA
1 <!DOCTYPE html>
2 <html lang="en">
3 <head>
4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
6 <title>RunningOnHPPA</title>
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
9
10
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
13 /*<![CDATA[*/
14 asciidoc.install();
15 /*]]>*/
16 </script>
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
18 </head>
19 <body class="article">
20 <div id="banner">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
23 </div>
24 </div>
25 <div id="header">
26 <h1>RunningOnHPPA</h1>
27 </div>
28 <div id="content">
29 <div id="preamble">
30 <div class="sectionbody">
31 <div class="paragraph"><p>MLton runs fine on the HPPA architecture.</p></div>
32 </div>
33 </div>
34 <div class="sect1">
35 <h2 id="_notes">Notes</h2>
36 <div class="sectionbody">
37 <div class="ulist"><ul>
38 <li>
39 <p>
40 When compiling for HPPA, MLton targets the 32-bit HPPA architecture.
41 </p>
42 </li>
43 <li>
44 <p>
45 When compiling for HPPA, MLton doesn&#8217;t support native code
46 generation (<span class="monospaced">-codegen native</span>). Hence, performance is not as good as
47 it might be and compile times are longer. Also, the quality of code
48 generated by <span class="monospaced">gcc</span> is important. By default, MLton calls <span class="monospaced">gcc -O1</span>.
49 You can change this by calling MLton with <span class="monospaced">-cc-opt -O2</span>.
50 </p>
51 </li>
52 <li>
53 <p>
54 When compiling for HPPA, MLton uses <span class="monospaced">-align 8</span> by default. While
55 this speeds up reals, it also may increase object sizes. If your
56 program does not make significant use of reals, you might see a
57 speedup with <span class="monospaced">-align 4</span>.
58 </p>
59 </li>
60 </ul></div>
61 </div>
62 </div>
63 </div>
64 <div id="footnotes"><hr></div>
65 <div id="footer">
66 <div id="footer-text">
67 </div>
68 <div id="footer-badges">
69 </div>
70 </div>
71 </body>
72 </html>