add cfg verifier ensuring 1 cfop per block and only 1 user for each mode_X node
[libfirm] / ir / ir / irverify.c
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...