Remove unused variables, squelch warning about unused parameter.

Use simple assignment instead of memcpy() when possible.

simplify unreachable code elimination:

only set block/phi inputs to bad to kill unreachable code, all other
code will be dead and removed anyway

fix iredges EDGE_KIND_BLOCK not updating correctly when exchanging blocks

fix cfg_dumper omitting bads

iredges: remove unnecessary skip_Proj

irdom: do not count bad predecessors as control flow

Remove obsolete loopinfo invalidation

Implicit set_irg_loopinfo_inconsistent

Remove obsolete outs invalidation

Implicit set_irg_outs_inconsistent

when calling exchange, set_irn_n, or set_irn_in.

fixes backend/inconsistent_outs test case

Remove extra dash from assert graph filenames.

Reenable asserts

They were commented out in commit c4686a6b

Use mode from type instead of return value

Also bugfix: The second case used uninitialized memory for the Bad's mode.

Fix ack/t7

Some Bads were not maintained in cfopt

remove Bads makes outs inconsistent

Adapt cfopt to Bads with modes

Revert "fix opt/loop_without_phi"

This reverts commit bcaf3e7900158f4fd3c64dda9ff2d11d652ec474,
because the removed assert now holds again.

beabi requires out edges

optimize_graph_df removes all Bads now

cfopt maintains Bads now

fix compilation in non-debug mode, remove unused #define

opt_inline: fix uninitialized memory usage

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