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

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added inline comments.


================
Comment at: test/Transforms/Util/MemorySSA/volatile-clobber.ll:27
+; MemorySSA does not try to ensure ordering
+; only aliasing.
 ; CHECK-LABEL define void @volatile_only
----------------
Note: we could leave them (volatile loads) as defs if we wanted by overriding getModRefInfo, but this is also consistent with what we do for other cases.

(if we left them as defs, they would link together all volatile loads and stores, everything else would bypass them.




https://reviews.llvm.org/D31726