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

[James Y Knight via Phabricator via llvm-commits]

jyknight added a comment.

I believe that instead of this patch, the LangRef should be updated to say:

1. Misaligned atomics in the IR are allowed, and work correctly (but will most likely be inefficient).
2. Unless all accesses to a given byte of memory are done with the same address and size, there can be no guarantee of atomicity. (that is: no overlapping accesses, and no mixed-size accesses)


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

https://reviews.llvm.org/D56534