[PATCH] D38862: Add must alias info to ModRefInfo.

Nuno Lopes via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Nov 23 02:56:23 PST 2017


nlopes added inline comments.


================
Comment at: lib/Analysis/AliasAnalysis.cpp:506
+    if (AR == MustAlias)
+      return MRI_MustModRef;
+  }
----------------
AtomicCmpXchgInst must read, but may not write (depending on the value read).
I think the only safe value here is MRI_ModRef, since the current lattice doesn't have a more precise value for MustRead & MayReadWithMustAlias.


https://reviews.llvm.org/D38862





More information about the llvm-commits mailing list