commit 85fa7d5037fed8191ef67c2b4d954218b942a7d1
author Owen Anderson <resistor@mac.com> Tue May 26 23:48:40 2015 +0000
committer Owen Anderson <resistor@mac.com> Tue May 26 23:48:40 2015 +0000
tree 7e3c7d6e771cbbe3926c0411cd3d1ee678a493b6
parent 3abb86da627a01b1e2091c08a9117dc273f9473f

Add initial support for the convergent attribute.

llvm-svn: 238264

llvm/lib/IR/Verifier.cpp

diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
index 635e8ef..5ed137a 100644
--- a/llvm/lib/IR/Verifier.cpp
+++ b/llvm/lib/IR/Verifier.cpp
@@ -1268,7 +1268,8 @@
         I->getKindAsEnum() == Attribute::NoBuiltin ||
         I->getKindAsEnum() == Attribute::Cold ||
         I->getKindAsEnum() == Attribute::OptimizeNone ||
-        I->getKindAsEnum() == Attribute::JumpTable) {
+        I->getKindAsEnum() == Attribute::JumpTable ||
+        I->getKindAsEnum() == Attribute::Convergent) {
       if (!isFunction) {
         CheckFailed("Attribute '" + I->getAsString() +
                     "' only applies to functions!", V);