Verifier: Give the right message for bad atomic loads
authorDuncan P. N. Exon Smith <dexonsmith@apple.com>
Tue, 8 Apr 2014 17:07:44 +0000 (17:07 +0000)
committerDuncan P. N. Exon Smith <dexonsmith@apple.com>
Tue, 8 Apr 2014 17:07:44 +0000 (17:07 +0000)
Talk about load (not store) on an invalid atomic load.

<rdar://problem/16287567>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@205777 91177308-0d34-0410-b5e6-96231b3b80d8

lib/IR/Verifier.cpp

index ddda93cdd1388175ef0dcd3d98cbbe9ad560ad29..9cd1b52deece9f6b782d72c714e56b76ced5123d 100644 (file)
@@ -1730,11 +1730,11 @@ void Verifier::visitLoadInst(LoadInst &LI) {
             "Atomic load must specify explicit alignment", &LI);
     if (!ElTy->isPointerTy()) {
       Assert2(ElTy->isIntegerTy(),
-              "atomic store operand must have integer type!",
+              "atomic load operand must have integer type!",
               &LI, ElTy);
       unsigned Size = ElTy->getPrimitiveSizeInBits();
       Assert2(Size >= 8 && !(Size & (Size - 1)),
-              "atomic store operand must be power-of-two byte-sized integer",
+              "atomic load operand must be power-of-two byte-sized integer",
               &LI, ElTy);
     }
   } else {