Andrew Trick fe3516f9a5 SCEV: Handle a corner case reducing AddRecExpr * AddRecExpr ...

If integer overflow causes one of the terms to reach zero, that can
force the entire expression to zero.

Fixes PR12929: cast<Ty>() argument of incompatible type

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157673 91177308-0d34-0410-b5e6-96231b3b80d8

2012-05-30 03:35:20 +00:00

..

2007-07-15-NegativeStride.ll

…

2007-08-06-MisinterpretBranch.ll

…

2007-08-06-Unsigned.ll

…

2007-09-27-LargeStepping.ll

…

2007-11-14-SignedAddRec.ll

…

2007-11-18-OrInstruction.ll

…

2008-02-11-ReversedCondition.ll

…

2008-02-12-SMAXTripCount.ll

Filecheckize.

2011-11-29 02:05:23 +00:00

2008-02-15-UMax.ll

…

2008-05-25-NegativeStepToZero.ll

…

2008-06-12-BinomialInt64.ll

…

2008-07-12-UnneededSelect1.ll

…

2008-07-12-UnneededSelect2.ll

…

2008-07-19-InfiniteLoop.ll

…

2008-07-19-WrappingIV.ll

…

2008-07-29-SGTTripCount.ll

…

2008-07-29-SMinExpr.ll

…

2008-08-04-IVOverflow.ll

…

2008-08-04-LongAddRec.ll

…

2008-11-02-QuadraticCrash.ll

…

2008-11-15-CubicOOM.ll

…

2008-11-18-LessThanOrEqual.ll

…

2008-11-18-Stride1.ll

…

2008-11-18-Stride2.ll

…

2008-12-08-FiniteSGE.ll

…

2008-12-11-SMaxOverflow.ll

…

2008-12-14-StrideAndSigned.ll

…

2008-12-15-DontUseSDiv.ll

…

2009-01-02-SignedNegativeStride.ll

…

2009-04-22-TruncCast.ll

…

2009-05-09-PointerEdgeCount.ll

…

2009-07-04-GroupConstantsWidthMismatch.ll

…

2010-09-03-RequiredTransitive.ll

…

2011-03-09-ExactNoMaxBECount.ll

…

2011-04-26-FoldAddRec.ll

…

2011-10-04-ConstEvolve.ll

Missing test case for r141164.

2011-10-05 06:23:32 +00:00

2012-03-26-LoadConstant.ll

SCEV fix: Handle loop invariant loads.

2012-03-26 22:33:59 +00:00

2012-05-18-LoopPredRecurse.ll

SCEV: Add MarkPendingLoopPredicates to avoid recursive isImpliedCond.

2012-05-19 00:48:25 +00:00

2012-05-29-MulAddRec.ll

SCEV: Handle a corner case reducing AddRecExpr * AddRecExpr

2012-05-30 03:35:20 +00:00

and-xor.ll

…

avoid-infinite-recursion-0.ll

…

avoid-infinite-recursion-1.ll

Remove support for parsing the "type i32" syntax for defining a numbered

2011-06-19 00:03:46 +00:00

avoid-smax-0.ll

…

avoid-smax-1.ll

Test scalar evolution directly instead of testing the result of

2012-03-22 17:09:31 +00:00

div-overflow.ll

…

do-loop.ll

…

fold.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

load.ll

2>&1 doesn't work here, it just creates an empty file called "&1"

2011-10-27 18:27:45 +00:00

max-trip-count.ll

Reapply r140979 with fix! We never did get a testcase, but careful review of the

2011-10-03 07:10:45 +00:00

nsw-offset.ll

Revert "SCEV: When expanding a GEP the final addition to the base pointer has NUW but not NSW."

2012-04-17 06:33:57 +00:00

nsw.ll

Revert "SCEV: When expanding a GEP the final addition to the base pointer has NUW but not NSW."

2012-04-17 06:33:57 +00:00

pointer-sign-bits.ll

…

pr3909.ll

Remove support for parsing the "type i32" syntax for defining a numbered

2011-06-19 00:03:46 +00:00

scev-aa.ll

…

sext-inreg.ll

…

sext-iv-0.ll

…

sext-iv-1.ll

…

sext-iv-2.ll

…

sle.ll

…

smax.ll

…

SolveQuadraticEquation.ll

This transform only handles two-operand AddRec's. Prevent it from trying to

2011-09-06 21:42:18 +00:00

trip-count2.ll

Remove support for using "foo" as symbols instead of %"foo". This is ancient

2011-06-17 06:36:20 +00:00

trip-count3.ll

rip out a ton of intrinsic modernization logic from AutoUpgrade.cpp, which is

2011-06-18 06:05:24 +00:00

trip-count4.ll

…

trip-count5.ll

…

trip-count6.ll

…

trip-count7.ll

…

trip-count8.ll

…

trip-count9.ll

…

trip-count10.ll

…

trip-count11.ll

Restore commits 142790 and 142843 - they weren't breaking the build

2011-10-25 12:28:52 +00:00

trip-count12.ll

Don't forget to check FlagNW when determining whether an AddRecExpr will wrap

2011-11-09 07:11:37 +00:00

trip-count.ll

Remove support for using "foo" as symbols instead of %"foo". This is ancient

2011-06-17 06:36:20 +00:00

undefined.ll

…

unreachable-code.ll

…

unsimplified-loop.ll

…

xor-and.ll

…

zext-wrap.ll

…