xref: /llvm-project/clang/test/CodeGenCXX/vtable-consteval-address-space.cpp (revision 8acdcf4016876d122733991561be706b64026e73)
1*8acdcf40SAlex Voicu // RUN: %clang_cc1 -std=c++20 -triple=amdgcn-amd-amdhsa %s -emit-llvm -o - | FileCheck %s --check-prefix=ITANIUM --implicit-check-not=DoNotEmit
2*8acdcf40SAlex Voicu 
3*8acdcf40SAlex Voicu // FIXME: The MSVC ABI rule in use here was discussed with MS folks prior to
4*8acdcf40SAlex Voicu // them implementing virtual consteval functions, but we do not know for sure
5*8acdcf40SAlex Voicu // if this is the ABI rule they will use.
6*8acdcf40SAlex Voicu 
7*8acdcf40SAlex Voicu // ITANIUM-DAG: @_ZTV1A = {{.*}} addrspace(1) constant { [2 x ptr addrspace(1)] } {{.*}} null, {{.*}} @_ZTI1A
8*8acdcf40SAlex Voicu struct A {
DoNotEmit_fA9*8acdcf40SAlex Voicu   virtual consteval void DoNotEmit_f() {}
10*8acdcf40SAlex Voicu };
11*8acdcf40SAlex Voicu // ITANIUM-DAG: @a = addrspace(1) global { {{.*}} ptr addrspace(1) @_ZTV1A,
12*8acdcf40SAlex Voicu A a;
13*8acdcf40SAlex Voicu 
14*8acdcf40SAlex Voicu // ITANIUM-DAG: @_ZTV1B = {{.*}} addrspace(1) constant { [4 x ptr addrspace(1)] } {{.*}} addrspace(1) null, ptr addrspace(1) @_ZTI1B, ptr addrspace(1) addrspacecast (ptr @_ZN1B1fEv to ptr addrspace(1)), ptr addrspace(1) addrspacecast (ptr @_ZN1B1hEv to ptr addrspace(1))
15*8acdcf40SAlex Voicu struct B {
fB16*8acdcf40SAlex Voicu   virtual void f() {}
DoNotEmit_gB17*8acdcf40SAlex Voicu   virtual consteval void DoNotEmit_g() {}
hB18*8acdcf40SAlex Voicu   virtual void h() {}
19*8acdcf40SAlex Voicu };
20*8acdcf40SAlex Voicu // ITANIUM-DAG: @b = addrspace(1) global { {{.*}} @_ZTV1B,
21*8acdcf40SAlex Voicu B b;
22*8acdcf40SAlex Voicu 
23*8acdcf40SAlex Voicu // ITANIUM-DAG: @_ZTV1C = {{.*}} addrspace(1) constant { [4 x ptr addrspace(1)] } {{.*}} addrspace(1) null, ptr addrspace(1) @_ZTI1C, ptr addrspace(1) addrspacecast (ptr @_ZN1CD1Ev to ptr addrspace(1)), ptr addrspace(1) addrspacecast (ptr @_ZN1CD0Ev to ptr addrspace(1))
24*8acdcf40SAlex Voicu struct C {
25*8acdcf40SAlex Voicu   virtual ~C() = default;
26*8acdcf40SAlex Voicu   virtual consteval C &operator=(const C&) = default;
27*8acdcf40SAlex Voicu };
28*8acdcf40SAlex Voicu // ITANIUM-DAG: @c = addrspace(1) global { {{.*}} @_ZTV1C,
29*8acdcf40SAlex Voicu C c;
30*8acdcf40SAlex Voicu 
31*8acdcf40SAlex Voicu // ITANIUM-DAG: @_ZTV1D = {{.*}} addrspace(1) constant { [4 x ptr addrspace(1)] } {{.*}} addrspace(1) null, ptr addrspace(1) @_ZTI1D, ptr addrspace(1) addrspacecast (ptr @_ZN1DD1Ev to ptr addrspace(1)), ptr addrspace(1) addrspacecast (ptr @_ZN1DD0Ev to ptr addrspace(1))
32*8acdcf40SAlex Voicu struct D : C {};
33*8acdcf40SAlex Voicu // ITANIUM-DAG: @d = addrspace(1) global { ptr addrspace(1) } { {{.*}} @_ZTV1D,
34*8acdcf40SAlex Voicu D d;
35*8acdcf40SAlex Voicu 
36*8acdcf40SAlex Voicu // ITANIUM-DAG: @_ZTV1E = {{.*}} addrspace(1) constant { [3 x ptr addrspace(1)] } {{.*}} addrspace(1) null, ptr addrspace(1) @_ZTI1E, ptr addrspace(1) addrspacecast (ptr @_ZN1E1fEv to ptr addrspace(1))
fE37*8acdcf40SAlex Voicu struct E { virtual void f() {} };
38*8acdcf40SAlex Voicu // ITANIUM-DAG: @e = addrspace(1) global { {{.*}} @_ZTV1E,
39*8acdcf40SAlex Voicu E e;
40*8acdcf40SAlex Voicu 
41*8acdcf40SAlex Voicu // ITANIUM-DAG: @_ZTV1F = {{.*}} addrspace(1) constant { [3 x ptr addrspace(1)] } {{.*}} addrspace(1) null, ptr addrspace(1) @_ZTI1F, ptr addrspace(1) addrspacecast (ptr @_ZN1E1fEv to ptr addrspace(1))
42*8acdcf40SAlex Voicu struct F : E { virtual consteval void DoNotEmit_g(); };
43*8acdcf40SAlex Voicu // ITANIUM-DAG: @f = addrspace(1) global { ptr addrspace(1) } { {{.*}} @_ZTV1F,
44*8acdcf40SAlex Voicu F f;
45