GitLab

Avoid using the op_pin_state enum as that contains confusing additional
entries that are not valid on a node. The only remaining state for a
node is pinned/floating which we can simply represent with a 0/1 value.

This adds two builtin kinds, ir_bk_va_start and ir_bk_va_arg. va_arg Builtins
are lowered in the lower_builtins pass with a function provided by the backend,
whereby most architectures can use be_default_lower_va_args. va_start Builtins
are lowered in the backend.

Note: This commit breaks all backends except for IA32. SPARC and AMD64 are
implemented in later commits. The ARM backend previously miscompiled variadic
functions, and will now throw a proper error.

There is no node left that uses it.

cleanup: Move the implementation of bitset_fprint() into .c, to not spill #include "irprintf.h" everywhere.

There is no legitimate reason for an outside user to change the op of a node.
Even internally it should be used less, i.e. only for Deleted, Id and Tuple.

irnode: When deciding to use an ARR_F for the in-array, check for oparity_dynamic instead of hard-coding End and Sync.

This sort of typeless programming is bad style and deprecated.

- It was only available in the ia32 backend and broken there. As the
  feature is rarely used, I remove it for now instead of going through
  the trouble of fixing it.

The previous approach put the irg link into the block attributes, so
while saving memory an extra indirection was necessary. Some testing
with valgrind massif+callgrind revealed that a direct link increses peak
memory usage by ~1% while also increasing runtime by ~1%. More
importantly the code gets a bit simpler and some strange corner cases can be
removed with the direct link.

This makes our usage of PhiMs to represent the observable behaviour of
non-terminating loops more obvious.
Having an explicit loop Phi constructor also fixes problems with Phi
getting optimized before the keep edge was added.

For details see endless loops section on the homepage.

The semantics on when to set this flag were unclear, so there weren't
any real users anyway.

- We have no_write, pure and terminates now (terminates instead of
  has_loop means that more flags is more specific information, so the
  fixpoint algos are less confusing)
- funccall ana also detects noreturn attribute now (but isn't optimizing
  it)

- Compound type selection is performed with Member
- Array indexing is performed with Sel
- Instead of the simpleSel constructor functions you can use the normal Member
  constructors now
- The concept of array element entities has been removed, Sel nodes just
  contain a pointer to the array type now.