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=CHECK-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
18declare i8* @foo(i8*) #1
19define 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=CHECK-BAD %s
30
31; CHECK-BAD: Attribute 'builtin' can only be applied to a callsite.
32; CHECK-BAD-NEXT: i8* (i8*)* @car
33; CHECK-BAD: Attribute 'builtin' can only be applied to a callsite.
34; CHECK-BAD-NEXT: i8* (i8*)* @mar
35
36declare i8* @lar(i8*)
37
38define i8* @har(i8* %x) {
39  %y = call i8* @lar(i8* %x) #0
40  ret i8* %y
41}
42
43define i8* @car(i8* %x) #0 {
44  ret i8* %x
45}
46
47declare i8* @mar(i8*) #0
48
49attributes #0 = { builtin }
50attributes #1 = { nobuiltin }
51