mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 11:35:51 -04:00
c46827c7ed
LLVM IR recently added a Type parameter to the byval Attribute, so that when pointers become opaque and no longer have an element type the information will still be present in IR. For now the Type parameter is optional (which is why Clang didn't need this change at the time), but it will become mandatory soon. llvm-svn: 362652
95 lines
4.0 KiB
C++
95 lines
4.0 KiB
C++
// RUN: %clang_cc1 -O0 -triple amdgcn -emit-llvm %s -o - | FileCheck %s
|
|
|
|
class A {
|
|
public:
|
|
int x;
|
|
A():x(0) {}
|
|
~A() {}
|
|
};
|
|
|
|
class B {
|
|
int x[100];
|
|
};
|
|
|
|
A g_a;
|
|
B g_b;
|
|
|
|
void func_with_ref_arg(A &a);
|
|
void func_with_ref_arg(B &b);
|
|
|
|
// CHECK-LABEL: define void @_Z22func_with_indirect_arg1A(%class.A addrspace(5)* %a)
|
|
// CHECK: %p = alloca %class.A*, align 8, addrspace(5)
|
|
// CHECK: %[[r1:.+]] = addrspacecast %class.A* addrspace(5)* %p to %class.A**
|
|
// CHECK: %[[r0:.+]] = addrspacecast %class.A addrspace(5)* %a to %class.A*
|
|
// CHECK: store %class.A* %[[r0]], %class.A** %[[r1]], align 8
|
|
void func_with_indirect_arg(A a) {
|
|
A *p = &a;
|
|
}
|
|
|
|
// CHECK-LABEL: define void @_Z22test_indirect_arg_autov()
|
|
// CHECK: %a = alloca %class.A, align 4, addrspace(5)
|
|
// CHECK: %[[r0:.+]] = addrspacecast %class.A addrspace(5)* %a to %class.A*
|
|
// CHECK: %agg.tmp = alloca %class.A, align 4, addrspace(5)
|
|
// CHECK: %[[r1:.+]] = addrspacecast %class.A addrspace(5)* %agg.tmp to %class.A*
|
|
// CHECK: call void @_ZN1AC1Ev(%class.A* %[[r0]])
|
|
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
|
|
// CHECK: %[[r4:.+]] = addrspacecast %class.A* %[[r1]] to %class.A addrspace(5)*
|
|
// CHECK: call void @_Z22func_with_indirect_arg1A(%class.A addrspace(5)* %[[r4]])
|
|
// CHECK: call void @_ZN1AD1Ev(%class.A* %[[r1]])
|
|
// CHECK: call void @_Z17func_with_ref_argR1A(%class.A* dereferenceable(4) %[[r0]])
|
|
// CHECK: call void @_ZN1AD1Ev(%class.A* %[[r0]])
|
|
void test_indirect_arg_auto() {
|
|
A a;
|
|
func_with_indirect_arg(a);
|
|
func_with_ref_arg(a);
|
|
}
|
|
|
|
// CHECK: define void @_Z24test_indirect_arg_globalv()
|
|
// CHECK: %agg.tmp = alloca %class.A, align 4, addrspace(5)
|
|
// CHECK: %[[r0:.+]] = addrspacecast %class.A addrspace(5)* %agg.tmp to %class.A*
|
|
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
|
|
// CHECK: %[[r2:.+]] = addrspacecast %class.A* %[[r0]] to %class.A addrspace(5)*
|
|
// CHECK: call void @_Z22func_with_indirect_arg1A(%class.A addrspace(5)* %[[r2]])
|
|
// CHECK: call void @_ZN1AD1Ev(%class.A* %[[r0]])
|
|
// CHECK: call void @_Z17func_with_ref_argR1A(%class.A* dereferenceable(4) addrspacecast (%class.A addrspace(1)* @g_a to %class.A*))
|
|
void test_indirect_arg_global() {
|
|
func_with_indirect_arg(g_a);
|
|
func_with_ref_arg(g_a);
|
|
}
|
|
|
|
// CHECK-LABEL: define void @_Z19func_with_byval_arg1B(%class.B addrspace(5)* byval(%class.B) align 4 %b)
|
|
// CHECK: %p = alloca %class.B*, align 8, addrspace(5)
|
|
// CHECK: %[[r1:.+]] = addrspacecast %class.B* addrspace(5)* %p to %class.B**
|
|
// CHECK: %[[r0:.+]] = addrspacecast %class.B addrspace(5)* %b to %class.B*
|
|
// CHECK: store %class.B* %[[r0]], %class.B** %[[r1]], align 8
|
|
void func_with_byval_arg(B b) {
|
|
B *p = &b;
|
|
}
|
|
|
|
// CHECK-LABEL: define void @_Z19test_byval_arg_autov()
|
|
// CHECK: %b = alloca %class.B, align 4, addrspace(5)
|
|
// CHECK: %[[r0:.+]] = addrspacecast %class.B addrspace(5)* %b to %class.B*
|
|
// CHECK: %agg.tmp = alloca %class.B, align 4, addrspace(5)
|
|
// CHECK: %[[r1:.+]] = addrspacecast %class.B addrspace(5)* %agg.tmp to %class.B*
|
|
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
|
|
// CHECK: %[[r4:.+]] = addrspacecast %class.B* %[[r1]] to %class.B addrspace(5)*
|
|
// CHECK: call void @_Z19func_with_byval_arg1B(%class.B addrspace(5)* byval(%class.B) align 4 %[[r4]])
|
|
// CHECK: call void @_Z17func_with_ref_argR1B(%class.B* dereferenceable(400) %[[r0]])
|
|
void test_byval_arg_auto() {
|
|
B b;
|
|
func_with_byval_arg(b);
|
|
func_with_ref_arg(b);
|
|
}
|
|
|
|
// CHECK-LABEL: define void @_Z21test_byval_arg_globalv()
|
|
// CHECK: %agg.tmp = alloca %class.B, align 4, addrspace(5)
|
|
// CHECK: %[[r0:.+]] = addrspacecast %class.B addrspace(5)* %agg.tmp to %class.B*
|
|
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
|
|
// CHECK: %[[r2:.+]] = addrspacecast %class.B* %[[r0]] to %class.B addrspace(5)*
|
|
// CHECK: call void @_Z19func_with_byval_arg1B(%class.B addrspace(5)* byval(%class.B) align 4 %[[r2]])
|
|
// CHECK: call void @_Z17func_with_ref_argR1B(%class.B* dereferenceable(400) addrspacecast (%class.B addrspace(1)* @g_b to %class.B*))
|
|
void test_byval_arg_global() {
|
|
func_with_byval_arg(g_b);
|
|
func_with_ref_arg(g_b);
|
|
}
|