NEWS.md 6.96 KB
Newer Older
yb9976's avatar
yb9976 committed
1
libFirm 1.22.1 (2016-01-07)
Matthias Braun's avatar
Matthias Braun committed
2
3
---------------------------
* Fix cmake/make build
Christoph Mallon's avatar
Christoph Mallon committed
4
* Support PIC with PLT for ELF (amd64)
5
* Add `ia32-get_ip={pop,thunk}`
6
* Generate 'mov $~1, %r; rol x, %r' for '~(1 << x)' (ia32)
7
* Generate 'mov $~0x80000000, %r; ror x, %r' for '~(0x80000000 >> x)' (ia32)
8
* Bugfixes
Matthias Braun's avatar
Matthias Braun committed
9

Christoph Mallon's avatar
Christoph Mallon committed
10
libFirm 1.22.0 (2015-12-31)
11
12
---------------------------
* Improved PIC support, linux/elf is now supported
Christoph Mallon's avatar
Christoph Mallon committed
13
* Many additional local optimization rules (instcombine)
14
* Inline assembly support for sparc/amd64
yb9976's avatar
yb9976 committed
15
* Improved constant bit analysis
16
* Improved load/store optimization, featuring compound value optimizations
yb9976's avatar
yb9976 committed
17
* Improved reassociation pass
Christoph Mallon's avatar
Christoph Mallon committed
18
* Improved amd64 (aka x86_64) backend, it is now able to bootstrap libfirm
19
20
21
22
23
* Improved arm backend (but still experimental)
* Improved inliner (can inline compound types)
* Compiletime performance improvements
* Cleanups and API simplifications
* Switch to C99 and corresponding code cleanup and simplification
Christoph Mallon's avatar
Christoph Mallon committed
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
* More details in dumped IR graphs
* Streamlined IR
* Improved IR graph verifiers
* Further unify backend infrastructure
* Support for arrays as parameter and return types
* Updated documentation
* Perform precise 80bit spilling for x87 floating point
* Improved permutation decomposition for copy coalescing
* Added bitwise 'don't care' analysis and use it for optimizing occult constants
* Support builtin 'saturating increment' (amd64, ia32, sparc)
* Improved generated code for division by constant
* Support builtin 'compare and swap' (amd64, ia32, sparc)
* Support alias entities
* Improved scalar conversion optimization
* Added store combine optimization
* Overhauled representation and handling of infinite loops
* Improved use of flag results generated as side effect of instructions (ia32)
* Improved calculation of execution frequency estimation for large graphs
* Improved instruction selection (amd64, arm, ia32, sparc)
* Improved x87 floating point code generation
* Support early clobbers in inline assembly
* Support x87 constraints in inline assembly (ia32)
46
* Support `__attribute__((visibility("hidden")))` and `__attribute__((visible("protected")))`
Christoph Mallon's avatar
Christoph Mallon committed
47
* Optionally use CMake as build system
48
* Support `make install` with the usual variables (INSTALLPREFIX, ...)
49
50
* Bugfixes

Matthias Braun's avatar
Matthias Braun committed
51
52
53
54
libFirm 1.21.0 (2012-11-16)
---------------------------
* Improvements of x86 backend (esp. x87 floatingpoint code)
* Improvements to sparc backend (better use of delay slots)
yb9976's avatar
yb9976 committed
55
* Improved local optimization rules (esp. conversions)
Matthias Braun's avatar
Matthias Braun committed
56
57
58
* Make compiler more deterministic
* Bugfixes

59
60
libFirm 1.20.0 (2011-12-07)
---------------------------
61

62
63
64
65
66
67
68
69
70
71
* Further improvemens to sparc backend (SPEC2000 works with softfloat)
* Tuning of x86 backend
* Software floatingpoint lowerer
* Fixed firm profiling
* New pass management allowing to specify pre-/postconditions for passes
* Remove dependency on liblpp, add support for gurobi ILP solver
* Experimental dwarf debugging support
* Code cleanups, refactoring
* Restructured API documentation
* Bugfixes (we did alot of csmith testing)
72

73
74
75
76
77
libFirm 1.19.1 (2011-05-17)
---------------------------

* Fix some set_XXX functions not being exported in the shared library

Matthias Braun's avatar
Matthias Braun committed
78
libFirm 1.19.0 (2011-03-15)
79
80
---------------------------

Matthias Braun's avatar
Matthias Braun committed
81
82
83
84
85
86
* Includes "SSA-Based Register Allocation with PBQP"
* Improved Sparc backend
* New (optimistic) fixpoint based value-range propagation/bit analysis
* Code cleanup and refactoring
* Bugfixes

Matthias Braun's avatar
Matthias Braun committed
87
libFirm 1.18.1 (2010-05-05)
88
89
---------------------------

Matthias Braun's avatar
Matthias Braun committed
90
* Fix bug where stackframe was not always setup for -fno-omit-frame-pointer
Matthias Braun's avatar
Matthias Braun committed
91
* bugfixes in Asm handling
Matthias Braun's avatar
Matthias Braun committed
92

93
94
95
libFirm 1.18.0 (2010-04-15)
---------------------------

Matthias Braun's avatar
Matthias Braun committed
96
* Includes "Preference Guided Register Assignment" algorithm
Matthias Braun's avatar
Matthias Braun committed
97
* Experimental Value Range Propagation
98
* Loop Inversion and experimental Loop Unrolling code
Matthias Braun's avatar
Matthias Braun committed
99
100
101
102
103
104
* Simplified construction interface. Most node constructors don't need graph/block arguments anymore.
* Reworked type interface. Type names are optional now. Support for additional linkage types that among others support C++ 'linkonce' semantics now.
* Small changes in constructors and node getters/setters (mostly adding 'const' to some getters)
* code cleanup, smaller improvements in API specification
* bugfixes

