1 2 ; Make sure that llvm-as/llvm-dis properly assembly/disassembly the 'builtin' 3 ; attribute. 4 ; 5 ; rdar://13727199 6 7 ; RUN: llvm-as -disable-verify < %s | \ 8 ; RUN: llvm-dis | \ 9 ; RUN: llvm-as -disable-verify | \ 10 ; RUN: llvm-dis | \ 11 ; RUN: FileCheck -check-prefix=ASSEMBLES %s 12 13 ; CHECK-ASSEMBLES: declare i8* @foo(i8*) [[NOBUILTIN:#[0-9]+]] 14 ; CHECK-ASSEMBLES: call i8* @foo(i8* %x) [[BUILTIN:#[0-9]+]] 15 ; CHECK-ASSEMBLES: attributes [[NOBUILTIN]] = { nobuiltin } 16 ; CHECK-ASSEMBLES: attributes [[BUILTIN]] = { builtin } 17 18 declare i8* @foo(i8*) #1 19 define i8* @bar(i8* %x) { 20 %y = call i8* @foo(i8* %x) #0 21 ret i8* %y 22 } 23 24 ; Make sure that we do not accept the 'builtin' attribute on function 25 ; definitions, function declarations, and on call sites that call functions 26 ; which do not have nobuiltin on them. 27 ; rdar://13727199 28 29 ; RUN: not llvm-as <%s 2>&1 | FileCheck -check-prefix=BAD %s 30 31 ; CHECK-BAD: Attribute 'builtin' can only be used in a call to a function with the 'nobuiltin' attribute. 32 ; CHECK-BAD-NEXT: %y = call i8* @lar(i8* %x) #1 33 ; CHECK-BAD: Attribute 'builtin' can only be applied to a callsite. 34 ; CHECK-BAD-NEXT: i8* (i8*)* @car 35 ; CHECK-BAD: Attribute 'builtin' can only be applied to a callsite. 36 ; CHECK-BAD-NEXT: i8* (i8*)* @mar 37 38 declare i8* @lar(i8*) 39 40 define i8* @har(i8* %x) { 41 %y = call i8* @lar(i8* %x) #0 42 ret i8* %y 43 } 44 45 define i8* @car(i8* %x) #0 { 46 ret i8* %x 47 } 48 49 declare i8* @mar(i8*) #0 50 51 attributes #0 = { builtin } 52 attributes #1 = { nobuiltin } 53
