test/CodeGenCXX/amdgcn-func-arg.cpp

   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 }