1 /* Lower TLS operations to emulation functions.
2 Copyright (C) 2006-2021 Free Software Foundation, Inc.
3
4 This file is part of GCC.
5
6 GCC is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by the
8 Free Software Foundation; either version 3, or (at your option) any
9 later version.
10
11 GCC is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
19
20 #include "config.h"
21 #include "system.h"
22 #include "coretypes.h"
23 #include "backend.h"
24 #include "target.h"
25 #include "tree.h"
26 #include "gimple.h"
27 #include "tree-pass.h"
28 #include "ssa.h"
29 #include "cgraph.h"
30 #include "fold-const.h"
31 #include "stor-layout.h"
32 #include "varasm.h"
33 #include "gimple-iterator.h"
34 #include "gimple-walk.h"
35 #include "langhooks.h"
36 #include "tree-iterator.h"
37 #include "gimplify.h"
38
39 /* Whenever a target does not support thread-local storage (TLS) natively,
40 we can emulate it with some run-time support in libgcc. This will in
41 turn rely on "keyed storage" a-la pthread_key_create; essentially all
42 thread libraries provide such functionality.
43
44 In order to coordinate with the libgcc runtime, each TLS variable is
45 described by a "control variable". This control variable records the
46 required size, alignment, and initial value of the TLS variable for
47 instantiation at runtime. It also stores an integer token to be used
48 by the runtime to find the address of the variable within each thread.
49
50 On the compiler side, this means that we need to replace all instances
51 of "tls_var" in the code with "*__emutls_get_addr(&control_var)". We
52 also need to eliminate "tls_var" from the symbol table and introduce
53 "control_var".
54
55 We used to perform all of the transformations during conversion to rtl,
56 and the variable substitutions magically within assemble_variable.
57 However, this late fiddling of the symbol table conflicts with LTO and
58 whole-program compilation. Therefore we must now make all the changes
59 to the symbol table early in the GIMPLE optimization path, before we
60 write things out to LTO intermediate files. */
61
62 /* Value for TLS varpool node where a pointer to control variable and
63 access variable are stored. */
64 struct tls_var_data
65 {
66 varpool_node *control_var;
67 tree access;
68 };
69
70 /* TLS map accesses mapping between a TLS varpool node and a pair
71 made by control variable and access variable. */
72 static hash_map<varpool_node *, tls_var_data> *tls_map = NULL;
73
74 /* The type of the control structure, shared with the emutls.c runtime. */
75 static tree emutls_object_type;
76
77 #if !defined (NO_DOT_IN_LABEL)
78 # define EMUTLS_SEPARATOR "."
79 #elif !defined (NO_DOLLAR_IN_LABEL)
80 # define EMUTLS_SEPARATOR "$"
81 #else
82 # define EMUTLS_SEPARATOR "_"
83 #endif
84
85 /* Create an IDENTIFIER_NODE by prefixing PREFIX to the
86 IDENTIFIER_NODE NAME's name. */
87
88 static tree
prefix_name(const char * prefix,tree name)89 prefix_name (const char *prefix, tree name)
90 {
91 unsigned plen = strlen (prefix);
92 unsigned nlen = strlen (IDENTIFIER_POINTER (name));
93 char *toname = (char *) alloca (plen + nlen + 1);
94
95 memcpy (toname, prefix, plen);
96 memcpy (toname + plen, IDENTIFIER_POINTER (name), nlen + 1);
97
98 return get_identifier (toname);
99 }
100
101 /* Create an identifier for the struct __emutls_object, given an identifier
102 of the DECL_ASSEMBLY_NAME of the original object. */
103
104 static tree
get_emutls_object_name(tree name)105 get_emutls_object_name (tree name)
106 {
107 const char *prefix = (targetm.emutls.var_prefix
108 ? targetm.emutls.var_prefix
109 : "__emutls_v" EMUTLS_SEPARATOR);
110 return prefix_name (prefix, name);
111 }
112
113 /* Create the fields of the type for the control variables. Ordinarily
114 this must match struct __emutls_object defined in emutls.c. However
115 this is a target hook so that VxWorks can define its own layout. */
116
117 tree
default_emutls_var_fields(tree type,tree * name ATTRIBUTE_UNUSED)118 default_emutls_var_fields (tree type, tree *name ATTRIBUTE_UNUSED)
119 {
120 tree word_type_node, field, next_field;
121
122 field = build_decl (UNKNOWN_LOCATION,
123 FIELD_DECL, get_identifier ("__templ"), ptr_type_node);
124 DECL_CONTEXT (field) = type;
125 next_field = field;
126
127 field = build_decl (UNKNOWN_LOCATION,
128 FIELD_DECL, get_identifier ("__offset"),
129 ptr_type_node);
130 DECL_CONTEXT (field) = type;
131 DECL_CHAIN (field) = next_field;
132 next_field = field;
133
134 word_type_node = lang_hooks.types.type_for_mode (word_mode, 1);
135 field = build_decl (UNKNOWN_LOCATION,
136 FIELD_DECL, get_identifier ("__align"),
137 word_type_node);
138 DECL_CONTEXT (field) = type;
139 DECL_CHAIN (field) = next_field;
140 next_field = field;
141
142 field = build_decl (UNKNOWN_LOCATION,
143 FIELD_DECL, get_identifier ("__size"), word_type_node);
144 DECL_CONTEXT (field) = type;
145 DECL_CHAIN (field) = next_field;
146
147 return field;
148 }
149
150 /* Initialize emulated tls object TO, which refers to TLS variable DECL and
151 is initialized by PROXY. As above, this is the default implementation of
152 a target hook overridden by VxWorks. */
153
154 tree
default_emutls_var_init(tree to,tree decl,tree proxy)155 default_emutls_var_init (tree to, tree decl, tree proxy)
156 {
157 vec<constructor_elt, va_gc> *v;
158 vec_alloc (v, 4);
159 constructor_elt elt;
160 tree type = TREE_TYPE (to);
161 tree field = TYPE_FIELDS (type);
162
163 elt.index = field;
164 elt.value = fold_convert (TREE_TYPE (field), DECL_SIZE_UNIT (decl));
165 v->quick_push (elt);
166
167 field = DECL_CHAIN (field);
168 elt.index = field;
169 elt.value = build_int_cst (TREE_TYPE (field),
170 DECL_ALIGN_UNIT (decl));
171 v->quick_push (elt);
172
173 field = DECL_CHAIN (field);
174 elt.index = field;
175 elt.value = null_pointer_node;
176 v->quick_push (elt);
177
178 field = DECL_CHAIN (field);
179 elt.index = field;
180 elt.value = proxy;
181 v->quick_push (elt);
182
183 return build_constructor (type, v);
184 }
185
186 /* Create the structure for struct __emutls_object. This should match the
187 structure at the top of emutls.c, modulo the union there. */
188
189 static tree
get_emutls_object_type(void)190 get_emutls_object_type (void)
191 {
192 tree type, type_name, field;
193
194 type = emutls_object_type;
195 if (type)
196 return type;
197
198 emutls_object_type = type = lang_hooks.types.make_type (RECORD_TYPE);
199 type_name = NULL;
200 field = targetm.emutls.var_fields (type, &type_name);
201 if (!type_name)
202 type_name = get_identifier ("__emutls_object");
203 type_name = build_decl (UNKNOWN_LOCATION,
204 TYPE_DECL, type_name, type);
205 TYPE_NAME (type) = type_name;
206 TYPE_FIELDS (type) = field;
207 layout_type (type);
208
209 return type;
210 }
211
212 /* Create a read-only variable like DECL, with the same DECL_INITIAL.
213 This will be used for initializing the emulated tls data area. */
214
215 static tree
get_emutls_init_templ_addr(tree decl)216 get_emutls_init_templ_addr (tree decl)
217 {
218 tree name, to;
219
220 if (targetm.emutls.register_common && !DECL_INITIAL (decl)
221 && !DECL_SECTION_NAME (decl))
222 return null_pointer_node;
223
224 name = DECL_ASSEMBLER_NAME (decl);
225 if (!targetm.emutls.tmpl_prefix || targetm.emutls.tmpl_prefix[0])
226 {
227 const char *prefix = (targetm.emutls.tmpl_prefix
228 ? targetm.emutls.tmpl_prefix
229 : "__emutls_t" EMUTLS_SEPARATOR);
230 name = prefix_name (prefix, name);
231 }
232
233 to = build_decl (DECL_SOURCE_LOCATION (decl),
234 VAR_DECL, name, TREE_TYPE (decl));
235 SET_DECL_ASSEMBLER_NAME (to, DECL_NAME (to));
236
237 DECL_ARTIFICIAL (to) = 1;
238 TREE_USED (to) = TREE_USED (decl);
239 TREE_READONLY (to) = 1;
240 DECL_IGNORED_P (to) = 1;
241 DECL_CONTEXT (to) = DECL_CONTEXT (decl);
242 DECL_PRESERVE_P (to) = DECL_PRESERVE_P (decl);
243
244 DECL_WEAK (to) = DECL_WEAK (decl);
245 if (DECL_ONE_ONLY (decl) || DECL_WEAK (decl))
246 {
247 TREE_STATIC (to) = TREE_STATIC (decl);
248 TREE_PUBLIC (to) = TREE_PUBLIC (decl);
249 DECL_VISIBILITY (to) = DECL_VISIBILITY (decl);
250 }
251 else
252 TREE_STATIC (to) = 1;
253
254 if (DECL_ONE_ONLY (decl))
255 make_decl_one_only (to, DECL_ASSEMBLER_NAME (to));
256
257 DECL_VISIBILITY_SPECIFIED (to) = DECL_VISIBILITY_SPECIFIED (decl);
258 DECL_INITIAL (to) = DECL_INITIAL (decl);
259 DECL_INITIAL (decl) = NULL;
260
261 if (targetm.emutls.tmpl_section)
262 set_decl_section_name (to, targetm.emutls.tmpl_section);
263 else
264 set_decl_section_name (to, decl);
265
266 /* Create varpool node for the new variable and finalize it if it is
267 not external one. */
268 if (DECL_EXTERNAL (to))
269 varpool_node::get_create (to);
270 else
271 varpool_node::add (to);
272 return build_fold_addr_expr (to);
273 }
274
275 /* Create and return the control variable for the TLS variable DECL. */
276
277 static tree
new_emutls_decl(tree decl,tree alias_of)278 new_emutls_decl (tree decl, tree alias_of)
279 {
280 tree name, to;
281
282 name = DECL_ASSEMBLER_NAME (decl);
283 to = build_decl (DECL_SOURCE_LOCATION (decl), VAR_DECL,
284 get_emutls_object_name (name),
285 get_emutls_object_type ());
286
287 SET_DECL_ASSEMBLER_NAME (to, DECL_NAME (to));
288
289 DECL_ARTIFICIAL (to) = 1;
290 DECL_IGNORED_P (to) = 1;
291 TREE_READONLY (to) = 0;
292 TREE_STATIC (to) = 1;
293
294 DECL_PRESERVE_P (to) = DECL_PRESERVE_P (decl);
295 DECL_CONTEXT (to) = DECL_CONTEXT (decl);
296 TREE_USED (to) = TREE_USED (decl);
297 TREE_PUBLIC (to) = TREE_PUBLIC (decl);
298 DECL_EXTERNAL (to) = DECL_EXTERNAL (decl);
299 DECL_COMMON (to) = DECL_COMMON (decl);
300 DECL_WEAK (to) = DECL_WEAK (decl);
301 DECL_VISIBILITY (to) = DECL_VISIBILITY (decl);
302 DECL_VISIBILITY_SPECIFIED (to) = DECL_VISIBILITY_SPECIFIED (decl);
303 DECL_DLLIMPORT_P (to) = DECL_DLLIMPORT_P (decl);
304
305 DECL_ATTRIBUTES (to) = targetm.merge_decl_attributes (decl, to);
306
307 if (DECL_ONE_ONLY (decl))
308 make_decl_one_only (to, DECL_ASSEMBLER_NAME (to));
309
310 set_decl_tls_model (to, TLS_MODEL_EMULATED);
311
312 /* If we're not allowed to change the proxy object's alignment,
313 pretend it has been set by the user. */
314 if (targetm.emutls.var_align_fixed)
315 DECL_USER_ALIGN (to) = 1;
316
317 /* If the target wants the control variables grouped, do so. */
318 if (!DECL_COMMON (to) && targetm.emutls.var_section)
319 {
320 set_decl_section_name (to, targetm.emutls.var_section);
321 }
322
323 /* If this variable is defined locally, then we need to initialize the
324 control structure with size and alignment information. Initialization
325 of COMMON block variables happens elsewhere via a constructor. */
326 if (!DECL_EXTERNAL (to)
327 && (!DECL_COMMON (to) || !targetm.emutls.register_common
328 || (DECL_INITIAL (decl)
329 && DECL_INITIAL (decl) != error_mark_node)))
330 {
331 tree tmpl = get_emutls_init_templ_addr (decl);
332 DECL_INITIAL (to) = targetm.emutls.var_init (to, decl, tmpl);
333 record_references_in_initializer (to, false);
334 }
335
336 /* Create varpool node for the new variable and finalize it if it is
337 not external one. */
338 if (DECL_EXTERNAL (to))
339 varpool_node::get_create (to);
340 else if (!alias_of)
341 varpool_node::add (to);
342 else
343 {
344 varpool_node *n;
345 varpool_node *t = varpool_node::get_for_asmname
346 (DECL_ASSEMBLER_NAME (DECL_VALUE_EXPR (alias_of)));
347
348 n = varpool_node::create_alias (to, t->decl);
349 n->resolve_alias (t);
350 }
351 return to;
352 }
353
354 /* Generate a call statement to initialize CONTROL_DECL for TLS_DECL.
355 This only needs to happen for TLS COMMON variables; non-COMMON
356 variables can be initialized statically. Insert the generated
357 call statement at the end of PSTMTS. */
358
359 static void
emutls_common_1(tree tls_decl,tree control_decl,tree * pstmts)360 emutls_common_1 (tree tls_decl, tree control_decl, tree *pstmts)
361 {
362 tree x;
363 tree word_type_node;
364
365 if (!DECL_COMMON (tls_decl) || !targetm.emutls.register_common
366 || (DECL_INITIAL (tls_decl)
367 && DECL_INITIAL (tls_decl) != error_mark_node))
368 return;
369
370 word_type_node = lang_hooks.types.type_for_mode (word_mode, 1);
371
372 x = build_call_expr (builtin_decl_explicit (BUILT_IN_EMUTLS_REGISTER_COMMON),
373 4, build_fold_addr_expr (control_decl),
374 fold_convert (word_type_node,
375 DECL_SIZE_UNIT (tls_decl)),
376 build_int_cst (word_type_node,
377 DECL_ALIGN_UNIT (tls_decl)),
378 get_emutls_init_templ_addr (tls_decl));
379
380 append_to_statement_list (x, pstmts);
381 }
382
383 struct lower_emutls_data
384 {
385 struct cgraph_node *cfun_node;
386 struct cgraph_node *builtin_node;
387 tree builtin_decl;
388 basic_block bb;
389 location_t loc;
390 gimple_seq seq;
391 };
392
393 /* Given a TLS variable DECL, return an SSA_NAME holding its address.
394 Append any new computation statements required to D->SEQ. */
395
396 static tree
gen_emutls_addr(tree decl,struct lower_emutls_data * d)397 gen_emutls_addr (tree decl, struct lower_emutls_data *d)
398 {
399 /* Compute the address of the TLS variable with help from runtime. */
400 tls_var_data *data = tls_map->get (varpool_node::get (decl));
401 tree addr = data->access;
402
403 if (addr == NULL)
404 {
405 varpool_node *cvar;
406 tree cdecl;
407 gcall *x;
408
409 cvar = data->control_var;
410 cdecl = cvar->decl;
411 TREE_ADDRESSABLE (cdecl) = 1;
412
413 addr = create_tmp_var (build_pointer_type (TREE_TYPE (decl)));
414 x = gimple_build_call (d->builtin_decl, 1, build_fold_addr_expr (cdecl));
415 gimple_set_location (x, d->loc);
416
417 addr = make_ssa_name (addr, x);
418 gimple_call_set_lhs (x, addr);
419
420 gimple_seq_add_stmt (&d->seq, x);
421
422 d->cfun_node->create_edge (d->builtin_node, x, d->bb->count);
423
424 /* We may be adding a new reference to a new variable to the function.
425 This means we have to play with the ipa-reference web. */
426 d->cfun_node->create_reference (cvar, IPA_REF_ADDR, x);
427
428 /* Record this ssa_name for possible use later in the basic block. */
429 data->access = addr;
430 }
431
432 return addr;
433 }
434
435 /* Callback for lower_emutls_1, return non-NULL if there is any TLS
436 VAR_DECL in the subexpressions. */
437
438 static tree
lower_emutls_2(tree * ptr,int * walk_subtrees,void *)439 lower_emutls_2 (tree *ptr, int *walk_subtrees, void *)
440 {
441 tree t = *ptr;
442 if (TREE_CODE (t) == VAR_DECL)
443 return DECL_THREAD_LOCAL_P (t) ? t : NULL_TREE;
444 else if (!EXPR_P (t))
445 *walk_subtrees = 0;
446 return NULL_TREE;
447 }
448
449 /* Callback for walk_gimple_op. D = WI->INFO is a struct lower_emutls_data.
450 Given an operand *PTR within D->STMT, if the operand references a TLS
451 variable, then lower the reference to a call to the runtime. Insert
452 any new statements required into D->SEQ; the caller is responsible for
453 placing those appropriately. */
454
455 static tree
lower_emutls_1(tree * ptr,int * walk_subtrees,void * cb_data)456 lower_emutls_1 (tree *ptr, int *walk_subtrees, void *cb_data)
457 {
458 struct walk_stmt_info *wi = (struct walk_stmt_info *) cb_data;
459 struct lower_emutls_data *d = (struct lower_emutls_data *) wi->info;
460 tree t = *ptr;
461 bool is_addr = false;
462 tree addr;
463
464 *walk_subtrees = 0;
465
466 switch (TREE_CODE (t))
467 {
468 case ADDR_EXPR:
469 /* If this is not a straight-forward "&var", but rather something
470 like "&var.a", then we may need special handling. */
471 if (TREE_CODE (TREE_OPERAND (t, 0)) != VAR_DECL)
472 {
473 bool save_changed;
474
475 /* Gimple invariants are shareable trees, so before changing
476 anything in them if we will need to change anything, unshare
477 them. */
478 if (is_gimple_min_invariant (t)
479 && walk_tree (&TREE_OPERAND (t, 0), lower_emutls_2, NULL, NULL))
480 *ptr = t = unshare_expr (t);
481
482 /* If we're allowed more than just is_gimple_val, continue. */
483 if (!wi->val_only)
484 {
485 *walk_subtrees = 1;
486 return NULL_TREE;
487 }
488
489 /* See if any substitution would be made. */
490 save_changed = wi->changed;
491 wi->changed = false;
492 wi->val_only = false;
493 walk_tree (&TREE_OPERAND (t, 0), lower_emutls_1, wi, NULL);
494 wi->val_only = true;
495
496 /* If so, then extract this entire sub-expression "&p->a" into a
497 new assignment statement, and substitute yet another SSA_NAME. */
498 if (wi->changed)
499 {
500 gimple *x;
501
502 addr = create_tmp_var (TREE_TYPE (t));
503 x = gimple_build_assign (addr, t);
504 gimple_set_location (x, d->loc);
505
506 addr = make_ssa_name (addr, x);
507 gimple_assign_set_lhs (x, addr);
508
509 gimple_seq_add_stmt (&d->seq, x);
510
511 *ptr = addr;
512 }
513 else
514 wi->changed = save_changed;
515
516 return NULL_TREE;
517 }
518
519 t = TREE_OPERAND (t, 0);
520 is_addr = true;
521 /* FALLTHRU */
522
523 case VAR_DECL:
524 if (!DECL_THREAD_LOCAL_P (t))
525 return NULL_TREE;
526 break;
527
528 default:
529 /* We're not interested in other decls or types, only subexpressions. */
530 if (EXPR_P (t))
531 *walk_subtrees = 1;
532 /* FALLTHRU */
533
534 case SSA_NAME:
535 /* Special-case the return of SSA_NAME, since it's so common. */
536 return NULL_TREE;
537 }
538
539 addr = gen_emutls_addr (t, d);
540 if (is_addr)
541 {
542 /* Replace "&var" with "addr" in the statement. */
543 *ptr = addr;
544 }
545 else
546 {
547 /* Replace "var" with "*addr" in the statement. */
548 t = build2 (MEM_REF, TREE_TYPE (t), addr,
549 build_int_cst (TREE_TYPE (addr), 0));
550 *ptr = t;
551 }
552
553 wi->changed = true;
554 return NULL_TREE;
555 }
556
557 /* Lower all of the operands of STMT. */
558
559 static void
lower_emutls_stmt(gimple * stmt,struct lower_emutls_data * d)560 lower_emutls_stmt (gimple *stmt, struct lower_emutls_data *d)
561 {
562 struct walk_stmt_info wi;
563
564 d->loc = gimple_location (stmt);
565
566 memset (&wi, 0, sizeof (wi));
567 wi.info = d;
568 wi.val_only = true;
569 walk_gimple_op (stmt, lower_emutls_1, &wi);
570
571 if (wi.changed)
572 update_stmt (stmt);
573 }
574
575 /* Lower the I'th operand of PHI. */
576
577 static void
lower_emutls_phi_arg(gphi * phi,unsigned int i,struct lower_emutls_data * d)578 lower_emutls_phi_arg (gphi *phi, unsigned int i,
579 struct lower_emutls_data *d)
580 {
581 struct walk_stmt_info wi;
582 struct phi_arg_d *pd = gimple_phi_arg (phi, i);
583
584 /* Early out for a very common case we don't care about. */
585 if (TREE_CODE (pd->def) == SSA_NAME)
586 return;
587
588 d->loc = pd->locus;
589
590 memset (&wi, 0, sizeof (wi));
591 wi.info = d;
592 wi.val_only = true;
593 walk_tree (&pd->def, lower_emutls_1, &wi, NULL);
594
595 /* For normal statements, we let update_stmt do its job. But for phi
596 nodes, we have to manipulate the immediate use list by hand. */
597 if (wi.changed)
598 {
599 gcc_assert (TREE_CODE (pd->def) == SSA_NAME);
600 link_imm_use_stmt (&pd->imm_use, pd->def, phi);
601 }
602 }
603
604 /* Reset access variable for a given TLS variable data DATA. */
605
606 bool
reset_access(varpool_node * const &,tls_var_data * data,void *)607 reset_access (varpool_node * const &, tls_var_data *data, void *)
608 {
609 data->access = NULL;
610
611 return true;
612 }
613
614 /* Clear the access variables, in order to begin a new block. */
615
616 static inline void
clear_access_vars(void)617 clear_access_vars (void)
618 {
619 tls_map->traverse<void *, reset_access> (NULL);
620 }
621
622 /* Lower the entire function NODE. */
623
624 static void
lower_emutls_function_body(struct cgraph_node * node)625 lower_emutls_function_body (struct cgraph_node *node)
626 {
627 struct lower_emutls_data d;
628 bool any_edge_inserts = false;
629
630 push_cfun (DECL_STRUCT_FUNCTION (node->decl));
631
632 d.cfun_node = node;
633 d.builtin_decl = builtin_decl_explicit (BUILT_IN_EMUTLS_GET_ADDRESS);
634 /* This is where we introduce the declaration to the IL and so we have to
635 create a node for it. */
636 d.builtin_node = cgraph_node::get_create (d.builtin_decl);
637
638 FOR_EACH_BB_FN (d.bb, cfun)
639 {
640 unsigned int i, nedge;
641
642 /* Lower each of the PHI nodes of the block, as we may have
643 propagated &tlsvar into a PHI argument. These loops are
644 arranged so that we process each edge at once, and each
645 PHI argument for that edge. */
646 if (!gimple_seq_empty_p (phi_nodes (d.bb)))
647 {
648 nedge = EDGE_COUNT (d.bb->preds);
649 for (i = 0; i < nedge; ++i)
650 {
651 edge e = EDGE_PRED (d.bb, i);
652
653 /* We can re-use any SSA_NAME created on this edge. */
654 clear_access_vars ();
655 d.seq = NULL;
656
657 for (gphi_iterator gsi = gsi_start_phis (d.bb);
658 !gsi_end_p (gsi);
659 gsi_next (&gsi))
660 lower_emutls_phi_arg (gsi.phi (), i, &d);
661
662 /* Insert all statements generated by all phi nodes for this
663 particular edge all at once. */
664 if (d.seq)
665 {
666 gsi_insert_seq_on_edge (e, d.seq);
667 any_edge_inserts = true;
668 }
669 }
670 }
671
672 /* We can re-use any SSA_NAME created during this basic block. */
673 clear_access_vars ();
674
675 /* Lower each of the statements of the block. */
676 for (gimple_stmt_iterator gsi = gsi_start_bb (d.bb); !gsi_end_p (gsi);
677 gsi_next (&gsi))
678 {
679 d.seq = NULL;
680 lower_emutls_stmt (gsi_stmt (gsi), &d);
681
682 /* If any new statements were created, insert them immediately
683 before the first use. This prevents variable lifetimes from
684 becoming unnecessarily long. */
685 if (d.seq)
686 gsi_insert_seq_before (&gsi, d.seq, GSI_SAME_STMT);
687 }
688 }
689
690 if (any_edge_inserts)
691 gsi_commit_edge_inserts ();
692
693 pop_cfun ();
694 }
695
696 /* Create emutls variable for VAR, DATA is pointer to static
697 ctor body we can add constructors to.
698 Callback for varpool_for_variable_and_aliases. */
699
700 static bool
create_emultls_var(varpool_node * var,void * data)701 create_emultls_var (varpool_node *var, void *data)
702 {
703 tree cdecl;
704 tls_var_data value;
705
706 cdecl = new_emutls_decl (var->decl,
707 var->alias && var->analyzed
708 ? var->get_alias_target ()->decl : NULL);
709
710 varpool_node *cvar = varpool_node::get (cdecl);
711
712 if (!var->alias)
713 {
714 /* Make sure the COMMON block control variable gets initialized.
715 Note that there's no point in doing this for aliases; we only
716 need to do this once for the main variable. */
717 emutls_common_1 (var->decl, cdecl, (tree *)data);
718 }
719 if (var->alias && !var->analyzed)
720 cvar->alias = true;
721
722 /* Indicate that the value of the TLS variable may be found elsewhere,
723 preventing the variable from re-appearing in the GIMPLE. We cheat
724 and use the control variable here (rather than a full call_expr),
725 which is special-cased inside the DWARF2 output routines. */
726 SET_DECL_VALUE_EXPR (var->decl, cdecl);
727 DECL_HAS_VALUE_EXPR_P (var->decl) = 1;
728
729 value.control_var = cvar;
730 tls_map->put (var, value);
731
732 return false;
733 }
734
735 /* Main entry point to the tls lowering pass. */
736
737 static unsigned int
ipa_lower_emutls(void)738 ipa_lower_emutls (void)
739 {
740 varpool_node *var;
741 cgraph_node *func;
742 bool any_aliases = false;
743 tree ctor_body = NULL;
744 hash_set <varpool_node *> visited;
745 auto_vec <varpool_node *> tls_vars;
746
747 /* Examine all global variables for TLS variables. */
748 FOR_EACH_VARIABLE (var)
749 if (DECL_THREAD_LOCAL_P (var->decl)
750 && !visited.add (var))
751 {
752 gcc_checking_assert (TREE_STATIC (var->decl)
753 || DECL_EXTERNAL (var->decl));
754 tls_vars.safe_push (var);
755 if (var->alias && var->definition
756 && !visited.add (var->ultimate_alias_target ()))
757 tls_vars.safe_push (var->ultimate_alias_target ());
758 }
759
760 /* If we found no TLS variables, then there is no further work to do. */
761 if (tls_vars.is_empty ())
762 {
763 if (dump_file)
764 fprintf (dump_file, "No TLS variables found.\n");
765 return 0;
766 }
767
768 tls_map = new hash_map <varpool_node *, tls_var_data> ();
769
770 /* Create the control variables for each TLS variable. */
771 for (unsigned i = 0; i < tls_vars.length (); i++)
772 {
773 var = tls_vars[i];
774
775 if (var->alias && !var->analyzed)
776 any_aliases = true;
777 else if (!var->alias)
778 var->call_for_symbol_and_aliases (create_emultls_var, &ctor_body, true);
779 }
780
781 /* If there were any aliases, then frob the alias_pairs vector. */
782 if (any_aliases)
783 {
784 alias_pair *p;
785 unsigned int i;
786 FOR_EACH_VEC_SAFE_ELT (alias_pairs, i, p)
787 if (DECL_THREAD_LOCAL_P (p->decl))
788 {
789 p->decl = tls_map->get
790 (varpool_node::get (p->decl))->control_var->decl;
791 p->target = get_emutls_object_name (p->target);
792 }
793 }
794
795 /* Adjust all uses of TLS variables within the function bodies. */
796 FOR_EACH_DEFINED_FUNCTION (func)
797 if (func->lowered)
798 lower_emutls_function_body (func);
799
800 /* Generate the constructor for any COMMON control variables created. */
801 if (ctor_body)
802 cgraph_build_static_cdtor ('I', ctor_body, DEFAULT_INIT_PRIORITY);
803
804 delete tls_map;
805
806 return 0;
807 }
808
809 namespace {
810
811 const pass_data pass_data_ipa_lower_emutls =
812 {
813 SIMPLE_IPA_PASS, /* type */
814 "emutls", /* name */
815 OPTGROUP_NONE, /* optinfo_flags */
816 TV_IPA_OPT, /* tv_id */
817 ( PROP_cfg | PROP_ssa ), /* properties_required */
818 0, /* properties_provided */
819 0, /* properties_destroyed */
820 0, /* todo_flags_start */
821 0, /* todo_flags_finish */
822 };
823
824 class pass_ipa_lower_emutls : public simple_ipa_opt_pass
825 {
826 public:
pass_ipa_lower_emutls(gcc::context * ctxt)827 pass_ipa_lower_emutls (gcc::context *ctxt)
828 : simple_ipa_opt_pass (pass_data_ipa_lower_emutls, ctxt)
829 {}
830
831 /* opt_pass methods: */
gate(function *)832 virtual bool gate (function *)
833 {
834 /* If the target supports TLS natively, we need do nothing here. */
835 return !targetm.have_tls;
836 }
837
execute(function *)838 virtual unsigned int execute (function *) { return ipa_lower_emutls (); }
839
840 }; // class pass_ipa_lower_emutls
841
842 } // anon namespace
843
844 simple_ipa_opt_pass *
make_pass_ipa_lower_emutls(gcc::context * ctxt)845 make_pass_ipa_lower_emutls (gcc::context *ctxt)
846 {
847 return new pass_ipa_lower_emutls (ctxt);
848 }
849