105
106
107
libFirm 1.17.0 (2009-05-15)
---------------------------

Matthias Braun's avatar
Matthias Braun committed
108
* bugfixes
yb9976's avatar
yb9976 committed
109
* advanced load/store optimization which hoists loads out of loops
Matthias Braun's avatar
Matthias Braun committed
110
111
112
113
* Internal restruturing: Alot of node structures are automatically generated
   from a specification file now.
* Add support for multiple calling conventions
* New experimental support for reading and writing programgraphs to disk
yb9976's avatar
yb9976 committed
114
* Support and optimizations for trampolines
Matthias Braun's avatar
Matthias Braun committed
115
116
* fix PIC support

117
118
119
libFirm 1.16.0 (2009-01-28)
---------------------------

Christoph Mallon's avatar
Christoph Mallon committed
120
* bugfixes
121
* support for builtin nodes
Christoph Mallon's avatar
Christoph Mallon committed
122

123
124
libFirm 1.15.0 (2008-12-01)
---------------------------
Matthias Braun's avatar
Matthias Braun committed
125
126
* bugfixes

127
128
129
libFirm 1.14.0 (2008-11-22)
---------------------------

yb9976's avatar
yb9976 committed
130
* Implementation of Clicks Combined Analysis/Optimizations
Matthias Braun's avatar
Matthias Braun committed
131
132
133
134
135
136
137
138
* New switch lowering code
* support for global asm statements
* improved asm support
* PIC support for Mac OS X
* New register pressure minimizing scheduler
* Improvements to spill algorithm
* fix endless loop problems
* further improve inlining heuristics
yb9976's avatar
yb9976 committed
139
* improve peephole optimizations for x86
Matthias Braun's avatar
Matthias Braun committed
140
141
* bugfixes

142
143
libFirm 1.13.0 (2008-07-31)
---------------------------
Michael Beck's avatar
Michael Beck committed
144

Michael Beck's avatar
updated    
Michael Beck committed
145
* VanDrunen's GVN-PRE fixed
Michael Beck's avatar
Michael Beck committed
146
* operator strength reduce fixed and improved
yb9976's avatar
typos    
yb9976 committed
147
* fixed 64bit code generation for some rare compare cases
Michael Beck's avatar
updated    
Michael Beck committed
148
* better tailrecursion optimization: handles x * func() and x + func()
yb9976's avatar
typos    
yb9976 committed
149
* improved inliner: better heuristics for inlining, can now inline recursive calls
Michael Beck's avatar
updated    
Michael Beck committed
150
* improved spiller
Michael Beck's avatar
updated    
Michael Beck committed
151
152
* lowering of CopyB nodes
* better memory disambiguator
Michael Beck's avatar
updated    
Michael Beck committed
153
* float->64bit conversion fixed for x87
154
* removed old verbosity level based debugging: all modules use the new debug facility
Michael Beck's avatar
updated    
Michael Beck committed
155
* Improved Confirm based optimization and conditional evaluation (using Confirm nodes)
Michael Beck's avatar
updated    
Michael Beck committed
156
* BugFixes: tail recursion, load/store optimization, lowering of structure return, conditional
Michael Beck's avatar
updated    
Michael Beck committed
157
  evaluation, removal of unused methods
Michael Beck's avatar
updated    
Michael Beck committed
158
* reduced numer of indirections for backend operation
Michael Beck's avatar
updated    
Michael Beck committed
159
* ia32 Backend: supports more CPU architectures
Michael Beck's avatar
updated    
Michael Beck committed
160
* ARM Backend: fixed frame access
Matthias Braun's avatar
Matthias Braun committed
161
* support for special segments (like constructors, destructors)
Michael Beck's avatar
Michael Beck committed
162

163
164
libFirm 1.12.1 (2008-02-18)
---------------------------
Matthias Braun's avatar
Matthias Braun committed
165
166
167
168

* bugfixes for new style initializers with bitfield types
* make lowerer look at constant initializers too

169
170
libFirm 1.12.0 (2008-02-14)
---------------------------
Matthias Braun's avatar
Matthias Braun committed
171

Matthias Braun's avatar
Matthias Braun committed
172
* dependency on libcore and libobstack dropped
Matthias Braun's avatar
Matthias Braun committed
173
174
175
176
* there's an alternative easier to use way to construct compound initializers
* bugfixes
* improved support for exceptions
* speed improvements
yb9976's avatar
yb9976 committed
177
* optimization of known libc functions
Matthias Braun's avatar
Matthias Braun committed
178

179
180
libFirm 1.11.0 (2008-11-05)
---------------------------
Matthias Braun's avatar
Matthias Braun committed
181
182
183
184
185
186

* Lots of bugfixes
* Compilation speed improved
* Completely improved and rewritten handling of x86 address mode
* Optimized Mul -> Lea,Shift,Add transformation
* 64bit operations fixed and improved
yb9976's avatar
yb9976 committed
187
188
* More local optimizations
* New backend peephole optimizations
Matthias Braun's avatar
Matthias Braun committed
189
* Explicit status flag modeling (only for x86 for now)
yb9976's avatar
yb9976 committed
190
* Improvements of Load/Store optimization and alias analysis
191
* All C benchmarks from Spec CINT2000 work now (with our edg frontend)