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

[Hal Finkel via Phabricator via llvm-commits]

hfinkel accepted this revision.
hfinkel added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: include/llvm/Analysis/AliasAnalysis.h:530
+  /// other instructions.  Thus, a volatile load is considered to be Ref,
+  /// because it does not actually write memory, it just can't be reordere
+  /// relative to other volatiles.  Atomic ordered loads/stores are considered
----------------
reordere -> reordered

The volatile load also can't be removed.


https://reviews.llvm.org/D31726