beifg: Simplify the implementation of be_ifg_foreach_node().
[libfirm] / ir / opt / fp-vrp.c
2012-12-12 Matthias Braunremove license stuff from files
2012-12-05 Christoph Mallonfp-vrp: Simplify test when optimising Minus(x0...0).
2012-12-05 Sebastian BuchwaldLet fp-vrp optimize Minus nodes.
2012-11-08 Christoph MallonRemove further keep-edge hacks for endless loops.
2012-08-24 Matthias Brauntarval: shift variants with unsigned right operand
2012-07-13 Christoph MallonLet foreach_out_edge_kind() and foreach_out_edge_kind_s...
2012-06-15 Christoph MallonMake test for superfluous And/Or removal in fp-vrp...
2012-06-15 Matthias Braunremove opt_manage, provide assure_irg_properties
2012-06-15 Matthias Braunsplit graph state into properties and constraints
2011-11-10 Matthias Braunremove $Id$, it doesn't work with git anyway
2011-11-02 Matthias Braunintroduce Switch node
2011-10-20 Matthias Braunnormalise Or/Eor => Add where possible
2011-09-20 Matthias Braunchange global optdesc declarations to static
2011-09-20 Matthias Braunremove loopinfo stuff and exclusively use IR_GRAPH_STAT...
2011-09-20 Matthias Brauncleanup/fix optimize_graph_df flag handling
2011-09-14 Andreas ZwinkauMerge branch 'opt_manage'
2011-09-14 Andreas Zwinkauconvert opts to use the opt_manage framework
2011-05-27 Andreas Zwinkaufp-vrp transfer function ignore Bads
2011-05-23 Matthias Brauninclude irnode_t.h, irgraph_t.h for better performance
2011-05-09 Andreas ZwinkauRemove obsolete loopinfo invalidation
2011-05-09 Andreas ZwinkauRemove obsolete outs invalidation
2011-05-06 Matthias Braungive Bad nodes a mode
2011-05-05 Christoph MallonFix embarrassing typo in fp-vrp.
2011-05-05 Christoph MallonUse the bound of ==-Confirms in fixpoint vrp.
2011-05-04 Christoph MallonConsider that unreachble blocks might have no bitinfo.
2011-05-04 Christoph MallonAssert monotonicity in set_bitinfo().
2011-05-04 Christoph MallonEnsure that the result of a node is undefined if any...
2011-05-04 Christoph MallonConsider that unreachble blocks might have no bitinfo.
2011-05-04 Christoph MallonCorrectly handle the case that unreachble blocks are...
2011-05-04 Christoph MallonModel (un)reachable block info with bottom/top, not...
2011-05-04 Christoph MallonInitially mark the end block as reachable and set the...
2011-05-04 Christoph MallonFetch traval false/true once in transfer() for better...
2011-04-29 Christoph MallonAdd simple transfer function for Confirm in fp-vrp.
2011-04-29 Christoph MallonImprove and correct fp-vrp transformation.
2011-04-28 Matthias Braunimprove fp-vrp unreachable code handling
2011-04-13 Matthias Braunadd another out-edges hack to avoid finding dead code
2011-04-08 Andreas Zwinkaumerge kaps
2011-02-28 Matthias Braunstarted adding a relation to the Cmp node
2011-02-06 Christoph MallonHandle some cases of </<=/>=/> comparisons in the fixpo...
2010-11-04 Matthias Braunmake firm compilable with a c++ compiler
2010-10-08 Matthias Braunrename tarval to ir_tarval
2010-10-06 Matthias Braunforbid calls of new_XXX and new_d_XXX when not in phase...
2010-05-19 Matthias Braunfix warning
2010-04-13 Michael BeckSome improvements:
2010-04-12 Christoph MallonAdd missing break.
2010-04-12 Christoph MallonCorrect bug in Mux-case of fixpoint VRP: This z must...
2010-04-12 Michael BeckAdd pass constructor C99 feature removed.
2010-04-12 Christoph MallonAdd minimal fixpoint VRP.