Added local opt Phi(Pin,...,Pin) -> Pin(Phi(...)).

This fixes opt/fehler194.c.

Set ls_mode for created ia32_Test node.

Fixed opt/fehler193.c.

Added commutative optimization variants.

Fixed opt/fehler192.c.

Prevent optimization in case of an Eor, too.

Quick fix for opt/fehler191.c.

This also fixes 176.gcc and 300.twolf.

Fixed typo.

skip Tuples in mode_b lowerer

use @progbits with .ctors/.dtors section (see also #0000066)

Don't combine blocks if the first one ends with a Raise.

C99 feature removed.

Fixed windows build after lpp merge.

Merge Fix: Spills have ProjMs now

Fix: Spills have ProjMs now

Add lpp to Makefile

fix more cparser warnings, cleanup some libcore code

fix bug in lower_calls (found by cparser warning)

further cleanup of lpp code

lpp: adapt to firm coding conventions, warning fixes, cleanup

add a new aliasing rule (struct access != variable)

fix switch lowerer messing up default_proj in some cases

fix cparser warnings

let backends report their machine_size and the size of long double if supported

Work around the PIC-in-switch problem by setting the no_pic_adjust flag.

This seems wrong. GCC uses PIC for switch on OS X.

Correct usage of ia32_emitf() in emit_ia32_SwitchJmp().

Reduce code duplication and resolve inconsistencies (due to code duplication) in ia32_emitf().

s/threat/treat/.

first experimental version of gurobi ILP solver

outsourced some functionality
adapted to changes

remove remaining WITH_ILP uses, fix bug introduced when adapting lpp

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