2 Changed implementation of tr module. With this I also changed the
3 interface!! Type casts are unnecessary now, but some access funcions
7 ======================================================================
8 ==================== New version: 0.3.0 ==============================
9 ======================================================================
15 added creation of a tar archive for distribution
16 replaced ir/.dummy.in by ir/Makefile.in
19 Changed equivalent_node() and copy_preds() so that the end block
20 is not optimized away if it has no real predecessors. This fixes
21 the problem with the while examples.
22 Added while_example in Makefile
25 Fooled around with if_while_example: Why does cse make it abort?
26 Cse removes path to End node, Bad remains as pred of Endblock.
27 The block walker can't deal with this.
28 Made new example with only loop: while_example.
31 added auto documentation in Makefiles, configure, etc
32 example in ir/ir/ircons.c - much must be added
33 creation of documentation by 'make autodoc' in architecture directory
36 added lots of #ifdef HAVE_CONFIG_G #include "config.h" #endif
37 replaced some C++ style comments (//) by standard C comments /**/
40 - configure (with some features, see --help for more)
41 - make [depend | tags | install]
42 - make [run] in testprograms
44 - compilation on SunOS
46 - automatic call of autoconf if required
49 More colours in vcg output.
50 Fixed bug: cse found that start block equals it's
51 first successor as both have the Start block as predecessor.
52 This only happens for local_optimize_graph() as during construction
53 the Start block is not entered in the value table.
54 Changed implementation: irgmod: local_optimize_graph() did not
55 empty the hash table with the irnodes for cse. This might cause that
56 cse turns up with a node that seems better but was removed from the
57 graph in an earlier optimization phase.
58 Removed old #if 1 from ircons.c
59 Commented in call of optimization for Block nodes in irgopt.c, copy_preds():
60 Optimizes blocks that had bad predecessors.
65 Moved struct from irprog.h to irprog_t.h, same for irmode.h.
66 Added a module deb_info in debug.h. Adapted makefile. Added example
68 Removed use of debug.h in ident.c. Now debug.c|h can be moved to
70 Removed inabled code for dead node elimination in irgopt.h.
71 Renamed some missnamed access routines (_of_). Macros with old names
72 are in old_fctnames.h.
73 Edited makefiles to remove #* and *.flc.
76 Some minor bugfixes...
79 After compacting of in arrays in dead_node_elimination
80 merge blocks and remove Phis with one pred.
83 Freeing of obstack in dead_node_elimination commented in.
84 Compacting in arrays of Block and Phi nodes in dead_node_
89 added set/get_SymConst_type_or_id in irnode.h
90 added field offset to entity in entity.h
91 added field size to type_class in type.h
92 include "gmp.h" in tv.h with "" instead <>
95 Some changes to make the lib better portable
98 Initialize max_node_nr in irprog.
101 Now outputs warning if faulty type in irdump, dump_type_info.
102 Explicit string termination in irdump, vcg_open.
105 Added external to declaration of irp.
106 Added typedef before pns and pnc_number.
107 irmode.c, init_mode(): We need to memset all new modes as
108 tarval_vrfy reads fields before they are initialized: It
109 compares to min/max when tarvals for min/max are allocated!
112 Changed parameter of Methods in type.h and type.c from
113 class to clss. Class is a C++ keyword.
116 Changed some testprograms to accomodate Uebprakt.
119 Finished implementation of dump_all_types.
120 Added new testprogram inheritance_example.
123 Added seven access routines in type.[hc]:
124 get_class_n_member, get_class_n_subtype, get_class_n_supertype,
125 get_strct_n_member, add_strct_member, get_strct_member and set_strct_member.
126 Fixed the type_walk_2 for those seven routines.
129 Added irdump routine dump_all_types.
130 Did changes to irprog, type, typewalk to achieve this.
131 typewalk needs to walk along members, sub and supertypes, this
132 is still missing! irdump then needs to output these edges.
134 ======================================================================
135 ==================== New version: 0.2.5 ==============================
136 ======================================================================
139 Made new Version: 0.2.5
141 15.8.2000 Goetz until 3.9.00
142 Separated irnode.h and many others into two files: one public
144 Added funcionality to extract headers for lib.
147 type_dump also dumps irg->ent
148 if_example: corrected nr of locals
151 irgopt: Correct copy of self pointer in start block.
152 irgopt: Correct treatment of loops: pre function in walker
153 breaks all possible loops in Phi and Block nodes.
154 irr_loop_example: wrong Return statement
155 Now I fixed all but one error: in memory_example.
156 This error showed a conceptual problem, so I wrote
157 a slightly different algorithm. This now runs for
159 dead_node_example: cse is buggy!! merges start and the
163 looking at bug in dead_node_elimination.
165 irnode: all get_..._arr functions changed
166 ircons: new_r_Block: set matured flag.
167 ircons: new_r_SymConst: needs mode_p for linkage_ptr_info.
168 adapted call_str_example to new concepts.
171 Implemented simpler Phi construction algorithm that constructs
172 correct code for three_cfpred_example in ircons. This algorithm
173 generates more Id nodes than the original algorithm and therefore
175 Also made some changes to optimizations of Not.
178 Fixed a bug, caused by the recursive use in type.h and entity.h.
179 Deleted the _TYPE_TYPEDEF_ and inserted the _ENTITY_TYPEDEF_ instead.
180 Fixed a problem in if_while testprogram, so it now works.
183 Fixed bug in optimize(). Returned Null instead n if
184 get_optimize() == false.
187 Added some access routines in type.[hc]. Solved a recursive definition
188 of type_class struct, entity struct and type union.
191 Separated entity header into pure functional header and header
195 ... a bunch small changes not documented
198 Changed output of oo_prog_example: now uses the internal list
199 of all irgs. Had to implement some of the access routines for
200 that. Also fixed a bug in irdump. Main routines did not use
201 current_ir_graph properly.
204 Implemented some missing parts in irgopt.
205 Added field irg to entity. Only valid if entity is a method.
206 Had to resove a cyclic de[endency between irgraph.h and entity.h
208 Added fields sub and super to type_class for inheritance.
209 Added field main_irg to irprog.
212 Fixed some bugs in irgopt.c
213 Added some missing 'get_new_node' methods, so the new obstack contains
217 Renamed ir_vrfy to irn_vrfy and vrfy_graphg to irg_vrfy.
218 Solved some copy'n'paste problems. Deleted most debug-code!
219 Added comments to several files.
222 Fixed bug in _r_ constructors for all four Div operations.
223 Fixed bug in turn_into_tuple: didn't remember the block.
224 Tested transform_node.
227 Fixed some testprograms to new semantics of firm.
228 Added testprogram global_var_example.
229 Fixed a bug in irop: Size of Sel node was (entity *) instead of
230 sel_attr. Therefor array_heap_example aborted.
231 Also found a missing break in typewalk, case iro_Alloc.
232 Added a construct that unifies all things constructed by the lib
233 and needed to represent a program: irprog.ch
234 This contains a list of all types as well as a list of all ir graphs.
235 I added calls to initialization and constructors so that this is constructed
236 automatically. I changed firm.c, type.c, irgraph.c and ev. more.
237 Removed strange block struct and constructor from ircons.c.
238 Moved routines for automatic Phi construction from irgmod to ircons.
239 Sorted functions in ircons to reflect the different interfaces.
240 Renamed dataseg to globals to be conformant with documentation.
241 Added conservation of current_ir_graph to irgopt.c.
242 Corrected bug in Makefiles: wrong path to directory ./inlude.
245 Commented a whole bunch of stuff, e.g. in ircons.h (Procedure to construct)
246 We should change the naming of the Block constructor.
247 Removed acces routines to attr. "closed" of Block.
248 Removed second implementation of new_ir_node from ircons and some comments
249 concerned with the now resolved cyclic dependency.
250 Fixed some bugs in irgopt so that the compilation goes through.
253 Changed the irnode attribut 'visit' into 'visited'.
254 Added some access functions, like get/set_irn_visit etc.
257 Renamed some access funtion in irgraph.*.
258 Deleted two global flags (ir_visited and block_visited) from irgraph.*.
259 Added two attributes to the irgraph struct. The visited flags belongs
260 to a ir graph, not to a whole program.
263 A new optimization has been finished. The dead-node-elimination copies
264 the existing ir graph from one opstack to another. While walking the
265 graph, only the reachable nodes will be copied, so the "dead-nodes"
266 (unreachable in the controlflow) are removed.
269 Solved some problems in the 'copy_node' function. The in array was not
270 as easy as it seamed.
273 Wrote a new 'post' funtion, for future use in 'dead-node-elimination'
274 optimization, which is needed in the paramter list of 'irg_walk'.
277 Moved 'optimze_in_place_wrapper' from iropt.* tothe new files irgopt.*.
278 New functions 'local_optimze_graph' and 'dead_node_elimination' are added,
282 Removed some files from the archive, after dependencies and usage are
284 - 'ir/common/strerror.c'
286 - 'ir/ident/xx_ident.h'
287 an empty file, only included by 'ident.c', but never used;
288 - 'ir/tv/label.c' and
290 contained a numeric counter;
291 The files were included in 'tv.h' and implemented in 'tarval.c'. The two
292 functions 'tarval_label' and 'tarval_forall_labeled' were also never used.
293 In the old fiasco compiler, the label thing is used in the backend.
294 Search for 'babil' to see the usage.
295 Also removed the two attributes 'lab' and 'used' in the tarval struct.
298 Moved the 'new_ir_node' constructor from ircons.* to irnode.* and fixed
299 afterwards some recursive includes, so libfirm works again.
302 Did a lot of changes, which I never commented until now (4.7.00).
304 * Added new result to Start node: Pointer to global data segment.
305 * Extended Semantics of SymConst node to represent information for the
307 * Added arithmeitc nodes (Shrs, Minus ...)
309 Rearranged the directory structure and adjusted the makefiles.
310 The directories contain:
311 ir: everything for the intermediate representation (better: src?)
312 /ir: the ir itself, and standard optimizations.
313 /tv: the target value module
314 /tr: the type and entity representation
315 /adt: abstract data types
316 /common: stuff needed by all other dirs
317 /debug: debugging Unterstuetzung
319 include: external files needen as includes
320 testprograms: examples to test the lib.
322 The makefiles generate files with extension .d that contain the dependencies
326 Added access routine to attribute link of irnode in irnode.ch.
327 Added get_negated_pnc to irnode.ch.
330 Added an iterator in iropt that calls the optimization for all nodes.
331 Copied optimize's code to optimize_in_place and removed deallocations.
332 Made set_irn_n in irnode.c public.
333 Added Bad as possible cfg predecessor in is_cfg_node in irnode. Bads
334 are allowded as cfgpredecessors to represent dead "incoming" control
336 Added call to optimize_in_place in mature_block. Is this useful?
339 Changed tests from comparing enums to comparing pointers. This is more
340 efficient (is it?) and reads better. e.g., instead get_irn_opcode == irm_And
341 now get_irn_op == op_And
344 Compared equivalent_value to the one in the original fiasco.
345 Added a test in case iro_And.
346 Changed implementation of iro_Div. Added routines turn_into_tuple
347 and set_irn_op() in irgmod/irnode.
348 Changed implementation of irn_Minus (although commented out).
349 Now all features are ported or documented for this function.
352 Compared computed_value to the one in the original fiasco.
353 Added one further optimization in case iro_Proj.
354 Now all features are ported for this function.
357 Updated comments in ircons.h.
360 Changed possible attribute of SymConst from type_class to type.
361 SymConst size could be the size of a union, array, ...
364 Implemented two dumpers that dump type information and a graph with
368 Implemented a walker that walks over the type informatin that can
369 be reached from an ir node.
370 Added routine get_kind(firm_thing) in common.h, Added file common.c.
371 Added files typewalk.ch and routines to irdump.
372 Added visited flags and initialization to entity and all types.
373 Implemented some of the missing access routines in type.c, entity.c
376 Implemented constructor for ShrA.
378 Added routine that iterates the graph and verifies all nodes.
379 Added Phi_in stack to irgraph. This allows to build several
380 graphs at once with respect to the Phi building algorithm.
383 Implemented dumper for control flow graphs. Changed irr_* and dead_*
384 examples to dump cfg.
387 Implemeted explicit stack for the Phi node generation. See ircons.c.
390 added include string.h in xoprintf.c to get rid of warning:
391 implicit declaration of function `bcopy'
395 Added more cases to equivalent_node.
396 Portet gigo, identify, identify_remember.
397 The set/pset library can not handle several hash tables. At least,
398 compiling several procedures causes a segmentation fault during access
399 to the tables (oo_program_example). Need to work on this.
400 transform_node still needs to be ported.
401 some cases in equivalent_node are still missing.
403 To get it running I had to remove the call to optimize in the
404 new_Block constructor. It can only be called when the Block is
408 Introduced a walker that walks only over blocks. The asserts
409 might be too strict for general graphs, but so far it works.
410 For the walker I introduced an additional flag in the attribute
411 of Blocks, an a global block_visited variable (in irgraph.h).
412 Furhter I modularized dump_ir_node, implemented dump_ir_graph
413 with the existing walker, and added new routines to output a
415 Changed the examples to call the new dump routine.
418 Added auxiliary routines to ir_node:
419 skip_Proj, skip_Nop, is_Bad ...
420 Changed access routines to use get_irn_n instead of explicit array
421 accesses. Changed get_irn_n to call skip_Id, so that the access routines
422 never will return Id nodes.
425 Repaired Phi computation, changed new_r_Phi_in. Added test program to
426 test irregular controlflow.
429 Updated optimizations computed_value and equivalent_node to new
430 Syntax of FIRM nodes and to use access routines.
431 Added routine skip_Proj in irnode.
433 2.2.2000 Boris Boesler
434 Added files irgwalk.c and irgwalk.h. They include a simple function to
435 traverse an ir graph and execute pre and post functions to current node.
438 Added arrays with parameters and result types to the type informtion
439 of a procedure. This is needed for the code generation. Also added
440 the corresponding access routines.
441 Adapted the testprograms.
444 Found a bug / complication: the call order
445 get_value (makes Phi0, put's it into graph_arr)
446 set_value (overwrites Phi0 in graph_arr)
447 mature_block (upgrades Phi0, puts it again into graph_arr, overwriting
449 fails. Added test wether graph_arr is already set in phi_merge.
451 Added tons of comments to explain Phi generation -- the stack hack.
455 irdump now outputs the pnc_number for projs of Cmp nodes.
456 Added routine to access the pnc_string.
459 Added result "dataseg" to Start node, with all it's consequences.
460 We need this for the compiler lab to translate global variables.
461 Now they can be selected from the data segment, and the start
462 node supplies the pointer to this segment.
463 These changes are guarded by preprocessor variable UEBPRAKT in
465 Changed files: common.h, irgraph.ch, irnode.h
469 removed array_example, added array-heap_example and
470 array-stack_example and adapted makefile.
472 Entity now also allows type_method as owner. This is to model
473 the stack, Sel nodes that select a variable (array) from the
474 stack need an entity that describes what they select. This
475 entity gets the type of the enclosing procedure as owner.
478 Added future access routines in `irmode.[ch]' as comments,
479 that all attributes in the ir_mode struct can be user-defined.
480 Added access routines in `irgraph.[ch]', for all attributes.
483 Moved verify routines from `irgraph.[ch]' to own files `irvrfy.[ch]'.
484 Added `irvrfy.[ch]' to MAKEFILE
485 Added "inline" before access routines in `irnode.h', that no warnings
486 will appear furthermore.
487 Added three more access routines in `irmode.[ch]':
488 struct tarval *get_min_of_mode (ir_mode *mode);
489 struct tarval *get_max_of_mode (ir_mode *mode);
490 struct tarval *get_null_of_mode (ir_mode *mode);
493 Adaption of Alloc, Sel and Entity to new types:
494 Changed array_example to use type instead of type_class.
495 Changed entity to allow all types as owner instead of
496 only type_class. Added routine "assert_legal_owner_of_ent(type* type)".
497 Changed alloc to allow allocating variables of any type instead of
499 Adapted all testprograms to avoid warnings.
501 removed dtest ... from Makefile, replaced by test.
504 Added "run" to makefile, added array_example to makefile of testprograms.
505 Corrected testprogram array
506 Changed assert in irvrfy -- Conv.