[r27366]

fix consconfirm missing nodes in its statistics and worse not invalidating out-edges because of that

[r27365]

[r27300]

[r27277]

[r27145]

- add an irg_verify_pass()

[r26374]

- add more passes

[r26366]

- more passes implemented
- small fixes

[r26356]

- SymConst's are now ALWAYS placed in the start block

[r26236]

Renamed get_Cond_defaultProj() to get_Cond_default_proj() for consistency. Added set_Cond_default_proj() and get_cond_kind_name(). Made get_cond_jmp_predicate_name() consistent with other enum name functions.

[r25545]

  use the constants directly

[r25324]

[r24088]

- skip already created Confirms

[r23867]

  construct inverse Confirms

[r23863]

[r23750]

[r23575]

[r22754]

[r22571]

[r22551]

- disabled buggy parts for now

[r22487]

[r22417]

[r22415]

[r22414]

- typos fixed

[r22413]

- added debug output
- implemnted global NULL pointer test elimination using Confirm magic

[r22412]

  compiletime options like NDEBUG (as it is public API!)
- renamed some statevs (append a prefix for their module)

[r22329]

[r22326]

[r20828]

[r20643]

- BugFix: the effective use block is the predecessor block of the Phi's block, not the block of the Phi's argument
- typos fixed

[r20641]

[r19758]

- add support for mode_b nodes:
  - propagate true/false
  - create Phi's at dominance frontier for cond_eval()

[r19754]

[r18281]

when propagating constants in the x == Const case, propagate them into users of x IFF users of users are in the effective block, see confirm.c example

[r18195]

[r17143]

[r15373]

[r14547]

[r13482]

[r13472]

[r8430]