Move clearing of flag_strict_aliasing to gcc interface.
[gcc.git] / gcc / go / gofrontend / gogo-tree.cc
1 // gogo-tree.cc -- convert Go frontend Gogo IR to gcc trees.
2
3 // Copyright 2009 The Go Authors. All rights reserved.
4 // Use of this source code is governed by a BSD-style
5 // license that can be found in the LICENSE file.
6
7 #include "go-system.h"
8
9 #include <gmp.h>
10
11 #ifndef ENABLE_BUILD_WITH_CXX
12 extern "C"
13 {
14 #endif
15
16 #include "toplev.h"
17 #include "tree.h"
18 #include "gimple.h"
19 #include "tree-iterator.h"
20 #include "cgraph.h"
21 #include "langhooks.h"
22 #include "convert.h"
23 #include "output.h"
24 #include "diagnostic.h"
25
26 #ifndef ENABLE_BUILD_WITH_CXX
27 }
28 #endif
29
30 #include "go-c.h"
31 #include "types.h"
32 #include "expressions.h"
33 #include "statements.h"
34 #include "gogo.h"
35
36 // Whether we have seen any errors.
37
38 bool
39 saw_errors()
40 {
41 return errorcount != 0 || sorrycount != 0;
42 }
43
44 // A helper function.
45
46 static inline tree
47 get_identifier_from_string(const std::string& str)
48 {
49 return get_identifier_with_length(str.data(), str.length());
50 }
51
52 // Builtin functions.
53
54 static std::map<std::string, tree> builtin_functions;
55
56 // Define a builtin function. BCODE is the builtin function code
57 // defined by builtins.def. NAME is the name of the builtin function.
58 // LIBNAME is the name of the corresponding library function, and is
59 // NULL if there isn't one. FNTYPE is the type of the function.
60 // CONST_P is true if the function has the const attribute.
61
62 static void
63 define_builtin(built_in_function bcode, const char* name, const char* libname,
64 tree fntype, bool const_p)
65 {
66 tree decl = add_builtin_function(name, fntype, bcode, BUILT_IN_NORMAL,
67 libname, NULL_TREE);
68 if (const_p)
69 TREE_READONLY(decl) = 1;
70 built_in_decls[bcode] = decl;
71 implicit_built_in_decls[bcode] = decl;
72 builtin_functions[name] = decl;
73 if (libname != NULL)
74 {
75 decl = add_builtin_function(libname, fntype, bcode, BUILT_IN_NORMAL,
76 NULL, NULL_TREE);
77 if (const_p)
78 TREE_READONLY(decl) = 1;
79 builtin_functions[libname] = decl;
80 }
81 }
82
83 // Create trees for implicit builtin functions.
84
85 void
86 Gogo::define_builtin_function_trees()
87 {
88 /* We need to define the fetch_and_add functions, since we use them
89 for ++ and --. */
90 tree t = go_type_for_size(BITS_PER_UNIT, 1);
91 tree p = build_pointer_type(build_qualified_type(t, TYPE_QUAL_VOLATILE));
92 define_builtin(BUILT_IN_ADD_AND_FETCH_1, "__sync_fetch_and_add_1", NULL,
93 build_function_type_list(t, p, t, NULL_TREE), false);
94
95 t = go_type_for_size(BITS_PER_UNIT * 2, 1);
96 p = build_pointer_type(build_qualified_type(t, TYPE_QUAL_VOLATILE));
97 define_builtin (BUILT_IN_ADD_AND_FETCH_2, "__sync_fetch_and_add_2", NULL,
98 build_function_type_list(t, p, t, NULL_TREE), false);
99
100 t = go_type_for_size(BITS_PER_UNIT * 4, 1);
101 p = build_pointer_type(build_qualified_type(t, TYPE_QUAL_VOLATILE));
102 define_builtin(BUILT_IN_ADD_AND_FETCH_4, "__sync_fetch_and_add_4", NULL,
103 build_function_type_list(t, p, t, NULL_TREE), false);
104
105 t = go_type_for_size(BITS_PER_UNIT * 8, 1);
106 p = build_pointer_type(build_qualified_type(t, TYPE_QUAL_VOLATILE));
107 define_builtin(BUILT_IN_ADD_AND_FETCH_8, "__sync_fetch_and_add_8", NULL,
108 build_function_type_list(t, p, t, NULL_TREE), false);
109
110 // We use __builtin_expect for magic import functions.
111 define_builtin(BUILT_IN_EXPECT, "__builtin_expect", NULL,
112 build_function_type_list(long_integer_type_node,
113 long_integer_type_node,
114 long_integer_type_node,
115 NULL_TREE),
116 true);
117
118 // We use __builtin_memmove for the predeclared copy function.
119 define_builtin(BUILT_IN_MEMMOVE, "__builtin_memmove", "memmove",
120 build_function_type_list(ptr_type_node,
121 ptr_type_node,
122 const_ptr_type_node,
123 size_type_node,
124 NULL_TREE),
125 false);
126
127 // We provide sqrt for the math library.
128 define_builtin(BUILT_IN_SQRT, "__builtin_sqrt", "sqrt",
129 build_function_type_list(double_type_node,
130 double_type_node,
131 NULL_TREE),
132 true);
133 define_builtin(BUILT_IN_SQRTL, "__builtin_sqrtl", "sqrtl",
134 build_function_type_list(long_double_type_node,
135 long_double_type_node,
136 NULL_TREE),
137 true);
138
139 // We use __builtin_return_address in the thunk we build for
140 // functions which call recover.
141 define_builtin(BUILT_IN_RETURN_ADDRESS, "__builtin_return_address", NULL,
142 build_function_type_list(ptr_type_node,
143 unsigned_type_node,
144 NULL_TREE),
145 false);
146
147 // The compiler uses __builtin_trap for some exception handling
148 // cases.
149 define_builtin(BUILT_IN_TRAP, "__builtin_trap", NULL,
150 build_function_type(void_type_node, void_list_node),
151 false);
152 }
153
154 // Get the name to use for the import control function. If there is a
155 // global function or variable, then we know that that name must be
156 // unique in the link, and we use it as the basis for our name.
157
158 const std::string&
159 Gogo::get_init_fn_name()
160 {
161 if (this->init_fn_name_.empty())
162 {
163 gcc_assert(this->package_ != NULL);
164 if (this->package_name() == "main")
165 {
166 // Use a name which the runtime knows.
167 this->init_fn_name_ = "__go_init_main";
168 }
169 else
170 {
171 std::string s = this->unique_prefix();
172 s.append(1, '.');
173 s.append(this->package_name());
174 s.append("..import");
175 this->init_fn_name_ = s;
176 }
177 }
178
179 return this->init_fn_name_;
180 }
181
182 // Add statements to INIT_STMT_LIST which run the initialization
183 // functions for imported packages. This is only used for the "main"
184 // package.
185
186 void
187 Gogo::init_imports(tree* init_stmt_list)
188 {
189 gcc_assert(this->package_name() == "main");
190
191 if (this->imported_init_fns_.empty())
192 return;
193
194 tree fntype = build_function_type(void_type_node, void_list_node);
195
196 // We must call them in increasing priority order.
197 std::vector<Import_init> v;
198 for (std::set<Import_init>::const_iterator p =
199 this->imported_init_fns_.begin();
200 p != this->imported_init_fns_.end();
201 ++p)
202 v.push_back(*p);
203 std::sort(v.begin(), v.end());
204
205 for (std::vector<Import_init>::const_iterator p = v.begin();
206 p != v.end();
207 ++p)
208 {
209 std::string user_name = p->package_name() + ".init";
210 tree decl = build_decl(UNKNOWN_LOCATION, FUNCTION_DECL,
211 get_identifier_from_string(user_name),
212 fntype);
213 const std::string& init_name(p->init_name());
214 SET_DECL_ASSEMBLER_NAME(decl, get_identifier_from_string(init_name));
215 TREE_PUBLIC(decl) = 1;
216 DECL_EXTERNAL(decl) = 1;
217 append_to_statement_list(build_call_expr(decl, 0), init_stmt_list);
218 }
219 }
220
221 // Register global variables with the garbage collector. We need to
222 // register all variables which can hold a pointer value. They become
223 // roots during the mark phase. We build a struct that is easy to
224 // hook into a list of roots.
225
226 // struct __go_gc_root_list
227 // {
228 // struct __go_gc_root_list* __next;
229 // struct __go_gc_root
230 // {
231 // void* __decl;
232 // size_t __size;
233 // } __roots[];
234 // };
235
236 // The last entry in the roots array has a NULL decl field.
237
238 void
239 Gogo::register_gc_vars(const std::vector<Named_object*>& var_gc,
240 tree* init_stmt_list)
241 {
242 if (var_gc.empty())
243 return;
244
245 size_t count = var_gc.size();
246
247 tree root_type = Gogo::builtin_struct(NULL, "__go_gc_root", NULL_TREE, 2,
248 "__next",
249 ptr_type_node,
250 "__size",
251 sizetype);
252
253 tree index_type = build_index_type(size_int(count));
254 tree array_type = build_array_type(root_type, index_type);
255
256 tree root_list_type = make_node(RECORD_TYPE);
257 root_list_type = Gogo::builtin_struct(NULL, "__go_gc_root_list",
258 root_list_type, 2,
259 "__next",
260 build_pointer_type(root_list_type),
261 "__roots",
262 array_type);
263
264 // Build an initialier for the __roots array.
265
266 VEC(constructor_elt,gc)* roots_init = VEC_alloc(constructor_elt, gc,
267 count + 1);
268
269 size_t i = 0;
270 for (std::vector<Named_object*>::const_iterator p = var_gc.begin();
271 p != var_gc.end();
272 ++p, ++i)
273 {
274 VEC(constructor_elt,gc)* init = VEC_alloc(constructor_elt, gc, 2);
275
276 constructor_elt* elt = VEC_quick_push(constructor_elt, init, NULL);
277 tree field = TYPE_FIELDS(root_type);
278 elt->index = field;
279 tree decl = (*p)->get_tree(this, NULL);
280 gcc_assert(TREE_CODE(decl) == VAR_DECL);
281 elt->value = build_fold_addr_expr(decl);
282
283 elt = VEC_quick_push(constructor_elt, init, NULL);
284 field = DECL_CHAIN(field);
285 elt->index = field;
286 elt->value = DECL_SIZE_UNIT(decl);
287
288 elt = VEC_quick_push(constructor_elt, roots_init, NULL);
289 elt->index = size_int(i);
290 elt->value = build_constructor(root_type, init);
291 }
292
293 // The list ends with a NULL entry.
294
295 VEC(constructor_elt,gc)* init = VEC_alloc(constructor_elt, gc, 2);
296
297 constructor_elt* elt = VEC_quick_push(constructor_elt, init, NULL);
298 tree field = TYPE_FIELDS(root_type);
299 elt->index = field;
300 elt->value = fold_convert(TREE_TYPE(field), null_pointer_node);
301
302 elt = VEC_quick_push(constructor_elt, init, NULL);
303 field = DECL_CHAIN(field);
304 elt->index = field;
305 elt->value = size_zero_node;
306
307 elt = VEC_quick_push(constructor_elt, roots_init, NULL);
308 elt->index = size_int(i);
309 elt->value = build_constructor(root_type, init);
310
311 // Build a constructor for the struct.
312
313 VEC(constructor_elt,gc*) root_list_init = VEC_alloc(constructor_elt, gc, 2);
314
315 elt = VEC_quick_push(constructor_elt, root_list_init, NULL);
316 field = TYPE_FIELDS(root_list_type);
317 elt->index = field;
318 elt->value = fold_convert(TREE_TYPE(field), null_pointer_node);
319
320 elt = VEC_quick_push(constructor_elt, root_list_init, NULL);
321 field = DECL_CHAIN(field);
322 elt->index = field;
323 elt->value = build_constructor(array_type, roots_init);
324
325 // Build a decl to register.
326
327 tree decl = build_decl(BUILTINS_LOCATION, VAR_DECL,
328 create_tmp_var_name("gc"), root_list_type);
329 DECL_EXTERNAL(decl) = 0;
330 TREE_PUBLIC(decl) = 0;
331 TREE_STATIC(decl) = 1;
332 DECL_ARTIFICIAL(decl) = 1;
333 DECL_INITIAL(decl) = build_constructor(root_list_type, root_list_init);
334 rest_of_decl_compilation(decl, 1, 0);
335
336 static tree register_gc_fndecl;
337 tree call = Gogo::call_builtin(&register_gc_fndecl, BUILTINS_LOCATION,
338 "__go_register_gc_roots",
339 1,
340 void_type_node,
341 build_pointer_type(root_list_type),
342 build_fold_addr_expr(decl));
343 if (call != error_mark_node)
344 append_to_statement_list(call, init_stmt_list);
345 }
346
347 // Build the decl for the initialization function.
348
349 tree
350 Gogo::initialization_function_decl()
351 {
352 // The tedious details of building your own function. There doesn't
353 // seem to be a helper function for this.
354 std::string name = this->package_name() + ".init";
355 tree fndecl = build_decl(BUILTINS_LOCATION, FUNCTION_DECL,
356 get_identifier_from_string(name),
357 build_function_type(void_type_node,
358 void_list_node));
359 const std::string& asm_name(this->get_init_fn_name());
360 SET_DECL_ASSEMBLER_NAME(fndecl, get_identifier_from_string(asm_name));
361
362 tree resdecl = build_decl(BUILTINS_LOCATION, RESULT_DECL, NULL_TREE,
363 void_type_node);
364 DECL_ARTIFICIAL(resdecl) = 1;
365 DECL_CONTEXT(resdecl) = fndecl;
366 DECL_RESULT(fndecl) = resdecl;
367
368 TREE_STATIC(fndecl) = 1;
369 TREE_USED(fndecl) = 1;
370 DECL_ARTIFICIAL(fndecl) = 1;
371 TREE_PUBLIC(fndecl) = 1;
372
373 DECL_INITIAL(fndecl) = make_node(BLOCK);
374 TREE_USED(DECL_INITIAL(fndecl)) = 1;
375
376 return fndecl;
377 }
378
379 // Create the magic initialization function. INIT_STMT_LIST is the
380 // code that it needs to run.
381
382 void
383 Gogo::write_initialization_function(tree fndecl, tree init_stmt_list)
384 {
385 // Make sure that we thought we needed an initialization function,
386 // as otherwise we will not have reported it in the export data.
387 gcc_assert(this->package_name() == "main" || this->need_init_fn_);
388
389 if (fndecl == NULL_TREE)
390 fndecl = this->initialization_function_decl();
391
392 DECL_SAVED_TREE(fndecl) = init_stmt_list;
393
394 current_function_decl = fndecl;
395 if (DECL_STRUCT_FUNCTION(fndecl) == NULL)
396 push_struct_function(fndecl);
397 else
398 push_cfun(DECL_STRUCT_FUNCTION(fndecl));
399 cfun->function_end_locus = BUILTINS_LOCATION;
400
401 gimplify_function_tree(fndecl);
402
403 cgraph_add_new_function(fndecl, false);
404 cgraph_mark_needed_node(cgraph_node(fndecl));
405
406 current_function_decl = NULL_TREE;
407 pop_cfun();
408 }
409
410 // Search for references to VAR in any statements or called functions.
411
412 class Find_var : public Traverse
413 {
414 public:
415 // A hash table we use to avoid looping. The index is the name of a
416 // named object. We only look through objects defined in this
417 // package.
418 typedef Unordered_set(std::string) Seen_objects;
419
420 Find_var(Named_object* var, Seen_objects* seen_objects)
421 : Traverse(traverse_expressions),
422 var_(var), seen_objects_(seen_objects), found_(false)
423 { }
424
425 // Whether the variable was found.
426 bool
427 found() const
428 { return this->found_; }
429
430 int
431 expression(Expression**);
432
433 private:
434 // The variable we are looking for.
435 Named_object* var_;
436 // Names of objects we have already seen.
437 Seen_objects* seen_objects_;
438 // True if the variable was found.
439 bool found_;
440 };
441
442 // See if EXPR refers to VAR, looking through function calls and
443 // variable initializations.
444
445 int
446 Find_var::expression(Expression** pexpr)
447 {
448 Expression* e = *pexpr;
449
450 Var_expression* ve = e->var_expression();
451 if (ve != NULL)
452 {
453 Named_object* v = ve->named_object();
454 if (v == this->var_)
455 {
456 this->found_ = true;
457 return TRAVERSE_EXIT;
458 }
459
460 if (v->is_variable() && v->package() == NULL)
461 {
462 Expression* init = v->var_value()->init();
463 if (init != NULL)
464 {
465 std::pair<Seen_objects::iterator, bool> ins =
466 this->seen_objects_->insert(v->name());
467 if (ins.second)
468 {
469 // This is the first time we have seen this name.
470 if (Expression::traverse(&init, this) == TRAVERSE_EXIT)
471 return TRAVERSE_EXIT;
472 }
473 }
474 }
475 }
476
477 // We traverse the code of any function we see. Note that this
478 // means that we will traverse the code of a function whose address
479 // is taken even if it is not called.
480 Func_expression* fe = e->func_expression();
481 if (fe != NULL)
482 {
483 const Named_object* f = fe->named_object();
484 if (f->is_function() && f->package() == NULL)
485 {
486 std::pair<Seen_objects::iterator, bool> ins =
487 this->seen_objects_->insert(f->name());
488 if (ins.second)
489 {
490 // This is the first time we have seen this name.
491 if (f->func_value()->block()->traverse(this) == TRAVERSE_EXIT)
492 return TRAVERSE_EXIT;
493 }
494 }
495 }
496
497 return TRAVERSE_CONTINUE;
498 }
499
500 // Return true if EXPR refers to VAR.
501
502 static bool
503 expression_requires(Expression* expr, Block* preinit, Named_object* var)
504 {
505 Find_var::Seen_objects seen_objects;
506 Find_var find_var(var, &seen_objects);
507 if (expr != NULL)
508 Expression::traverse(&expr, &find_var);
509 if (preinit != NULL)
510 preinit->traverse(&find_var);
511
512 return find_var.found();
513 }
514
515 // Sort variable initializations. If the initialization expression
516 // for variable A refers directly or indirectly to the initialization
517 // expression for variable B, then we must initialize B before A.
518
519 class Var_init
520 {
521 public:
522 Var_init()
523 : var_(NULL), init_(NULL_TREE), waiting_(0)
524 { }
525
526 Var_init(Named_object* var, tree init)
527 : var_(var), init_(init), waiting_(0)
528 { }
529
530 // Return the variable.
531 Named_object*
532 var() const
533 { return this->var_; }
534
535 // Return the initialization expression.
536 tree
537 init() const
538 { return this->init_; }
539
540 // Return the number of variables waiting for this one to be
541 // initialized.
542 size_t
543 waiting() const
544 { return this->waiting_; }
545
546 // Increment the number waiting.
547 void
548 increment_waiting()
549 { ++this->waiting_; }
550
551 private:
552 // The variable being initialized.
553 Named_object* var_;
554 // The initialization expression to run.
555 tree init_;
556 // The number of variables which are waiting for this one.
557 size_t waiting_;
558 };
559
560 typedef std::list<Var_init> Var_inits;
561
562 // Sort the variable initializations. The rule we follow is that we
563 // emit them in the order they appear in the array, except that if the
564 // initialization expression for a variable V1 depends upon another
565 // variable V2 then we initialize V1 after V2.
566
567 static void
568 sort_var_inits(Var_inits* var_inits)
569 {
570 Var_inits ready;
571 while (!var_inits->empty())
572 {
573 Var_inits::iterator p1 = var_inits->begin();
574 Named_object* var = p1->var();
575 Expression* init = var->var_value()->init();
576 Block* preinit = var->var_value()->preinit();
577
578 // Start walking through the list to see which variables VAR
579 // needs to wait for. We can skip P1->WAITING variables--that
580 // is the number we've already checked.
581 Var_inits::iterator p2 = p1;
582 ++p2;
583 for (size_t i = p1->waiting(); i > 0; --i)
584 ++p2;
585
586 for (; p2 != var_inits->end(); ++p2)
587 {
588 if (expression_requires(init, preinit, p2->var()))
589 {
590 // Check for cycles.
591 if (expression_requires(p2->var()->var_value()->init(),
592 p2->var()->var_value()->preinit(),
593 var))
594 {
595 error_at(var->location(),
596 ("initialization expressions for %qs and "
597 "%qs depend upon each other"),
598 var->message_name().c_str(),
599 p2->var()->message_name().c_str());
600 inform(p2->var()->location(), "%qs defined here",
601 p2->var()->message_name().c_str());
602 p2 = var_inits->end();
603 }
604 else
605 {
606 // We can't emit P1 until P2 is emitted. Move P1.
607 // Note that the WAITING loop always executes at
608 // least once, which is what we want.
609 p2->increment_waiting();
610 Var_inits::iterator p3 = p2;
611 for (size_t i = p2->waiting(); i > 0; --i)
612 ++p3;
613 var_inits->splice(p3, *var_inits, p1);
614 }
615 break;
616 }
617 }
618
619 if (p2 == var_inits->end())
620 {
621 // VAR does not depends upon any other initialization expressions.
622
623 // Check for a loop of VAR on itself. We only do this if
624 // INIT is not NULL; when INIT is NULL, it means that
625 // PREINIT sets VAR, which we will interpret as a loop.
626 if (init != NULL && expression_requires(init, preinit, var))
627 error_at(var->location(),
628 "initialization expression for %qs depends upon itself",
629 var->message_name().c_str());
630 ready.splice(ready.end(), *var_inits, p1);
631 }
632 }
633
634 // Now READY is the list in the desired initialization order.
635 var_inits->swap(ready);
636 }
637
638 // Write out the global definitions.
639
640 void
641 Gogo::write_globals()
642 {
643 Bindings* bindings = this->current_bindings();
644 size_t count = bindings->size_definitions();
645
646 tree* vec = new tree[count];
647
648 tree init_fndecl = NULL_TREE;
649 tree init_stmt_list = NULL_TREE;
650
651 if (this->package_name() == "main")
652 this->init_imports(&init_stmt_list);
653
654 // A list of variable initializations.
655 Var_inits var_inits;
656
657 // A list of variables which need to be registered with the garbage
658 // collector.
659 std::vector<Named_object*> var_gc;
660 var_gc.reserve(count);
661
662 tree var_init_stmt_list = NULL_TREE;
663 size_t i = 0;
664 for (Bindings::const_definitions_iterator p = bindings->begin_definitions();
665 p != bindings->end_definitions();
666 ++p, ++i)
667 {
668 Named_object* no = *p;
669
670 gcc_assert(!no->is_type_declaration() && !no->is_function_declaration());
671 // There is nothing to do for a package.
672 if (no->is_package())
673 {
674 --i;
675 --count;
676 continue;
677 }
678
679 // There is nothing to do for an object which was imported from
680 // a different package into the global scope.
681 if (no->package() != NULL)
682 {
683 --i;
684 --count;
685 continue;
686 }
687
688 // There is nothing useful we can output for constants which
689 // have ideal or non-integeral type.
690 if (no->is_const())
691 {
692 Type* type = no->const_value()->type();
693 if (type == NULL)
694 type = no->const_value()->expr()->type();
695 if (type->is_abstract() || type->integer_type() == NULL)
696 {
697 --i;
698 --count;
699 continue;
700 }
701 }
702
703 vec[i] = no->get_tree(this, NULL);
704
705 if (vec[i] == error_mark_node)
706 {
707 gcc_assert(saw_errors());
708 --i;
709 --count;
710 continue;
711 }
712
713 // If a variable is initialized to a non-constant value, do the
714 // initialization in an initialization function.
715 if (TREE_CODE(vec[i]) == VAR_DECL)
716 {
717 gcc_assert(no->is_variable());
718
719 // Check for a sink variable, which may be used to run
720 // an initializer purely for its side effects.
721 bool is_sink = no->name()[0] == '_' && no->name()[1] == '.';
722
723 tree var_init_tree = NULL_TREE;
724 if (!no->var_value()->has_pre_init())
725 {
726 tree init = no->var_value()->get_init_tree(this, NULL);
727 if (init == error_mark_node)
728 gcc_assert(saw_errors());
729 else if (init == NULL_TREE)
730 ;
731 else if (TREE_CONSTANT(init))
732 DECL_INITIAL(vec[i]) = init;
733 else if (is_sink)
734 var_init_tree = init;
735 else
736 var_init_tree = fold_build2_loc(no->location(), MODIFY_EXPR,
737 void_type_node, vec[i], init);
738 }
739 else
740 {
741 // We are going to create temporary variables which
742 // means that we need an fndecl.
743 if (init_fndecl == NULL_TREE)
744 init_fndecl = this->initialization_function_decl();
745 current_function_decl = init_fndecl;
746 if (DECL_STRUCT_FUNCTION(init_fndecl) == NULL)
747 push_struct_function(init_fndecl);
748 else
749 push_cfun(DECL_STRUCT_FUNCTION(init_fndecl));
750
751 tree var_decl = is_sink ? NULL_TREE : vec[i];
752 var_init_tree = no->var_value()->get_init_block(this, NULL,
753 var_decl);
754
755 current_function_decl = NULL_TREE;
756 pop_cfun();
757 }
758
759 if (var_init_tree != NULL_TREE && var_init_tree != error_mark_node)
760 {
761 if (no->var_value()->init() == NULL
762 && !no->var_value()->has_pre_init())
763 append_to_statement_list(var_init_tree, &var_init_stmt_list);
764 else
765 var_inits.push_back(Var_init(no, var_init_tree));
766 }
767
768 if (!is_sink && no->var_value()->type()->has_pointer())
769 var_gc.push_back(no);
770 }
771 }
772
773 // Register global variables with the garbage collector.
774 this->register_gc_vars(var_gc, &init_stmt_list);
775
776 // Simple variable initializations, after all variables are
777 // registered.
778 append_to_statement_list(var_init_stmt_list, &init_stmt_list);
779
780 // Complex variable initializations, first sorting them into a
781 // workable order.
782 if (!var_inits.empty())
783 {
784 sort_var_inits(&var_inits);
785 for (Var_inits::const_iterator p = var_inits.begin();
786 p != var_inits.end();
787 ++p)
788 append_to_statement_list(p->init(), &init_stmt_list);
789 }
790
791 // After all the variables are initialized, call the "init"
792 // functions if there are any.
793 for (std::vector<Named_object*>::const_iterator p =
794 this->init_functions_.begin();
795 p != this->init_functions_.end();
796 ++p)
797 {
798 tree decl = (*p)->get_tree(this, NULL);
799 tree call = build_call_expr(decl, 0);
800 append_to_statement_list(call, &init_stmt_list);
801 }
802
803 // Set up a magic function to do all the initialization actions.
804 // This will be called if this package is imported.
805 if (init_stmt_list != NULL_TREE
806 || this->need_init_fn_
807 || this->package_name() == "main")
808 this->write_initialization_function(init_fndecl, init_stmt_list);
809
810 // Pass everything back to the middle-end.
811
812 wrapup_global_declarations(vec, count);
813
814 cgraph_finalize_compilation_unit();
815
816 check_global_declarations(vec, count);
817 emit_debug_global_declarations(vec, count);
818
819 delete[] vec;
820 }
821
822 // Get a tree for the identifier for a named object.
823
824 tree
825 Named_object::get_id(Gogo* gogo)
826 {
827 std::string decl_name;
828 if (this->is_function_declaration()
829 && !this->func_declaration_value()->asm_name().empty())
830 decl_name = this->func_declaration_value()->asm_name();
831 else if ((this->is_variable() && !this->var_value()->is_global())
832 || (this->is_type()
833 && this->type_value()->location() == BUILTINS_LOCATION))
834 {
835 // We don't need the package name for local variables or builtin
836 // types.
837 decl_name = Gogo::unpack_hidden_name(this->name_);
838 }
839 else if (this->is_function()
840 && !this->func_value()->is_method()
841 && this->package_ == NULL
842 && Gogo::unpack_hidden_name(this->name_) == "init")
843 {
844 // A single package can have multiple "init" functions, which
845 // means that we need to give them different names.
846 static int init_index;
847 char buf[20];
848 snprintf(buf, sizeof buf, "%d", init_index);
849 ++init_index;
850 decl_name = gogo->package_name() + ".init." + buf;
851 }
852 else
853 {
854 std::string package_name;
855 if (this->package_ == NULL)
856 package_name = gogo->package_name();
857 else
858 package_name = this->package_->name();
859
860 decl_name = package_name + '.' + Gogo::unpack_hidden_name(this->name_);
861
862 Function_type* fntype;
863 if (this->is_function())
864 fntype = this->func_value()->type();
865 else if (this->is_function_declaration())
866 fntype = this->func_declaration_value()->type();
867 else
868 fntype = NULL;
869 if (fntype != NULL && fntype->is_method())
870 {
871 decl_name.push_back('.');
872 decl_name.append(fntype->receiver()->type()->mangled_name(gogo));
873 }
874 }
875 if (this->is_type())
876 {
877 const Named_object* in_function = this->type_value()->in_function();
878 if (in_function != NULL)
879 decl_name += '$' + in_function->name();
880 }
881 return get_identifier_from_string(decl_name);
882 }
883
884 // Get a tree for a named object.
885
886 tree
887 Named_object::get_tree(Gogo* gogo, Named_object* function)
888 {
889 if (this->tree_ != NULL_TREE)
890 {
891 // If this is a variable whose address is taken, we must rebuild
892 // the INDIRECT_REF each time to avoid invalid sharing.
893 tree ret = this->tree_;
894 if (((this->classification_ == NAMED_OBJECT_VAR
895 && this->var_value()->is_in_heap())
896 || (this->classification_ == NAMED_OBJECT_RESULT_VAR
897 && this->result_var_value()->is_in_heap()))
898 && ret != error_mark_node)
899 {
900 gcc_assert(TREE_CODE(ret) == INDIRECT_REF);
901 ret = build_fold_indirect_ref(TREE_OPERAND(ret, 0));
902 TREE_THIS_NOTRAP(ret) = 1;
903 }
904 return ret;
905 }
906
907 tree name;
908 if (this->classification_ == NAMED_OBJECT_TYPE)
909 name = NULL_TREE;
910 else
911 name = this->get_id(gogo);
912 tree decl;
913 switch (this->classification_)
914 {
915 case NAMED_OBJECT_CONST:
916 {
917 Named_constant* named_constant = this->u_.const_value;
918 Translate_context subcontext(gogo, function, NULL, NULL_TREE);
919 tree expr_tree = named_constant->expr()->get_tree(&subcontext);
920 if (expr_tree == error_mark_node)
921 decl = error_mark_node;
922 else
923 {
924 Type* type = named_constant->type();
925 if (type != NULL && !type->is_abstract())
926 expr_tree = fold_convert(type->get_tree(gogo), expr_tree);
927 if (expr_tree == error_mark_node)
928 decl = error_mark_node;
929 else if (INTEGRAL_TYPE_P(TREE_TYPE(expr_tree)))
930 {
931 decl = build_decl(named_constant->location(), CONST_DECL,
932 name, TREE_TYPE(expr_tree));
933 DECL_INITIAL(decl) = expr_tree;
934 TREE_CONSTANT(decl) = 1;
935 TREE_READONLY(decl) = 1;
936 }
937 else
938 {
939 // A CONST_DECL is only for an enum constant, so we
940 // shouldn't use for non-integral types. Instead we
941 // just return the constant itself, rather than a
942 // decl.
943 decl = expr_tree;
944 }
945 }
946 }
947 break;
948
949 case NAMED_OBJECT_TYPE:
950 {
951 Named_type* named_type = this->u_.type_value;
952 tree type_tree = named_type->get_tree(gogo);
953 if (type_tree == error_mark_node)
954 decl = error_mark_node;
955 else
956 {
957 decl = TYPE_NAME(type_tree);
958 gcc_assert(decl != NULL_TREE);
959
960 // We need to produce a type descriptor for every named
961 // type, and for a pointer to every named type, since
962 // other files or packages might refer to them. We need
963 // to do this even for hidden types, because they might
964 // still be returned by some function. Simply calling the
965 // type_descriptor method is enough to create the type
966 // descriptor, even though we don't do anything with it.
967 if (this->package_ == NULL)
968 {
969 named_type->type_descriptor_pointer(gogo);
970 Type* pn = Type::make_pointer_type(named_type);
971 pn->type_descriptor_pointer(gogo);
972 }
973 }
974 }
975 break;
976
977 case NAMED_OBJECT_TYPE_DECLARATION:
978 error("reference to undefined type %qs",
979 this->message_name().c_str());
980 return error_mark_node;
981
982 case NAMED_OBJECT_VAR:
983 {
984 Variable* var = this->u_.var_value;
985 Type* type = var->type();
986 if (type->is_error_type()
987 || (type->is_undefined()
988 && (!var->is_global() || this->package() == NULL)))
989 {
990 // Force the error for an undefined type, just in case.
991 type->base();
992 decl = error_mark_node;
993 }
994 else
995 {
996 tree var_type = type->get_tree(gogo);
997 bool is_parameter = var->is_parameter();
998 if (var->is_receiver() && type->points_to() == NULL)
999 is_parameter = false;
1000 if (var->is_in_heap())
1001 {
1002 is_parameter = false;
1003 var_type = build_pointer_type(var_type);
1004 }
1005 decl = build_decl(var->location(),
1006 is_parameter ? PARM_DECL : VAR_DECL,
1007 name, var_type);
1008 if (!var->is_global())
1009 {
1010 tree fnid = function->get_id(gogo);
1011 tree fndecl = function->func_value()->get_or_make_decl(gogo,
1012 function,
1013 fnid);
1014 DECL_CONTEXT(decl) = fndecl;
1015 }
1016 if (is_parameter)
1017 DECL_ARG_TYPE(decl) = TREE_TYPE(decl);
1018
1019 if (var->is_global())
1020 {
1021 const Package* package = this->package();
1022 if (package == NULL)
1023 TREE_STATIC(decl) = 1;
1024 else
1025 DECL_EXTERNAL(decl) = 1;
1026 if (!Gogo::is_hidden_name(this->name_))
1027 {
1028 TREE_PUBLIC(decl) = 1;
1029 std::string asm_name = (package == NULL
1030 ? gogo->unique_prefix()
1031 : package->unique_prefix());
1032 asm_name.append(1, '.');
1033 asm_name.append(IDENTIFIER_POINTER(name),
1034 IDENTIFIER_LENGTH(name));
1035 tree asm_id = get_identifier_from_string(asm_name);
1036 SET_DECL_ASSEMBLER_NAME(decl, asm_id);
1037 }
1038 }
1039
1040 // FIXME: We should only set this for variables which are
1041 // actually used somewhere.
1042 TREE_USED(decl) = 1;
1043 }
1044 }
1045 break;
1046
1047 case NAMED_OBJECT_RESULT_VAR:
1048 {
1049 Result_variable* result = this->u_.result_var_value;
1050 Type* type = result->type();
1051 if (type->is_error_type() || type->is_undefined())
1052 {
1053 // Force the error.
1054 type->base();
1055 decl = error_mark_node;
1056 }
1057 else
1058 {
1059 gcc_assert(result->function() == function->func_value());
1060 source_location loc = function->location();
1061 tree result_type = type->get_tree(gogo);
1062 tree init;
1063 if (!result->is_in_heap())
1064 init = type->get_init_tree(gogo, false);
1065 else
1066 {
1067 tree space = gogo->allocate_memory(type,
1068 TYPE_SIZE_UNIT(result_type),
1069 loc);
1070 result_type = build_pointer_type(result_type);
1071 tree subinit = type->get_init_tree(gogo, true);
1072 if (subinit == NULL_TREE)
1073 init = fold_convert_loc(loc, result_type, space);
1074 else
1075 {
1076 space = save_expr(space);
1077 space = fold_convert_loc(loc, result_type, space);
1078 tree spaceref = build_fold_indirect_ref_loc(loc, space);
1079 TREE_THIS_NOTRAP(spaceref) = 1;
1080 tree set = fold_build2_loc(loc, MODIFY_EXPR, void_type_node,
1081 spaceref, subinit);
1082 init = fold_build2_loc(loc, COMPOUND_EXPR, TREE_TYPE(space),
1083 set, space);
1084 }
1085 }
1086 decl = build_decl(loc, VAR_DECL, name, result_type);
1087 tree fnid = function->get_id(gogo);
1088 tree fndecl = function->func_value()->get_or_make_decl(gogo,
1089 function,
1090 fnid);
1091 DECL_CONTEXT(decl) = fndecl;
1092 DECL_INITIAL(decl) = init;
1093 TREE_USED(decl) = 1;
1094 }
1095 }
1096 break;
1097
1098 case NAMED_OBJECT_SINK:
1099 gcc_unreachable();
1100
1101 case NAMED_OBJECT_FUNC:
1102 {
1103 Function* func = this->u_.func_value;
1104 decl = func->get_or_make_decl(gogo, this, name);
1105 if (decl != error_mark_node)
1106 {
1107 if (func->block() != NULL)
1108 {
1109 if (DECL_STRUCT_FUNCTION(decl) == NULL)
1110 push_struct_function(decl);
1111 else
1112 push_cfun(DECL_STRUCT_FUNCTION(decl));
1113
1114 cfun->function_end_locus = func->block()->end_location();
1115
1116 current_function_decl = decl;
1117
1118 func->build_tree(gogo, this);
1119
1120 gimplify_function_tree(decl);
1121
1122 cgraph_finalize_function(decl, true);
1123
1124 current_function_decl = NULL_TREE;
1125 pop_cfun();
1126 }
1127 }
1128 }
1129 break;
1130
1131 default:
1132 gcc_unreachable();
1133 }
1134
1135 if (TREE_TYPE(decl) == error_mark_node)
1136 decl = error_mark_node;
1137
1138 tree ret = decl;
1139
1140 // If this is a local variable whose address is taken, then we
1141 // actually store it in the heap. For uses of the variable we need
1142 // to return a reference to that heap location.
1143 if (((this->classification_ == NAMED_OBJECT_VAR
1144 && this->var_value()->is_in_heap())
1145 || (this->classification_ == NAMED_OBJECT_RESULT_VAR
1146 && this->result_var_value()->is_in_heap()))
1147 && ret != error_mark_node)
1148 {
1149 gcc_assert(POINTER_TYPE_P(TREE_TYPE(ret)));
1150 ret = build_fold_indirect_ref(ret);
1151 TREE_THIS_NOTRAP(ret) = 1;
1152 }
1153
1154 this->tree_ = ret;
1155
1156 if (ret != error_mark_node)
1157 go_preserve_from_gc(ret);
1158
1159 return ret;
1160 }
1161
1162 // Get the initial value of a variable as a tree. This does not
1163 // consider whether the variable is in the heap--it returns the
1164 // initial value as though it were always stored in the stack.
1165
1166 tree
1167 Variable::get_init_tree(Gogo* gogo, Named_object* function)
1168 {
1169 gcc_assert(this->preinit_ == NULL);
1170 if (this->init_ == NULL)
1171 {
1172 gcc_assert(!this->is_parameter_);
1173 return this->type_->get_init_tree(gogo, this->is_global_);
1174 }
1175 else
1176 {
1177 Translate_context context(gogo, function, NULL, NULL_TREE);
1178 tree rhs_tree = this->init_->get_tree(&context);
1179 return Expression::convert_for_assignment(&context, this->type(),
1180 this->init_->type(),
1181 rhs_tree, this->location());
1182 }
1183 }
1184
1185 // Get the initial value of a variable when a block is required.
1186 // VAR_DECL is the decl to set; it may be NULL for a sink variable.
1187
1188 tree
1189 Variable::get_init_block(Gogo* gogo, Named_object* function, tree var_decl)
1190 {
1191 gcc_assert(this->preinit_ != NULL);
1192
1193 // We want to add the variable assignment to the end of the preinit
1194 // block. The preinit block may have a TRY_FINALLY_EXPR and a
1195 // TRY_CATCH_EXPR; if it does, we want to add to the end of the
1196 // regular statements.
1197
1198 Translate_context context(gogo, function, NULL, NULL_TREE);
1199 tree block_tree = this->preinit_->get_tree(&context);
1200 if (block_tree == error_mark_node)
1201 return error_mark_node;
1202 gcc_assert(TREE_CODE(block_tree) == BIND_EXPR);
1203 tree statements = BIND_EXPR_BODY(block_tree);
1204 while (statements != NULL_TREE
1205 && (TREE_CODE(statements) == TRY_FINALLY_EXPR
1206 || TREE_CODE(statements) == TRY_CATCH_EXPR))
1207 statements = TREE_OPERAND(statements, 0);
1208
1209 // It's possible to have pre-init statements without an initializer
1210 // if the pre-init statements set the variable.
1211 if (this->init_ != NULL)
1212 {
1213 tree rhs_tree = this->init_->get_tree(&context);
1214 if (rhs_tree == error_mark_node)
1215 return error_mark_node;
1216 if (var_decl == NULL_TREE)
1217 append_to_statement_list(rhs_tree, &statements);
1218 else
1219 {
1220 tree val = Expression::convert_for_assignment(&context, this->type(),
1221 this->init_->type(),
1222 rhs_tree,
1223 this->location());
1224 if (val == error_mark_node)
1225 return error_mark_node;
1226 tree set = fold_build2_loc(this->location(), MODIFY_EXPR,
1227 void_type_node, var_decl, val);
1228 append_to_statement_list(set, &statements);
1229 }
1230 }
1231
1232 return block_tree;
1233 }
1234
1235 // Get a tree for a function decl.
1236
1237 tree
1238 Function::get_or_make_decl(Gogo* gogo, Named_object* no, tree id)
1239 {
1240 if (this->fndecl_ == NULL_TREE)
1241 {
1242 tree functype = this->type_->get_tree(gogo);
1243 if (functype == error_mark_node)
1244 this->fndecl_ = error_mark_node;
1245 else
1246 {
1247 // The type of a function comes back as a pointer, but we
1248 // want the real function type for a function declaration.
1249 gcc_assert(POINTER_TYPE_P(functype));
1250 functype = TREE_TYPE(functype);
1251 tree decl = build_decl(this->location(), FUNCTION_DECL, id, functype);
1252
1253 this->fndecl_ = decl;
1254
1255 gcc_assert(no->package() == NULL);
1256 if (this->enclosing_ != NULL || Gogo::is_thunk(no))
1257 ;
1258 else if (Gogo::unpack_hidden_name(no->name()) == "init"
1259 && !this->type_->is_method())
1260 ;
1261 else if (Gogo::unpack_hidden_name(no->name()) == "main"
1262 && gogo->package_name() == "main")
1263 TREE_PUBLIC(decl) = 1;
1264 // Methods have to be public even if they are hidden because
1265 // they can be pulled into type descriptors when using
1266 // anonymous fields.
1267 else if (!Gogo::is_hidden_name(no->name())
1268 || this->type_->is_method())
1269 {
1270 TREE_PUBLIC(decl) = 1;
1271 std::string asm_name = gogo->unique_prefix();
1272 asm_name.append(1, '.');
1273 asm_name.append(IDENTIFIER_POINTER(id), IDENTIFIER_LENGTH(id));
1274 SET_DECL_ASSEMBLER_NAME(decl,
1275 get_identifier_from_string(asm_name));
1276 }
1277
1278 // Why do we have to do this in the frontend?
1279 tree restype = TREE_TYPE(functype);
1280 tree resdecl = build_decl(this->location(), RESULT_DECL, NULL_TREE,
1281 restype);
1282 DECL_ARTIFICIAL(resdecl) = 1;
1283 DECL_IGNORED_P(resdecl) = 1;
1284 DECL_CONTEXT(resdecl) = decl;
1285 DECL_RESULT(decl) = resdecl;
1286
1287 if (this->enclosing_ != NULL)
1288 DECL_STATIC_CHAIN(decl) = 1;
1289
1290 // If a function calls the predeclared recover function, we
1291 // can't inline it, because recover behaves differently in a
1292 // function passed directly to defer.
1293 if (this->calls_recover_ && !this->is_recover_thunk_)
1294 DECL_UNINLINABLE(decl) = 1;
1295
1296 // If this is a thunk created to call a function which calls
1297 // the predeclared recover function, we need to disable
1298 // stack splitting for the thunk.
1299 if (this->is_recover_thunk_)
1300 {
1301 tree attr = get_identifier("__no_split_stack__");
1302 DECL_ATTRIBUTES(decl) = tree_cons(attr, NULL_TREE, NULL_TREE);
1303 }
1304
1305 go_preserve_from_gc(decl);
1306
1307 if (this->closure_var_ != NULL)
1308 {
1309 push_struct_function(decl);
1310
1311 tree closure_decl = this->closure_var_->get_tree(gogo, no);
1312 if (closure_decl == error_mark_node)
1313 this->fndecl_ = error_mark_node;
1314 else
1315 {
1316 DECL_ARTIFICIAL(closure_decl) = 1;
1317 DECL_IGNORED_P(closure_decl) = 1;
1318 TREE_USED(closure_decl) = 1;
1319 DECL_ARG_TYPE(closure_decl) = TREE_TYPE(closure_decl);
1320 TREE_READONLY(closure_decl) = 1;
1321
1322 DECL_STRUCT_FUNCTION(decl)->static_chain_decl = closure_decl;
1323 }
1324
1325 pop_cfun();
1326 }
1327 }
1328 }
1329 return this->fndecl_;
1330 }
1331
1332 // Get a tree for a function declaration.
1333
1334 tree
1335 Function_declaration::get_or_make_decl(Gogo* gogo, Named_object* no, tree id)
1336 {
1337 if (this->fndecl_ == NULL_TREE)
1338 {
1339 // Let Go code use an asm declaration to pick up a builtin
1340 // function.
1341 if (!this->asm_name_.empty())
1342 {
1343 std::map<std::string, tree>::const_iterator p =
1344 builtin_functions.find(this->asm_name_);
1345 if (p != builtin_functions.end())
1346 {
1347 this->fndecl_ = p->second;
1348 return this->fndecl_;
1349 }
1350 }
1351
1352 tree functype = this->fntype_->get_tree(gogo);
1353 tree decl;
1354 if (functype == error_mark_node)
1355 decl = error_mark_node;
1356 else
1357 {
1358 // The type of a function comes back as a pointer, but we
1359 // want the real function type for a function declaration.
1360 gcc_assert(POINTER_TYPE_P(functype));
1361 functype = TREE_TYPE(functype);
1362 decl = build_decl(this->location(), FUNCTION_DECL, id, functype);
1363 TREE_PUBLIC(decl) = 1;
1364 DECL_EXTERNAL(decl) = 1;
1365
1366 if (this->asm_name_.empty())
1367 {
1368 std::string asm_name = (no->package() == NULL
1369 ? gogo->unique_prefix()
1370 : no->package()->unique_prefix());
1371 asm_name.append(1, '.');
1372 asm_name.append(IDENTIFIER_POINTER(id), IDENTIFIER_LENGTH(id));
1373 SET_DECL_ASSEMBLER_NAME(decl,
1374 get_identifier_from_string(asm_name));
1375 }
1376 }
1377 this->fndecl_ = decl;
1378 go_preserve_from_gc(decl);
1379 }
1380 return this->fndecl_;
1381 }
1382
1383 // We always pass the receiver to a method as a pointer. If the
1384 // receiver is actually declared as a non-pointer type, then we copy
1385 // the value into a local variable, so that it has the right type. In
1386 // this function we create the real PARM_DECL to use, and set
1387 // DEC_INITIAL of the var_decl to be the value passed in.
1388
1389 tree
1390 Function::make_receiver_parm_decl(Gogo* gogo, Named_object* no, tree var_decl)
1391 {
1392 if (var_decl == error_mark_node)
1393 return error_mark_node;
1394 // If the function takes the address of a receiver which is passed
1395 // by value, then we will have an INDIRECT_REF here. We need to get
1396 // the real variable.
1397 bool is_in_heap = no->var_value()->is_in_heap();
1398 tree val_type;
1399 if (TREE_CODE(var_decl) != INDIRECT_REF)
1400 {
1401 gcc_assert(!is_in_heap);
1402 val_type = TREE_TYPE(var_decl);
1403 }
1404 else
1405 {
1406 gcc_assert(is_in_heap);
1407 var_decl = TREE_OPERAND(var_decl, 0);
1408 if (var_decl == error_mark_node)
1409 return error_mark_node;
1410 gcc_assert(POINTER_TYPE_P(TREE_TYPE(var_decl)));
1411 val_type = TREE_TYPE(TREE_TYPE(var_decl));
1412 }
1413 gcc_assert(TREE_CODE(var_decl) == VAR_DECL);
1414 source_location loc = DECL_SOURCE_LOCATION(var_decl);
1415 std::string name = IDENTIFIER_POINTER(DECL_NAME(var_decl));
1416 name += ".pointer";
1417 tree id = get_identifier_from_string(name);
1418 tree parm_decl = build_decl(loc, PARM_DECL, id, build_pointer_type(val_type));
1419 DECL_CONTEXT(parm_decl) = current_function_decl;
1420 DECL_ARG_TYPE(parm_decl) = TREE_TYPE(parm_decl);
1421
1422 gcc_assert(DECL_INITIAL(var_decl) == NULL_TREE);
1423 // The receiver might be passed as a null pointer.
1424 tree check = fold_build2_loc(loc, NE_EXPR, boolean_type_node, parm_decl,
1425 fold_convert_loc(loc, TREE_TYPE(parm_decl),
1426 null_pointer_node));
1427 tree ind = build_fold_indirect_ref_loc(loc, parm_decl);
1428 TREE_THIS_NOTRAP(ind) = 1;
1429 tree zero_init = no->var_value()->type()->get_init_tree(gogo, false);
1430 tree init = fold_build3_loc(loc, COND_EXPR, TREE_TYPE(ind),
1431 check, ind, zero_init);
1432
1433 if (is_in_heap)
1434 {
1435 tree size = TYPE_SIZE_UNIT(val_type);
1436 tree space = gogo->allocate_memory(no->var_value()->type(), size,
1437 no->location());
1438 space = save_expr(space);
1439 space = fold_convert(build_pointer_type(val_type), space);
1440 tree spaceref = build_fold_indirect_ref_loc(no->location(), space);
1441 TREE_THIS_NOTRAP(spaceref) = 1;
1442 tree check = fold_build2_loc(loc, NE_EXPR, boolean_type_node,
1443 parm_decl,
1444 fold_convert_loc(loc, TREE_TYPE(parm_decl),
1445 null_pointer_node));
1446 tree parmref = build_fold_indirect_ref_loc(no->location(), parm_decl);
1447 TREE_THIS_NOTRAP(parmref) = 1;
1448 tree set = fold_build2_loc(loc, MODIFY_EXPR, void_type_node,
1449 spaceref, parmref);
1450 init = fold_build2_loc(loc, COMPOUND_EXPR, TREE_TYPE(space),
1451 build3(COND_EXPR, void_type_node,
1452 check, set, NULL_TREE),
1453 space);
1454 }
1455
1456 DECL_INITIAL(var_decl) = init;
1457
1458 return parm_decl;
1459 }
1460
1461 // If we take the address of a parameter, then we need to copy it into
1462 // the heap. We will access it as a local variable via an
1463 // indirection.
1464
1465 tree
1466 Function::copy_parm_to_heap(Gogo* gogo, Named_object* no, tree ref)
1467 {
1468 if (ref == error_mark_node)
1469 return error_mark_node;
1470
1471 gcc_assert(TREE_CODE(ref) == INDIRECT_REF);
1472
1473 tree var_decl = TREE_OPERAND(ref, 0);
1474 if (var_decl == error_mark_node)
1475 return error_mark_node;
1476 gcc_assert(TREE_CODE(var_decl) == VAR_DECL);
1477 source_location loc = DECL_SOURCE_LOCATION(var_decl);
1478
1479 std::string name = IDENTIFIER_POINTER(DECL_NAME(var_decl));
1480 name += ".param";
1481 tree id = get_identifier_from_string(name);
1482
1483 tree type = TREE_TYPE(var_decl);
1484 gcc_assert(POINTER_TYPE_P(type));
1485 type = TREE_TYPE(type);
1486
1487 tree parm_decl = build_decl(loc, PARM_DECL, id, type);
1488 DECL_CONTEXT(parm_decl) = current_function_decl;
1489 DECL_ARG_TYPE(parm_decl) = type;
1490
1491 tree size = TYPE_SIZE_UNIT(type);
1492 tree space = gogo->allocate_memory(no->var_value()->type(), size, loc);
1493 space = save_expr(space);
1494 space = fold_convert(TREE_TYPE(var_decl), space);
1495 tree spaceref = build_fold_indirect_ref_loc(loc, space);
1496 TREE_THIS_NOTRAP(spaceref) = 1;
1497 tree init = build2(COMPOUND_EXPR, TREE_TYPE(space),
1498 build2(MODIFY_EXPR, void_type_node, spaceref, parm_decl),
1499 space);
1500 DECL_INITIAL(var_decl) = init;
1501
1502 return parm_decl;
1503 }
1504
1505 // Get a tree for function code.
1506
1507 void
1508 Function::build_tree(Gogo* gogo, Named_object* named_function)
1509 {
1510 tree fndecl = this->fndecl_;
1511 gcc_assert(fndecl != NULL_TREE);
1512
1513 tree params = NULL_TREE;
1514 tree* pp = &params;
1515
1516 tree declare_vars = NULL_TREE;
1517 for (Bindings::const_definitions_iterator p =
1518 this->block_->bindings()->begin_definitions();
1519 p != this->block_->bindings()->end_definitions();
1520 ++p)
1521 {
1522 if ((*p)->is_variable() && (*p)->var_value()->is_parameter())
1523 {
1524 *pp = (*p)->get_tree(gogo, named_function);
1525
1526 // We always pass the receiver to a method as a pointer. If
1527 // the receiver is declared as a non-pointer type, then we
1528 // copy the value into a local variable.
1529 if ((*p)->var_value()->is_receiver()
1530 && (*p)->var_value()->type()->points_to() == NULL)
1531 {
1532 tree parm_decl = this->make_receiver_parm_decl(gogo, *p, *pp);
1533 tree var = *pp;
1534 if (TREE_CODE(var) == INDIRECT_REF)
1535 var = TREE_OPERAND(var, 0);
1536 if (var != error_mark_node)
1537 {
1538 gcc_assert(TREE_CODE(var) == VAR_DECL);
1539 DECL_CHAIN(var) = declare_vars;
1540 declare_vars = var;
1541 }
1542 *pp = parm_decl;
1543 }
1544 else if ((*p)->var_value()->is_in_heap())
1545 {
1546 // If we take the address of a parameter, then we need
1547 // to copy it into the heap.
1548 tree parm_decl = this->copy_parm_to_heap(gogo, *p, *pp);
1549 if (*pp != error_mark_node)
1550 {
1551 gcc_assert(TREE_CODE(*pp) == INDIRECT_REF);
1552 tree var_decl = TREE_OPERAND(*pp, 0);
1553 if (var_decl != error_mark_node)
1554 {
1555 gcc_assert(TREE_CODE(var_decl) == VAR_DECL);
1556 DECL_CHAIN(var_decl) = declare_vars;
1557 declare_vars = var_decl;
1558 }
1559 }
1560 *pp = parm_decl;
1561 }
1562
1563 if (*pp != error_mark_node)
1564 {
1565 gcc_assert(TREE_CODE(*pp) == PARM_DECL);
1566 pp = &DECL_CHAIN(*pp);
1567 }
1568 }
1569 else if ((*p)->is_result_variable())
1570 {
1571 tree var_decl = (*p)->get_tree(gogo, named_function);
1572 if (var_decl != error_mark_node
1573 && (*p)->result_var_value()->is_in_heap())
1574 {
1575 gcc_assert(TREE_CODE(var_decl) == INDIRECT_REF);
1576 var_decl = TREE_OPERAND(var_decl, 0);
1577 }
1578 if (var_decl != error_mark_node)
1579 {
1580 gcc_assert(TREE_CODE(var_decl) == VAR_DECL);
1581 DECL_CHAIN(var_decl) = declare_vars;
1582 declare_vars = var_decl;
1583 }
1584 }
1585 }
1586 *pp = NULL_TREE;
1587
1588 DECL_ARGUMENTS(fndecl) = params;
1589
1590 if (this->block_ != NULL)
1591 {
1592 gcc_assert(DECL_INITIAL(fndecl) == NULL_TREE);
1593
1594 // Declare variables if necessary.
1595 tree bind = NULL_TREE;
1596 if (declare_vars != NULL_TREE)
1597 {
1598 tree block = make_node(BLOCK);
1599 BLOCK_SUPERCONTEXT(block) = fndecl;
1600 DECL_INITIAL(fndecl) = block;
1601 BLOCK_VARS(block) = declare_vars;
1602 TREE_USED(block) = 1;
1603 bind = build3(BIND_EXPR, void_type_node, BLOCK_VARS(block),
1604 NULL_TREE, block);
1605 TREE_SIDE_EFFECTS(bind) = 1;
1606 }
1607
1608 // Build the trees for all the statements in the function.
1609 Translate_context context(gogo, named_function, NULL, NULL_TREE);
1610 tree code = this->block_->get_tree(&context);
1611
1612 tree init = NULL_TREE;
1613 tree except = NULL_TREE;
1614 tree fini = NULL_TREE;
1615
1616 // Initialize variables if necessary.
1617 for (tree v = declare_vars; v != NULL_TREE; v = DECL_CHAIN(v))
1618 {
1619 tree dv = build1(DECL_EXPR, void_type_node, v);
1620 SET_EXPR_LOCATION(dv, DECL_SOURCE_LOCATION(v));
1621 append_to_statement_list(dv, &init);
1622 }
1623
1624 // If we have a defer stack, initialize it at the start of a
1625 // function.
1626 if (this->defer_stack_ != NULL_TREE)
1627 {
1628 tree defer_init = build1(DECL_EXPR, void_type_node,
1629 this->defer_stack_);
1630 SET_EXPR_LOCATION(defer_init, this->block_->start_location());
1631 append_to_statement_list(defer_init, &init);
1632
1633 // Clean up the defer stack when we leave the function.
1634 this->build_defer_wrapper(gogo, named_function, &except, &fini);
1635 }
1636
1637 if (code != NULL_TREE && code != error_mark_node)
1638 {
1639 if (init != NULL_TREE)
1640 code = build2(COMPOUND_EXPR, void_type_node, init, code);
1641 if (except != NULL_TREE)
1642 code = build2(TRY_CATCH_EXPR, void_type_node, code,
1643 build2(CATCH_EXPR, void_type_node, NULL, except));
1644 if (fini != NULL_TREE)
1645 code = build2(TRY_FINALLY_EXPR, void_type_node, code, fini);
1646 }
1647
1648 // Stick the code into the block we built for the receiver, if
1649 // we built on.
1650 if (bind != NULL_TREE && code != NULL_TREE && code != error_mark_node)
1651 {
1652 BIND_EXPR_BODY(bind) = code;
1653 code = bind;
1654 }
1655
1656 DECL_SAVED_TREE(fndecl) = code;
1657 }
1658 }
1659
1660 // Build the wrappers around function code needed if the function has
1661 // any defer statements. This sets *EXCEPT to an exception handler
1662 // and *FINI to a finally handler.
1663
1664 void
1665 Function::build_defer_wrapper(Gogo* gogo, Named_object* named_function,
1666 tree *except, tree *fini)
1667 {
1668 source_location end_loc = this->block_->end_location();
1669
1670 // Add an exception handler. This is used if a panic occurs. Its
1671 // purpose is to stop the stack unwinding if a deferred function
1672 // calls recover. There are more details in
1673 // libgo/runtime/go-unwind.c.
1674 tree stmt_list = NULL_TREE;
1675 static tree check_fndecl;
1676 tree call = Gogo::call_builtin(&check_fndecl,
1677 end_loc,
1678 "__go_check_defer",
1679 1,
1680 void_type_node,
1681 ptr_type_node,
1682 this->defer_stack(end_loc));
1683 if (call != error_mark_node)
1684 append_to_statement_list(call, &stmt_list);
1685
1686 tree retval = this->return_value(gogo, named_function, end_loc, &stmt_list);
1687 tree set;
1688 if (retval == NULL_TREE)
1689 set = NULL_TREE;
1690 else
1691 set = fold_build2_loc(end_loc, MODIFY_EXPR, void_type_node,
1692 DECL_RESULT(this->fndecl_), retval);
1693 tree ret_stmt = fold_build1_loc(end_loc, RETURN_EXPR, void_type_node, set);
1694 append_to_statement_list(ret_stmt, &stmt_list);
1695
1696 gcc_assert(*except == NULL_TREE);
1697 *except = stmt_list;
1698
1699 // Add some finally code to run the defer functions. This is used
1700 // both in the normal case, when no panic occurs, and also if a
1701 // panic occurs to run any further defer functions. Of course, it
1702 // is possible for a defer function to call panic which should be
1703 // caught by another defer function. To handle that we use a loop.
1704 // finish:
1705 // try { __go_undefer(); } catch { __go_check_defer(); goto finish; }
1706 // if (return values are named) return named_vals;
1707
1708 stmt_list = NULL;
1709
1710 tree label = create_artificial_label(end_loc);
1711 tree define_label = fold_build1_loc(end_loc, LABEL_EXPR, void_type_node,
1712 label);
1713 append_to_statement_list(define_label, &stmt_list);
1714
1715 static tree undefer_fndecl;
1716 tree undefer = Gogo::call_builtin(&undefer_fndecl,
1717 end_loc,
1718 "__go_undefer",
1719 1,
1720 void_type_node,
1721 ptr_type_node,
1722 this->defer_stack(end_loc));
1723 if (undefer_fndecl != NULL_TREE)
1724 TREE_NOTHROW(undefer_fndecl) = 0;
1725
1726 tree defer = Gogo::call_builtin(&check_fndecl,
1727 end_loc,
1728 "__go_check_defer",
1729 1,
1730 void_type_node,
1731 ptr_type_node,
1732 this->defer_stack(end_loc));
1733 tree jump = fold_build1_loc(end_loc, GOTO_EXPR, void_type_node, label);
1734 tree catch_body = build2(COMPOUND_EXPR, void_type_node, defer, jump);
1735 catch_body = build2(CATCH_EXPR, void_type_node, NULL, catch_body);
1736 tree try_catch = build2(TRY_CATCH_EXPR, void_type_node, undefer, catch_body);
1737
1738 append_to_statement_list(try_catch, &stmt_list);
1739
1740 if (this->type_->results() != NULL
1741 && !this->type_->results()->empty()
1742 && !this->type_->results()->front().name().empty())
1743 {
1744 // If the result variables are named, we need to return them
1745 // again, because they might have been changed by a defer
1746 // function.
1747 retval = this->return_value(gogo, named_function, end_loc,
1748 &stmt_list);
1749 set = fold_build2_loc(end_loc, MODIFY_EXPR, void_type_node,
1750 DECL_RESULT(this->fndecl_), retval);
1751 ret_stmt = fold_build1_loc(end_loc, RETURN_EXPR, void_type_node, set);
1752 append_to_statement_list(ret_stmt, &stmt_list);
1753 }
1754
1755 gcc_assert(*fini == NULL_TREE);
1756 *fini = stmt_list;
1757 }
1758
1759 // Return the value to assign to DECL_RESULT(this->fndecl_). This may
1760 // also add statements to STMT_LIST, which need to be executed before
1761 // the assignment. This is used for a return statement with no
1762 // explicit values.
1763
1764 tree
1765 Function::return_value(Gogo* gogo, Named_object* named_function,
1766 source_location location, tree* stmt_list) const
1767 {
1768 const Typed_identifier_list* results = this->type_->results();
1769 if (results == NULL || results->empty())
1770 return NULL_TREE;
1771
1772 // In the case of an exception handler created for functions with
1773 // defer statements, the result variables may be unnamed.
1774 bool is_named = !results->front().name().empty();
1775 if (is_named)
1776 gcc_assert(this->named_results_ != NULL
1777 && this->named_results_->size() == results->size());
1778
1779 tree retval;
1780 if (results->size() == 1)
1781 {
1782 if (is_named)
1783 return this->named_results_->front()->get_tree(gogo, named_function);
1784 else
1785 return results->front().type()->get_init_tree(gogo, false);
1786 }
1787 else
1788 {
1789 tree rettype = TREE_TYPE(DECL_RESULT(this->fndecl_));
1790 retval = create_tmp_var(rettype, "RESULT");
1791 tree field = TYPE_FIELDS(rettype);
1792 int index = 0;
1793 for (Typed_identifier_list::const_iterator pr = results->begin();
1794 pr != results->end();
1795 ++pr, ++index, field = DECL_CHAIN(field))
1796 {
1797 gcc_assert(field != NULL);
1798 tree val;
1799 if (is_named)
1800 val = (*this->named_results_)[index]->get_tree(gogo,
1801 named_function);
1802 else
1803 val = pr->type()->get_init_tree(gogo, false);
1804 tree set = fold_build2_loc(location, MODIFY_EXPR, void_type_node,
1805 build3(COMPONENT_REF, TREE_TYPE(field),
1806 retval, field, NULL_TREE),
1807 val);
1808 append_to_statement_list(set, stmt_list);
1809 }
1810 return retval;
1811 }
1812 }
1813
1814 // Get the tree for the variable holding the defer stack for this
1815 // function. At least at present, the value of this variable is not
1816 // used. However, a pointer to this variable is used as a marker for
1817 // the functions on the defer stack associated with this function.
1818 // Doing things this way permits inlining a function which uses defer.
1819
1820 tree
1821 Function::defer_stack(source_location location)
1822 {
1823 if (this->defer_stack_ == NULL_TREE)
1824 {
1825 tree var = create_tmp_var(ptr_type_node, "DEFER");
1826 DECL_INITIAL(var) = null_pointer_node;
1827 DECL_SOURCE_LOCATION(var) = location;
1828 TREE_ADDRESSABLE(var) = 1;
1829 this->defer_stack_ = var;
1830 }
1831 return fold_convert_loc(location, ptr_type_node,
1832 build_fold_addr_expr_loc(location,
1833 this->defer_stack_));
1834 }
1835
1836 // Get a tree for the statements in a block.
1837
1838 tree
1839 Block::get_tree(Translate_context* context)
1840 {
1841 Gogo* gogo = context->gogo();
1842
1843 tree block = make_node(BLOCK);
1844
1845 // Put the new block into the block tree.
1846
1847 if (context->block() == NULL)
1848 {
1849 tree fndecl;
1850 if (context->function() != NULL)
1851 fndecl = context->function()->func_value()->get_decl();
1852 else
1853 fndecl = current_function_decl;
1854 gcc_assert(fndecl != NULL_TREE);
1855
1856 // We may have already created a block for the receiver.
1857 if (DECL_INITIAL(fndecl) == NULL_TREE)
1858 {
1859 BLOCK_SUPERCONTEXT(block) = fndecl;
1860 DECL_INITIAL(fndecl) = block;
1861 }
1862 else
1863 {
1864 tree superblock_tree = DECL_INITIAL(fndecl);
1865 BLOCK_SUPERCONTEXT(block) = superblock_tree;
1866 gcc_assert(BLOCK_CHAIN(block) == NULL_TREE);
1867 BLOCK_CHAIN(block) = block;
1868 }
1869 }
1870 else
1871 {
1872 tree superblock_tree = context->block_tree();
1873 BLOCK_SUPERCONTEXT(block) = superblock_tree;
1874 tree* pp;
1875 for (pp = &BLOCK_SUBBLOCKS(superblock_tree);
1876 *pp != NULL_TREE;
1877 pp = &BLOCK_CHAIN(*pp))
1878 ;
1879 *pp = block;
1880 }
1881
1882 // Expand local variables in the block.
1883
1884 tree* pp = &BLOCK_VARS(block);
1885 for (Bindings::const_definitions_iterator pv =
1886 this->bindings_->begin_definitions();
1887 pv != this->bindings_->end_definitions();
1888 ++pv)
1889 {
1890 if ((!(*pv)->is_variable() || !(*pv)->var_value()->is_parameter())
1891 && !(*pv)->is_result_variable()
1892 && !(*pv)->is_const())
1893 {
1894 tree var = (*pv)->get_tree(gogo, context->function());
1895 if (var != error_mark_node && TREE_TYPE(var) != error_mark_node)
1896 {
1897 if ((*pv)->is_variable() && (*pv)->var_value()->is_in_heap())
1898 {
1899 gcc_assert(TREE_CODE(var) == INDIRECT_REF);
1900 var = TREE_OPERAND(var, 0);
1901 gcc_assert(TREE_CODE(var) == VAR_DECL);
1902 }
1903 *pp = var;
1904 pp = &DECL_CHAIN(*pp);
1905 }
1906 }
1907 }
1908 *pp = NULL_TREE;
1909
1910 Translate_context subcontext(context->gogo(), context->function(),
1911 this, block);
1912
1913 tree statements = NULL_TREE;
1914
1915 // Expand the statements.
1916
1917 for (std::vector<Statement*>::const_iterator p = this->statements_.begin();
1918 p != this->statements_.end();
1919 ++p)
1920 {
1921 tree statement = (*p)->get_tree(&subcontext);
1922 if (statement != error_mark_node)
1923 append_to_statement_list(statement, &statements);
1924 }
1925
1926 TREE_USED(block) = 1;
1927
1928 tree bind = build3(BIND_EXPR, void_type_node, BLOCK_VARS(block), statements,
1929 block);
1930 TREE_SIDE_EFFECTS(bind) = 1;
1931
1932 return bind;
1933 }
1934
1935 // Get the LABEL_DECL for a label.
1936
1937 tree
1938 Label::get_decl()
1939 {
1940 if (this->decl_ == NULL)
1941 {
1942 tree id = get_identifier_from_string(this->name_);
1943 this->decl_ = build_decl(this->location_, LABEL_DECL, id, void_type_node);
1944 DECL_CONTEXT(this->decl_) = current_function_decl;
1945 }
1946 return this->decl_;
1947 }
1948
1949 // Return an expression for the address of this label.
1950
1951 tree
1952 Label::get_addr(source_location location)
1953 {
1954 tree decl = this->get_decl();
1955 TREE_USED(decl) = 1;
1956 TREE_ADDRESSABLE(decl) = 1;
1957 return fold_convert_loc(location, ptr_type_node,
1958 build_fold_addr_expr_loc(location, decl));
1959 }
1960
1961 // Get the LABEL_DECL for an unnamed label.
1962
1963 tree
1964 Unnamed_label::get_decl()
1965 {
1966 if (this->decl_ == NULL)
1967 this->decl_ = create_artificial_label(this->location_);
1968 return this->decl_;
1969 }
1970
1971 // Get the LABEL_EXPR for an unnamed label.
1972
1973 tree
1974 Unnamed_label::get_definition()
1975 {
1976 tree t = build1(LABEL_EXPR, void_type_node, this->get_decl());
1977 SET_EXPR_LOCATION(t, this->location_);
1978 return t;
1979 }
1980
1981 // Return a goto to this label.
1982
1983 tree
1984 Unnamed_label::get_goto(source_location location)
1985 {
1986 tree t = build1(GOTO_EXPR, void_type_node, this->get_decl());
1987 SET_EXPR_LOCATION(t, location);
1988 return t;
1989 }
1990
1991 // Return the integer type to use for a size.
1992
1993 GO_EXTERN_C
1994 tree
1995 go_type_for_size(unsigned int bits, int unsignedp)
1996 {
1997 const char* name;
1998 switch (bits)
1999 {
2000 case 8:
2001 name = unsignedp ? "uint8" : "int8";
2002 break;
2003 case 16:
2004 name = unsignedp ? "uint16" : "int16";
2005 break;
2006 case 32:
2007 name = unsignedp ? "uint32" : "int32";
2008 break;
2009 case 64:
2010 name = unsignedp ? "uint64" : "int64";
2011 break;
2012 default:
2013 if (bits == POINTER_SIZE && unsignedp)
2014 name = "uintptr";
2015 else
2016 return NULL_TREE;
2017 }
2018 Type* type = Type::lookup_integer_type(name);
2019 return type->get_tree(go_get_gogo());
2020 }
2021
2022 // Return the type to use for a mode.
2023
2024 GO_EXTERN_C
2025 tree
2026 go_type_for_mode(enum machine_mode mode, int unsignedp)
2027 {
2028 // FIXME: This static_cast should be in machmode.h.
2029 enum mode_class mc = static_cast<enum mode_class>(GET_MODE_CLASS(mode));
2030 if (mc == MODE_INT)
2031 return go_type_for_size(GET_MODE_BITSIZE(mode), unsignedp);
2032 else if (mc == MODE_FLOAT)
2033 {
2034 Type* type;
2035 switch (GET_MODE_BITSIZE (mode))
2036 {
2037 case 32:
2038 type = Type::lookup_float_type("float32");
2039 break;
2040 case 64:
2041 type = Type::lookup_float_type("float64");
2042 break;
2043 default:
2044 // We have to check for long double in order to support
2045 // i386 excess precision.
2046 if (mode == TYPE_MODE(long_double_type_node))
2047 return long_double_type_node;
2048 return NULL_TREE;
2049 }
2050 return type->float_type()->type_tree();
2051 }
2052 else if (mc == MODE_COMPLEX_FLOAT)
2053 {
2054 Type *type;
2055 switch (GET_MODE_BITSIZE (mode))
2056 {
2057 case 64:
2058 type = Type::lookup_complex_type("complex64");
2059 break;
2060 case 128:
2061 type = Type::lookup_complex_type("complex128");
2062 break;
2063 default:
2064 // We have to check for long double in order to support
2065 // i386 excess precision.
2066 if (mode == TYPE_MODE(complex_long_double_type_node))
2067 return complex_long_double_type_node;
2068 return NULL_TREE;
2069 }
2070 return type->complex_type()->type_tree();
2071 }
2072 else
2073 return NULL_TREE;
2074 }
2075
2076 // Return a tree which allocates SIZE bytes which will holds value of
2077 // type TYPE.
2078
2079 tree
2080 Gogo::allocate_memory(Type* type, tree size, source_location location)
2081 {
2082 // If the package imports unsafe, then it may play games with
2083 // pointers that look like integers.
2084 if (this->imported_unsafe_ || type->has_pointer())
2085 {
2086 static tree new_fndecl;
2087 return Gogo::call_builtin(&new_fndecl,
2088 location,
2089 "__go_new",
2090 1,
2091 ptr_type_node,
2092 sizetype,
2093 size);
2094 }
2095 else
2096 {
2097 static tree new_nopointers_fndecl;
2098 return Gogo::call_builtin(&new_nopointers_fndecl,
2099 location,
2100 "__go_new_nopointers",
2101 1,
2102 ptr_type_node,
2103 sizetype,
2104 size);
2105 }
2106 }
2107
2108 // Build a builtin struct with a list of fields. The name is
2109 // STRUCT_NAME. STRUCT_TYPE is NULL_TREE or an empty RECORD_TYPE
2110 // node; this exists so that the struct can have fields which point to
2111 // itself. If PTYPE is not NULL, store the result in *PTYPE. There
2112 // are NFIELDS fields. Each field is a name (a const char*) followed
2113 // by a type (a tree).
2114
2115 tree
2116 Gogo::builtin_struct(tree* ptype, const char* struct_name, tree struct_type,
2117 int nfields, ...)
2118 {
2119 if (ptype != NULL && *ptype != NULL_TREE)
2120 return *ptype;
2121
2122 va_list ap;
2123 va_start(ap, nfields);
2124
2125 tree fields = NULL_TREE;
2126 for (int i = 0; i < nfields; ++i)
2127 {
2128 const char* field_name = va_arg(ap, const char*);
2129 tree type = va_arg(ap, tree);
2130 if (type == error_mark_node)
2131 {
2132 if (ptype != NULL)
2133 *ptype = error_mark_node;
2134 return error_mark_node;
2135 }
2136 tree field = build_decl(BUILTINS_LOCATION, FIELD_DECL,
2137 get_identifier(field_name), type);
2138 DECL_CHAIN(field) = fields;
2139 fields = field;
2140 }
2141
2142 va_end(ap);
2143
2144 if (struct_type == NULL_TREE)
2145 struct_type = make_node(RECORD_TYPE);
2146 finish_builtin_struct(struct_type, struct_name, fields, NULL_TREE);
2147
2148 if (ptype != NULL)
2149 {
2150 go_preserve_from_gc(struct_type);
2151 *ptype = struct_type;
2152 }
2153
2154 return struct_type;
2155 }
2156
2157 // Return a type to use for pointer to const char for a string.
2158
2159 tree
2160 Gogo::const_char_pointer_type_tree()
2161 {
2162 static tree type;
2163 if (type == NULL_TREE)
2164 {
2165 tree const_char_type = build_qualified_type(unsigned_char_type_node,
2166 TYPE_QUAL_CONST);
2167 type = build_pointer_type(const_char_type);
2168 go_preserve_from_gc(type);
2169 }
2170 return type;
2171 }
2172
2173 // Return a tree for a string constant.
2174
2175 tree
2176 Gogo::string_constant_tree(const std::string& val)
2177 {
2178 tree index_type = build_index_type(size_int(val.length()));
2179 tree const_char_type = build_qualified_type(unsigned_char_type_node,
2180 TYPE_QUAL_CONST);
2181 tree string_type = build_array_type(const_char_type, index_type);
2182 string_type = build_variant_type_copy(string_type);
2183 TYPE_STRING_FLAG(string_type) = 1;
2184 tree string_val = build_string(val.length(), val.data());
2185 TREE_TYPE(string_val) = string_type;
2186 return string_val;
2187 }
2188
2189 // Return a tree for a Go string constant.
2190
2191 tree
2192 Gogo::go_string_constant_tree(const std::string& val)
2193 {
2194 tree string_type = Type::make_string_type()->get_tree(this);
2195
2196 VEC(constructor_elt, gc)* init = VEC_alloc(constructor_elt, gc, 2);
2197
2198 constructor_elt* elt = VEC_quick_push(constructor_elt, init, NULL);
2199 tree field = TYPE_FIELDS(string_type);
2200 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(field)), "__data") == 0);
2201 elt->index = field;
2202 tree str = Gogo::string_constant_tree(val);
2203 elt->value = fold_convert(TREE_TYPE(field),
2204 build_fold_addr_expr(str));
2205
2206 elt = VEC_quick_push(constructor_elt, init, NULL);
2207 field = DECL_CHAIN(field);
2208 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(field)), "__length") == 0);
2209 elt->index = field;
2210 elt->value = build_int_cst_type(TREE_TYPE(field), val.length());
2211
2212 tree constructor = build_constructor(string_type, init);
2213 TREE_READONLY(constructor) = 1;
2214 TREE_CONSTANT(constructor) = 1;
2215
2216 return constructor;
2217 }
2218
2219 // Return a tree for a pointer to a Go string constant. This is only
2220 // used for type descriptors, so we return a pointer to a constant
2221 // decl.
2222
2223 tree
2224 Gogo::ptr_go_string_constant_tree(const std::string& val)
2225 {
2226 tree pval = this->go_string_constant_tree(val);
2227
2228 tree decl = build_decl(UNKNOWN_LOCATION, VAR_DECL,
2229 create_tmp_var_name("SP"), TREE_TYPE(pval));
2230 DECL_EXTERNAL(decl) = 0;
2231 TREE_PUBLIC(decl) = 0;
2232 TREE_USED(decl) = 1;
2233 TREE_READONLY(decl) = 1;
2234 TREE_CONSTANT(decl) = 1;
2235 TREE_STATIC(decl) = 1;
2236 DECL_ARTIFICIAL(decl) = 1;
2237 DECL_INITIAL(decl) = pval;
2238 rest_of_decl_compilation(decl, 1, 0);
2239
2240 return build_fold_addr_expr(decl);
2241 }
2242
2243 // Build the type of the struct that holds a slice for the given
2244 // element type.
2245
2246 tree
2247 Gogo::slice_type_tree(tree element_type_tree)
2248 {
2249 // We use int for the count and capacity fields in a slice header.
2250 // This matches 6g. The language definition guarantees that we
2251 // can't allocate space of a size which does not fit in int
2252 // anyhow. FIXME: integer_type_node is the the C type "int" but is
2253 // not necessarily the Go type "int". They will differ when the C
2254 // type "int" has fewer than 32 bits.
2255 return Gogo::builtin_struct(NULL, "__go_slice", NULL_TREE, 3,
2256 "__values",
2257 build_pointer_type(element_type_tree),
2258 "__count",
2259 integer_type_node,
2260 "__capacity",
2261 integer_type_node);
2262 }
2263
2264 // Given the tree for a slice type, return the tree for the type of
2265 // the elements of the slice.
2266
2267 tree
2268 Gogo::slice_element_type_tree(tree slice_type_tree)
2269 {
2270 gcc_assert(TREE_CODE(slice_type_tree) == RECORD_TYPE
2271 && POINTER_TYPE_P(TREE_TYPE(TYPE_FIELDS(slice_type_tree))));
2272 return TREE_TYPE(TREE_TYPE(TYPE_FIELDS(slice_type_tree)));
2273 }
2274
2275 // Build a constructor for a slice. SLICE_TYPE_TREE is the type of
2276 // the slice. VALUES is the value pointer and COUNT is the number of
2277 // entries. If CAPACITY is not NULL, it is the capacity; otherwise
2278 // the capacity and the count are the same.
2279
2280 tree
2281 Gogo::slice_constructor(tree slice_type_tree, tree values, tree count,
2282 tree capacity)
2283 {
2284 gcc_assert(TREE_CODE(slice_type_tree) == RECORD_TYPE);
2285
2286 VEC(constructor_elt,gc)* init = VEC_alloc(constructor_elt, gc, 3);
2287
2288 tree field = TYPE_FIELDS(slice_type_tree);
2289 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(field)), "__values") == 0);
2290 constructor_elt* elt = VEC_quick_push(constructor_elt, init, NULL);
2291 elt->index = field;
2292 gcc_assert(TYPE_MAIN_VARIANT(TREE_TYPE(field))
2293 == TYPE_MAIN_VARIANT(TREE_TYPE(values)));
2294 elt->value = values;
2295
2296 count = fold_convert(sizetype, count);
2297 if (capacity == NULL_TREE)
2298 {
2299 count = save_expr(count);
2300 capacity = count;
2301 }
2302
2303 field = DECL_CHAIN(field);
2304 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(field)), "__count") == 0);
2305 elt = VEC_quick_push(constructor_elt, init, NULL);
2306 elt->index = field;
2307 elt->value = fold_convert(TREE_TYPE(field), count);
2308
2309 field = DECL_CHAIN(field);
2310 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(field)), "__capacity") == 0);
2311 elt = VEC_quick_push(constructor_elt, init, NULL);
2312 elt->index = field;
2313 elt->value = fold_convert(TREE_TYPE(field), capacity);
2314
2315 return build_constructor(slice_type_tree, init);
2316 }
2317
2318 // Build a constructor for an empty slice.
2319
2320 tree
2321 Gogo::empty_slice_constructor(tree slice_type_tree)
2322 {
2323 tree element_field = TYPE_FIELDS(slice_type_tree);
2324 tree ret = Gogo::slice_constructor(slice_type_tree,
2325 fold_convert(TREE_TYPE(element_field),
2326 null_pointer_node),
2327 size_zero_node,
2328 size_zero_node);
2329 TREE_CONSTANT(ret) = 1;
2330 return ret;
2331 }
2332
2333 // Build a map descriptor for a map of type MAPTYPE.
2334
2335 tree
2336 Gogo::map_descriptor(Map_type* maptype)
2337 {
2338 if (this->map_descriptors_ == NULL)
2339 this->map_descriptors_ = new Map_descriptors(10);
2340
2341 std::pair<const Map_type*, tree> val(maptype, NULL);
2342 std::pair<Map_descriptors::iterator, bool> ins =
2343 this->map_descriptors_->insert(val);
2344 Map_descriptors::iterator p = ins.first;
2345 if (!ins.second)
2346 {
2347 if (p->second == error_mark_node)
2348 return error_mark_node;
2349 gcc_assert(p->second != NULL_TREE && DECL_P(p->second));
2350 return build_fold_addr_expr(p->second);
2351 }
2352
2353 Type* keytype = maptype->key_type();
2354 Type* valtype = maptype->val_type();
2355
2356 std::string mangled_name = ("__go_map_" + maptype->mangled_name(this));
2357
2358 tree id = get_identifier_from_string(mangled_name);
2359
2360 // Get the type of the map descriptor. This is __go_map_descriptor
2361 // in libgo/map.h.
2362
2363 tree struct_type = this->map_descriptor_type();
2364
2365 // The map entry type is a struct with three fields. This struct is
2366 // specific to MAPTYPE. Build it.
2367
2368 tree map_entry_type = make_node(RECORD_TYPE);
2369
2370 map_entry_type = Gogo::builtin_struct(NULL, "__map", map_entry_type, 3,
2371 "__next",
2372 build_pointer_type(map_entry_type),
2373 "__key",
2374 keytype->get_tree(this),
2375 "__val",
2376 valtype->get_tree(this));
2377 if (map_entry_type == error_mark_node)
2378 {
2379 p->second = error_mark_node;
2380 return error_mark_node;
2381 }
2382
2383 tree map_entry_key_field = DECL_CHAIN(TYPE_FIELDS(map_entry_type));
2384 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(map_entry_key_field)),
2385 "__key") == 0);
2386
2387 tree map_entry_val_field = DECL_CHAIN(map_entry_key_field);
2388 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(map_entry_val_field)),
2389 "__val") == 0);
2390
2391 // Initialize the entries.
2392
2393 tree map_descriptor_field = TYPE_FIELDS(struct_type);
2394 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(map_descriptor_field)),
2395 "__map_descriptor") == 0);
2396 tree entry_size_field = DECL_CHAIN(map_descriptor_field);
2397 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(entry_size_field)),
2398 "__entry_size") == 0);
2399 tree key_offset_field = DECL_CHAIN(entry_size_field);
2400 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(key_offset_field)),
2401 "__key_offset") == 0);
2402 tree val_offset_field = DECL_CHAIN(key_offset_field);
2403 gcc_assert(strcmp(IDENTIFIER_POINTER(DECL_NAME(val_offset_field)),
2404 "__val_offset") == 0);
2405
2406 VEC(constructor_elt, gc)* descriptor = VEC_alloc(constructor_elt, gc, 6);
2407
2408 constructor_elt* elt = VEC_quick_push(constructor_elt, descriptor, NULL);
2409 elt->index = map_descriptor_field;
2410 elt->value = maptype->type_descriptor_pointer(this);
2411
2412 elt = VEC_quick_push(constructor_elt, descriptor, NULL);
2413 elt->index = entry_size_field;
2414 elt->value = TYPE_SIZE_UNIT(map_entry_type);
2415
2416 elt = VEC_quick_push(constructor_elt, descriptor, NULL);
2417 elt->index = key_offset_field;
2418 elt->value = byte_position(map_entry_key_field);
2419
2420 elt = VEC_quick_push(constructor_elt, descriptor, NULL);
2421 elt->index = val_offset_field;
2422 elt->value = byte_position(map_entry_val_field);
2423
2424 tree constructor = build_constructor(struct_type, descriptor);
2425
2426 tree decl = build_decl(BUILTINS_LOCATION, VAR_DECL, id, struct_type);
2427 TREE_STATIC(decl) = 1;
2428 TREE_USED(decl) = 1;
2429 TREE_READONLY(decl) = 1;
2430 TREE_CONSTANT(decl) = 1;
2431 DECL_INITIAL(decl) = constructor;
2432 make_decl_one_only(decl, DECL_ASSEMBLER_NAME(decl));
2433 resolve_unique_section(decl, 1, 0);
2434
2435 rest_of_decl_compilation(decl, 1, 0);
2436
2437 go_preserve_from_gc(decl);
2438 p->second = decl;
2439
2440 return build_fold_addr_expr(decl);
2441 }
2442
2443 // Return a tree for the type of a map descriptor. This is struct
2444 // __go_map_descriptor in libgo/runtime/map.h. This is the same for
2445 // all map types.
2446
2447 tree
2448 Gogo::map_descriptor_type()
2449 {
2450 static tree struct_type;
2451 tree dtype = Type::make_type_descriptor_type()->get_tree(this);
2452 dtype = build_qualified_type(dtype, TYPE_QUAL_CONST);
2453 return Gogo::builtin_struct(&struct_type, "__go_map_descriptor", NULL_TREE,
2454 4,
2455 "__map_descriptor",
2456 build_pointer_type(dtype),
2457 "__entry_size",
2458 sizetype,
2459 "__key_offset",
2460 sizetype,
2461 "__val_offset",
2462 sizetype);
2463 }
2464
2465 // Return the name to use for a type descriptor decl for TYPE. This
2466 // is used when TYPE does not have a name.
2467
2468 std::string
2469 Gogo::unnamed_type_descriptor_decl_name(const Type* type)
2470 {
2471 return "__go_td_" + type->mangled_name(this);
2472 }
2473
2474 // Return the name to use for a type descriptor decl for a type named
2475 // NAME, defined in the function IN_FUNCTION. IN_FUNCTION will
2476 // normally be NULL.
2477
2478 std::string
2479 Gogo::type_descriptor_decl_name(const Named_object* no,
2480 const Named_object* in_function)
2481 {
2482 std::string ret = "__go_tdn_";
2483 if (no->type_value()->is_builtin())
2484 gcc_assert(in_function == NULL);
2485 else
2486 {
2487 const std::string& unique_prefix(no->package() == NULL
2488 ? this->unique_prefix()
2489 : no->package()->unique_prefix());
2490 const std::string& package_name(no->package() == NULL
2491 ? this->package_name()
2492 : no->package()->name());
2493 ret.append(unique_prefix);
2494 ret.append(1, '.');
2495 ret.append(package_name);
2496 ret.append(1, '.');
2497 if (in_function != NULL)
2498 {
2499 ret.append(Gogo::unpack_hidden_name(in_function->name()));
2500 ret.append(1, '.');
2501 }
2502 }
2503 ret.append(no->name());
2504 return ret;
2505 }
2506
2507 // Where a type descriptor decl should be defined.
2508
2509 Gogo::Type_descriptor_location
2510 Gogo::type_descriptor_location(const Type* type)
2511 {
2512 const Named_type* name = type->named_type();
2513 if (name != NULL)
2514 {
2515 if (name->named_object()->package() != NULL)
2516 {
2517 // This is a named type defined in a different package. The
2518 // descriptor should be defined in that package.
2519 return TYPE_DESCRIPTOR_UNDEFINED;
2520 }
2521 else if (name->is_builtin())
2522 {
2523 // We create the descriptor for a builtin type whenever we
2524 // need it.
2525 return TYPE_DESCRIPTOR_COMMON;
2526 }
2527 else
2528 {
2529 // This is a named type defined in this package. The
2530 // descriptor should be defined here.
2531 return TYPE_DESCRIPTOR_DEFINED;
2532 }
2533 }
2534 else
2535 {
2536 if (type->points_to() != NULL
2537 && type->points_to()->named_type() != NULL
2538 && type->points_to()->named_type()->named_object()->package() != NULL)
2539 {
2540 // This is an unnamed pointer to a named type defined in a
2541 // different package. The descriptor should be defined in
2542 // that package.
2543 return TYPE_DESCRIPTOR_UNDEFINED;
2544 }
2545 else
2546 {
2547 // This is an unnamed type. The descriptor could be defined
2548 // in any package where it is needed, and the linker will
2549 // pick one descriptor to keep.
2550 return TYPE_DESCRIPTOR_COMMON;
2551 }
2552 }
2553 }
2554
2555 // Build a type descriptor decl for TYPE. INITIALIZER is a struct
2556 // composite literal which initializers the type descriptor.
2557
2558 void
2559 Gogo::build_type_descriptor_decl(const Type* type, Expression* initializer,
2560 tree* pdecl)
2561 {
2562 const Named_type* name = type->named_type();
2563
2564 // We can have multiple instances of unnamed types, but we only want
2565 // to emit the type descriptor once. We use a hash table to handle
2566 // this. This is not necessary for named types, as they are unique,
2567 // and we store the type descriptor decl in the type itself.
2568 tree* phash = NULL;
2569 if (name == NULL)
2570 {
2571 if (this->type_descriptor_decls_ == NULL)
2572 this->type_descriptor_decls_ = new Type_descriptor_decls(10);
2573
2574 std::pair<Type_descriptor_decls::iterator, bool> ins =
2575 this->type_descriptor_decls_->insert(std::make_pair(type, NULL_TREE));
2576 if (!ins.second)
2577 {
2578 // We've already built a type descriptor for this type.
2579 *pdecl = ins.first->second;
2580 return;
2581 }
2582 phash = &ins.first->second;
2583 }
2584
2585 std::string decl_name;
2586 if (name == NULL)
2587 decl_name = this->unnamed_type_descriptor_decl_name(type);
2588 else
2589 decl_name = this->type_descriptor_decl_name(name->named_object(),
2590 name->in_function());
2591 tree id = get_identifier_from_string(decl_name);
2592 tree descriptor_type_tree = initializer->type()->get_tree(this);
2593 if (descriptor_type_tree == error_mark_node)
2594 {
2595 *pdecl = error_mark_node;
2596 return;
2597 }
2598 tree decl = build_decl(name == NULL ? BUILTINS_LOCATION : name->location(),
2599 VAR_DECL, id,
2600 build_qualified_type(descriptor_type_tree,
2601 TYPE_QUAL_CONST));
2602 TREE_READONLY(decl) = 1;
2603 TREE_CONSTANT(decl) = 1;
2604 DECL_ARTIFICIAL(decl) = 1;
2605
2606 go_preserve_from_gc(decl);
2607 if (phash != NULL)
2608 *phash = decl;
2609
2610 // We store the new DECL now because we may need to refer to it when
2611 // expanding INITIALIZER.
2612 *pdecl = decl;
2613
2614 // If appropriate, just refer to the exported type identifier.
2615 Gogo::Type_descriptor_location type_descriptor_location =
2616 this->type_descriptor_location(type);
2617 if (type_descriptor_location == TYPE_DESCRIPTOR_UNDEFINED)
2618 {
2619 TREE_PUBLIC(decl) = 1;
2620 DECL_EXTERNAL(decl) = 1;
2621 return;
2622 }
2623
2624 TREE_STATIC(decl) = 1;
2625 TREE_USED(decl) = 1;
2626
2627 Translate_context context(this, NULL, NULL, NULL);
2628 context.set_is_const();
2629 tree constructor = initializer->get_tree(&context);
2630
2631 if (constructor == error_mark_node)
2632 gcc_assert(saw_errors());
2633
2634 DECL_INITIAL(decl) = constructor;
2635
2636 if (type_descriptor_location == TYPE_DESCRIPTOR_COMMON)
2637 {
2638 make_decl_one_only(decl, DECL_ASSEMBLER_NAME(decl));
2639 resolve_unique_section(decl, 1, 0);
2640 }
2641 else
2642 {
2643 #ifdef OBJECT_FORMAT_ELF
2644 // Give the decl protected visibility. This avoids out-of-range
2645 // references with shared libraries with the x86_64 small model
2646 // when the type descriptor gets a COPY reloc into the main
2647 // executable. There is no need to have unique pointers to type
2648 // descriptors, as the runtime code compares reflection strings
2649 // if necessary.
2650 DECL_VISIBILITY(decl) = VISIBILITY_PROTECTED;
2651 DECL_VISIBILITY_SPECIFIED(decl) = 1;
2652 #endif
2653
2654 TREE_PUBLIC(decl) = 1;
2655 }
2656
2657 rest_of_decl_compilation(decl, 1, 0);
2658 }
2659
2660 // Build an interface method table for a type: a list of function
2661 // pointers, one for each interface method. This is used for
2662 // interfaces.
2663
2664 tree
2665 Gogo::interface_method_table_for_type(const Interface_type* interface,
2666 Named_type* type,
2667 bool is_pointer)
2668 {
2669 const Typed_identifier_list* interface_methods = interface->methods();
2670 gcc_assert(!interface_methods->empty());
2671
2672 std::string mangled_name = ((is_pointer ? "__go_pimt__" : "__go_imt_")
2673 + interface->mangled_name(this)
2674 + "__"
2675 + type->mangled_name(this));
2676
2677 tree id = get_identifier_from_string(mangled_name);
2678
2679 // See whether this interface has any hidden methods.
2680 bool has_hidden_methods = false;
2681 for (Typed_identifier_list::const_iterator p = interface_methods->begin();
2682 p != interface_methods->end();
2683 ++p)
2684 {
2685 if (Gogo::is_hidden_name(p->name()))
2686 {
2687 has_hidden_methods = true;
2688 break;
2689 }
2690 }
2691
2692 // We already know that the named type is convertible to the
2693 // interface. If the interface has hidden methods, and the named
2694 // type is defined in a different package, then the interface
2695 // conversion table will be defined by that other package.
2696 if (has_hidden_methods && type->named_object()->package() != NULL)
2697 {
2698 tree array_type = build_array_type(const_ptr_type_node, NULL);
2699 tree decl = build_decl(BUILTINS_LOCATION, VAR_DECL, id, array_type);
2700 TREE_READONLY(decl) = 1;
2701 TREE_CONSTANT(decl) = 1;
2702 TREE_PUBLIC(decl) = 1;
2703 DECL_EXTERNAL(decl) = 1;
2704 go_preserve_from_gc(decl);
2705 return decl;
2706 }
2707
2708 size_t count = interface_methods->size();
2709 VEC(constructor_elt, gc)* pointers = VEC_alloc(constructor_elt, gc,
2710 count + 1);
2711
2712 // The first element is the type descriptor.
2713 constructor_elt* elt = VEC_quick_push(constructor_elt, pointers, NULL);
2714 elt->index = size_zero_node;
2715 Type* td_type;
2716 if (!is_pointer)
2717 td_type = type;
2718 else
2719 td_type = Type::make_pointer_type(type);
2720 elt->value = fold_convert(const_ptr_type_node,
2721 td_type->type_descriptor_pointer(this));
2722
2723 size_t i = 1;
2724 for (Typed_identifier_list::const_iterator p = interface_methods->begin();
2725 p != interface_methods->end();
2726 ++p, ++i)
2727 {
2728 bool is_ambiguous;
2729 Method* m = type->method_function(p->name(), &is_ambiguous);
2730 gcc_assert(m != NULL);
2731
2732 Named_object* no = m->named_object();
2733
2734 tree fnid = no->get_id(this);
2735
2736 tree fndecl;
2737 if (no->is_function())
2738 fndecl = no->func_value()->get_or_make_decl(this, no, fnid);
2739 else if (no->is_function_declaration())
2740 fndecl = no->func_declaration_value()->get_or_make_decl(this, no,
2741 fnid);
2742 else
2743 gcc_unreachable();
2744 fndecl = build_fold_addr_expr(fndecl);
2745
2746 elt = VEC_quick_push(constructor_elt, pointers, NULL);
2747 elt->index = size_int(i);
2748 elt->value = fold_convert(const_ptr_type_node, fndecl);
2749 }
2750 gcc_assert(i == count + 1);
2751
2752 tree array_type = build_array_type(const_ptr_type_node,
2753 build_index_type(size_int(count)));
2754 tree constructor = build_constructor(array_type, pointers);
2755
2756 tree decl = build_decl(BUILTINS_LOCATION, VAR_DECL, id, array_type);
2757 TREE_STATIC(decl) = 1;
2758 TREE_USED(decl) = 1;
2759 TREE_READONLY(decl) = 1;
2760 TREE_CONSTANT(decl) = 1;
2761 DECL_INITIAL(decl) = constructor;
2762
2763 // If the interface type has hidden methods, then this is the only
2764 // definition of the table. Otherwise it is a comdat table which
2765 // may be defined in multiple packages.
2766 if (has_hidden_methods)
2767 {
2768 #ifdef OBJECT_FORMAT_ELF
2769 // Give the decl protected visibility. This avoids out-of-range
2770 // references with shared libraries with the x86_64 small model
2771 // when the table gets a COPY reloc into the main executable.
2772 DECL_VISIBILITY(decl) = VISIBILITY_PROTECTED;
2773 DECL_VISIBILITY_SPECIFIED(decl) = 1;
2774 #endif
2775
2776 TREE_PUBLIC(decl) = 1;
2777 }
2778 else
2779 {
2780 make_decl_one_only(decl, DECL_ASSEMBLER_NAME(decl));
2781 resolve_unique_section(decl, 1, 0);
2782 }
2783
2784 rest_of_decl_compilation(decl, 1, 0);
2785
2786 go_preserve_from_gc(decl);
2787
2788 return decl;
2789 }
2790
2791 // Mark a function as a builtin library function.
2792
2793 void
2794 Gogo::mark_fndecl_as_builtin_library(tree fndecl)
2795 {
2796 DECL_EXTERNAL(fndecl) = 1;
2797 TREE_PUBLIC(fndecl) = 1;
2798 DECL_ARTIFICIAL(fndecl) = 1;
2799 TREE_NOTHROW(fndecl) = 1;
2800 DECL_VISIBILITY(fndecl) = VISIBILITY_DEFAULT;
2801 DECL_VISIBILITY_SPECIFIED(fndecl) = 1;
2802 }
2803
2804 // Build a call to a builtin function.
2805
2806 tree
2807 Gogo::call_builtin(tree* pdecl, source_location location, const char* name,
2808 int nargs, tree rettype, ...)
2809 {
2810 if (rettype == error_mark_node)
2811 return error_mark_node;
2812
2813 tree* types = new tree[nargs];
2814 tree* args = new tree[nargs];
2815
2816 va_list ap;
2817 va_start(ap, rettype);
2818 for (int i = 0; i < nargs; ++i)
2819 {
2820 types[i] = va_arg(ap, tree);
2821 args[i] = va_arg(ap, tree);
2822 if (types[i] == error_mark_node || args[i] == error_mark_node)
2823 {
2824 delete[] types;
2825 delete[] args;
2826 return error_mark_node;
2827 }
2828 }
2829 va_end(ap);
2830
2831 if (*pdecl == NULL_TREE)
2832 {
2833 tree fnid = get_identifier(name);
2834
2835 tree argtypes = NULL_TREE;
2836 tree* pp = &argtypes;
2837 for (int i = 0; i < nargs; ++i)
2838 {
2839 *pp = tree_cons(NULL_TREE, types[i], NULL_TREE);
2840 pp = &TREE_CHAIN(*pp);
2841 }
2842 *pp = void_list_node;
2843
2844 tree fntype = build_function_type(rettype, argtypes);
2845
2846 *pdecl = build_decl(BUILTINS_LOCATION, FUNCTION_DECL, fnid, fntype);
2847 Gogo::mark_fndecl_as_builtin_library(*pdecl);
2848 go_preserve_from_gc(*pdecl);
2849 }
2850
2851 tree fnptr = build_fold_addr_expr(*pdecl);
2852 if (CAN_HAVE_LOCATION_P(fnptr))
2853 SET_EXPR_LOCATION(fnptr, location);
2854
2855 tree ret = build_call_array(rettype, fnptr, nargs, args);
2856 SET_EXPR_LOCATION(ret, location);
2857
2858 delete[] types;
2859 delete[] args;
2860
2861 return ret;
2862 }
2863
2864 // Build a call to the runtime error function.
2865
2866 tree
2867 Gogo::runtime_error(int code, source_location location)
2868 {
2869 static tree runtime_error_fndecl;
2870 tree ret = Gogo::call_builtin(&runtime_error_fndecl,
2871 location,
2872 "__go_runtime_error",
2873 1,
2874 void_type_node,
2875 integer_type_node,
2876 build_int_cst(integer_type_node, code));
2877 if (ret == error_mark_node)
2878 return error_mark_node;
2879 // The runtime error function panics and does not return.
2880 TREE_NOTHROW(runtime_error_fndecl) = 0;
2881 TREE_THIS_VOLATILE(runtime_error_fndecl) = 1;
2882 return ret;
2883 }
2884
2885 // Send VAL on CHANNEL. If BLOCKING is true, the resulting tree has a
2886 // void type. If BLOCKING is false, the resulting tree has a boolean
2887 // type, and it will evaluate as true if the value was sent. If
2888 // FOR_SELECT is true, this is being done because it was chosen in a
2889 // select statement.
2890
2891 tree
2892 Gogo::send_on_channel(tree channel, tree val, bool blocking, bool for_select,
2893 source_location location)
2894 {
2895 if (channel == error_mark_node || val == error_mark_node)
2896 return error_mark_node;
2897
2898 if (int_size_in_bytes(TREE_TYPE(val)) <= 8
2899 && !AGGREGATE_TYPE_P(TREE_TYPE(val))
2900 && !FLOAT_TYPE_P(TREE_TYPE(val)))
2901 {
2902 val = convert_to_integer(uint64_type_node, val);
2903 if (blocking)
2904 {
2905 static tree send_small_fndecl;
2906 tree ret = Gogo::call_builtin(&send_small_fndecl,
2907 location,
2908 "__go_send_small",
2909 3,
2910 void_type_node,
2911 ptr_type_node,
2912 channel,
2913 uint64_type_node,
2914 val,
2915 boolean_type_node,
2916 (for_select
2917 ? boolean_true_node
2918 : boolean_false_node));
2919 if (ret == error_mark_node)
2920 return error_mark_node;
2921 // This can panic if there are too many operations on a
2922 // closed channel.
2923 TREE_NOTHROW(send_small_fndecl) = 0;
2924 return ret;
2925 }
2926 else
2927 {
2928 gcc_assert(!for_select);
2929 static tree send_nonblocking_small_fndecl;
2930 tree ret = Gogo::call_builtin(&send_nonblocking_small_fndecl,
2931 location,
2932 "__go_send_nonblocking_small",
2933 2,
2934 boolean_type_node,
2935 ptr_type_node,
2936 channel,
2937 uint64_type_node,
2938 val);
2939 if (ret == error_mark_node)
2940 return error_mark_node;
2941 // This can panic if there are too many operations on a
2942 // closed channel.
2943 TREE_NOTHROW(send_nonblocking_small_fndecl) = 0;
2944 return ret;
2945 }
2946 }
2947 else
2948 {
2949 tree make_tmp;
2950 if (TREE_ADDRESSABLE(TREE_TYPE(val)) || TREE_CODE(val) == VAR_DECL)
2951 {
2952 make_tmp = NULL_TREE;
2953 val = build_fold_addr_expr(val);
2954 if (DECL_P(val))
2955 TREE_ADDRESSABLE(val) = 1;
2956 }
2957 else
2958 {
2959 tree tmp = create_tmp_var(TREE_TYPE(val), get_name(val));
2960 DECL_IGNORED_P(tmp) = 0;
2961 DECL_INITIAL(tmp) = val;
2962 TREE_ADDRESSABLE(tmp) = 1;
2963 make_tmp = build1(DECL_EXPR, void_type_node, tmp);
2964 SET_EXPR_LOCATION(make_tmp, location);
2965 val = build_fold_addr_expr(tmp);
2966 }
2967 val = fold_convert(ptr_type_node, val);
2968
2969 tree call;
2970 if (blocking)
2971 {
2972 static tree send_big_fndecl;
2973 call = Gogo::call_builtin(&send_big_fndecl,
2974 location,
2975 "__go_send_big",
2976 3,
2977 void_type_node,
2978 ptr_type_node,
2979 channel,
2980 ptr_type_node,
2981 val,
2982 boolean_type_node,
2983 (for_select
2984 ? boolean_true_node
2985 : boolean_false_node));
2986 if (call == error_mark_node)
2987 return error_mark_node;
2988 // This can panic if there are too many operations on a
2989 // closed channel.
2990 TREE_NOTHROW(send_big_fndecl) = 0;
2991 }
2992 else
2993 {
2994 gcc_assert(!for_select);
2995 static tree send_nonblocking_big_fndecl;
2996 call = Gogo::call_builtin(&send_nonblocking_big_fndecl,
2997 location,
2998 "__go_send_nonblocking_big",
2999 2,
3000 boolean_type_node,
3001 ptr_type_node,
3002 channel,
3003 ptr_type_node,
3004 val);
3005 if (call == error_mark_node)
3006 return error_mark_node;
3007 // This can panic if there are too many operations on a
3008 // closed channel.
3009 TREE_NOTHROW(send_nonblocking_big_fndecl) = 0;
3010 }
3011
3012 if (make_tmp == NULL_TREE)
3013 return call;
3014 else
3015 {
3016 tree ret = build2(COMPOUND_EXPR, TREE_TYPE(call), make_tmp, call);
3017 SET_EXPR_LOCATION(ret, location);
3018 return ret;
3019 }
3020 }
3021 }
3022
3023 // Return a tree for receiving a value of type TYPE_TREE on CHANNEL.
3024 // This does a blocking receive and returns the value read from the
3025 // channel. If FOR_SELECT is true, this is being done because it was
3026 // chosen in a select statement.
3027
3028 tree
3029 Gogo::receive_from_channel(tree type_tree, tree channel, bool for_select,
3030 source_location location)
3031 {
3032 if (type_tree == error_mark_node || channel == error_mark_node)
3033 return error_mark_node;
3034
3035 if (int_size_in_bytes(type_tree) <= 8
3036 && !AGGREGATE_TYPE_P(type_tree)
3037 && !FLOAT_TYPE_P(type_tree))
3038 {
3039 static tree receive_small_fndecl;
3040 tree call = Gogo::call_builtin(&receive_small_fndecl,
3041 location,
3042 "__go_receive_small",
3043 2,
3044 uint64_type_node,
3045 ptr_type_node,
3046 channel,
3047 boolean_type_node,
3048 (for_select
3049 ? boolean_true_node
3050 : boolean_false_node));
3051 if (call == error_mark_node)
3052 return error_mark_node;
3053 // This can panic if there are too many operations on a closed
3054 // channel.
3055 TREE_NOTHROW(receive_small_fndecl) = 0;
3056 int bitsize = GET_MODE_BITSIZE(TYPE_MODE(type_tree));
3057 tree int_type_tree = go_type_for_size(bitsize, 1);
3058 return fold_convert_loc(location, type_tree,
3059 fold_convert_loc(location, int_type_tree,
3060 call));
3061 }
3062 else
3063 {
3064 tree tmp = create_tmp_var(type_tree, get_name(type_tree));
3065 DECL_IGNORED_P(tmp) = 0;
3066 TREE_ADDRESSABLE(tmp) = 1;
3067 tree make_tmp = build1(DECL_EXPR, void_type_node, tmp);
3068 SET_EXPR_LOCATION(make_tmp, location);
3069 tree tmpaddr = build_fold_addr_expr(tmp);
3070 tmpaddr = fold_convert(ptr_type_node, tmpaddr);
3071 static tree receive_big_fndecl;
3072 tree call = Gogo::call_builtin(&receive_big_fndecl,
3073 location,
3074 "__go_receive_big",
3075 3,
3076 void_type_node,
3077 ptr_type_node,
3078 channel,
3079 ptr_type_node,
3080 tmpaddr,
3081 boolean_type_node,
3082 (for_select
3083 ? boolean_true_node
3084 : boolean_false_node));
3085 if (call == error_mark_node)
3086 return error_mark_node;
3087 // This can panic if there are too many operations on a closed
3088 // channel.
3089 TREE_NOTHROW(receive_big_fndecl) = 0;
3090 return build2(COMPOUND_EXPR, type_tree, make_tmp,
3091 build2(COMPOUND_EXPR, type_tree, call, tmp));
3092 }
3093 }
3094
3095 // Return the type of a function trampoline. This is like
3096 // get_trampoline_type in tree-nested.c.
3097
3098 tree
3099 Gogo::trampoline_type_tree()
3100 {
3101 static tree type_tree;
3102 if (type_tree == NULL_TREE)
3103 {
3104 unsigned int size;
3105 unsigned int align;
3106 go_trampoline_info(&size, &align);
3107 tree t = build_index_type(build_int_cst(integer_type_node, size - 1));
3108 t = build_array_type(char_type_node, t);
3109
3110 type_tree = Gogo::builtin_struct(NULL, "__go_trampoline", NULL_TREE, 1,
3111 "__data", t);
3112 t = TYPE_FIELDS(type_tree);
3113 DECL_ALIGN(t) = align;
3114 DECL_USER_ALIGN(t) = 1;
3115
3116 go_preserve_from_gc(type_tree);
3117 }
3118 return type_tree;
3119 }
3120
3121 // Make a trampoline which calls FNADDR passing CLOSURE.
3122
3123 tree
3124 Gogo::make_trampoline(tree fnaddr, tree closure, source_location location)
3125 {
3126 tree trampoline_type = Gogo::trampoline_type_tree();
3127 tree trampoline_size = TYPE_SIZE_UNIT(trampoline_type);
3128
3129 closure = save_expr(closure);
3130
3131 // We allocate the trampoline using a special function which will
3132 // mark it as executable.
3133 static tree trampoline_fndecl;
3134 tree x = Gogo::call_builtin(&trampoline_fndecl,
3135 location,
3136 "__go_allocate_trampoline",
3137 2,
3138 ptr_type_node,
3139 size_type_node,
3140 trampoline_size,
3141 ptr_type_node,
3142 fold_convert_loc(location, ptr_type_node,
3143 closure));
3144 if (x == error_mark_node)
3145 return error_mark_node;
3146
3147 x = save_expr(x);
3148
3149 // Initialize the trampoline.
3150 tree ini = build_call_expr(implicit_built_in_decls[BUILT_IN_INIT_TRAMPOLINE],
3151 3, x, fnaddr, closure);
3152
3153 // On some targets the trampoline address needs to be adjusted. For
3154 // example, when compiling in Thumb mode on the ARM, the address
3155 // needs to have the low bit set.
3156 x = build_call_expr(implicit_built_in_decls[BUILT_IN_ADJUST_TRAMPOLINE],
3157 1, x);
3158 x = fold_convert(TREE_TYPE(fnaddr), x);
3159
3160 return build2(COMPOUND_EXPR, TREE_TYPE(x), ini, x);
3161 }