GitLab

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

We combine all non-arithmetic modes into irms_auxiliary (two auxiliary
nodes are considered equal iff they have the same name).

Most uses in the backend should be mode_is_data() the few remaining uses
can compare with mode_b explicitely.

The new design simply lets you specify hex or not in tarval_snprintf.
This is way simpler than the previous machinery and enough for all users in
libfirm.

This requires to actually compute volatility in a number of places.
Therefore, this also adds some helper functions to do that.

This node was used by OO code in the past, but newer versions of liboo
have their own node and don't need it anymore.

CopyB is normally used to transfer data on the stack or to enable compound
value calling conventions. Exceptions don't happen in these cases.

Most aspects of the fp_model flag would need to be enforced by
constructing the firm graph in a certain way. Setting it as a flag won't
help. Apart from that nearly nothing of the stuff was implemented
anyway.

They are considered low level operations now which just allocate/free a
block of memory on the stack. There is no highlevel typeinformation
attached anymore or support for heap allocation. Frontends/liboo should
provide their custom highlevel nodes if they need these features.

now the frontend is only responsible to mangle the ld_name, entity
creation is left to libfirm which now also caches the entities.

structs are bad in a library API. We provide setter functions for the
fields now.

Just state the copyright and the project the files belong to. You can
then find the COPYING file for the whole project.

We have simpler code without it, and a heuristic based on
get_irg_last_idx() seems to work as well.

- do not record properties on irgs anymore, always do it on the irgs
  entity; entity properties have to be a superset of the entities method
  type properties.
- Remove special irg_inline_property and use mtp_additional_properties
  instead

The hashmap used to point to blocks which have already been deleted.

This means floatingpoint calculation in a firm graph must be performed
in the mode specified (and may not be performed in a wider mode as
before).

Also add a GRAPH_PROPERTY for the analysis state.

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.

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.