GitLab

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.

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

They have been unnecessary aliases for is_SymConst_addr_ent() and
get_SymConst_entity().

- The pns of X_regular and X_except are annotated in the opcode now.
- The memory input is annotated in the opcode now
- only nodes with X_regular, X_except are marked fragile

[r28346]

[r28345]

[r28258]

[r28254]

[r28127]

[r28062]

[r28041]

[r28037]

[r28030]

[r27293]

- cleanup ir_spec generation a bit

[r27251]

[r27145]

  clumsy. Bring back get_entity_visibility and set_entity_visibility

[r27039]

- Merge stickyness, visibility and variability into ir_linkage
- Add proper support for common symbols, weak symbols and C++ COMDAT stuff
- Mark OO-features type_visibility, peculiarity and allocation as deprecated
  OO feature will be separated from firm core into higher levels in the long run
- Rework, simplify and fix bugs in begnuas.c

[r27030]

[r26778]

[r26468]

- add an irg_verify_pass()

[r26374]

[r26367]

- add more passes

[r26366]

[r26351]

[r26311]

[r26299]