verify that all blocks can be found by walk_block_graph

This also ensures the invariant that at least 1 block in an endless
loop is kept.

ircfscc: remove is_outermost_StartBlock check - it was broken and apparently unnecessary

little cleanup, avoid unnecessary optimize_graph_df

give Bad nodes a mode

mark outs as inconsistent when end node is changed

optimize_graph_df: iterate marking of unreachable blocks to guarantee that all unreachable code is killed

Prevent endless recursion in if-conv in endless loops.

A function that (indirectly) calls itself is not const/pure.

This fixes opt/fehler186.c and ack/test2.c.

Fix embarrassing typo in fp-vrp.

Use the bound of ==-Confirms in fixpoint vrp.

Remove pointless local variables.

fix opt/loop_without_phi

Memory loops without Phis can occur in unreachable code.
Make ldstopt handle this by ignorance.

fix opt/gcse_no_end

jump threading must also copy Keep edges to keep End reachable.

cfopt: fix countless bugs introduced when changing unreachable code elimination

fix cfopt not marking all possible blocks as removable after the latest changes

fix unreachable code elimination failing for blocks with only 1 input

Consider that unreachble blocks might have no bitinfo.

Assert monotonicity in set_bitinfo().

Ensure that the result of a node is undefined if any of its operands is undefined (except for phis) or if its block is unreachble.

Consider that unreachble blocks might have no bitinfo.

Correctly handle the case that unreachble blocks are not necessarily replaced before the nodes they contain.

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