1 // RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s
2 
3 // PR36992
4 namespace Implicit {
5   struct A { char c; A(const A&); };
6   struct B { int n; char c[3]; ~B(); };
7   struct C : B, virtual A {};
8   static_assert(sizeof(C) == sizeof(void*) + 8);
9   C f(C c) { return c; }
10 
11   // CHECK: define {{.*}} @_ZN8Implicit1CC1EOS0_
12   // CHECK: call {{.*}} @_ZN8Implicit1AC2ERKS0_(
13   // Note: this must memcpy 7 bytes, not 8, to avoid trampling over the virtual base class.
14   // CHECK: call void @llvm.memcpy.p0i8.p0i8.i{{32|64}}(i8* {{.*}}, i8* {{.*}}, i{{32|64}} 7, i1 false)
15   // CHECK: store i32 {{.*}} @_ZTVN8Implicit1CE
16 }
17 
18 namespace InitWithinNVSize {
19   // This is the same as the previous test, except that the A base lies
20   // entirely within the nvsize of C. This makes it valid to copy at the
21   // full width.
22   struct A { char c; A(const A&); };
23   struct B { int n; char c[3]; ~B(); };
24   struct C : B, virtual A { char x; };
25   static_assert(sizeof(C) > sizeof(void*) + 8);
26   C f(C c) { return c; }
27 
28   // CHECK: define {{.*}} @_ZN16InitWithinNVSize1CC1EOS0_
29   // CHECK: call {{.*}} @_ZN16InitWithinNVSize1AC2ERKS0_(
30   // This copies over the 'C::x' member, but that's OK because we've not initialized it yet.
31   // CHECK: call void @llvm.memcpy.p0i8.p0i8.i{{32|64}}(i8* {{.*}}, i8* {{.*}}, i{{32|64}} 8, i1 false)
32   // CHECK: store i32 {{.*}} @_ZTVN16InitWithinNVSize1CE
33   // CHECK: store i8
34 }
35