fix lower_calls sometimes not lowering method type
[libfirm] / ir / ir / irverify.c
2012-12-12 Matthias Braunfix lower_calls sometimes not lowering method type
2012-12-12 Matthias Braunremove license stuff from files
2012-12-12 Christoph Mallonverify: Clarify assertion message.
2012-12-12 Matthias Braunirverify: allow Proj mode_P for array parameters
2012-12-12 Christoph Mallontr: Ensure that all entities have an owner.
2012-12-10 Matthias Braunlower array types as arguments/results like compound...
2012-12-10 Matthias Braunverify that we have sensible entities in symconst/sel...
2012-12-05 Christoph Mallonirverify: Verify that nodes, which should be in the...
2012-12-04 Matthias Braunremove Cast node
2012-12-04 Matthias Braunremove Bound node
2012-12-03 Christoph Mallonscripts: Generate accessor functions for nodes with...
2012-11-24 Christoph Malloncleanup: Remove unnecessary #include from beutil.h.
2012-11-23 Christoph Mallonverifier: Check the result mode of Div and Mod.
2012-11-22 Christoph Mallonverifier: Check that Div has a num mode, not a data...
2012-10-29 Matthias Braunremove obsolete comment
2012-10-24 Matthias Braunremove irg_phase_state, use IR_GRAPH_CONSTRAINT instead
2012-10-24 Matthias Braunirverify: remove load/store from entity verification
2012-07-23 Matthias Braunget_Call_n_params: use int for consistency
2012-07-13 Christoph MallonAdd a wrapper macro for pmap_get(), which has the retur...
2012-07-10 Matthias Braunmake code C++ warning clean (again)
2012-06-28 Matthias Braunirop: refactor node_ops registration code
2012-06-15 Matthias Braunsplit graph state into properties and constraints
2012-05-11 Julian OppermannFix Conv node signature in error message.
2011-12-15 Matthias Braunmake unique types/entities part of irprog
2011-12-14 Matthias BraunMove current_ir_graph from ir_graph to ir_cons
2011-12-14 Matthias Braunremove unnecessary comments before functions
2011-11-16 Matthias Braunirverify: check that switch_table != NULL
2011-11-10 Matthias Braunremove $Id$, it doesn't work with git anyway
2011-11-07 Matthias Braundisallow Conv Is(xx b)
2011-11-03 Matthias Braunirverify: switch entry modes must match selector
2011-11-02 Matthias Braunintroduce Switch node
2011-11-02 Matthias Braunavoid _ prefix in identifiers, correct coding style
2011-09-20 Matthias Braunrename NO_BAD_BLOCKS to NO_BADS, remove unnecessary...
2011-09-15 Matthias Braunlower_mode_b: refactoring, make it more robust
2011-09-14 Andreas ZwinkauMerge branch 'opt_manage'
2011-09-14 Andreas ZwinkauRemove dom_state and pdom_state attributes
2011-09-14 Andreas ZwinkauRemoved IR_GRAPH_STATE_BAD_BLOCK symbol
2011-09-06 Matthias Braunrename Free argument from size to count to be consisten...
2011-06-24 Andreas ZwinkauMerge Fix: Spills have ProjMs now
2011-06-21 Matthias Braunfix more cparser warnings, cleanup some libcore code
2011-06-06 Andreas ZwinkauFix some types
2011-06-01 Matthias Braunrework fragile ops to have a throws_exception attribute
2011-05-31 Matthias Braunirverify: simplify/refactor internal interfaces
2011-05-25 Matthias BraunBad,Unknown are no cfopcdes
2011-05-17 Andreas Zwinkaucode placement fixes gcse
2011-05-06 Christoph MallonRemove extra dash from assert graph filenames.
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...