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