verify that all blocks can be found by walk_block_graph
[libfirm] / ir / ir / irverify.c
2011-05-06 Matthias Braunverify that all blocks can be found by walk_block_graph
2011-05-06 Matthias Braungive Bad nodes a mode
2011-05-02 Matthias Braunimprove robustness of CFG verifier for strange cases...
2011-05-02 Matthias Braunonly calculate dominance if CFG verification was fine...
2011-04-28 Matthias BraunSimplify handling of unreachable code
2011-04-28 Matthias BraunVerify that each Cond has a true/false/default Proj
2011-04-28 Matthias Braunadd cfg verifier ensuring 1 cfop per block and only...
2011-04-28 Matthias Braunverify that the predecessor of a block is a cfop
2011-04-15 Matthias Braunfix mismatched decl/implementation
2011-04-08 Andreas Zwinkaumerge kaps
2011-04-07 Michael Beckirg_verify() now runs on unpinned graphs without asserting.
2011-03-30 Matthias Braunremove get_irg_tls() concept, simply use SymConst and...
2011-03-30 Matthias Braunremove the deprecated and unused construct of a value_r...
2011-03-24 Matthias Braunfix and(cmp,cmp) optimisation rule, loosen verify to...
2011-02-28 Matthias Braunstarted adding a relation to the Cmp node
2011-02-11 Michael BeckAmendment to r28345-r28346.
2011-02-09 Matthias Braunremove Quot node (just use Div instead)
2011-02-09 Matthias Braunremove DivMod
2011-02-09 Matthias Braunfurther spread size_t (all warnings on linux/gcc fixed)
2011-02-06 Christoph MallonAdd a hint about the infamous pn_Cmp_Lg/Ne mixup in...
2011-01-08 Matthias Braunremove get_irn_modename, get_irn_modeident from public...
2010-12-22 Michael BeckRemoved yet unused variable.
2010-12-15 Matthias Braunmake verifier independent of current_ir_graph
2010-11-04 Matthias Braunmake firm compilable with a c++ compiler
2010-10-06 Matthias Braunfix trailing whitespaces and tabulators in the middle...
2010-09-22 Matthias Braunremove MacroBlock concept
2010-09-06 Matthias Braunremove Abs node, backends can match the abs patterns...
2010-08-07 Michael BeckMostly reverted r27894, removed usage of unreachable.
2010-08-07 Michael BeckAdd an Unreachable node.
2010-08-05 Matthias Braunfix lower_mode_b relying on current_ir_graph being...
2010-07-28 Matthias Braunno unnecessary and cryptic abreviations: rename vrfy...