test/Assembler/attribute-builtin.ll

   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
  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=CHECK-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 }