-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathFeatures.html
272 lines (272 loc) · 5.42 KB
/
Features.html
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
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no"/>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<title>Firm - Features</title>
<link rel="stylesheet" type="text/css" href="style.css"/>
<link rel="stylesheet" type="text/css" href="pygments.css"/>
<link rel="icon" type="image/png" href="logo-simple.png"/>
</head>
<body>
<div class="layout-header">
<a href="index.html"><img src="logo.png" alt="Firm Logo" /></a>
</div>
<div class="layout-content-wrapper">
<div class="layout-content">
<div class="layout-sidebar">
<ul>
<li><a href="index.html">About</a></li>
<li><a href="Features.html">Features</a></li>
<li><a href="Download.html">Download</a></li>
<li><a href="Documentation.html">Documentation</a></li>
<li><a href="Projects.html">Projects</a></li>
<li><a href="Development.html">Development</a></li>
<li><a href="Contact.html">Contact</a></li>
</ul>
<ul class="external">
<li><a href="http://pp.info.uni-karlsruhe.de/projects/firm_publications.php">Publications</a></li>
</ul>
</div>
<div class="layout-document">
<h1>Features</h1>
<div class="sect1">
<h2 id="_about">About</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
Works exclusively on a graph-based SSA representation ("sea of nodes") until emission of assembly code.
</p>
</li>
<li>
<p>
Written in portable C99: Known to compile with gcc, clang and icc on Linux, FreeBSD, Cygwin.
</p>
</li>
<li>
<p>
Includes doxygen documentation
</p>
</li>
</ul></div>
</div>
</div>
<div class="sect1">
<h2 id="_analyses">Analyses</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
Dominance
</p>
</li>
<li>
<p>
Loop Tree
</p>
</li>
<li>
<p>
Execution frequency (estimated, profiling with instrumentation)
</p>
</li>
<li>
<p>
Control Dependencies
</p>
</li>
<li>
<p>
Inter-procedural Call Graph
</p>
</li>
<li>
<p>
Def-Use
</p>
</li>
<li>
<p>
Alias Analysis
</p>
</li>
</ul></div>
</div>
</div>
<div class="sect1">
<h2 id="_optimizations">Optimizations</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
Dead Code Elimination (<em>happens implicitly</em>)
</p>
</li>
<li>
<p>
Constant Folding (<em>happens on the fly</em>)
</p>
</li>
<li>
<p>
Local Common Subexpression Elimination (<em>happens on the fly</em>)
</p>
</li>
<li>
<p>
Arithmetic Identities (<em>happens on the fly</em>)
</p>
</li>
<li>
<p>
Unreachable Code Elimination
</p>
</li>
<li>
<p>
Global Common Subexpression Elimination
</p>
</li>
<li>
<p>
Code Placement
</p>
</li>
<li>
<p>
Operator Strength Reduction
</p>
</li>
<li>
<p>
Scalar Replacement
</p>
</li>
<li>
<p>
Load/Store Optimisation
</p>
</li>
<li>
<p>
Control Flow Optimisations
</p>
</li>
<li>
<p>
If-conversion
</p>
</li>
<li>
<p>
Jump Threading
</p>
</li>
<li>
<p>
Reassociation
</p>
</li>
<li>
<p>
Tail Recursion Elimination
</p>
</li>
<li>
<p>
Inlining
</p>
</li>
<li>
<p>
Procedure Cloning
</p>
</li>
</ul></div>
</div>
</div>
<div class="sect1">
<h2 id="_code_generation">Code Generation</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
Mature code generation for x86 (32-bit) with support for x87 and SSE2 floating point
</p>
</li>
<li>
<p>
Mature code generation for SPARC
</p>
</li>
<li>
<p>
Code generation for x86-64
</p>
</li>
<li>
<p>
Experimental code generation for ARM
</p>
</li>
<li>
<p>
Novel SSA based register allocator
</p>
</li>
<li>
<p>
Several spilling algorithms
</p>
</li>
<li>
<p>
Several copy coalescing algorithms
</p>
</li>
<li>
<p>
Algorithms for instruction and basic block scheduling
</p>
</li>
<li>
<p>
ABI handling helpers
</p>
</li>
</ul></div>
</div>
</div>
<div class="sect1">
<h2 id="_development_support">Development Support</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
Extensive checkers
</p>
</li>
<li>
<p>
Builtin debugger: breakpoints on node creation/entity creation, graph dumping, visual studio debug extension
</p>
</li>
<li>
<p>
Lowering of intrinsics, double word arithmetics, bitfields
</p>
</li>
</ul></div>
</div>
</div>
</div>
<div class="clear"></div>
</div>
</div>
<div class="layout-footer">
<span><a href="https://lists.ira.uni-karlsruhe.de/mailman/listinfo/firm">Mailing list</a>: <a href="mailto:[email protected]">[email protected]</a></span>
</div>
</body>
</html>