Disallow Sub(int, pointer).
[libfirm] / ir / ir / irvrfy.c
2008-08-07 Christoph MallonDisallow Sub(int, pointer).
2008-06-11 Michael Beck- relax partBlock check in phase_backend
2008-06-06 Michael Beckrenamed node type Rot to Rotl to make clear that this...
2008-05-31 Matthias BraunAlloc is not a binop
2008-04-14 Michael Beck- get_irg_initial_exec()/set_irg_initial_exec() added
2008-01-10 Michael BeckImproved checking of partBlocks()
2008-01-09 Michael Beckfixed release build
2008-01-02 Michael Beckupdate copyright message
2007-12-30 Michael Beckis_SymConst_addr_ent() added
2007-12-20 Christoph MallonAssert that only float Cmps have unordered Projs.
2007-12-14 Michael Beckimproved verify message
2007-11-23 Michael Beckuse dump_ir_block_graph_sched() for assert graph's
2007-11-19 Michael Beckimproved partBlock check
2007-11-16 Michael Beck- add additionally checks for MacroBlock header
2007-11-04 Matthias Braunfixed a bunch of warnings (in OPTIMIZE mode)
2007-10-19 Michael Beckfixed warnings in release mode
2007-10-17 Matthias Braunadd inline versions of is_Phi and is_Proj
2007-10-12 Matthias Braunfixed/warnings make it possible to build without interp...
2007-09-17 Christoph MallonAllow Convb in backend.
2007-09-17 Christoph MallonDisallow Convb.
2007-09-14 Matthias Braunmake call arg/result verify a bit looser in backend...
2007-09-12 Michael Beck- added stronger checks for Mul
2007-08-25 Christoph MallonAllow mode_b as operand mode for Cmp as comments there...
2007-08-03 Michael Beckallow Pin nodes as predecessors for unpinned nodes
2007-07-23 Matthias Braunyou can store mode_b now
2007-07-16 Michael Beckremoved the new get_block/set_block stuff; not working...
2007-07-13 Michael BeckReplaced set_irn_n(*, -1, *) and get_irn_n(*, -1) by...
2007-07-11 Michael Beckremoved character modes, use integer modes instead
2007-07-11 Michael Beckuse the new Anchor node instead of old anchors
2007-07-06 Matthias Braunallow bool as method parameter
2007-07-05 Matthias Braunwe want convs in both directions
2007-07-04 Matthias Braunmode_b support for Phis, Nots. Working but needs some...
2007-06-17 Matthias Braunfixed warnings (some of them were actual bugs), leave...
2007-06-15 Matthias Braunverfy that nodes have a sensible pin state
2007-05-24 Michael Beckfixed verify for new X_regular Proj's
2007-05-23 Michael BeckVerify new result mode
2007-04-27 Matthias Brauncleaned up doxygen comments
2007-04-27 Christian Würdigadded new licence header
2007-03-29 Matthias Braunmove backend into libfirm
2007-02-09 Matthias Braundon't test for refernece mode in copyb arguments in...
2007-02-08 Matthias Braunloose some restrictions in the ir verifier if the irg...
2007-02-07 Michael Beckdump more -assert graphs
2007-01-16 Michael Beckrenamed type opcode to ir_opcode
2006-12-13 Michael Beckrename type entity into ir_entity
2006-10-08 Michael Beckwhen checking Bound nodes, ignore ones which a Bad...
2006-09-17 Michael Beckmake the comment more useful
2006-07-31 Michael Becktemporary switched off the detection of more than one...
2006-06-28 Michael BeckWhen checking PhiM's, ignore Bad predecessors
2006-06-27 Michael BeckAdd an additional PhiM check:
2006-06-08 Michael BeckBugFix: nodes that failed verification are colored...
2006-06-05 Michael Beckadded support for Thread local storage
2006-06-01 Michael Beckmissing case for pn_CopyB_X_except added
2006-05-16 Sebastian HackAdded verifying for irn idx map
2006-05-03 Christoph MallonAllow mode_b for and and or
2006-03-03 Michael Beckused new is_Return()
2006-02-13 Christian Würdigremoved assert
2006-01-27 Michael BeckCheck that COnst nodes have same mode as its tarval
2006-01-13 Michael Beckrenamed all types 'type' to 'ir_type'
2006-01-12 Michael BeckBound operation added:
2005-12-31 Michael Beckmoved verification flags from irvrfy to irflag
2005-10-19 Michael Beckrefactored ir_op_ops
2005-10-12 Michael BeckCopyB verifyer added
2005-10-10 Michael BeckDon't check nunber of Proj's for dead blocks
2005-10-07 Michael BeckCheck that binary Cond has two successors if outs are...
2005-09-06 Michael Beckfixed SH's dominance checker, can now handle dead blocks
2005-09-01 Daniel Grund*** empty log message ***
2005-08-31 Sebastian HackRemoved dominance computation if irg_vrfy
2005-08-29 Sebastian HackFixed a bug
2005-08-29 Sebastian HackAdded little more debugging output
2005-08-29 Sebastian HackA little better debug output
2005-08-29 Daniel Grund*** empty log message ***
2005-08-29 Sebastian HackFixed a bug again
2005-08-29 Sebastian HackFixed a bug
2005-08-29 Sebastian HackAdded dominance check
2005-06-30 Michael Beckadd verifyer for IJmp
2005-04-15 Götz Lindenmaierintermediate fix to get the test through.
2005-04-14 Götz Lindenmaierimproved
2005-04-14 Michael BeckFixed assert which was too rigide
2005-04-13 Michael BeckAllow Cond(Bad), check memory of Call nodes
2005-04-06 Michael Beckused new verify_node operation
2005-03-14 Michael Beckrestructured error output
2005-03-04 Götz Lindenmaierbugfix
2005-02-23 Götz Lindenmaiermore state handling
2005-02-10 Michael Beckallowed Minus for integer modes
2005-02-07 Michael Beckfixed verifyer for Free
2005-01-05 Götz Lindenmaierspell atomit small
2005-01-05 Michael Beckrenamed fucntions is_x*_type() to is_X*_type() to preve...
2004-12-21 Michael Beckremoved C99 constructs
2004-12-13 Michael BeckAdded new Mux(b, numP, numP) -> numP node
2004-12-02 Michael Beckfixed config.h include
2004-11-30 Michael Beckfixed indentation, allow Proj(Bad)
2004-11-16 Beyhanimproved strength reduction
2004-11-10 Michael BeckAdded NoMem node that represents a Memory that is Not...
2004-11-10 Götz LindenmaierCall_calleesl now with unknown entity instead of NULL.
2004-11-03 Michael Beckremoved gloval intraprocedural_view variable and replac...
2004-10-25 Boris Boeslerhandling some "unknown_type"-stuff
2004-09-17 Michael BeckChecks now the Load_mode
2004-09-16 Michael BeckAdded flag to switch off entity verification in Load...
2004-09-15 Michael Beckadded code that could check for bads
2004-09-14 Götz Lindenmaiertest more modes (Store, SymConst as addr)
next