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

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
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:
> 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


Repository:
  rL LLVM

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

https://reviews.llvm.org/D68417