| 1 | // RUN: %clang_cc1 -O0 -triple amdgcn -emit-llvm %s -o - | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | class A { |
|---|
| 4 | public: |
|---|
| 5 | int x; |
|---|
| 6 | A():x(0) {} |
|---|
| 7 | ~A() {} |
|---|
| 8 | }; |
|---|
| 9 | |
|---|
| 10 | class B { |
|---|
| 11 | int x[100]; |
|---|
| 12 | }; |
|---|
| 13 | |
|---|
| 14 | A g_a; |
|---|
| 15 | B g_b; |
|---|
| 16 | |
|---|
| 17 | void func_with_ref_arg(A &a); |
|---|
| 18 | void func_with_ref_arg(B &b); |
|---|
| 19 | |
|---|
| 20 | // CHECK-LABEL: define void @_Z22func_with_indirect_arg1A(%class.A addrspace(5)* %a) |
|---|
| 21 | // CHECK: %p = alloca %class.A*, align 8, addrspace(5) |
|---|
| 22 | // CHECK: %[[r1:.+]] = addrspacecast %class.A* addrspace(5)* %p to %class.A** |
|---|
| 23 | // CHECK: %[[r0:.+]] = addrspacecast %class.A addrspace(5)* %a to %class.A* |
|---|
| 24 | // CHECK: store %class.A* %[[r0]], %class.A** %[[r1]], align 8 |
|---|
| 25 | void func_with_indirect_arg(A a) { |
|---|
| 26 | A *p = &a; |
|---|
| 27 | } |
|---|
| 28 | |
|---|
| 29 | // CHECK-LABEL: define void @_Z22test_indirect_arg_autov() |
|---|
| 30 | // CHECK: %a = alloca %class.A, align 4, addrspace(5) |
|---|
| 31 | // CHECK: %[[r0:.+]] = addrspacecast %class.A addrspace(5)* %a to %class.A* |
|---|
| 32 | // CHECK: %agg.tmp = alloca %class.A, align 4, addrspace(5) |
|---|
| 33 | // CHECK: %[[r1:.+]] = addrspacecast %class.A addrspace(5)* %agg.tmp to %class.A* |
|---|
| 34 | // CHECK: call void @_ZN1AC1Ev(%class.A* %[[r0]]) |
|---|
| 35 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 |
|---|
| 36 | // CHECK: %[[r4:.+]] = addrspacecast %class.A* %[[r1]] to %class.A addrspace(5)* |
|---|
| 37 | // CHECK: call void @_Z22func_with_indirect_arg1A(%class.A addrspace(5)* %[[r4]]) |
|---|
| 38 | // CHECK: call void @_ZN1AD1Ev(%class.A* %[[r1]]) |
|---|
| 39 | // CHECK: call void @_Z17func_with_ref_argR1A(%class.A* dereferenceable(4) %[[r0]]) |
|---|
| 40 | // CHECK: call void @_ZN1AD1Ev(%class.A* %[[r0]]) |
|---|
| 41 | void test_indirect_arg_auto() { |
|---|
| 42 | A a; |
|---|
| 43 | func_with_indirect_arg(a); |
|---|
| 44 | func_with_ref_arg(a); |
|---|
| 45 | } |
|---|
| 46 | |
|---|
| 47 | // CHECK: define void @_Z24test_indirect_arg_globalv() |
|---|
| 48 | // CHECK: %agg.tmp = alloca %class.A, align 4, addrspace(5) |
|---|
| 49 | // CHECK: %[[r0:.+]] = addrspacecast %class.A addrspace(5)* %agg.tmp to %class.A* |
|---|
| 50 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 |
|---|
| 51 | // CHECK: %[[r2:.+]] = addrspacecast %class.A* %[[r0]] to %class.A addrspace(5)* |
|---|
| 52 | // CHECK: call void @_Z22func_with_indirect_arg1A(%class.A addrspace(5)* %[[r2]]) |
|---|
| 53 | // CHECK: call void @_ZN1AD1Ev(%class.A* %[[r0]]) |
|---|
| 54 | // CHECK: call void @_Z17func_with_ref_argR1A(%class.A* dereferenceable(4) addrspacecast (%class.A addrspace(1)* @g_a to %class.A*)) |
|---|
| 55 | void test_indirect_arg_global() { |
|---|
| 56 | func_with_indirect_arg(g_a); |
|---|
| 57 | func_with_ref_arg(g_a); |
|---|
| 58 | } |
|---|
| 59 | |
|---|
| 60 | // CHECK-LABEL: define void @_Z19func_with_byval_arg1B(%class.B addrspace(5)* byval align 4 %b) |
|---|
| 61 | // CHECK: %p = alloca %class.B*, align 8, addrspace(5) |
|---|
| 62 | // CHECK: %[[r1:.+]] = addrspacecast %class.B* addrspace(5)* %p to %class.B** |
|---|
| 63 | // CHECK: %[[r0:.+]] = addrspacecast %class.B addrspace(5)* %b to %class.B* |
|---|
| 64 | // CHECK: store %class.B* %[[r0]], %class.B** %[[r1]], align 8 |
|---|
| 65 | void func_with_byval_arg(B b) { |
|---|
| 66 | B *p = &b; |
|---|
| 67 | } |
|---|
| 68 | |
|---|
| 69 | // CHECK-LABEL: define void @_Z19test_byval_arg_autov() |
|---|
| 70 | // CHECK: %b = alloca %class.B, align 4, addrspace(5) |
|---|
| 71 | // CHECK: %[[r0:.+]] = addrspacecast %class.B addrspace(5)* %b to %class.B* |
|---|
| 72 | // CHECK: %agg.tmp = alloca %class.B, align 4, addrspace(5) |
|---|
| 73 | // CHECK: %[[r1:.+]] = addrspacecast %class.B addrspace(5)* %agg.tmp to %class.B* |
|---|
| 74 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 |
|---|
| 75 | // CHECK: %[[r4:.+]] = addrspacecast %class.B* %[[r1]] to %class.B addrspace(5)* |
|---|
| 76 | // CHECK: call void @_Z19func_with_byval_arg1B(%class.B addrspace(5)* byval align 4 %[[r4]]) |
|---|
| 77 | // CHECK: call void @_Z17func_with_ref_argR1B(%class.B* dereferenceable(400) %[[r0]]) |
|---|
| 78 | void test_byval_arg_auto() { |
|---|
| 79 | B b; |
|---|
| 80 | func_with_byval_arg(b); |
|---|
| 81 | func_with_ref_arg(b); |
|---|
| 82 | } |
|---|
| 83 | |
|---|
| 84 | // CHECK-LABEL: define void @_Z21test_byval_arg_globalv() |
|---|
| 85 | // CHECK: %agg.tmp = alloca %class.B, align 4, addrspace(5) |
|---|
| 86 | // CHECK: %[[r0:.+]] = addrspacecast %class.B addrspace(5)* %agg.tmp to %class.B* |
|---|
| 87 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 |
|---|
| 88 | // CHECK: %[[r2:.+]] = addrspacecast %class.B* %[[r0]] to %class.B addrspace(5)* |
|---|
| 89 | // CHECK: call void @_Z19func_with_byval_arg1B(%class.B addrspace(5)* byval align 4 %[[r2]]) |
|---|
| 90 | // CHECK: call void @_Z17func_with_ref_argR1B(%class.B* dereferenceable(400) addrspacecast (%class.B addrspace(1)* @g_b to %class.B*)) |
|---|
| 91 | void test_byval_arg_global() { |
|---|
| 92 | func_with_byval_arg(g_b); |
|---|
| 93 | func_with_ref_arg(g_b); |
|---|
| 94 | } |
|---|
| 95 | |
|---|