clang/test/CodeGenOpenCLCXX/addrspace-with-class.clcpp

   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 }
   9 struct 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 };
  18
  19 // CHECK: @const1 ={{.*}} addrspace(2) global %struct.MyType zeroinitializer
  20 __constant MyType const1 = 1;
  21 // CHECK: @const2 ={{.*}} addrspace(2) global %struct.MyType zeroinitializer
  22 __constant MyType const2(2);
  23 // CHECK: @glob ={{.*}} addrspace(1) global %struct.MyType zeroinitializer
  24 MyType glob(1);
  25
  26 // CHECK: call spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} @const1, i32 noundef 1)
  27 // CHECK: call spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} @const2, i32 noundef 2)
  28 // CHECK: call spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} addrspacecast (ptr addrspace(1) @glob to ptr addrspace(4)), i32 noundef 1)
  29
  30 // CHECK-LABEL: define{{.*}} spir_kernel void @fooGlobal()
  31 kernel void fooGlobal() {
  32   // CHECK: call spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} addrspacecast (ptr addrspace(1) @glob to ptr addrspace(4)))
  33   glob.bar();
  34   // CHECK: call spir_func noundef i32 @_ZNU3AS26MyType3barEv(ptr addrspace(2) {{[^,]*}} @const1)
  35   const1.bar();
  36   // CHECK: call spir_func void @_ZNU3AS26MyTypeD1Ev(ptr addrspace(2) {{[^,]*}} @const1)
  37   const1.~MyType();
  38 }
  39
  40 // CHECK-LABEL: define{{.*}} spir_kernel void @fooLocal()
  41 kernel void fooLocal() {
  42   // CHECK: [[VAR:%.*]] = alloca %struct.MyType
  43   // CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
  44   // CHECK: call spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} [[REG]], i32 noundef 3)
  45   MyType myLocal(3);
  46   // CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
  47   // CHECK: call spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} [[REG]])
  48   myLocal.bar();
  49   // CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
  50   // CHECK: call spir_func void @_ZNU3AS46MyTypeD1Ev(ptr addrspace(4) {{[^,]*}} [[REG]])
  51 }
  52
  53 // Ensure all members are defined for all the required address spaces.
  54 // CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} %this, i32 noundef %i)
  55 // CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} %this, i32 noundef %i)
  56 // CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS26MyTypeD1Ev(ptr addrspace(2) {{[^,]*}} %this)
  57 // CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS46MyTypeD1Ev(ptr addrspace(4) {{[^,]*}} %this)
  58 // CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func noundef i32 @_ZNU3AS26MyType3barEv(ptr addrspace(2) {{[^,]*}} %this)
  59 // CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} %this)