[PATCH] D56534: [Verifier] Add verification of unaligned atomic load/store

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

In general, any lock-based atomic can't overlap with any lock-free atomic operation: the lock-free operation will ignore the lock, so the behavior is unpredictable.  That isn't unique to 16-byte operations.  That's not really fatal for the intended use of the __atomic functions: atomic variables in C/C++ can't overlap.  Yes, it's not consistent with the way the LLVM documentation describes atomic operations.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D56534/new/

https://reviews.llvm.org/D56534