GitLab

Especially, do not confirm consistent out edges.
This fixes ack/t7.c on SPARC.

This commit does:
- Remove tarval_reachable+tarval_unreachable, dataflow analysis rather
  use top/bottom instead of other special values.
- Rename tarval_undefined to tarval_unknown as it corresponds to the
  Unknown node (=a value which we don't know)
- Remove predefined tarval_top/tarval_bottom from tv.h and place the
  defines into combo.c
- Change compute_XXX constant folding functions to return tarval_unknown
  instead of tarval_bad if folding failed
- compute_Unknown in combo results in tarval_bottom == tarval_unknown
  this eliminates strange special cases in the Cond/Switch rules and the
  now unnecessary cprop_X list.

Also clean up the macro.

This can be used to effectively test aliasing in libfirm.

Deduce the mode automatically from the given entity.

This removes the strange entity/type duality and we get rid of union symconst_symbol.

This avoids problems where fixing Sels creates new Projs which must not
be changed. The previously broke valid cases in opt/structcall3.c for sparc.

This reverts commit bf8ff592
and fixes opt/ifconv7.c.

The tarval module has a maximally supported precision. Assert that no
modes with higher precision are created, otherwise the tarval module
will silently drop the higher bits on calculation. TODO: Change tarval
module to dynamically use smaller/bigger representations depending on
the mode.

Removed mode_LLs, mode_LLu, mode_Q for now as they are bigger than the
limit.

Fixes valgrind error

We couldn't generate sensible code for them anyway.