RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity
llvm-mirror/test/Analysis/ScalarEvolution
History
Sanjoy Das f1fd8e6a14 [SCEV] Revert bailout added in r75511. 
Summary:
With the introduction of MarkPendingLoopPredicates in r157092, I don't
think the bailout is needed anymore.

Reviewers: atrick, nicholas

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D8624

llvm-svn: 233296
2015-03-26 17:28:26 +00:00
..
2007-07-15-NegativeStride.ll
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
2007-08-06-MisinterpretBranch.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2007-08-06-Unsigned.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2007-09-27-LargeStepping.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2007-11-14-SignedAddRec.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2007-11-18-OrInstruction.ll
…
2008-02-11-ReversedCondition.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2008-02-12-SMAXTripCount.ll
…
2008-02-15-UMax.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2008-05-25-NegativeStepToZero.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2008-06-12-BinomialInt64.ll
…
2008-07-12-UnneededSelect1.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
2008-07-12-UnneededSelect2.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2008-07-19-InfiniteLoop.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2008-07-19-WrappingIV.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
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
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2008-11-18-Stride1.ll
Rewrite SCEV's backedge taken count computation.
2013-11-06 02:08:26 +00:00
2008-11-18-Stride2.ll
Rewrite SCEV's backedge taken count computation.
2013-11-06 02:08:26 +00:00
2008-12-08-FiniteSGE.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
2008-12-11-SMaxOverflow.ll
…
2008-12-14-StrideAndSigned.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
2008-12-15-DontUseSDiv.ll
Rewrite SCEV's backedge taken count computation.
2013-11-06 02:08:26 +00:00
2009-01-02-SignedNegativeStride.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
2009-04-22-TruncCast.ll
Actually call FileCheck in tests
2014-02-16 13:27:39 +00:00
2009-05-09-PointerEdgeCount.ll
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
2009-07-04-GroupConstantsWidthMismatch.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
2010-09-03-RequiredTransitive.ll
Add a check to the test Analysis/ScalarEvolution/2010-09-03-RequiredTransitive.ll
2012-12-30 01:42:34 +00:00
2011-03-09-ExactNoMaxBECount.ll
Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID
2012-12-30 02:33:22 +00:00
2011-04-26-FoldAddRec.ll
Add newlines at end of test files, no functionality change
2013-07-13 22:00:58 +00:00
2011-10-04-ConstEvolve.ll
…
2012-03-26-LoadConstant.ll
[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
2015-03-13 18:20:45 +00:00
2012-05-18-LoopPredRecurse.ll
Fix known typos
2014-01-24 17:20:08 +00:00
2012-05-29-MulAddRec.ll
Fix broken check lines.
2012-08-17 12:28:26 +00:00
and-xor.ll
Teach SCEV to handle more cases of 'and X, CST', specifically where CST is any number of contiguous 1 bits in a row, with any number of leading and trailing 0 bits.
2014-01-27 10:04:03 +00:00
avoid-infinite-recursion-0.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
avoid-infinite-recursion-1.ll
…
avoid-smax-0.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
avoid-smax-1.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
div-overflow.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
do-loop.ll
FileCheck-ize tests.
2013-08-22 00:51:19 +00:00
ext-antecedent.ll
[SCEV] Revert bailout added in r75511.
2015-03-26 17:28:26 +00:00
fold.ll
When simplifying a SCEV truncate by distributing, consider it a simplification to replace a cast, even if we end up with a trunc around the term. Fixes PR22960!
2015-03-20 02:25:00 +00:00
how-far-to-zero.ll
If the step value is a constant zero, the loop isn't going to terminate. Fixes
2012-06-28 23:44:57 +00:00
incorrect-nsw.ll
Bugfix: SCEV incorrectly marks certain add recurrences as nsw
2015-02-09 18:34:55 +00:00
infer-prestart-no-wrap.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
infer-via-ranges.ll
[SCEV] Make isImpliedCond smarter.
2015-03-18 00:41:29 +00:00
load-with-range-metadata.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
load.ll
[SCEV] Add a `scalar-evolution-print-constant-ranges' option
2015-03-09 21:43:39 +00:00
max-trip-count-address-space.ll
[SCEV] Add a `scalar-evolution-print-constant-ranges' option
2015-03-09 21:43:39 +00:00
max-trip-count.ll
[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
2015-03-13 18:20:45 +00:00
min-max-exprs.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
nowrap-preinc-limits.ll
[SCEV] make SCEV smarter about proving no-wrap.
2015-03-04 22:24:17 +00:00
nsw-offset-assume.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
nsw-offset.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
nsw.ll
[SCEV] Add a `scalar-evolution-print-constant-ranges' option
2015-03-09 21:43:39 +00:00
nw-sub-is-not-nw-add.ll
Make ScalarEvolution less aggressive with respect to no-wrap flags.
2015-01-22 00:48:47 +00:00
pointer-sign-bits.ll
…
pr3909.ll
…
pr22179.ll
[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
2015-03-13 18:20:45 +00:00
pr22641.ll
Fix bug 22641
2015-02-24 01:02:42 +00:00
pr22674.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
pr22856.ll
[SCEV] Fix PR22856.
2015-03-13 18:31:19 +00:00
range-signedness.ll
[SCEV] Unify getUnsignedRange and getSignedRange
2015-03-09 21:43:43 +00:00
scev-aa.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
scev-expander-incorrect-nowrap.ll
Bugfix: SCEVExpander incorrectly marks increment operations as no-wrap
2015-02-25 20:02:59 +00:00
scev-invalid.ll
Fix SCEV forgetMemoizedResults should search and destroy backedge exprs.
2013-03-26 03:14:53 +00:00
scev-prestart-nowrap.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
sext-inreg.ll
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
sext-iv-0.ll
[SCEV] Add a `scalar-evolution-print-constant-ranges' option
2015-03-09 21:43:39 +00:00
sext-iv-1.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
sext-iv-2.ll
[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
2015-03-13 18:20:45 +00:00
sle.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
smax.ll
FileCheckize some of the testcases.
2013-08-05 23:43:18 +00:00
SolveQuadraticEquation.ll
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
trip-count2.ll
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
trip-count3.ll
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
trip-count4.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
trip-count5.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
trip-count6.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
trip-count7.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
trip-count8.ll
FileCheckize some of the testcases.
2013-08-05 23:43:18 +00:00
trip-count9.ll
Rewrite SCEV's backedge taken count computation.
2013-11-06 02:08:26 +00:00
trip-count10.ll
Unit test for SCEV fix r182989, PR16130.
2013-05-31 16:42:41 +00:00
trip-count11.ll
[SCEV] Add a `scalar-evolution-print-constant-ranges' option
2015-03-09 21:43:39 +00:00
trip-count12.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
trip-count-pow2.ll
ScalarEvolution: HowFarToZero was wrongly using signed division
2014-11-16 07:30:35 +00:00
trip-count-switch.ll
ScalarEvolution: Analyze trip count of loops with a switch guarding the exit.
2014-02-11 15:44:32 +00:00
trip-count.ll
When forming an addrec out of a phi don't just look at the last computation and steal its flags for our own, there may be other computations in the middle. Check whether the LHS of the computation is the phi itself and then we know it's safe to steal the flags. Fixes PR22795.
2015-03-13 01:37:52 +00:00
undefined.ll
…
unreachable-code.ll
…
unsimplified-loop.ll
…
zext-signed-addrec.ll
[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
2015-03-13 18:20:45 +00:00
zext-wrap.ll
[SCEV] Add a `scalar-evolution-print-constant-ranges' option
2015-03-09 21:43:39 +00:00