[PATCH] Further relax the constraint on atomics in MemoryDependencyAnalysis.cpp

[Robin Morisset]

Hi jfb, reames,

This is the patch 3/3 resulting from the split of D4797.

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.

I also cleaned up a bit the test DeadStoreElimination/atomic.ll
as I was adding tests to it

Depends on D4797
Depends on D4844

http://reviews.llvm.org/D4845

Files:
  lib/Analysis/MemoryDependenceAnalysis.cpp
  test/Transforms/DeadStoreElimination/atomic.ll
  test/Transforms/GVN/atomic.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4845.12350.patch
Type: text/x-patch
Size: 10891 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140811/8ba7ec5b/attachment.bin>