b6328db80b
Place constant initializer globals into the constant address space. Clang generates such globals for e.g. larger array member initializers of classes and then emits copy operations from the global to the object(s). The globals are never written so they ought to be in the constant address space.
63 lines
3.4 KiB
Plaintext
63 lines
3.4 KiB
Plaintext
// RUN: %clang_cc1 %s -triple spir-unknown-unknown -emit-llvm -O0 -o - | FileCheck %s
|
|
// RUN: %clang_cc1 %s -triple spir-unknown-unknown -emit-llvm -O0 -o - | FileCheck %s --check-prefix=CHECK-DEFINITIONS
|
|
|
|
// This test ensures the proper address spaces and address space cast are used
|
|
// for constructors, member functions and destructors.
|
|
// See also atexit.cl and global_init.cl for other specific tests.
|
|
|
|
// CHECK: %struct.MyType = type { i32, [5 x i32] }
|
|
struct MyType {
|
|
MyType(int i) : i(i) {}
|
|
MyType(int i) __constant : i(i) {}
|
|
~MyType() {}
|
|
~MyType() __constant {}
|
|
int bar() { return i + 2; }
|
|
int bar() __constant { return i + 1; }
|
|
int i;
|
|
int a[5] = {42, 43, 44, 45, 46};
|
|
};
|
|
|
|
// CHECK: @const1 ={{.*}} addrspace(2) global %struct.MyType zeroinitializer
|
|
__constant MyType const1 = 1;
|
|
// CHECK: @const2 ={{.*}} addrspace(2) global %struct.MyType zeroinitializer
|
|
__constant MyType const2(2);
|
|
// CHECK: @glob ={{.*}} addrspace(1) global %struct.MyType zeroinitializer
|
|
MyType glob(1);
|
|
|
|
// CHECK: @constinit ={{.*}} addrspace(2) constant [5 x i32] [i32 42, i32 43, i32 44, i32 45, i32 46]
|
|
|
|
// CHECK: call spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} @const1, i32 noundef 1)
|
|
// CHECK: call spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} @const2, i32 noundef 2)
|
|
// CHECK: call spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} addrspacecast (ptr addrspace(1) @glob to ptr addrspace(4)), i32 noundef 1)
|
|
|
|
// CHECK-LABEL: define{{.*}} spir_kernel void @fooGlobal()
|
|
kernel void fooGlobal() {
|
|
// CHECK: call spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} addrspacecast (ptr addrspace(1) @glob to ptr addrspace(4)))
|
|
glob.bar();
|
|
// CHECK: call spir_func noundef i32 @_ZNU3AS26MyType3barEv(ptr addrspace(2) {{[^,]*}} @const1)
|
|
const1.bar();
|
|
// CHECK: call spir_func void @_ZNU3AS26MyTypeD1Ev(ptr addrspace(2) {{[^,]*}} @const1)
|
|
const1.~MyType();
|
|
}
|
|
|
|
// CHECK-LABEL: define{{.*}} spir_kernel void @fooLocal()
|
|
kernel void fooLocal() {
|
|
// CHECK: [[VAR:%.*]] = alloca %struct.MyType
|
|
// CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
|
|
// CHECK: call spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} [[REG]], i32 noundef 3)
|
|
MyType myLocal(3);
|
|
// CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
|
|
// CHECK: call spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} [[REG]])
|
|
myLocal.bar();
|
|
// CHECK: [[REG:%.*]] ={{.*}} addrspacecast ptr [[VAR]] to ptr addrspace(4)
|
|
// CHECK: call spir_func void @_ZNU3AS46MyTypeD1Ev(ptr addrspace(4) {{[^,]*}} [[REG]])
|
|
}
|
|
|
|
// Ensure all members are defined for all the required address spaces.
|
|
// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS26MyTypeC1Ei(ptr addrspace(2) {{[^,]*}} %this, i32 noundef %i)
|
|
// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS46MyTypeC1Ei(ptr addrspace(4) {{[^,]*}} %this, i32 noundef %i)
|
|
// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS26MyTypeD1Ev(ptr addrspace(2) {{[^,]*}} %this)
|
|
// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func void @_ZNU3AS46MyTypeD1Ev(ptr addrspace(4) {{[^,]*}} %this)
|
|
// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func noundef i32 @_ZNU3AS26MyType3barEv(ptr addrspace(2) {{[^,]*}} %this)
|
|
// CHECK-DEFINITIONS-DAG: define linkonce_odr spir_func noundef i32 @_ZNU3AS46MyType3barEv(ptr addrspace(4) {{[^,]*}} %this)
|