xref: /aosp_15_r20/external/clang/test/CodeGenCXX/static-local-in-local-class.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-linux -fblocks -emit-llvm -o - %s -std=c++1y | FileCheck %s
2*67e74705SXin Li 
3*67e74705SXin Li // CHECK: @"_ZZZNK17pr18020_constexpr3$_1clEvENKUlvE_clEvE2l2" =
4*67e74705SXin Li // CHECK: internal global i32* @"_ZZNK17pr18020_constexpr3$_1clEvE2l1"
5*67e74705SXin Li // CHECK: @_ZZL14deduced_returnvE1n = internal global i32 42
6*67e74705SXin Li // CHECK: @_ZZZL20block_deduced_returnvEUb_E1n = internal global i32 42
7*67e74705SXin Li // CHECK: @_ZZ18static_local_labelPvE1q = linkonce_odr global i8* blockaddress(@_Z18static_local_labelPv, %{{.*}})
8*67e74705SXin Li // CHECK: @"_ZZNK3$_2clEvE1x" = internal global i32 42
9*67e74705SXin Li 
10*67e74705SXin Li namespace pr6769 {
11*67e74705SXin Li struct X {
12*67e74705SXin Li   static void f();
13*67e74705SXin Li };
14*67e74705SXin Li 
f()15*67e74705SXin Li void X::f() {
16*67e74705SXin Li   static int *i;
17*67e74705SXin Li   {
18*67e74705SXin Li     struct Y {
19*67e74705SXin Li       static void g() {
20*67e74705SXin Li         i = new int();
21*67e74705SXin Li 	*i = 100;
22*67e74705SXin Li 	(*i) = (*i) +1;
23*67e74705SXin Li       }
24*67e74705SXin Li     };
25*67e74705SXin Li     (void)Y::g();
26*67e74705SXin Li   }
27*67e74705SXin Li   (void)i;
28*67e74705SXin Li }
29*67e74705SXin Li }
30*67e74705SXin Li 
31*67e74705SXin Li namespace pr7101 {
foo()32*67e74705SXin Li void foo() {
33*67e74705SXin Li     static int n = 0;
34*67e74705SXin Li     struct Helper {
35*67e74705SXin Li         static void Execute() {
36*67e74705SXin Li             n++;
37*67e74705SXin Li         }
38*67e74705SXin Li     };
39*67e74705SXin Li     Helper::Execute();
40*67e74705SXin Li }
41*67e74705SXin Li }
42*67e74705SXin Li 
43*67e74705SXin Li // These tests all break the assumption that the static var decl has to be
44*67e74705SXin Li // emitted before use of the var decl.  This happens because we defer emission
45*67e74705SXin Li // of variables with internal linkage and no initialization side effects, such
46*67e74705SXin Li // as 'x'.  Then we hit operator()() in 'f', and emit the callee before we emit
47*67e74705SXin Li // the arguments, so we emit the innermost function first.
48*67e74705SXin Li 
49*67e74705SXin Li namespace pr18020_lambda {
50*67e74705SXin Li // Referring to l1 before emitting it used to crash.
__anona35702910102() 51*67e74705SXin Li auto x = []() {
52*67e74705SXin Li   static int l1 = 0;
53*67e74705SXin Li   return [] { return l1; };
54*67e74705SXin Li };
f()55*67e74705SXin Li int f() { return x()(); }
56*67e74705SXin Li }
57*67e74705SXin Li 
58*67e74705SXin Li // CHECK-LABEL: define internal i32 @"_ZZNK14pr18020_lambda3$_0clEvENKUlvE_clEv"
59*67e74705SXin Li // CHECK: load i32, i32* @"_ZZNK14pr18020_lambda3$_0clEvE2l1"
60*67e74705SXin Li 
61*67e74705SXin Li namespace pr18020_constexpr {
62*67e74705SXin Li // Taking the address of l1 in a constant expression used to crash.
__anona35702910302() 63*67e74705SXin Li auto x = []() {
64*67e74705SXin Li   static int l1 = 0;
65*67e74705SXin Li   return [] {
66*67e74705SXin Li     static int *l2 = &l1;
67*67e74705SXin Li     return *l2;
68*67e74705SXin Li   };
69*67e74705SXin Li };
f()70*67e74705SXin Li int f() { return x()(); }
71*67e74705SXin Li }
72*67e74705SXin Li 
73*67e74705SXin Li // CHECK-LABEL: define internal i32 @"_ZZNK17pr18020_constexpr3$_1clEvENKUlvE_clEv"
74*67e74705SXin Li // CHECK: load i32*, i32** @"_ZZZNK17pr18020_constexpr3$_1clEvENKUlvE_clEvE2l2"
75*67e74705SXin Li 
76*67e74705SXin Li // Lambda-less reduction that references l1 before emitting it.  This didn't
77*67e74705SXin Li // crash if you put it in a namespace.
78*67e74705SXin Li struct pr18020_class {
operator ()pr18020_class79*67e74705SXin Li   auto operator()() {
80*67e74705SXin Li     static int l1 = 0;
81*67e74705SXin Li     struct U {
82*67e74705SXin Li       int operator()() { return l1; }
83*67e74705SXin Li     };
84*67e74705SXin Li     return U();
85*67e74705SXin Li   }
86*67e74705SXin Li };
87*67e74705SXin Li static pr18020_class x;
pr18020_f()88*67e74705SXin Li int pr18020_f() { return x()(); }
89*67e74705SXin Li 
90*67e74705SXin Li // CHECK-LABEL: define linkonce_odr i32 @_ZZN13pr18020_classclEvEN1UclEv
91*67e74705SXin Li // CHECK: load i32, i32* @_ZZN13pr18020_classclEvE2l1
92*67e74705SXin Li 
93*67e74705SXin Li // In this test case, the function containing the static local will not be
94*67e74705SXin Li // emitted because it is unneeded. However, the operator call of the inner class
95*67e74705SXin Li // is called, and the static local is referenced and must be emitted.
deduced_return()96*67e74705SXin Li static auto deduced_return() {
97*67e74705SXin Li   static int n = 42;
98*67e74705SXin Li   struct S { int *operator()() { return &n; } };
99*67e74705SXin Li   return S();
100*67e74705SXin Li }
call_deduced_return_operator()101*67e74705SXin Li extern "C" int call_deduced_return_operator() {
102*67e74705SXin Li   return *decltype(deduced_return())()();
103*67e74705SXin Li }
104*67e74705SXin Li 
105*67e74705SXin Li // CHECK-LABEL: define i32 @call_deduced_return_operator()
106*67e74705SXin Li // CHECK: call i32* @_ZZL14deduced_returnvEN1SclEv(
107*67e74705SXin Li // CHECK: load i32, i32* %
108*67e74705SXin Li // CHECK: ret i32 %
109*67e74705SXin Li 
110*67e74705SXin Li // CHECK-LABEL: define internal i32* @_ZZL14deduced_returnvEN1SclEv(%struct.S* %this)
111*67e74705SXin Li // CHECK: ret i32* @_ZZL14deduced_returnvE1n
112*67e74705SXin Li 
block_deduced_return()113*67e74705SXin Li static auto block_deduced_return() {
114*67e74705SXin Li   auto (^b)() = ^() {
115*67e74705SXin Li     static int n = 42;
116*67e74705SXin Li     struct S { int *operator()() { return &n; } };
117*67e74705SXin Li     return S();
118*67e74705SXin Li   };
119*67e74705SXin Li   return b();
120*67e74705SXin Li }
call_block_deduced_return()121*67e74705SXin Li extern "C" int call_block_deduced_return() {
122*67e74705SXin Li   return *decltype(block_deduced_return())()();
123*67e74705SXin Li }
124*67e74705SXin Li 
125*67e74705SXin Li // CHECK-LABEL: define i32 @call_block_deduced_return()
126*67e74705SXin Li // CHECK: call i32* @_ZZZL20block_deduced_returnvEUb_EN1SclEv(
127*67e74705SXin Li // CHECK: load i32, i32* %
128*67e74705SXin Li // CHECK: ret i32 %
129*67e74705SXin Li 
130*67e74705SXin Li // CHECK-LABEL: define internal i32* @_ZZZL20block_deduced_returnvEUb_EN1SclEv(%struct.S.6* %this) #0 align 2 {
131*67e74705SXin Li // CHECK: ret i32* @_ZZZL20block_deduced_returnvEUb_E1n
132*67e74705SXin Li 
static_local_label(void * p)133*67e74705SXin Li inline auto static_local_label(void *p) {
134*67e74705SXin Li   if (p)
135*67e74705SXin Li     goto *p;
136*67e74705SXin Li   static void *q = &&label;
137*67e74705SXin Li   struct S { static void *get() { return q; } };
138*67e74705SXin Li   return S();
139*67e74705SXin Li label:
140*67e74705SXin Li   __builtin_abort();
141*67e74705SXin Li }
142*67e74705SXin Li void *global_label = decltype(static_local_label(0))::get();
143*67e74705SXin Li 
144*67e74705SXin Li // CHECK-LABEL: define linkonce_odr i8* @_ZZ18static_local_labelPvEN1S3getEv()
145*67e74705SXin Li // CHECK: %[[lbl:[^ ]*]] = load i8*, i8** @_ZZ18static_local_labelPvE1q
146*67e74705SXin Li // CHECK: ret i8* %[[lbl]]
147*67e74705SXin Li 
__anona35702910502() 148*67e74705SXin Li auto global_lambda = []() {
149*67e74705SXin Li   static int x = 42;
150*67e74705SXin Li   struct S { static int *get() { return &x; } };
151*67e74705SXin Li   return S();
152*67e74705SXin Li };
use_global_lambda()153*67e74705SXin Li extern "C" int use_global_lambda() {
154*67e74705SXin Li   return *decltype(global_lambda())::get();
155*67e74705SXin Li }
156*67e74705SXin Li // CHECK-LABEL: define i32 @use_global_lambda()
157*67e74705SXin Li // CHECK: call i32* @"_ZZNK3$_2clEvEN1S3getEv"()
158*67e74705SXin Li 
159*67e74705SXin Li // CHECK-LABEL: define internal i32* @"_ZZNK3$_2clEvEN1S3getEv"()
160*67e74705SXin Li // CHECK: ret i32* @"_ZZNK3$_2clEvE1x"
161