GitLab

We can now differentiate between objects with compound type and
primitive type.

This fixes opt/fehler260.c.

- 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)

Value live_after() is a special case of the checks performed in
values_interfere(). This commit extracts this code and use the new function
where possible.

We query liveness from the irg on demand now.

Move the values interfere function to belive.h, move the inline
implementation into belive.c

- Remove value_dominates_intrablock()/value_strictly_dominates_intrablock()
  and use sched_comes_before() instead
- Use bool instead of int return types.
- Assert that we don't check if a node interferes with itself as that is
  nearly always a bug in the code.

Using a sarl instruction has lower register demand.

- the linked lists are introduced to get a deterministic order
- irnodehashmap instead of set should be slightly faster