[r6587]

ir_vrfy() renamed to ir_verify() with new flag argument:
  dominance checking can now be enforced

[r6579]

  We cannot replace old Phi nodes with current one BEFORE we
  have handled all Phi's in the current block, else we might
  generate wrong references between Phi nodes of a block

clean up is_despensible: uses goto's now, but more readable

[r6578]

[r6577]

should only be needed for debugging

[r6576]

[r6573]

[r6569]

[r6567]

[r6566]

opcodes

[r6565]

[r6561]

some comments added

[r6560]

[r6559]

[r6558]

[r6557]

[r6556]

[r6555]

[r6554]

[r6553]

[r6552]

[r6551]

[r6546]

[r6543]

[r6542]

[r6541]

[r6540]

[r6539]

[r6536]

[r6535]

[r6534]

[r6533]

[r6531]

[r6527]

[r6526]

[r6524]

[r6523]

[r6510]

  new_rd_*() functions that call optimize_node() did not
  work if current_ir_graph was not set!
  So, the current_ir_graph is now set and restored.
  Moreover, to speed up the default new_*() and new_d_*()
  cases, new_bd_*() functions have been introduced which use
  current_ir_graph, but not current_block and replace
  the use of _rd_ functions in the comfortable i/f

[r6509]

or nodes might be placed wrong!

[r6508]

[r6495]