diff options
| author | Owen Anderson <resistor@mac.com> | 2015-05-26 23:48:40 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2015-05-26 23:48:40 +0000 |
| commit | 85fa7d5037fed8191ef67c2b4d954218b942a7d1 (patch) | |
| tree | 7e3c7d6e771cbbe3926c0411cd3d1ee678a493b6 /llvm/lib/IR/Verifier.cpp | |
| parent | 3abb86da627a01b1e2091c08a9117dc273f9473f (diff) | |
| download | bcm5719-llvm-85fa7d5037fed8191ef67c2b4d954218b942a7d1.tar.gz bcm5719-llvm-85fa7d5037fed8191ef67c2b4d954218b942a7d1.zip | |
Add initial support for the convergent attribute.
llvm-svn: 238264
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 635e8efa11b..5ed137abd0e 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -1268,7 +1268,8 @@ void Verifier::VerifyAttributeTypes(AttributeSet Attrs, unsigned Idx, 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); |
