GitLab

when calling exchange, set_irn_n, or set_irn_in.

fixes backend/inconsistent_outs test case

They were commented out in commit c4686a6b

Also bugfix: The second case used uninitialized memory for the Bad's mode.

Some Bads were not maintained in cfopt

This reverts commit bcaf3e7900158f4fd3c64dda9ff2d11d652ec474,
because the removed assert now holds again.

This also ensures the invariant that at least 1 block in an endless
loop is kept.

optimize_graph_df: iterate marking of unreachable blocks to guarantee that all unreachable code is killed

This fixes opt/fehler186.c and ack/test2.c.

Memory loops without Phis can occur in unreachable code.
Make ldstopt handle this by ignorance.

jump threading must also copy Keep edges to keep End reachable.

Ensure that the result of a node is undefined if any of its operands is undefined (except for phis) or if its block is unreachble.

Correctly handle the case that unreachble blocks are not necessarily replaced before the nodes they contain.

One more condition is needed to ensure monotony.