From af5a89587e139a08d76d7ad83151f891d3ddf88e Mon Sep 17 00:00:00 2001
From: Eli Friedman <eli.friedman@gmail.com>
Date: Tue, 31 May 2011 20:12:07 +0000
Subject: Add a minor missing -verify check.  Found by inspection.

llvm-svn: 132353
---
 llvm/lib/VMCore/Verifier.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'llvm/lib/VMCore')

diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp
index 8b891100839..139e0352301 100644
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/lib/VMCore/Verifier.cpp
@@ -1645,6 +1645,9 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
     Assert1(isa<ConstantInt>(CI.getArgOperand(3)),
             "alignment argument of memory intrinsics must be a constant int",
             &CI);
+    Assert1(isa<ConstantInt>(CI.getArgOperand(4)),
+            "isvolatile argument of memory intrinsics must be a constant int",
+            &CI);
     break;
   case Intrinsic::gcroot:
   case Intrinsic::gcwrite:
-- 
cgit v1.2.3