we always have liblpp now, remove WITH_ILP flag

fix a bunch of warnings reported by cparser

added lpp

some cleanups to opt/loop.c

The optimisation still doesn't appear to do anything for me...

add some const qualifiers to backedges query functions

unify sparc/ia32 SwitchJmp handling

improve jumpthreading comments

Revert "jumpthreading must not split edges"

This reverts commit 2dc832999c2d0b91b1d7eb8a5d3de4b89ce5552a.

The commit made jumpthreading "more conservative", which fixed the
problem. However, it is not a good solution in general.

We need a bigger rewrite of opt/jumpthreading, so it analyzes then
modifies the graph instead of on-the-fly changes. This prevents the
infinite loop, which would e.g. happen with such a cf graph:

    \     A         \     A
   __\    |        __\    |
   |  B   |   =>   |  B   |  => ...
   | / \  |        | / \  |
   |    D |        |    E |
   |     \|        |     \|
    \     C         \     D
     \___/           \   /
                      \_C

Breaks opt/jumpthreading5 and opt/jumpthreading5b

Better fix for wrong tarval computation of -(infinity).

Restores the support for no infity, fixed handling of denormals.

Improved comment, small cosmetic.

Fixd typo.

Fixed wrong tarval computation of -(infinity).

Fixed some typos.

Include begin.h and end.h in the generated headers.

Fix typo.

add missing FIRM_API prefixes

Removed the callee/caller saved flag from register specification.

The callee/caller saved information is not constant accross different
ABI's, so don't make it constant. Instead, all BE that still use beabi
provide a callback now.
This allows to implement support for x64_64/Win32 and is a necessary step
for the combined x86 BE.

verify nodes before optimizing them

jumpthreading must not split edges

* the splitted edge is never critical, so the name was misleading
* it might result in an infinite loop
  fixes opt/jumpthreading5 and opt/jumpthreading5b

adapt to firm coding conventions, avoid warnings by using INT_TO_PTR and PTR_TO_INT

fix a few comment typos

Fix some types

Fixes issue 64, because casting long to int does work on 64bit.

experimental patch to limit GCSE so we don't produce partially dead code like crazy

lower small switches to ifs

remove bads in backend

Like the comment says "we can't have Bad-blocks".
However, optimize_cf does not remove them anymore.

lower_dw must deactivate edges

There might be some ProjL nodes reachable via out edges
and the following "local" phase does enqueue_users for
optimized nodes, which might visit the 'undead' ProjL.

rework fragile ops to have a throws_exception attribute

change pn_XXX_max enum to really be the maximum pn and not maximum+1, add n_XXX_max enum

Assert that the given node in set_r_cur_block() has mode BB.

Reduce code duplication: Implement set_cur_block() by calling set_r_cur_block().

always transform integer abs, even in GRAPH_STATE_KEEP_MUX

fix transform_node_Cmp

Introduce flip-flopping normalisations

There are cases where we can normalize in 2 directions and both have
their merits. Just do both in this case. The frontend should at some
point set IRG_GRAPH_STATE_NORMALISATION2 to trigger the 2nd direction.

irverify: simplify/refactor internal interfaces

a const ir_graph is enough for get_idx_irn

fragile nodes must be exception or memory pinned

move integer abs optimisation from backend to the middleend

reverse direction of bitop/shift normalisation

optimize_blocks ignores unreachable blocks

Fixes opt/ioet.c

Cosmetics in cfopt

* set_irg_outs_inconsistent is unnecessary as exchange does that already
* "useless if optimization" was a confusing comment
* more precise type: int -> block_flags_t

Fix "Some cleanup of cfopt."

The remove_empty_blocks function must be used for a pre-walker, otherwise
it might be called on blocks, which were optimized away. Consider infinite
loops and the Keep edges:

  \ ___
   B   |
    \  /
    Empty
    /
   / Keep Edge!

In this example, we must not call remove_empty_blocks on Empty,
after we called it on B, but a post walker would do that.

Improved doxygen docu.

Some cleanup of cfopt.

- renamed clear_link() to clear_link_and_mark_blocks_removable()
- renamed optimize_conds() to optimize_ifs()
- simplified has_*() implementations
- made some walker POST walker
- invalidate out edges
- and add some doxygen docu
- fixed some typos
- adapt to firm indentation style

improve our 'don't use AM' heuristic: immediates do not increase register pressure

Use XMALLOCF*().

Fix opt/inline.c

localopt/lower_dw opt: a==b && c==d  => (a^b)|(c^d)==0

implement Cmp(Conv(x),Const) => Cmp(x,Const)

Fixed typos.

C99 feature removed.

Fixed calculation of meet blocks broken in 4db6c5b3.

cfopt must maintain Bad structure

Removed unused variable.

The get_n in the foreach loop is a macro and not a use of the function.

merge start-block successor with start-block in backend (necessary after equivalent_node_Block is gone)

fix activate_backedges failing for nodes with Deleted block in the identities table

implement 'x-(x&y) => x & ~y' localopt

implement/refactor x&~x, x|~x, x^~x and x+~x localopts

struct ir_settings_if_conv_t does not exist anymore.

Make the elements of binary_table[] const.

Adapted some issues noticed during removal of unused variables.

Fixed some warning about unused variables.

Fixed some typos.

fp-vrp transfer function ignore Bads

Since Bads have modes now the check for mode_X initialized the bitinfo,
which results in incorrect reachability information.

edges deactivate fix

Broken with csmith 2.0.0 seed 909842313
in libFirm 1953ce88fe94d589a9b47d2ab8969c21bfb55b3a

Do not generate declaration for non-existing arch_get_n_regs()

fix ShlD/ShrD not getting generated in some cases

Another Bad mode fix

convopt: fix potential bug with modulo shifts, improve cost calculation for optimizable conv(shift) combinations

add some localopts for shifting over the mode size

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