Model (un)reachable block info with bottom/top, not false/true.

Initially mark the end block as reachable and set the bad node to bottom (i.e. undefined).

Fetch traval false/true once in transfer() for better readability.

always compute doms in optimize_graph_df instead of hoping for them to be available

Amend combo fix.

One more condition is needed to ensure monotony.

Fixed combo by fixing an old artefact from the older libFirm Cmp nodes.

In older libFirm version, Cmp computes top, true or bottom.
Now Cmp computes true or false, so the monotony fix must be upgraded.

This fixes opt/combo_paper.c

BugFix: mode_b lowering might create new control flow (if ir_create_cond_set() is used), so invalidate analysis data.

BugFix: Always invalidate loop-info if data flow was changed.

fix lower_mode_b: phi inputs may be bad

also do unreachable code elimination during gcse

improve robustness of CFG verifier for strange cases with Tuples

enqueue users of Bad as well in optimize_graph_df

only calculate dominance if CFG verification was fine to avoid crashs/endless loops

cleanup/partly rewrite code_placement algo

Further push size_t.

C99 feature removed.

Add simple transfer function for Confirm in fp-vrp.

do not kill unreachable code in gcse

Improve and correct fp-vrp transformation.

- Set modified flag when unreachble nodes are removed.
- Remove trivially unreachble blocks, which have no bitinfo.
- Consider that unreachble blockes are replaced by Bad before the nodes they contain.

Clean up in ifconv a bit.

add libfirmprof helper library

improve firm profiler (based on patch by Steven Schäfer)

dump postdom info in vcg graphs

fix an intrinsic lower not reporting changes

fix lower_copyB not invalidating irn_outs

improve fp-vrp unreachable code handling

Simplify handling of unreachable code

See http://www.libfirm.org/Unreachable_Code for details

Verify that each Cond has a true/false/default Proj

add cfg verifier ensuring 1 cfop per block and only 1 user for each mode_X node

add unknown_jump opflag for the special case of a jump where we can't directly influence the destination and can't predict/change them

remove obsolete #defines

cleanup/reformat irop_t.h

verify that the predecessor of a block is a cfop

little cleanup in block walker code

make verifier a bit less strict for out-edges to dead code

fix warnings

slight cleanup of ifconv code

Fixed size_t related warning.

Better fix for opt/ldst.c

This avoids a Load without ProjM, instead of handling this case.

Reverts the previous commit.

Fix opt/ldst.c

A Load might not have a ProjM

BugFix: fixed broken refactoring, associated link cannot be used for chains.

The associated link combinaes onbe lowered awith one unlowered type,
it cannot be used for chains of unlowered types.

Removes the get_type_[un]lowered() API and restores the
get_associated_type() API.

However, the whole concept of lowered types should be replaced by type
attributes ...

This fixes the asserts in stabs debug output.

Slightly improved type dumper.

Fixed some size_t related warnings.

Fixed the "naive and wrong regex stubs", so it has the right signature and returns the right value/error code now.

Switch irg index to type size_t, making the API more consistent.

Fix opt/jumpthreading4.c

The constructor initializes the array.

Use corresponding macro.

Simplify code.

Simplify: if (!irn_visited(x)) { mark_irn_visited(x); ... }  ->  if (!irn_visited_else_mark(x)) { ... }.

Fix opt/doms_segfault.c

Refactoring: remove goto

fix backend/lower_call3.c

Remove unnecessary assert

This is asserted in the next statement anyways

Remove type lower functions from API

* get_associated_type is unnecessary
* is_lowered_type is an internal inline function now
* set_lowered_type is an internal inline function now

Use get_type_[un]lowered instead of get_associated_type

Handle chains of lowerings correctly

is_lowered_type is now only used in asserts

add simple load-after-load and loaf-after-store optimization as localopt

add no register requirement to NoMem

hide cdep struct behind getter, make it more robust with an additional skip_Id

remove strange function (christophs words) and duplicated comments

We do not need to place Phis in dead blocks.

This fixes opt/jumpthreading3.c.

Refactoring

* removed unnecessary call_tp variable
* removed shadowed tp variable (twice)

Fix backend/lower_call2.c

Similiar to 9d207c0 the call lowering should always use the current
entity type, instead of the associate type, which may or may not be
a lowered type.

BugFix: Fixed wrong todo fix.

Fixes backend/lower_call.c

- is_lowered_type is not helpful, because the flag may already be set
  by lower_calls before. This flag should probably be removed in general.
- hence lower_mtp must not check for is_lowered_type
- lower_Start must update the entity type, but not lower_irg,
  otherwise lower_Start can not decide, whether a lowering is necessary.

no name shadowing

padded return is only an obscurity of the athlon branch predicator AFAIK

remove outdated README.IPD

change NEWS and README to markdown format

C99 feature removed.

Prevent SSA construction from running into endless loops.

If there is an unreachable loop (i.e. there is no loop entry edge)
then there may is a cycle of blocks with only one predecessor.
Since the algorithm handle this case by returning the value of the predecessor,
this causes an endless recursion.
The fix uses the visited flag to detect such cycles.

Fix stupid typo

Harden ssacons against reintroducing a bug

* use a local variable for the walker function
* use setter function for block settings

Use block walk for ssa_cons_start

The node walk used before was inefficient,
since everything but blocks was ignored.

Additionally, this fixes a bug, because ssa_cons_finish already used a
block walk already, such that unreachable blocks were immatured,
but not matured in the scalar-replace optimization. This bug could
also be avoided by ensuring cfopt before scalar-replace, but keeping
ssacons start and finish symmetric seems to be more robust.

fix mismatched decl/implementation

implement some cases of =A asm-constraint

fix cmp_ASM_attr

fix cparser warnings

update automake stuff for release

assume regex.h exists

avoid zlib dependency

assume we always have strings.h

nobody needs alloca.h these days (hopefully) - using HAVE_s in public headers is wrong anyway

remove configfile parsing stuff, this also eliminates the dependency on bison/flex

simplify/refactor fltcalc code (avoid some macros)

assume everyone except msvc has long double (it's C99 after all)

minimize number of build variants: always enable statistics

remove unused code

NEWS update

fix warning

remove unused code

Change use of rdtsc so it works with AMD64, too.

Use get/set functions instead of direct access to is_matured

Try fixing if-conversion in presence of endless loops.

Merge the lower block into the upper block (instead of the other way round), so we do not turn the upper block, which might still be in the DFS stack, into and ID node.

Revert "Let the block walker enter endless loops only at kept blocks, not Phis."

It does not fix the if-conv problem (there can still be odd keeps into if diamonds) and it also breaks removal of unreachable code, which is only kept at PhiMs.

This reverts commit 351a807ef7c6225b11cc3ac88be60ea0c9db9b7f.

Remove the unused function fail_char().

Make debug output more portable.

Reduce code duplication in the (long)-double-int-union-hack.