diff options
-rw-r--r-- | lib/IR/Verifier.cpp | 8 | ||||
-rw-r--r-- | test/Assembler/attribute-builtin.ll | 2 |
2 files changed, 0 insertions, 10 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); } diff --git a/test/Assembler/attribute-builtin.ll b/test/Assembler/attribute-builtin.ll index f31596ce69..01c8a6bd86 100644 --- a/test/Assembler/attribute-builtin.ll +++ b/test/Assembler/attribute-builtin.ll @@ -28,8 +28,6 @@ define i8* @bar(i8* %x) { ; RUN: not llvm-as <%s 2>&1 | FileCheck -check-prefix=CHECK-BAD %s -; CHECK-BAD: Attribute 'builtin' can only be used in a call to a function with the 'nobuiltin' attribute. -; CHECK-BAD-NEXT: %y = call i8* @lar(i8* %x) #1 ; CHECK-BAD: Attribute 'builtin' can only be applied to a callsite. ; CHECK-BAD-NEXT: i8* (i8*)* @car ; CHECK-BAD: Attribute 'builtin' can only be applied to a callsite. |