test/Bitcode/function-nonzero-address-spaces-types.ll

   1 ; Verify that we accept calls to variables in the program AS:
   2 ; RUN: llvm-as -data-layout "P40" %s -o - | llvm-dis - | FileCheck %s
   3 ; CHECK: target datalayout = "P40"
   4
   5 ; We should get a sensible error for a non-program address call:
   6 ; RUN: not llvm-as -data-layout "P39" %s -o /dev/null 2>&1 | FileCheck %s -check-prefix ERR-AS39
   7 ; ERR-AS39: error: '%0' defined with type 'i16 (i16) addrspace(40)*' but expected 'i16 (i16) addrspace(39)*'
   8
   9 ; And also if we don't set a custom program address space:
  10 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s -check-prefix ERR-AS0
  11 ; ERR-AS0: error: '%0' defined with type 'i16 (i16) addrspace(40)*' but expected 'i16 (i16)*'
  12
  13 %fun1 = type i16 (i16)
  14 %funptr1 = type %fun1 addrspace(40)*
  15
  16 @fun_ptr = global %funptr1 @fun
  17
  18 define i16 @fun(i16 %arg) addrspace(40) {
  19 entry:
  20   %0 = load %funptr1, %funptr1* @fun_ptr
  21   %result = call i16 %0(i16 %arg)
  22   ret i16 %result
  23 }