1 // RUN: %clang_cc1 -std=c++20 -emit-llvm %s -o - -triple=x86_64-linux-gnu | FileCheck %s
2 // RUN: %clang_cc1 -std=c++20 -emit-llvm %s -o - -triple=x86_64-linux-gnu | llvm-cxxfilt -n | FileCheck %s --check-prefix DEMANGLED
3 
4 template<typename T>
5 struct wrapper1 {
6   union {
7     struct {
8       T RightName;
9     };
10   };
11 };
12 
13 template<typename T>
14 struct wrapper2 {
15   union {
16     struct {
17       T RightName;
18     };
19     T WrongName;
20   };
21 };
22 
23 struct Base {
24   int WrongName;
25 };
26 
27 template <typename T>
28 struct wrapper3 {
29   union {
30     struct : Base {
31       T RightName; };
32     T WrongName;
33   };
34 };
35 
36 template <typename T>
37 struct wrapper4 {
38   union {
39     int RightName;
40     struct {
41       T WrongName;
42     };
43     T AlsoWrongName;
44   };
45 };
46 
47 template <typename T>
48 struct wrapper5 {
49   union {
50     struct {
51       struct {
52         T RightName;
53       };
54       T WrongName;
55     };
56   };
57 };
58 
59 template<typename T>
60 struct wrapper6 {
61   union {
62     union{
63     int : 5;
64     T RightName;
65     };
66   };
67 };
68 
69 
70 
71 template<auto tparam> void dummy(){}
72 
73 
74 void uses() {
75   // Zero init'ed cases.
76   dummy<wrapper1<int>{}>();
77   // CHECK: call void @_Z5dummyIXtl8wrapper1IiEEEEvv
78   // DEMANGLED: call void @void dummy<wrapper1<int>{}>()()
79   dummy<wrapper2<float>{}>();
80   // CHECK: call void @_Z5dummyIXtl8wrapper2IfEEEEvv
81   // DEMANGLED: call void @void dummy<wrapper2<float>{}>()()
82   dummy<wrapper3<short>{}>();
83   // CHECK: call void @_Z5dummyIXtl8wrapper3IsEEEEvv
84   // DEMANGLED: call void @void dummy<wrapper3<short>{}>()()
85   dummy<wrapper4<double>{}>();
86   // CHECK: call void @_Z5dummyIXtl8wrapper4IdEEEEvv
87   // DEMANGLED: call void @void dummy<wrapper4<double>{}>()()
88   dummy<wrapper5<long long>{}>();
89   // CHECK: call void @_Z5dummyIXtl8wrapper5IxEEEEvv
90   // DEMANGLED: call void @void dummy<wrapper5<long long>{}>()()
91   dummy<wrapper6<int>{}>();
92   // CHECK: call void @_Z5dummyIXtl8wrapper6IiEEEEvv
93   // DEMANGLED: call void @void dummy<wrapper6<int>{}>()()
94 
95   dummy<wrapper1<double>{123.0}>();
96   // CHECK: call void @_Z5dummyIXtl8wrapper1IdEtlNS1_Ut_Edi9RightNametlNS2_Ut_ELd405ec00000000000EEEEEEvv
97   // DEMANGLED: call void @void dummy<wrapper1<double>{wrapper1<double>::'unnamed'{.RightName = wrapper1<double>::'unnamed'::'unnamed'{0x1.ec{{.*}}p+6}}}>()()
98   dummy<wrapper2<double>{123.0}>();
99   // CHECK: call void @_Z5dummyIXtl8wrapper2IdEtlNS1_Ut_Edi9RightNametlNS2_Ut_ELd405ec00000000000EEEEEEvv
100   // DEMANGLED: call void @void dummy<wrapper2<double>{wrapper2<double>::'unnamed'{.RightName = wrapper2<double>::'unnamed'::'unnamed'{0x1.ec{{.*}}p+6}}}>()()
101   dummy<wrapper3<double>{123, 456}>();
102   // CHECK: call void @_Z5dummyIXtl8wrapper3IdEtlNS1_Ut_Edi9RightNametlNS2_Ut_Etl4BaseLi123EELd407c800000000000EEEEEEvv
103   // DEMANGLED: call void @void dummy<wrapper3<double>{wrapper3<double>::'unnamed'{.RightName = wrapper3<double>::'unnamed'::'unnamed'{Base{123}, 0x1.c8{{.*}}p+8}}}>()()
104   dummy<wrapper4<double>{123}>();
105   // CHECK: call void @_Z5dummyIXtl8wrapper4IdEtlNS1_Ut_Edi9RightNameLi123EEEEEvv
106   // DEMANGLED: call void @void dummy<wrapper4<double>{wrapper4<double>::'unnamed'{.RightName = 123}}>()()
107   dummy<wrapper5<double>{123.0, 456.0}>();
108   // CHECK: call void @_Z5dummyIXtl8wrapper5IdEtlNS1_Ut_Edi9RightNametlNS2_Ut_EtlNS3_Ut_ELd405ec00000000000EELd407c800000000000EEEEEEvv
109   // DEMANGLED: call void @void dummy<wrapper5<double>{wrapper5<double>::'unnamed'{.RightName = wrapper5<double>::'unnamed'::'unnamed'{wrapper5<double>::'unnamed'::'unnamed'::'unnamed'{0x1.ec{{.*}}p+6}, 0x1.c8{{.*}}p+8}}}>()()
110   dummy<wrapper6<double>{1}>();
111   // CHECK: call void @_Z5dummyIXtl8wrapper6IdEtlNS1_Ut_Edi9RightNametlNS2_Ut_Edi9RightNameLd3ff0000000000000EEEEEEvv
112   // DEMANGELD: call void @void dummy<wrapper6<double>{wrapper6<double>::'unnamed'{.RightName = wrapper6<double>::'unnamed'::'unnamed'{.RightName = 0x1{{.*}}p+0}}}>()()
113 }
114