Duncan Sands a337010989 Calling ReassociateExpression recursively is extremely dangerous since it will ... replace the operands of expressions with only one use with undef and generate a new expression for the original without using RAUW to update the original. Thus any copies of the original expression held in a vector may end up referring to some bogus value - and using a ValueHandle won't help since there is no RAUW. There is already a mechanism for getting the effect of recursion non-recursively: adding the value to be recursed on to RedoInsts. But it wasn't being used systematically. Have various places where recursion had snuck in at some point use the RedoInsts mechanism instead. Fixes PR12169. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156379 91177308-0d34-0410-b5e6-96231b3b80d8		2012-05-08 12:16:05 +00:00
..
2002-05-15-AgressiveSubMove.ll
2002-05-15-MissedTree.ll
2002-05-15-SubReassociate2.ll
2002-05-15-SubReassociate.ll
2002-07-09-DominanceProblem.ll
2003-08-12-InfiniteLoop.ll
2005-08-24-Crash.ll
2005-09-01-ArrayOutOfBounds.ll
2006-04-27-ReassociateVector.ll
2011-01-26-UseAfterFree.ll	Land the long talked about "type system rewrite" patch. This	2011-07-09 17:41:24 +00:00
2012-05-08-UndefLeak.ll	Calling ReassociateExpression recursively is extremely dangerous since it will	2012-05-08 12:16:05 +00:00
basictest.ll
crash.ll	Fix reassociate to postpone certain instruction deletions until	2011-03-10 19:51:54 +00:00
fp-commute.ll	Teach reassociate to commute FMul's and FAdd's in order to canonicalize the order of their operands across instructions. This allows for greater CSE opportunities.	2012-05-07 20:47:23 +00:00
inverses.ll
lit.local.cfg	Replace all instances of dg.exp file with lit.local.cfg, since all tests are run with LIT now and now Dejagnu. dg.exp is no longer needed.	2012-02-16 06:28:33 +00:00
looptest.ll
mulfactor.ll	Teach the reassociate pass to fold chains of multiplies with repeated	2012-04-26 05:30:30 +00:00
multistep.ll	Calling ReassociateExpression recursively is extremely dangerous since it will	2012-05-08 12:16:05 +00:00
negation.ll
optional-flags.ll	fix PR9215, preventing -reassociate from clearing nsw/nuw when	2011-02-17 01:29:24 +00:00
otherops.ll
pr12245.ll	The value held in the vector may be RAUW'ed by some of the canonicalization	2012-05-02 09:59:45 +00:00
secondary.ll	Fix reassociate to use a worklist instead of recursing when new	2011-04-12 00:11:56 +00:00
shift-factor.ll
shifttest.ll
subtest2.ll
subtest.ll