[PATCH] D31726: AliasAnalysis: Be less conservative about volatile than atomic.

Sanjoy Das via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Apr 5 14:54:29 PDT 2017


sanjoy added inline comments.


================
Comment at: lib/Analysis/AliasAnalysis.cpp:336
+  // Be conservative in the face of atomic.
+  if (isStrongerThan(L->getOrdering(), AtomicOrdering::NotAtomic))
     return MRI_ModRef;
----------------
Why not `isStrongerThan(L->getOrdering(), AtomicOrdering::Unordered)`? (same below)

OTOH I'm surprised that this did not break any tests.


https://reviews.llvm.org/D31726





More information about the llvm-commits mailing list