diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2013-09-07 00:25:48 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2013-09-07 00:25:48 +0000 |
| commit | 9401181aedb28198ceac56522f997899c426fc5e (patch) | |
| tree | 8eca117a522fe4cf4ec8c6b576468698f373ee20 /lib/IR | |
| parent | 1abf0afdd4d8e9d58518a878f30b9eede81303cc (diff) | |
| download | llvm-9401181aedb28198ceac56522f997899c426fc5e.tar.gz llvm-9401181aedb28198ceac56522f997899c426fc5e.tar.bz2 llvm-9401181aedb28198ceac56522f997899c426fc5e.tar.xz | |
Remove verifier check that attribute 'builtin' is only applied to calls to
functions marked 'nobuiltin'. That approach doesn't play well with LTO, and
there's no harm in marking a call as 'builtin' if it was going to be a builtin
regardless.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@190233 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/IR')
| -rw-r--r-- | lib/IR/Verifier.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 3d296405b1..64b7aaa9a7 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -1553,14 +1553,6 @@ void Verifier::VerifyCallSite(CallSite CS) { "Function has metadata parameter but isn't an intrinsic", I); } - // If the call site has the 'builtin' attribute, verify that it's applied to a - // direct call to a function with the 'nobuiltin' attribute. - if (CS.hasFnAttr(Attribute::Builtin)) - Assert1(CS.getCalledFunction() && - CS.getCalledFunction()->hasFnAttribute(Attribute::NoBuiltin), - "Attribute 'builtin' can only be used in a call to a function with " - "the 'nobuiltin' attribute.", I); - visitInstruction(*I); } |