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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

IIRC the weird LangRef definition is because it was written before we banned modules without a DataLayout.

It clearly doesn't match reality, though; we generate well-defined code for unaligned atomic ops.  The semantics of atomic operations in IR were changed without anyone actually updating any of the documentation (particularly around the generation of __atomic_* calls in the backend).  Someone needs to go through and update it.


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

https://reviews.llvm.org/D56534