reindent escape_ana.c in firm style

ifconv must remove bads first

Fixes C/unkept_loop.c

New API function: remove_bads

The functionality already existed,
but this is necessary at more than on place.

simplify merge_env struct

reuse is_switch_Cond function

Additional cfopt: Cond=>Jmp

        Cond
       /    \
  projA      projB   =>   Jmp     Bad
       \    /                \   /
       block                 block

This optimization might produce more empty blocks to remove,
which in turn might enable more Cond=>Jmp opts.
So we need to perform this until nothing changes anymore.

Fixes x86code/cfopt.c
Breaks C/unkept_loop.c, because ifconv cannot handle Bads

Typo.

Remove nop optimization

This code does nothing, because the previous commit removed the
equivalent_node_Block function.

Remove equivalent_node_Block

Fixes opt/localopts2

Because of Phis blocks cannot be equivalent. The cfopt must do all
block merging.

For example, consider the case where block A has one predecessor
block B, which contains a Jmp. Naively, we might exchange(A,B).
However, A might contain a Phi with one operand, then the graph
is broken afterwards, since we move the Phi into B as well.

Remove goto

Fix cfopt Bad mode

get_Block_cfgpred_block must return mode_BB

Fix comment

cleanup fragile op handling

- The pns of X_regular and X_except are annotated in the opcode now.
- The memory input is annotated in the opcode now
- only nodes with X_regular, X_except are marked fragile

generate n_Node_XXX enums for node inputs

Bad,Unknown are no cfopcdes

fix warnings

fix fehler189.c

typo

sparc: implement 64bit lowering

compiler library entities should be visibility_external

lower_dw: Shift lowering without intrinsics

We can still use ia32 ShlD, ShrD functions by matching Or(Shl,Shr)
patterns in the ia32 transformer.

lower_dw: huge refactoring, allow custom lowering funcs, fix endianess problems

irg_walk_anchors uses visited field, reserve it

include irnode_t.h, irgraph_t.h for better performance

fix some set_ functions not being marked as FIRM_API

fix shiftop optimization failing for negative shift values

use irg from block instead of current_ir_graph in backend node constructors

add support for backend nodes without attributes

lower_dw: add support for Bad nodes

sparc: Sub is mode neutral

backend: ProjT/Start is an anchor and explicitely transformed

Unresolved should_be_same constraint => panic

fix opt/jumpthreading7

code placement fixes gcse

GCSEing nodes into unreachable blocks is ok now. The
verifier does not check the cfg, when irg is floating.
Code placement fixes and pins the irg after gcse.
Nodes in unreachable blocks are moved into the first block
after the start block.

Reachability checks in place_late are converted into asserts,
because after place_early, there are no unreachable blocks anymore.

reverts c64fe29 and 318579c
but also fixes opt/unreachable_block

Code reuse

Do not gcse unreachable code

During global CSE we now ignore nodes in unreachable blocks,
otherwise cse could pick the wrong representative node
and use unreachable nodes in reachable code.

Delay exchange until all nodes are created

add_block_cf_input breaks, if the block has two Bad inputs

ldstop must deactivate edges after changes

Skipping Loads might lead to dead code, which is still reference by
out edges.

Removed C99 features, adopt to Firm style.

Remove kept Bad AFTER dead blocks are deleted to ensure no Bad ist kept.

Moved some helper functions from irgopt to irtools for reuse.

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