[PATCH] D68417: [MachineVerify] Verify property of atomic G_LOAD/STORE variants

[Philip Reames via Phabricator via llvm-commits]

reames planned changes to this revision.
reames marked an inline comment as done.
reames added a comment.

Pending refresh w/suggested changes.



================
Comment at: lib/CodeGen/MachineVerifier.cpp:1036-1037
+      if (MMO.isAtomic()) {
+        if (MMO.getAlignment() == 0)
+          report("Atomics must have explicit alignment", MI);
+        if (ValTy.isVector())
----------------
arsenm wrote:
> arsenm wrote:
> > IMO we should remove alignment 0 from all points in the IR and MIR
> On second thought, I'm not sure this is necessary. The MIRParser won't ever produce a 0 base alignment MMO. This can probably be replaced with an assert in the MMO constructor
This is a good idea.  I will do so.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D68417