replaced pset_union by more correct value_union (does normalization)
fixed Avail_out calculation
set graph state at the end

[r7311]

added type info and final flag to class types

[r7310]

closed_world flag added
typos fixed, enhanced doxygen documentation

[r7309]

more changes. Works for the examples ...

[r7308]

factored out value_replace() to make it more like VanDrunen's code
renamed vars for same reason
fixed phi_translate():
 - obey leader
 - check for Phi in right block
 - do commutative changes

[r7307]

added xmalloc.h install

[r7306]

install xmalloc.h

[r7304]

greop High-Level Exception nodes together

[r7303]

group High-Level Exception nodes together

[r7302]

Proj lookup tables for Raise and InstOf added

[r7301]

group High-Level exception nodes together
fixed typos

[r7300]

group High-Level exception support ops together
removed Label attribute from opcodes that cannot throw an exception

[r7299]

BugFix:
- End node must be handled specially because it is not copied
- Entity type construction fixed

[r7296]

reorder for loops
typo fixed
is_Block() instead of long code used

[r7294]

more debug output

[r7293]

Fixed dumping of CondIs nodes
reorder for loops

[r7292]

BugFix: sign extension code erroniously overwrites upper bits

[r7291]

new adt bipartite added

[r7290]

added get_next_ir_opcodes() to allow allocation of cosecutive opcodes

[r7289]

Removed Keep op, added Keep flag

[r7288]

handle the keep attributes. Nodes with keep attribute stay in the keep-alives
of an End node

[r7287]

more debug output on failure

[r7286]

some functions renamed for cleaner understanding

[r7284]

is_irn_keep() added
fixed get_irn_type(), must return unknown_type instead of NULL

[r7283]

Added flip_all function

[r7282]

Added bipartite graphs

[r7281]

BugFix: wrong op called

[r7280]

get_union_member_index() and get_compound_member_index() added

[r7279]

get_member_index type operation added

[r7278]

Check that COnst nodes have same mode as its tarval

[r7276]

Skip Cats nodes in non_null check

[r7275]

fixed hooking mechanism

[r7273]

lightweight DB() macro added

[r7272]

Fully implemneted. Works fine with the two examples (including VanDrunen's original
one if constant folding is disabled). However, the Antic set is different form the GCC
generated. It is not clear yet is this is right ...

[r7270]

Added tags for ops

[r7258]

Removed Keep

[r7257]

some optimizations must be disabled while the reassociation runs
indetify functions are global now

[r7256]

irop_flag_keep flag added

[r7255]

ir/ir/irop_t.h added

[r7254]

Added the Keep node

[r7253]

Flags support.

[r7252]

added pmap_count

[r7251]

added missing headers for install

[r7250]

LIBCORE is on per default now

[r7249]

removed useless empty function

[r7248]

character modes do not have modulo shift's

[r7247]

BugFix: get_opt_ldst_only_null_ptr_exceptions() was checked wrong

[r7246]

opt_confirms.f added

[r7245]

InstOf Node (high-level instanceof test with exception) reanimated

[r7244]

DBG_OPT_EXC_REM() used, remove exception edges from Load and Store if it can be proved that the address is non-null and no other exception exists

[r7243]

DBG_OPT_EXC_REM() added (a exception edge was removed due to a comfirmation prove)

[r7242]

HOOK_OPT_EXC_REM added

[r7241]

ldst_only_null_ptr_exceptions and sel_based_null_check_elim flags added

[r7240]

opt_confirms.h is now global visible

[r7239]

value_not_null() improved, skips now Sel nodes if option is set

[r7238]

renamed all types 'type' to 'ir_type'

[r7237]

renamed all types 'type' to 'ir_type'
used mode_is_reference instead of != mode_P test

[r7236]

renamed all types 'type' to 'ir_type'
removed struct from firm types

[r7235]

removed unneeded includes
renamed all types 'type' to 'ir_type'

[r7234]

renamed all types 'type' to 'ir_type'

[r7233]

renamed all types 'type' to 'ir_type'

[r7232]

renamed all types 'type' to 'ir_type'

[r7231]

renamed all types 'type' to 'ir_type'

[r7230]

removed unneeded includes
renamed all types 'type' to 'ir_type'

[r7229]

added ifdef around irloop type

[r7228]

add defined for verification enums

[r7227]

missing include added
renamed all types 'type' to 'ir_type'

[r7226]

ir_loop type added

[r7225]

pleliminary version of VanDrunen's GVN_PRE for Firm

[r7220]

Small changes

[r7218]

Dumper changed: a new edge class 'postdominator' added

[r7217]

2 new cases added

[r7216]

used pn_*_max constants in all turn_into_tuple
equivalent_node_Confirm() improved
transformations added:
a+a = 2*a
(a*x)-a  = a*(x-1)
preliminary version of equivalent_node_Bound() without Confirm support yet

[r7215]

Bound operation added:
 high level bounds check for Java, Pascal, Modula-3

[r7214]

renamed all type 'type' to new ir_type
intrinsic method property added

[r7210]

used new set_irg_doms_inconsistent() to invalidate dom and postdom

[r7209]

used new set_irg_doms_inconsistent() to invalidate dom and postdom

[r7208]

used new set_irg_doms_inconsistent() to invalidate dom and postdom
renamed type 'type' to newer 'ir_type'

[r7207]

used new set_irg_doms_inconsistent() to invalidate dom and postdom
rename the type 'type' to newer 'ir_type'

[r7206]

added data for post-dominance
used only types without 'struct'

[r7205]

added data and functions for post-dominance info

[r7204]

used new set_irg_doms_inconsistent() to invalidate dom and postdom

[r7203]

post-dominators are dumped yet
removed #if 0 code

[r7202]

added post-dominator construction

[r7201]

used dbg_printf all over

[r7197]

newent and newtype takes now either a number or a name

[r7196]

more checks and diagnostic output added

[r7195]

uses firm type WITHOUT struct

[r7194]

added missing include

[r7193]

missing include added

[r7192]

loop unrolling currently buggy ...

[r7190]

added missing get_irn_type_attr() and get_irn_entity_attr()

[r7188]

loop-unrolling did not write debug messages anymore

[r7187]

removed dumper call

[r7186]

renamed NODE_VERIFICATION_* to newer FIRM_VERIFICATION_*
renamed old type 'type' into ir_type

[r7185]

fixed inline definitions

[r7183]

make defines for identical enums (firmjni build process using recoder cannot cope with)

[r7182]

missing include added

[r7181]

added missing includes

[r7175]

trvrfy uses now verification flags

[r7174]