xref: /llvm-project/clang/test/CodeGenOpenCLCXX/addrspace-with-class.clcpp (revision b6328db80b4294cf83a3471ecdfab33003fa742d) 
1// RUN: %clang_cc1 %s -triple spir-unknown-unknown -emit-llvm -O0 -o - | FileCheck %s
2// RUN: %clang_cc1 %s -triple spir-unknown-unknown -emit-llvm -O0 -o - | FileCheck %s --check-prefix=CHECK-DEFINITIONS
3
4// This test ensures the proper address spaces and address space cast are used
5// for constructors, member functions and destructors.
6// See also atexit.cl and global_init.cl for other specific tests.
7
8// CHECK: %struct.MyType = type { i32, [5 x i32] }
9struct MyType {
10  MyType(int i) : i(i) {}
11  MyType(int i) __constant : i(i) {}
12  ~MyType() {}
13  ~MyType() __constant {}
14  int bar() { return i + 2; }
15  int bar() __constant { return i + 1; }
16  int i;
17  int a[5] = {42, 43, 44, 45, 46};
18};
19
20// CHECK: @const1 ={{.*}} addrspace(2) global %struct.MyType zeroinitializer
21__constant MyType const1 = 1;
22// CHECK: @const2 ={{.*}} addrspace(2) global %struct.MyType zeroinitializer
23__constant MyType const2(2);
24// CHECK: @glob ={{.*}} addrspace(1) global %struct.MyType zeroinitializer
25MyType glob(1);
26
27// CHECK: @constinit ={{.*}} addrspace(2) constant [5 x i32] [i32 42, i32 43, i32 44, i32 45, i32 46]
28
29// CHECK: call spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} @const1, i32 noundef 1)
30// CHECK: call spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} @const2, i32 noundef 2)
31// CHECK: call spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} addrspacecast (ptr addrspace(1) @glob to ptr addrspace(4)), i32 noundef 1)
32
33// CHECK-LABEL: define{{.*}} spir_kernel void @fooGlobal()
34kernel void fooGlobal() {
35  // CHECK: call spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} addrspacecast (ptr addrspace(1) @glob to ptr addrspace(4)))
36  glob.bar();
37  // CHECK: call spir_func noundef i32 @_ZNU3AS26MyType3barEv(ptr addrspace(2) {{[^,]*}} @const1)
38  const1.bar();
39  // CHECK: call spir_func void @_ZNU3AS26MyTypeD1Ev(ptr addrspace(2) {{[^,]*}} @const1)
40  const1.~MyType();
41}
42
43// CHECK-LABEL: define{{.*}} spir_kernel void @fooLocal()
44kernel void fooLocal() {
45  // CHECK: [[VAR:%.*]] = alloca %struct.MyType
46  // CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
47  // CHECK: call spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} [[REG]], i32 noundef 3)
48  MyType myLocal(3);
49  // CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
50  // CHECK: call spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} [[REG]])
51  myLocal.bar();
52  // CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
53  // CHECK: call spir_func void @_ZNU3AS46MyTypeD1Ev(ptr addrspace(4) {{[^,]*}} [[REG]])
54}
55
56// Ensure all members are defined for all the required address spaces.
57// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} %this, i32 noundef %i)
58// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} %this, i32 noundef %i)
59// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS26MyTypeD1Ev(ptr addrspace(2) {{[^,]*}} %this)
60// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS46MyTypeD1Ev(ptr addrspace(4) {{[^,]*}} %this)
61// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func noundef i32 @_ZNU3AS26MyType3barEv(ptr addrspace(2) {{[^,]*}} %this)
62// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} %this)
63