Robin Morisset 66b380b6b6 Relax the constraint more in MemoryDependencyAnalysis.cpp ...

Even loads/stores that have a stronger ordering than monotonic can be safe.
The rule is no release-acquire pair on the path from the QueryInst, assuming that
the QueryInst is not atomic itself.

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

2014-08-29 20:32:58 +00:00

..

2007-07-25-DominatedLoop.ll

…

2007-07-25-InfiniteLoop.ll

…

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

…

2007-07-31-RedundantPhi.ll

…

2008-02-12-UndefLoad.ll

…

2008-02-13-NewPHI.ll

…

2008-07-02-Unreachable.ll

…

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

…

2011-06-01-NonLocalMemdepMiscompile.ll

…

2011-07-07-MatchIntrinsicExtract.ll

…

2011-09-07-TypeIdFor.ll

…

2012-05-22-PreCrash.ll

…

atomic.ll

Relax the constraint more in MemoryDependencyAnalysis.cpp

2014-08-29 20:32:58 +00:00

basic.ll

…

bitcast-of-call.ll

…

calloc-load-removal.ll

…

calls-nonlocal.ll

…

calls-readonly.ll

…

commute.ll

…

cond_br2.ll

…

cond_br.ll

…

condprop.ll

…

crash-no-aa.ll

…

crash.ll

…

edge.ll

…

fpmath.ll

…

invariant-load.ll

…

lifetime-simple.ll

…

load-constant-mem.ll

…

load-pre-align.ll

…

load-pre-licm.ll

…

load-pre-nonlocal.ll

…

local-pre.ll

…

lpre-call-wrap-2.ll

…

lpre-call-wrap.ll

…

malloc-load-removal.ll

…

MemdepMiscompile.ll

…

noalias.ll

…

non-local-offset.ll

…

nonescaping-malloc.ll

…

null-aliases-nothing.ll

…

phi-translate-partial-alias.ll

…

phi-translate.ll

…

pr10820.ll

…

pr12979.ll

…

pr14166.ll

…

pr17732.ll

…

pr17852.ll

…

pre-basic-add.ll

…

pre-compare.ll

…

pre-load.ll

…

pre-single-pred.ll

…

preserve-tbaa.ll

…

range.ll

…

readattrs.ll

…

rle-must-alias.ll

…

rle-no-phi-translate.ll

…

rle-nonlocal.ll

…

rle-phi-translate.ll

…

rle-semidominated.ll

…

rle.ll

…

tbaa.ll

…

unreachable_block_infinite_loop.ll

…