rename NO_BAD_BLOCKS to NO_BADS, remove unnecessary implication from opt_manage

cleanup/fix optimize_graph_df flag handling

simplify code

we must clear block+phi-node links

transform_node_Block does not produce bad blocks anyway

do not use custom copy without custom attributes

sparc: fix spec, it's called dump_func not dump_node

Turn off CSE when creating Projs during double word lowering.

fix warning

Documentation: why kill unreachable code between localopts

Perform KeepAlive housekeeping after each opt

Do not replace Bad predecessors by new Bads in transform_node_Block() and transform_node_Phi().

documentation for graph state flags

Replace magic 4 by SPARC_REGISTER_SIZE.

Use SPARC_STACK_ALIGNMENT and round_up2() instead of magic numbers and calculations.

sparc: Keep stack pointer 8 bytes aligned when generating code for MemPerm.

Fix cfopt

The cfopt itself can handle unreachable code,
but it transforms it in a way that makes the verifier unhappy.

Fixed inconsistent uses of DEBUG_ONLY.

Fix DEBUG_ONLY use

wrapping stuff in DEBUG_ONLY

No unreachable code in backend

Insert declarations to remove cparser warnings

Add licence header and documentation to opt_manage.h

oops, forgot to add a file

lower_mode_b: refactoring, make it more robust

- Make API private as it should only be called by backends
- Let ia32 backend create special ia32_Set nodes instead of relying
  on muxes which must not be touched anymore
- Does not create ConvB nodes anymore but instead produces the Cmp
  directly. (All backends did this anyway during code-selection so I was
  able to leave this case out code-selection)
- First collect nodes to lower, then lower them. This avoids robustness
  problems when transforming the graph while at the same time walking
  it.

some cleanups for middleend node creation in backends

Some backends create nodes in their lower_for_target phases already.
These nodes are placeholders for real backend nodes later, in contrast
they do not have register requirements or backend attributes. Simplified
this by allowing custom dumpers for them and leaving out the backend
node structs.

We can only optimize one CopyB for each return value.

This fixes opt/fehler202.c.

Minor indentation fix.

Merge branch 'opt_manage'

This is a merge, because it should be considered as a single commit
and libFirm might be broken between the various commits of the branch.
However, there are so many changes, that i do not want to squash
them all into one mega-commit.

Remove entity_usage_state attribute

Remove dom_state and pdom_state attributes

Remove outs_state attribute

API change: removes set_irg_outs_inconsistent and get_irg_outs_state
Use set_irg_state and is_irg_state instead!

API to enable dumping

Removed IR_GRAPH_STATE_BAD_BLOCK symbol

convert opts to use the opt_manage framework

Converted: ifconv, boolopt, combo, fpvrp, ldst, code placement,
jumpthreading, deconv, parallelize mem, loop, scalar replacement,
cfopt.

introduce opt_manage framework

This is a basic implementation of http://libfirm.org/PhaseManagement

Introduces remove_unreachable_blocks as an extra API function,
which does a subset of optimize_graph_df.

introduce remove_unreachable_blocks

Remove dead assignment

Cheering up Tron ;)

beabi: no special treatment of returns_twice

returns_twice handling was broken in the ia32-backend (the only real
beabi user) for a long time now. Just noone noticed because our
frontends lacked the special treatment to set the flag correctly.
Turned out setjmp/longjmp on ia32 save/restore the registers anyway
so not doing anything is fine here.

sparc: implement returns_twice calling convention

dump calling convention and additional properties for method types

remove_bads must preserve block entities

They might be the target of an ijmp afterall.

Do not touch deleted nodes.

This fixes backend/float_ret_sse.c with -O1.

sparc: first implementation of upper_bits_clean

ia32: fix overly conservative upper_bits_clean (by avoiding undefined behaviour)

sparc: remove unnecessary convs before stores

make sure projs of projs are moved in part_block_edges

implement compound-call-argument lowering

Implement a generic way to lower compound-call-arguments.
Parameters are prepared on the stackframe and passed as a pointer
to the function.

Change "associated type" logic to a single linked list to the "higher type"

Fix offsets for Loads and Stores.

Use additional register instead of multiple immediate instructions.

Ignore g4 for internal usage.

Fixed some typos.

remove_bads invalidates outs

functions with compound parameters are never const in firm

This should fix fehler200.c

sparc: fix invalid stack bias calculation in omit-fp-mode

sparc: panic instead of segfault for struct parameters

remove has_compound_ret_parameter, we already had cc_compound_ret

This should also fix compound returns in combination with
-msoft-float on sparc

sparc: support for thread local storage

begnuas: let user specify elf variants

lower parameter entities in softfloat lowerer

sparc: do not use MATCH_MODE_NEUTRAL when using Or/And/Eor for flags

sparc:  Ignore long doubles like ia32 backend.

Softfloat library does not support long double anyway.

sparc: split Mulh node into SMulh and UMulh

(Hannes ancient technique based on the Proj-mode is deprecated)

sparc:  Stop looking for delay slot node when leaving current block.

Added dw_lower special case to handle Calls whose result is never used.

Alternative fix for const functions with aggregate return

They really are const before lowering. So only mark the function
as non-const after lowering

This reverts commit 72c631f337f78b20460c508bd8af37fe67a5af37.

sparc: initial support for Alloc/Free nodes

This commit also adds a generic Alloc/Free lowering helper
Unfortunately we often produce invalid code, because currently our
stackpointer wiring logic is too weak and produces invalid results for
example when using alloca in a loop.

rename Free argument from size to count to be consistent with Alloc

Fix cfopt bug due to infinite loops

Print the linkage of entities only once, not twice.

Print the value of const initializers instead of just <CONST>Const.

Add missing newlines when dumping entities.

Print "default" instead of nothing if an entity has default linkage.

We may return a parameter and thus need to copy them.

This fixes opt/fehler200.c.

Directly ask backend for current machine size in CopyB lowering.

Old version used parameter.

Adapt documentation to implementation

Cmp must not counted as an operation

Let collect_nodes cope with Bad nodes

Do not regard functions with compound return types as pure/const.

Improved CopyB lowering, made it part of target lowering.

Backends can configure CopyB lowering, so that it's possible to keep
CopyB nodes in a certain size range for special backend-specific
optimizations.  Furthermore, large CopyBs are turned into memcpy calls.

fix warning

Improve cfopt

The part, which does not handle Phis is now recomputing block info,
because converting Cond -> Jmp, might make this info obsolete.

Additionally, it can now remove empty Jmp blocks with more than one
control flow predecessor, provided the origin block has no Phis.

Now cfopt should now be idempotent
(at least the part not handling Phis).

fix the fix of the call ordering...

ia32: make sure the stackframe IncSp is always used

sparc: support va_start

a const parameter is enough for get_method_XXX()

add special constant to represent VA_START-address in a parameter_entity

beverify: test register width in regalloc verification

fix mode of call-result proj

Fixed call dependency comparison for backend call ordering.

Code was taken from cmp_call_dependency in beabi.c which handles the
situation correctly.

Bugfix: Added special case for x mod 1.

IR export: export mode name as string; mark "the" mode_P mode.

Clarify remove_bads doc

Correct comment.

Reduce code duplication.

Use new_*_Const(irg, get_mode_$VAL(mode)) instead of new_*_Const_long(irg, mode, $VAL).

sparc: Set object file format when initializing backend.

Old version breaks for files which do not contain any functions because
in this case, emit_routine never gets called.

Fix div by one

For k==0 the Div to Shift conversion is wrong.
Instead, we just convert to the left operand of the Div.

Refactoring to remove one level of indentation