GitLab

Also add a GRAPH_PROPERTY for the analysis state.

- Setting dep edges to NULL is illegal now
- add_irn_dep is simpler but does not check for duplicates anymore

Get away from the strange set_default_XXX_op style and instead let the
code modules register their node ops directly.

This also makes the compiler alot more deterministic avoiding, lots of
"random" jumping around in series of stores and loads.

I expect this to be a common pattern

The opt_manage framework didn't really do much except assuring that some
analysis info is computed before a pass starts. We can achieve this
simpler by providing an assure_irg_properties function.
This commit also fixes some places where analysis info was potentially
not invalidated before.

Noone was really using the return values anyway. This change makes the
API more consistent.

This makes it consistent with other firm analyse functions. Also removes
the unnecessary return value.

graph_properties are things that a transformation may destroy but which
can be easily recalculated.

graph_constraints are set after lowering phases have been running and
forbid certain constructs that no (later) transformation is allowed to construct

First it is unclear what is a good way to deconstruct a program into extended
basic blocks, also none of our optimizations works on extended basic
blocks.

It probably was true when the start block had itself as predecessor.

This was used as a hack to mark unreachable code by some people, but it
is prefered to simply use a new Block without predecessors, or set NULL
if you have to.

This commit removes the strange differentiation between
ir_visibility_external and ir_visibility_default. We now only have
ir_visibility_external for all symbols visible across compilation units.
You may or may not attach graphs/initializers to them.

(This happens when you break on a Sel creation and the firm debugger
 tries to tell you about the created node)

- The direct call did not respect the get_opt_constant_folding() flag

(otherwise CSE merges temporary Phi nodes without inputs)