Revert "Prevent SSA construction from running into endless loops."

This reverts commit 2a018b8111bd0596816c1d00c38a0024857753f7.

Unreachable loops always have a loop entry edge and thus a Phi node.

Dump immature blocks in ird_color_error (red) again.

Both mature and immature blocks were dumped in ird_color_block_background.

Remove redundant get_Block_matured() check before calling mature_immBlock().

Remove the unused facility to register space /in front of/ a node.

further corrections for the keepalive hack

sparc: be more conservative when moving memops around

Simplify rounding next_block_nr.

Skip the check whether ifconv is allowed, if both phi operands are identical.

In particular this allows ifconv when a PhiM is present, but nothing happens with the memory on the two paths.

workaround for placement of nodes held only by keepalive edge

This is a workaround for keepalive edges which are probably broken
(adding the stuff to the End node is wrong, it should get added to the
 endless loop somehow)

set load/store to floating if ptr is never NULL

improve value_not_zero

SymConst_addr_ent are never zero for example, also there's no need to
give up after seeing a confirm

make block numbers accross functions more deterministic

I aligning them to a multiple of 100 now, so that when code generated in
an earlier functions only changes lightly it is very likely that the
block numbers in later functions stay the same.

fix crash

code_placement: use iredges, respect dep. edges

ldstopt: don't count keepalives as users

cleanup irouts

improve tarval printer

remove now unused get_irn_outs_computed()

remove unused NEW_REASSOC code

remove pointless compute_irp_outs()/free_irp_outs()

remove unused+fragile NULL_OBST

move load mode shrinking into ldst phase

Performing it as localopt was hairy as the optimisation dependet on
correct iredges values which were misleading/wrong during construction
of new stuff.

ia32_transform: remove unused SETCC_TR_SBB

show optimisation warnings in ia32 conv/conv opts

The middleend should optimize all these cases, it does so for 99% of
them already. There are just some cases where ands get transformed into
conversions which the middleend doesn't catch yet.

shrink load mode if not all bits are used

factorize upper_bits_clean and use in sparc+ia32

This needed some rewriting as ia32 previously checked already
transformed nodes while sparc was checking nodes before transformation.
Change ia32 to check nodes before transformation too. Also improved some
code in sparc+ia32.

irop: add more generic function callbacks

tarval: shift variants with unsigned right operand

ia32: skip downconvs in front of Store

add more Conv(Conv) localopt rules

fix some problems in ia32_intrinsice/map_Conv

use confirm_irg_properties in lower_intrinsics

execfreq calculation fails in case of unreachable code

put execfreq in block-attrs instead of hashmap

The hashmap used to point to blocks which have already been deleted.

remove unnecessary irma_unitialized

Improve documentation about float mantissa size

remove the concept of a strictconv

This means floatingpoint calculation in a firm graph must be performed
in the mode specified (and may not be performed in a wider mode as
before).

remove unused dead_node_elim_subst hook

avoid usage of modifies_fp flags in sparc backend

use be_foreach_definition in liveness_transfer

fix be_foreach_definition cls argument

simplify by using C99

refactor specfiles/scripts

fix dwarf abbrev registration

apparently abbrev number 0 is not allowed, so we have to start our
abbrev numbers at 1

Don't use consecutive numbers for basic blocks from different functions.

Consecutive numbers can make it difficult to combine assembly output from
different compiler runs, which is done by the check/checkfile scripts to find
bugs in the SPEC suite.  If the number of basic blocks of a function changed
between compiler runs, the assembler will likely complain about duplicate labels.
Leaving a bit more space, e.g. 100, is a pragmatic fix.

sparc: Use be_peephole_exchange instead of exchange to update liveness information.

fix bug introduced in 'cleanup' commit

sparc: fix wrong delay slot test

sparc: fix delayslot picking order

beprefalloc: fix assignment of big values

sparc: support float perms

sparc: split128 bit float loads into 2x64bit load

beprefalloc: simplify by using C99

more irouts cleanup

irouts: cleanup use C99

use is_$KIND(n) instead of get_irn_op(n) == op_$KIND.

Remove duplicate calls to register_node_cmp_func().

s/get_irn_n(irn, -1)/get_nodes_block(irn)/.

Remove redundant retrieval of blocks.

Use get_Block_cfgpred_pos().

Return the profile init irg from ir_profile_instrument() instead of guessing that it is the last irg.

Simplify control flow.

Replace the reassoc env struct by its only member.

Remove irg from the reassoc env.

Remove the write-only variable changes from reassoc.

sparc: rework emitter/delayslot handling

We can now pull instructions from other blocks up and use the annul bits
if profitable.

fix bugs in execfreq rework commit

be: Proj_Cmp transformers are unnecessary

use C99 to cleanup code

Assert that there is currently no object under construction, when calling be_get_be_obst().

Factorise code to set the register contraints and registers of the SPARC start node.

Factorise code to get the register projs of the SPARC start node.

Put SPARC initial register info into a struct.

Simplify emit_sparc_Div(): Pass the instruction mnemonic instead of a bool flag.

Talk a bit about ADTs in firms API

simplify and cleanup execfreq API

fix import/export of ASM

make get_op_ops result non-const

so external users can set their own opcode functions.

prefere local registers when allocating for sparc

Add and use amd64_emitf().

ia32: avoid assembler warning for 16bit stores

update TEMPLATE backend

Still broken for anything except int f(void) { return 0; } though...

rework ASM node, it always has a memory input now

You can still attach NoMem if no memory input is present.
This makes it more consistent with the Call node and fixes failing
get_ASM_mem in case of no memory input.

get_Call_n_params: use int for consistency

This makes it consistent with other functions like get_irn_arity().
(Though I must admit that we should change all these functions from
 "int" to unsigned at some point)

Fix random scheduler.

After the switch to C99, the foreach_ir_nodeset macro introduced a separate
loop variable, which shadowed the local variable "irn".  Thus, an uninitialized
pointer was passed to is_cfop.

Eat format specifier parameter.

This fixes backend/setmem.c.

Let list_for_each_entry(), list_for_each_entry_reverse() and list_for_each_entry_safe() declare their iterator variables.

Remove __list_for_each().

It is identical to list_for_each(), though its comment claimed otherwise.

Remove the unused ir_lnk_nodeset.

Remove the unused ir_lnk_nodemap.

Let matrix_foreach(), matrix_foreach_in_col() and matrix_foreach_in_row() declare their iterator variables.

Let foreach_ir_nodeset() declare its iterator variables.

Let panic() print file, line and function.

Remove now redundant (and sometimes wrong) location info from the panic messages.

Make \n in arm_emitf() work.

Remove unused emit_templates.

Add sparc_emitf() to make the SPARC emitter more readable.

Use ia32_emitf() in ia32_spec.pl.

introduce TEMPLATE_emitf

introduce arm_emitf

use arch_emitf for emit lines without dot prefix