[PATCH] D31726: AliasAnalysis: Be less conservative about volatile than atomic.
Hal Finkel via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 6 17:24:51 PDT 2017
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
More information about the llvm-commits
mailing list