add cfg verifier ensuring 1 cfop per block and only 1 user for each mode_X node

add unknown_jump opflag for the special case of a jump where we can't directly influence the destination and can't predict/change them

remove obsolete #defines

cleanup/reformat irop_t.h

verify that the predecessor of a block is a cfop

little cleanup in block walker code

make verifier a bit less strict for out-edges to dead code

fix warnings

slight cleanup of ifconv code

Fixed size_t related warning.

Better fix for opt/ldst.c

This avoids a Load without ProjM, instead of handling this case.

Reverts the previous commit.

Fix opt/ldst.c

A Load might not have a ProjM

BugFix: fixed broken refactoring, associated link cannot be used for chains.

The associated link combinaes onbe lowered awith one unlowered type,
it cannot be used for chains of unlowered types.

Removes the get_type_[un]lowered() API and restores the
get_associated_type() API.

However, the whole concept of lowered types should be replaced by type
attributes ...

This fixes the asserts in stabs debug output.

Slightly improved type dumper.

Fixed some size_t related warnings.

Fixed the "naive and wrong regex stubs", so it has the right signature and returns the right value/error code now.

Switch irg index to type size_t, making the API more consistent.

Fix opt/jumpthreading4.c

The constructor initializes the array.

Use corresponding macro.

Simplify code.

Simplify: if (!irn_visited(x)) { mark_irn_visited(x); ... }  ->  if (!irn_visited_else_mark(x)) { ... }.

Fix opt/doms_segfault.c

Refactoring: remove goto

fix backend/lower_call3.c

Remove unnecessary assert

This is asserted in the next statement anyways

Remove type lower functions from API

* get_associated_type is unnecessary
* is_lowered_type is an internal inline function now
* set_lowered_type is an internal inline function now

Use get_type_[un]lowered instead of get_associated_type

Handle chains of lowerings correctly

is_lowered_type is now only used in asserts

add simple load-after-load and loaf-after-store optimization as localopt

add no register requirement to NoMem

hide cdep struct behind getter, make it more robust with an additional skip_Id

remove strange function (christophs words) and duplicated comments

We do not need to place Phis in dead blocks.

This fixes opt/jumpthreading3.c.

Refactoring

* removed unnecessary call_tp variable
* removed shadowed tp variable (twice)

Fix backend/lower_call2.c

Similiar to 9d207c0 the call lowering should always use the current
entity type, instead of the associate type, which may or may not be
a lowered type.

BugFix: Fixed wrong todo fix.

Fixes backend/lower_call.c

- is_lowered_type is not helpful, because the flag may already be set
  by lower_calls before. This flag should probably be removed in general.
- hence lower_mtp must not check for is_lowered_type
- lower_Start must update the entity type, but not lower_irg,
  otherwise lower_Start can not decide, whether a lowering is necessary.

no name shadowing

padded return is only an obscurity of the athlon branch predicator AFAIK

remove outdated README.IPD

change NEWS and README to markdown format

C99 feature removed.

Prevent SSA construction from running into endless loops.

If there is an unreachable loop (i.e. there is no loop entry edge)
then there may is a cycle of blocks with only one predecessor.
Since the algorithm handle this case by returning the value of the predecessor,
this causes an endless recursion.
The fix uses the visited flag to detect such cycles.

Fix stupid typo

Harden ssacons against reintroducing a bug

* use a local variable for the walker function
* use setter function for block settings

Use block walk for ssa_cons_start

The node walk used before was inefficient,
since everything but blocks was ignored.

Additionally, this fixes a bug, because ssa_cons_finish already used a
block walk already, such that unreachable blocks were immatured,
but not matured in the scalar-replace optimization. This bug could
also be avoided by ensuring cfopt before scalar-replace, but keeping
ssacons start and finish symmetric seems to be more robust.

fix mismatched decl/implementation

implement some cases of =A asm-constraint

fix cmp_ASM_attr

fix cparser warnings

update automake stuff for release

assume regex.h exists

avoid zlib dependency

assume we always have strings.h

nobody needs alloca.h these days (hopefully) - using HAVE_s in public headers is wrong anyway

remove configfile parsing stuff, this also eliminates the dependency on bison/flex

simplify/refactor fltcalc code (avoid some macros)

assume everyone except msvc has long double (it's C99 after all)

minimize number of build variants: always enable statistics

remove unused code

NEWS update

fix warning

remove unused code

Change use of rdtsc so it works with AMD64, too.

Use get/set functions instead of direct access to is_matured

Try fixing if-conversion in presence of endless loops.

Merge the lower block into the upper block (instead of the other way round), so we do not turn the upper block, which might still be in the DFS stack, into and ID node.

Revert "Let the block walker enter endless loops only at kept blocks, not Phis."

It does not fix the if-conv problem (there can still be odd keeps into if diamonds) and it also breaks removal of unreachable code, which is only kept at PhiMs.

This reverts commit 351a807ef7c6225b11cc3ac88be60ea0c9db9b7f.

Remove the unused function fail_char().

Make debug output more portable.

Reduce code duplication in the (long)-double-int-union-hack.

Let the block walker enter endless loops only at kept blocks, not Phis.

- This is sufficient, because every endless loop must have one kept block.
- This also prevents that the if-conversion enters endless loops at strange points.
  This lead to exchanging a block, which is currently being recursed, so when later returning to the exchanged block (which now is an Id-node) in the walker stuff blew up.

adapt sparc backend to new prolog/epilog handling

panic if TLS is found in sparc backend

remove r_keep_alive and let keep_alive decide irg based on the node

remove stray declaration

BugFix: fixed access to free'ed pointer.

C99 feature removed.

fix incorrect and(Cmp(a,0),Cmp(b,0)) localopt

add notes about const/pure properties and inifite loops

avoid new_NoMem in favor or get_irg_no_mem

fix some warnings by removing the strange abi_get_ignore_irn API

remove old+unused code

move private API into .c file

add another out-edges hack to avoid finding dead code

Added missing proj nr.

Both memory projs are involved in the transformation.

This fixes opt/fehler183.c.

Fixed warning.

Fixed some whitespaces.

Simplify code

C99 features removed.

BugFix: fixed type name.

Remove superfluous asserts

more aggressive node-killing to avoid dangling edges

Merge branch 'kaps-included' into master

Another rewrite of prolog/epilog handling: Delay their creation until after register allocation

Remove ifdef FIRM_KAPS

Always make pbqp coloring available

Include kaps into build

merge kaps