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

A comment for better understanding

sparc: Added a comment.

sparc: Add support for Conds where selector is not a Cmp.

cleanup

The variable is overwritten right afterwards

Don't try to import cons_flags.

Fixed opt/fehler196.c.

Allow selecting one past the last parameter to get variadic parameters.

Remove unnecessary assignment, which at worst hides a panic.

Fix emission of string initializers.

Non-printable characters are emitted as octal sequences, e.g. \0 for 0.
Always pad them to three digits, so they do not accidently join with a following ASCII digit.
E.g. "\0""7" was emitted as "\07", correct is "\0007".

Fixed local optimization.

We have to convert the values the same way the program does.

replace unsupported builtins with library calls

sparc: fix mode of Ldf Projs

add callback for constructing spill/reload

So we are not forced to use the generic be_Spill, be_Reload functions
which don't work correctly with double-width register requirements.
This should really fix sparc float spill/reload this time.

simplify copy interface and respect double/aligned reqs

fix warnings reported by cparser

Correct reg_reqs_equal().

If req2 was limited and req1 wasn't, then it incorrectly returned true.

Correct typos in comments.

Correct indentation.

Added soft float support for SPARC backend.

Fix C/bitfield4

Load-Store-Opt now shifts constant loads from bitfields accordingly.

cleanup

fix missing else

API Change: Use graph state instead of parameter

The lowering phase had a lower_bitfield parameter.
Instead of passing "true", the (e.g. EDG) frontends now must
set_irg_state(irg, IR_GRAPH_STATE_IMPLICIT_BITFIELD_MASKING).

This is necessary, because not only the lowering phase is affected.
Additionally, the load store optimisation should handle Sels differently.

cleanup

Removes obsolete debug output and confusing comments

big refactoring of arch_XXX functions

This tries to get the names in a consistent format. We basically have 2
views on register allocation/constraints now:

1) Register Requirements and Assigments are per-instruction. Each
   instruction has requirements on its inputs and outputs, register get
   assigned for outputs of an instruction (assignment is an attribute of
   an instruction, not of the Proj-nodes).
   The internal datastructures model this form!

   The functions here have the form:
     arch_get_irn_register_req_in(node, input_nr)
     arch_get_irn_register_in(node, input_nr)
     arch_get_irn_register_req_out(node, output_nr)
     arch_set_irn_register_out(node, output_nr, register)

2) Register Requirements and Assignments are on firm-values. This view
   allows to query/assign requirements and registers at the Proj nodes
   instead of the repsective predecessors.
   This is a convenience interface modeled on top of the other!

   The functions have the form:
     arch_get_irn_register_req(node)
     arch_get_irn_register(node)
     arch_set_irn_register(node, register)

remove old type