xref: /llvm-project/llvm/test/Bitcode/function-nonzero-address-spaces-types.ll (revision 45067d1a74c8409328332c0d60cfc71601bfc846)
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 'ptr addrspace(40)' but expected 'ptr 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 'ptr addrspace(40)' but expected 'ptr'
12
13%fun1 = type i16 (i16)
14%funptr1 = type ptr addrspace(40)
15
16@fun_ptr = global %funptr1 @fun
17
18define i16 @fun(i16 %arg) addrspace(40) {
19entry:
20  %0 = load %funptr1, ptr @fun_ptr
21  %result = call i16 %0(i16 %arg)
22  ret i16 %result
23}
24