irverify: remove load/store from entity verification

It was only a valid check in strongly typed unoptimized languages, not
much value in a firm-graph.

localopt stuff for const-code irg

rework timer API

move get_irn_edge_kind to internal API

reorgranize method properties

- do not record properties on irgs anymore, always do it on the irgs
  entity; entity properties have to be a superset of the entities method
  type properties.
- Remove special irg_inline_property and use mtp_additional_properties
  instead

always dump additional method props

opt_funccall: cleanup, use C99

Also removes some debugging output to simplify the code

opt_funccall: remove outdated/unused OO optimisations

ia32: cleanup handling of 8/16bit operations

This also fixes backend/sign_bit.c

fix a bunch of warnings reported by clang analyzer

add some missing cases for copy_const_value

fix comdat emitting on macho

Remove unused map_Abs().

Remove duplicate macro.

Don't set copy_attr_func to NULL for nodes without attributes.

Properly specify alternate AM in the ia32_IJmp emit clause.

When hard-coding the *, invalid assembler gets emitted if an immediate ends up as ia32_IJmp operand.

Perform switch lowering before double-word lowering.

This fixes gcc/pr37285.c.

Update documentation.

Fix doc typo.

Extended public backend API.

Added some additional functions that allow direct access to some fields
of the backend params struct.  These functions avoid struct type,
thereby making interfacing with the jFirm library easier.

Fixed some typos.

Fixed lowering of calls with compound returns.

Reusing the same dummy struct as a hidden parameter for multiple
calls is not always correct (see opt/structcall2.c for an example).
For now, just use multiple dummy structs.

changed the dump format to match the cplex lp format

sparc: use 128bit long double even for softfloat

We can't handle 128bit long double in softfloat yet, but most libraries
are compiled like this. It's better to have the compiler fail than to
produce code with a mismatching ABI in the default setting.

beverify: simplify by using C99

Conflicts:
ir/be/beverify.c

Fixed typo.

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.