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

Revived grgen dumper for TTC 2011.

no conservative recalculation of everything in irlivechk

all backends have decreasing stack

change get_ignore_irn API to take irg instead of abi

rename be_pos_XXX to n_be_XXX to be consistent with the architecture specific constants

cleanup iredges API a bit

identify bitfield types based on whether they have a base_type set (maybe should introduce a real type for bitfield types?)

Use a more scalable algorithm for SSA reconstruction.

The algorithm now processes a block at most once,
instead of |uses| times.

Revert "Prepared for diff."

This reverts commit 0a8187425d279eb16ba56f5f04465653a9dfb26a.

Prepared for diff.

Fixed some typos.

Remove stale ENUM_BITSET(pn_Cmp).

irg_verify() now runs on unpinned graphs without asserting.

Fix regression: Allow setting the current block to NULL.

Fixed tail recursion optimization.

- use get_r/set_r instead of get_/set_* functions, so we
  can operate without current_ir_graph set
- set current_ir_graph, but only for debugging now
- fixed wrong usage of indexes for local SSA variables
- placed resorce checking at the right plaace
- removed #if 0'ed debug code and replace it by DB()
- fixed doxygen comments

Add assertions if set_cur_block() is tried for a block on a wrong irg.

Fixed typo.

C99 feature removed.

Revert "merge gcse into place_code (a better solution would be having it always on until the backend scheduler)"

This reverts commit bdddae273a9cd497dc79c2f90726482620d3c8d4.

simplify Sel lowering code

amend to tls_chagnes

remove get_irg_tls() concept, simply use SymConst and let the backend figure it out

remove the deprecated and unused construct of a value_res_base entities in method-types

remove names from parameters of method_types - it is pure debug info and should already be contained in type_dbg_info if available

remove pointless first_variadic_param attribute from method types

rename Store_align/Load_align to XXX_unaligned and correctly put it into the spec file

simplify opt_funccall interface

merge gcse into place_code (a better solution would be having it always on until the backend scheduler)

fix wrong usage of inverted vs negated condition codes

fix ir_is_equality_cmp_0 returning true for signed_var > 0

fix firm producing invalid code for return a > 0 with a being an int

Updated comment.

Fix typos in comments: s/wether/whether/ and related corrections.

C99 feature removed.

Use debug printer instead direct output, fix some size_t related warnings.

fix and(cmp,cmp) optimisation rule, loosen verify to allow and/or/xor for reference modes

implement some localopt rules for And(Cmp(a,0), Cmp(b,0))

fix lower_d lowering Cmps too realy resulting in unnecessary 0/1 production

pin prolog/epilog nodes

add exc_attr to all be_nodes so you can dynamically pin/unpin them

Move macro constant into the only file, which uses it.

Remove dead assignment und subsequently unused macro constant.

s/keeped/kept/.

ia32: get_eip and fpu_trunc_mode are not always NULL before transformation

Removed unused variables.