aboutsummaryrefslogtreecommitdiffstats
path: root/test/Assembler/attribute-builtin.ll
blob: a7799f0aa23ad1f287d972b339b62e1be7670a50 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

; Make sure that llvm-as/llvm-dis properly assembly/disassembly the 'builtin'
; attribute.
;
; rdar://13727199

; RUN: llvm-as -disable-verify < %s | \
; RUN: llvm-dis | \
; RUN: llvm-as -disable-verify | \
; RUN: llvm-dis | \
; RUN: FileCheck -check-prefix=ASSEMBLES %s

; CHECK-ASSEMBLES: declare i8* @foo(i8*) [[NOBUILTIN:#[0-9]+]]
; CHECK-ASSEMBLES: call i8* @foo(i8* %x) [[BUILTIN:#[0-9]+]]
; CHECK-ASSEMBLES: attributes [[NOBUILTIN]] = { nobuiltin }
; CHECK-ASSEMBLES: attributes [[BUILTIN]] = { builtin }

declare i8* @foo(i8*) #1
define i8* @bar(i8* %x) {
  %y = call i8* @foo(i8* %x) #0
  ret i8* %y
}

; Make sure that we do not accept the 'builtin' attribute on function
; definitions, function declarations, and on call sites that call functions
; which do not have nobuiltin on them.
; rdar://13727199

; RUN: not llvm-as <%s 2>&1  | FileCheck -check-prefix=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.
; CHECK-BAD-NEXT: i8* (i8*)* @mar

declare i8* @lar(i8*)

define i8* @har(i8* %x) {
  %y = call i8* @lar(i8* %x) #0
  ret i8* %y
}

define i8* @car(i8* %x) #0 {
  ret i8* %x
}

declare i8* @mar(i8*) #0

attributes #0 = { builtin }
attributes #1 = { nobuiltin }