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

[Chandler Carruth via Phabricator via llvm-commits]

chandlerc 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
----------------
dberlin wrote:
> 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.
> 
> 
I think volatile loads should be defs for other volatile loads, even if the two pointers are known to not alias. I'm not sure how to express this though.


https://reviews.llvm.org/D31726