Manman Ren c55bd47105 Memory Dependence Analysis: fix a miscompile that uses DT to approxmiate the ...

reachablity.

We conservatively approximate the reachability analysis by saying it is not
reachable if there is a single path starting from "From" and the path does not
reach "To".

rdar://12801584


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

2013-01-04 19:19:47 +00:00

..

2007-07-25-DominatedLoop.ll

…

2007-07-25-InfiniteLoop.ll

Fix the remaining TCL-style quotes found in the testsuite. This is

2012-07-02 19:09:46 +00:00

2007-07-25-Loop.ll

…

2007-07-25-NestedLoop.ll

…

2007-07-25-SinglePredecessor.ll

…

2007-07-26-InterlockingLoops.ll

…

2007-07-26-NonRedundant.ll

…

2007-07-26-PhiErasure.ll

…

2007-07-30-PredIDom.ll

…

2007-07-31-NoDomInherit.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

2007-07-31-RedundantPhi.ll

Fix the remaining TCL-style quotes found in the testsuite. This is

2012-07-02 19:09:46 +00:00

2008-02-12-UndefLoad.ll

…

2008-02-13-NewPHI.ll

…

2008-07-02-Unreachable.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

2008-12-09-SelfRemove.ll

…

2008-12-12-RLE-Crash.ll

…

2008-12-14-rle-reanalyze.ll

…

2008-12-15-CacheVisited.ll

…

2009-01-21-SortInvalidation.ll

…

2009-01-22-SortInvalidation.ll

…

2009-02-17-LoadPRECrash.ll

…

2009-03-10-PREOnVoid.ll

…

2009-06-17-InvalidPRE.ll

…

2009-07-13-MemDepSortFail.ll

…

2009-11-12-MemDepMallocBitCast.ll

…

2010-03-31-RedundantPHIs.ll

…

2010-05-08-OneBit.ll

…

2010-11-13-Simplify.ll

…

2011-04-27-phioperands.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2013-01-01 13:57:25 +00:00

2011-06-01-NonLocalMemdepMiscompile.ll

…

2011-07-07-MatchIntrinsicExtract.ll

…

2011-09-07-TypeIdFor.ll

…

2012-05-22-PreCrash.ll

Fix PR12858, a crash due to GVN's PRE not fully removing an instruction from the

2012-05-22 14:17:53 +00:00

atomic.ll

…

basic.ll

Fix the remaining TCL-style quotes found in the testsuite. This is

2012-07-02 19:09:46 +00:00

bitcast-of-call.ll

…

calls-nonlocal.ll

…

calls-readonly.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

commute.ll

Teach GVN that x+y is the same as y+x and that x<y is the same as y>x.

2012-02-24 15:16:31 +00:00

condprop.ll

Nick pointed out on IRC that GVN's propagateEquality wasn't propagating

2012-03-04 13:25:19 +00:00

crash-no-aa.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 02:33:22 +00:00

crash.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 02:33:22 +00:00

edge.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2013-01-01 13:57:25 +00:00

fpmath.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2013-01-01 13:57:25 +00:00

lifetime-simple.ll

…

lit.local.cfg

…

load-constant-mem.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

load-pre-align.ll

…

load-pre-licm.ll

…

local-pre.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

lpre-call-wrap-2.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 01:28:40 +00:00

lpre-call-wrap.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 01:28:40 +00:00

malloc-load-removal.ll

Make MemoryBuiltins aware of TargetLibraryInfo.

2012-08-29 15:32:21 +00:00

MemdepMiscompile.ll

Memory Dependence Analysis: fix a miscompile that uses DT to approxmiate the

2013-01-04 19:19:47 +00:00

non-local-offset.ll

…

nonescaping-malloc.ll

Convert the uses of '|&' to use '2>&1 |' instead, which works on old

2012-07-02 18:37:59 +00:00

null-aliases-nothing.ll

llvm/test/Transforms/GVN/null-aliases-nothing.ll: Fix a RUN line not to emit ModuleID.

2012-12-30 00:33:26 +00:00

phi-translate-partial-alias.ll

…

phi-translate.ll

…

pr10820.ll

…

pr12979.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2013-01-01 13:57:25 +00:00

pr14166.ll

Update GVN to support vectors of pointers.

2012-10-24 21:22:30 +00:00

pre-basic-add.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

pre-compare.ll

Don't PRE compares.

2012-03-29 17:22:39 +00:00

pre-load.ll

…

pre-single-pred.ll

…

preserve-tbaa.ll

…

range.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2013-01-01 13:57:25 +00:00

rle-must-alias.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

rle-no-phi-translate.ll

…

rle-nonlocal.ll

…

rle-phi-translate.ll

…

rle-semidominated.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

rle.ll

unHECKify test. It was fixed by Chris in 2009.

2012-12-12 20:43:00 +00:00

tbaa.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2013-01-01 13:57:25 +00:00