Weak relaxing of the constraints on atomics in MemoryDependencyAnalysis
authorRobin Morisset <morisset@google.com>
Mon, 18 Aug 2014 22:18:11 +0000 (22:18 +0000)
committerRobin Morisset <morisset@google.com>
Mon, 18 Aug 2014 22:18:11 +0000 (22:18 +0000)
commit6c0e1e0fa658f4e7466c6787aedce992ece2db55
treed16748db61435dec9cb98d75a9de3d8ec9ad6836
parent08f77a9f422e96110d8400e4caaf6a51be49a1f3
Weak relaxing of the constraints on atomics in MemoryDependencyAnalysis

Monotonic accesses do not have to kill the analysis, as long as the QueryInstr is not
itself atomic.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@215942 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/MemoryDependenceAnalysis.cpp
test/Transforms/DeadStoreElimination/atomic.ll