llvm-project/llvm/test/Analysis
Andrew Trick 9093e15066 Fix SCEV forgetMemoizedResults should search and destroy backedge exprs.
Fixes PR15570: SEGV: SCEV back-edge info invalid after dead code removal.

Indvars creates a SCEV expression for the loop's back edge taken
count, then determines that the comparison is always true and
removes it.

When loop-unroll asks for the expression, it contains a NULL
SCEVUnknkown (as a CallbackVH).

forgetMemoizedResults should invalidate the loop back edges expression.

llvm-svn: 177986
2013-03-26 03:14:53 +00:00
..
BasicAA Memory Dependence Analysis (not mem-dep test) take advantage of "invariant.load" metadata. 2013-03-06 17:48:48 +00:00
BlockFrequencyInfo 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
BranchProbabilityInfo BranchProb: modify the definition of an edge in BranchProbabilityInfo to handle 2012-08-24 18:14:27 +00:00
CallGraph Now that invoke of an intrinsic is possible (for the llvm.do.nothing intrinsic) 2012-09-26 17:16:01 +00:00
CostModel Correct cost model for vector shift on AVX2 2013-03-20 22:01:10 +00:00
DependenceAnalysis Modified dump() to provide a little 2012-11-30 00:44:47 +00:00
Dominators Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID 2012-12-30 02:33:22 +00:00
GlobalsModRef MemoryDependenceAnalysis attempts to find the first memory dependency for function calls. 2012-08-13 23:03:43 +00:00
LoopInfo Convert all tests using TCL-style quoting to use shell-style quoting. 2012-07-02 12:47:22 +00:00
PostDominators 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
Profiling Disable profiling tests for Hexagon since it doesn't support JIT. 2013-03-25 21:15:11 +00:00
RegionInfo Revert the test moves from 176733. Use "REQUIRES: asserts" instead. 2013-03-12 16:27:52 +00:00
ScalarEvolution Fix SCEV forgetMemoizedResults should search and destroy backedge exprs. 2013-03-26 03:14:53 +00:00
TypeBasedAliasAnalysis Support in AAEvaluator to print alias queries of loads/stores with TBAA tags. 2013-03-22 22:34:41 +00:00