1 // go-gcc.cc -- Go frontend to gcc IR.
2 // Copyright (C) 2011 Free Software Foundation, Inc.
3 // Contributed by Ian Lance Taylor, Google.
5 // This file is part of GCC.
7 // GCC is free software; you can redistribute it and/or modify it under
8 // the terms of the GNU General Public License as published by the Free
9 // Software Foundation; either version 3, or (at your option) any later
12 // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 // WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 // You should have received a copy of the GNU General Public License
18 // along with GCC; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
21 #include "go-system.h"
23 // This has to be included outside of extern "C", so we have to
24 // include it here before tree.h includes it later.
27 #ifndef ENABLE_BUILD_WITH_CXX
33 #include "tree-iterator.h"
37 #ifndef ENABLE_BUILD_WITH_CXX
46 // A class wrapping a tree.
63 // In gcc, types, expressions, and statements are all trees.
64 class Btype : public Gcc_tree
72 class Bexpression : public Gcc_tree
80 class Bstatement : public Gcc_tree
88 class Bfunction : public Gcc_tree
96 class Bblock : public Gcc_tree
104 class Bvariable : public Gcc_tree
112 class Blabel : public Gcc_tree
120 // This file implements the interface between the Go frontend proper
121 // and the gcc IR. This implements specific instantiations of
122 // abstract classes defined by the Go frontend proper. The Go
123 // frontend proper class methods of these classes to generate the
124 // backend representation.
126 class Gcc_backend : public Backend
133 { return this->make_type(error_mark_node); }
137 { return this->make_type(void_type_node); }
141 { return this->make_type(boolean_type_node); }
144 integer_type(bool, int);
153 pointer_type(Btype*);
156 function_type(const Btyped_identifier&,
157 const std::vector<Btyped_identifier>&,
158 const std::vector<Btyped_identifier>&,
162 struct_type(const std::vector<Btyped_identifier>&);
165 array_type(Btype*, Bexpression*);
168 placeholder_pointer_type(const std::string&, Location, bool);
171 set_placeholder_pointer_type(Btype*, Btype*);
174 set_placeholder_function_type(Btype*, Btype*);
177 placeholder_struct_type(const std::string&, Location);
180 set_placeholder_struct_type(Btype* placeholder,
181 const std::vector<Btyped_identifier>&);
184 placeholder_array_type(const std::string&, Location);
187 set_placeholder_array_type(Btype*, Btype*, Bexpression*);
190 named_type(const std::string&, Btype*, Location);
193 circular_pointer_type(Btype*, bool);
196 is_circular_pointer_type(Btype*);
201 zero_expression(Btype*);
207 { return this->make_statement(error_mark_node); }
210 expression_statement(Bexpression*);
213 init_statement(Bvariable* var, Bexpression* init);
216 assignment_statement(Bexpression* lhs, Bexpression* rhs, Location);
219 return_statement(Bfunction*, const std::vector<Bexpression*>&,
223 if_statement(Bexpression* condition, Bblock* then_block, Bblock* else_block,
227 switch_statement(Bexpression* value,
228 const std::vector<std::vector<Bexpression*> >& cases,
229 const std::vector<Bstatement*>& statements,
233 compound_statement(Bstatement*, Bstatement*);
236 statement_list(const std::vector<Bstatement*>&);
241 block(Bfunction*, Bblock*, const std::vector<Bvariable*>&,
245 block_add_statements(Bblock*, const std::vector<Bstatement*>&);
248 block_statement(Bblock*);
254 { return new Bvariable(error_mark_node); }
257 global_variable(const std::string& package_name,
258 const std::string& unique_prefix,
259 const std::string& name,
266 global_variable_set_init(Bvariable*, Bexpression*);
269 local_variable(Bfunction*, const std::string&, Btype*, bool,
273 parameter_variable(Bfunction*, const std::string&, Btype*, bool,
277 temporary_variable(Bfunction*, Bblock*, Btype*, Bexpression*, bool,
278 Location, Bstatement**);
281 immutable_struct(const std::string&, bool, Btype*, Location);
284 immutable_struct_set_init(Bvariable*, const std::string&, bool, Btype*,
285 Location, Bexpression*);
288 immutable_struct_reference(const std::string&, Btype*, Location);
293 label(Bfunction*, const std::string& name, Location);
296 label_definition_statement(Blabel*);
299 goto_statement(Blabel*, Location);
302 label_address(Blabel*, Location);
305 // Make a Bexpression from a tree.
307 make_expression(tree t)
308 { return new Bexpression(t); }
310 // Make a Bstatement from a tree.
312 make_statement(tree t)
313 { return new Bstatement(t); }
315 // Make a Btype from a tree.
318 { return new Btype(t); }
321 fill_in_struct(Btype*, const std::vector<Btyped_identifier>&);
324 fill_in_array(Btype*, Btype*, Bexpression*);
327 // A helper function.
330 get_identifier_from_string(const std::string& str)
332 return get_identifier_with_length(str.data(), str.length());
335 // Get an unnamed integer type.
338 Gcc_backend::integer_type(bool is_unsigned, int bits)
343 if (bits == INT_TYPE_SIZE)
344 type = unsigned_type_node;
345 else if (bits == CHAR_TYPE_SIZE)
346 type = unsigned_char_type_node;
347 else if (bits == SHORT_TYPE_SIZE)
348 type = short_unsigned_type_node;
349 else if (bits == LONG_TYPE_SIZE)
350 type = long_unsigned_type_node;
351 else if (bits == LONG_LONG_TYPE_SIZE)
352 type = long_long_unsigned_type_node;
354 type = make_unsigned_type(bits);
358 if (bits == INT_TYPE_SIZE)
359 type = integer_type_node;
360 else if (bits == CHAR_TYPE_SIZE)
361 type = signed_char_type_node;
362 else if (bits == SHORT_TYPE_SIZE)
363 type = short_integer_type_node;
364 else if (bits == LONG_TYPE_SIZE)
365 type = long_integer_type_node;
366 else if (bits == LONG_LONG_TYPE_SIZE)
367 type = long_long_integer_type_node;
369 type = make_signed_type(bits);
371 return this->make_type(type);
374 // Get an unnamed float type.
377 Gcc_backend::float_type(int bits)
380 if (bits == FLOAT_TYPE_SIZE)
381 type = float_type_node;
382 else if (bits == DOUBLE_TYPE_SIZE)
383 type = double_type_node;
384 else if (bits == LONG_DOUBLE_TYPE_SIZE)
385 type = long_double_type_node;
388 type = make_node(REAL_TYPE);
389 TYPE_PRECISION(type) = bits;
392 return this->make_type(type);
395 // Get an unnamed complex type.
398 Gcc_backend::complex_type(int bits)
401 if (bits == FLOAT_TYPE_SIZE * 2)
402 type = complex_float_type_node;
403 else if (bits == DOUBLE_TYPE_SIZE * 2)
404 type = complex_double_type_node;
405 else if (bits == LONG_DOUBLE_TYPE_SIZE * 2)
406 type = complex_long_double_type_node;
409 type = make_node(REAL_TYPE);
410 TYPE_PRECISION(type) = bits / 2;
412 type = build_complex_type(type);
414 return this->make_type(type);
417 // Get a pointer type.
420 Gcc_backend::pointer_type(Btype* to_type)
422 tree to_type_tree = to_type->get_tree();
423 if (to_type_tree == error_mark_node)
424 return this->error_type();
425 tree type = build_pointer_type(to_type_tree);
426 return this->make_type(type);
429 // Make a function type.
432 Gcc_backend::function_type(const Btyped_identifier& receiver,
433 const std::vector<Btyped_identifier>& parameters,
434 const std::vector<Btyped_identifier>& results,
437 tree args = NULL_TREE;
439 if (receiver.btype != NULL)
441 tree t = receiver.btype->get_tree();
442 if (t == error_mark_node)
443 return this->error_type();
444 *pp = tree_cons(NULL_TREE, t, NULL_TREE);
445 pp = &TREE_CHAIN(*pp);
448 for (std::vector<Btyped_identifier>::const_iterator p = parameters.begin();
449 p != parameters.end();
452 tree t = p->btype->get_tree();
453 if (t == error_mark_node)
454 return this->error_type();
455 *pp = tree_cons(NULL_TREE, t, NULL_TREE);
456 pp = &TREE_CHAIN(*pp);
459 // Varargs is handled entirely at the Go level. When converted to
460 // GENERIC functions are not varargs.
461 *pp = void_list_node;
465 result = void_type_node;
466 else if (results.size() == 1)
467 result = results.front().btype->get_tree();
470 result = make_node(RECORD_TYPE);
471 tree field_trees = NULL_TREE;
473 for (std::vector<Btyped_identifier>::const_iterator p = results.begin();
477 const std::string name = (p->name.empty()
480 tree name_tree = get_identifier_from_string(name);
481 tree field_type_tree = p->btype->get_tree();
482 if (field_type_tree == error_mark_node)
483 return this->error_type();
484 gcc_assert(TYPE_SIZE(field_type_tree) != NULL_TREE);
485 tree field = build_decl(location.gcc_location(), FIELD_DECL,
486 name_tree, field_type_tree);
487 DECL_CONTEXT(field) = result;
489 pp = &DECL_CHAIN(field);
491 TYPE_FIELDS(result) = field_trees;
494 if (result == error_mark_node)
495 return this->error_type();
497 tree fntype = build_function_type(result, args);
498 if (fntype == error_mark_node)
499 return this->error_type();
501 return this->make_type(build_pointer_type(fntype));
504 // Make a struct type.
507 Gcc_backend::struct_type(const std::vector<Btyped_identifier>& fields)
509 return this->fill_in_struct(this->make_type(make_node(RECORD_TYPE)), fields);
512 // Fill in the fields of a struct type.
515 Gcc_backend::fill_in_struct(Btype* fill,
516 const std::vector<Btyped_identifier>& fields)
518 tree fill_tree = fill->get_tree();
519 tree field_trees = NULL_TREE;
520 tree* pp = &field_trees;
521 for (std::vector<Btyped_identifier>::const_iterator p = fields.begin();
525 tree name_tree = get_identifier_from_string(p->name);
526 tree type_tree = p->btype->get_tree();
527 if (type_tree == error_mark_node)
528 return this->error_type();
529 tree field = build_decl(p->location.gcc_location(), FIELD_DECL, name_tree,
531 DECL_CONTEXT(field) = fill_tree;
533 pp = &DECL_CHAIN(field);
535 TYPE_FIELDS(fill_tree) = field_trees;
536 layout_type(fill_tree);
540 // Make an array type.
543 Gcc_backend::array_type(Btype* element_btype, Bexpression* length)
545 return this->fill_in_array(this->make_type(make_node(ARRAY_TYPE)),
546 element_btype, length);
549 // Fill in an array type.
552 Gcc_backend::fill_in_array(Btype* fill, Btype* element_type,
555 tree element_type_tree = element_type->get_tree();
556 tree length_tree = length->get_tree();
557 if (element_type_tree == error_mark_node || length_tree == error_mark_node)
558 return this->error_type();
560 gcc_assert(TYPE_SIZE(element_type_tree) != NULL_TREE);
562 length_tree = fold_convert(sizetype, length_tree);
564 // build_index_type takes the maximum index, which is one less than
566 tree index_type_tree = build_index_type(fold_build2(MINUS_EXPR, sizetype,
570 tree fill_tree = fill->get_tree();
571 TREE_TYPE(fill_tree) = element_type_tree;
572 TYPE_DOMAIN(fill_tree) = index_type_tree;
573 TYPE_ADDR_SPACE(fill_tree) = TYPE_ADDR_SPACE(element_type_tree);
574 layout_type(fill_tree);
576 if (TYPE_STRUCTURAL_EQUALITY_P(element_type_tree))
577 SET_TYPE_STRUCTURAL_EQUALITY(fill_tree);
578 else if (TYPE_CANONICAL(element_type_tree) != element_type_tree
579 || TYPE_CANONICAL(index_type_tree) != index_type_tree)
580 TYPE_CANONICAL(fill_tree) =
581 build_array_type(TYPE_CANONICAL(element_type_tree),
582 TYPE_CANONICAL(index_type_tree));
587 // Create a placeholder for a pointer type.
590 Gcc_backend::placeholder_pointer_type(const std::string& name,
591 Location location, bool)
593 tree ret = build_variant_type_copy(ptr_type_node);
596 tree decl = build_decl(location.gcc_location(), TYPE_DECL,
597 get_identifier_from_string(name),
599 TYPE_NAME(ret) = decl;
601 return this->make_type(ret);
604 // Set the real target type for a placeholder pointer type.
607 Gcc_backend::set_placeholder_pointer_type(Btype* placeholder,
610 tree pt = placeholder->get_tree();
611 if (pt == error_mark_node)
613 gcc_assert(TREE_CODE(pt) == POINTER_TYPE);
614 tree tt = to_type->get_tree();
615 if (tt == error_mark_node)
620 gcc_assert(TREE_CODE(tt) == POINTER_TYPE);
621 TREE_TYPE(pt) = TREE_TYPE(tt);
622 if (TYPE_NAME(pt) != NULL_TREE)
624 // Build the data structure gcc wants to see for a typedef.
625 tree copy = build_variant_type_copy(pt);
626 TYPE_NAME(copy) = NULL_TREE;
627 DECL_ORIGINAL_TYPE(TYPE_NAME(pt)) = copy;
632 // Set the real values for a placeholder function type.
635 Gcc_backend::set_placeholder_function_type(Btype* placeholder, Btype* ft)
637 return this->set_placeholder_pointer_type(placeholder, ft);
640 // Create a placeholder for a struct type.
643 Gcc_backend::placeholder_struct_type(const std::string& name,
646 tree ret = make_node(RECORD_TYPE);
647 tree decl = build_decl(location.gcc_location(), TYPE_DECL,
648 get_identifier_from_string(name),
650 TYPE_NAME(ret) = decl;
651 return this->make_type(ret);
654 // Fill in the fields of a placeholder struct type.
657 Gcc_backend::set_placeholder_struct_type(
659 const std::vector<Btyped_identifier>& fields)
661 tree t = placeholder->get_tree();
662 gcc_assert(TREE_CODE(t) == RECORD_TYPE && TYPE_FIELDS(t) == NULL_TREE);
663 Btype* r = this->fill_in_struct(placeholder, fields);
665 // Build the data structure gcc wants to see for a typedef.
666 tree copy = build_distinct_type_copy(t);
667 TYPE_NAME(copy) = NULL_TREE;
668 DECL_ORIGINAL_TYPE(TYPE_NAME(t)) = copy;
670 return r->get_tree() != error_mark_node;
673 // Create a placeholder for an array type.
676 Gcc_backend::placeholder_array_type(const std::string& name,
679 tree ret = make_node(ARRAY_TYPE);
680 tree decl = build_decl(location.gcc_location(), TYPE_DECL,
681 get_identifier_from_string(name),
683 TYPE_NAME(ret) = decl;
684 return this->make_type(ret);
687 // Fill in the fields of a placeholder array type.
690 Gcc_backend::set_placeholder_array_type(Btype* placeholder,
691 Btype* element_btype,
694 tree t = placeholder->get_tree();
695 gcc_assert(TREE_CODE(t) == ARRAY_TYPE && TREE_TYPE(t) == NULL_TREE);
696 Btype* r = this->fill_in_array(placeholder, element_btype, length);
698 // Build the data structure gcc wants to see for a typedef.
699 tree copy = build_distinct_type_copy(t);
700 TYPE_NAME(copy) = NULL_TREE;
701 DECL_ORIGINAL_TYPE(TYPE_NAME(t)) = copy;
703 return r->get_tree() != error_mark_node;
706 // Return a named version of a type.
709 Gcc_backend::named_type(const std::string& name, Btype* btype,
712 tree type = btype->get_tree();
713 if (type == error_mark_node)
714 return this->error_type();
716 // The middle-end expects a basic type to have a name. In Go every
717 // basic type will have a name. The first time we see a basic type,
718 // give it whatever Go name we have at this point.
719 if (TYPE_NAME(type) == NULL_TREE
720 && location.gcc_location() == BUILTINS_LOCATION
721 && (TREE_CODE(type) == INTEGER_TYPE
722 || TREE_CODE(type) == REAL_TYPE
723 || TREE_CODE(type) == COMPLEX_TYPE
724 || TREE_CODE(type) == BOOLEAN_TYPE))
726 tree decl = build_decl(BUILTINS_LOCATION, TYPE_DECL,
727 get_identifier_from_string(name),
729 TYPE_NAME(type) = decl;
730 return this->make_type(type);
733 tree copy = build_variant_type_copy(type);
734 tree decl = build_decl(location.gcc_location(), TYPE_DECL,
735 get_identifier_from_string(name),
737 DECL_ORIGINAL_TYPE(decl) = type;
738 TYPE_NAME(copy) = decl;
739 return this->make_type(copy);
742 // Return a pointer type used as a marker for a circular type.
745 Gcc_backend::circular_pointer_type(Btype*, bool)
747 return this->make_type(ptr_type_node);
750 // Return whether we might be looking at a circular type.
753 Gcc_backend::is_circular_pointer_type(Btype* btype)
755 return btype->get_tree() == ptr_type_node;
758 // Return the zero value for a type.
761 Gcc_backend::zero_expression(Btype* btype)
763 tree t = btype->get_tree();
765 if (t == error_mark_node)
766 ret = error_mark_node;
768 ret = build_zero_cst(t);
769 return tree_to_expr(ret);
772 // An expression as a statement.
775 Gcc_backend::expression_statement(Bexpression* expr)
777 return this->make_statement(expr->get_tree());
780 // Variable initialization.
783 Gcc_backend::init_statement(Bvariable* var, Bexpression* init)
785 tree var_tree = var->get_tree();
786 tree init_tree = init->get_tree();
787 if (var_tree == error_mark_node || init_tree == error_mark_node)
788 return this->error_statement();
789 gcc_assert(TREE_CODE(var_tree) == VAR_DECL);
790 DECL_INITIAL(var_tree) = init_tree;
791 return this->make_statement(build1_loc(DECL_SOURCE_LOCATION(var_tree),
792 DECL_EXPR, void_type_node, var_tree));
798 Gcc_backend::assignment_statement(Bexpression* lhs, Bexpression* rhs,
801 tree lhs_tree = lhs->get_tree();
802 tree rhs_tree = rhs->get_tree();
803 if (lhs_tree == error_mark_node || rhs_tree == error_mark_node)
804 return this->error_statement();
805 return this->make_statement(fold_build2_loc(location.gcc_location(),
808 lhs_tree, rhs_tree));
814 Gcc_backend::return_statement(Bfunction* bfunction,
815 const std::vector<Bexpression*>& vals,
818 tree fntree = bfunction->get_tree();
819 if (fntree == error_mark_node)
820 return this->error_statement();
821 tree result = DECL_RESULT(fntree);
822 if (result == error_mark_node)
823 return this->error_statement();
826 ret = fold_build1_loc(location.gcc_location(), RETURN_EXPR, void_type_node,
828 else if (vals.size() == 1)
830 tree val = vals.front()->get_tree();
831 if (val == error_mark_node)
832 return this->error_statement();
833 tree set = fold_build2_loc(location.gcc_location(), MODIFY_EXPR,
834 void_type_node, result,
835 vals.front()->get_tree());
836 ret = fold_build1_loc(location.gcc_location(), RETURN_EXPR,
837 void_type_node, set);
841 // To return multiple values, copy the values into a temporary
842 // variable of the right structure type, and then assign the
843 // temporary variable to the DECL_RESULT in the return
845 tree stmt_list = NULL_TREE;
846 tree rettype = TREE_TYPE(result);
847 tree rettmp = create_tmp_var(rettype, "RESULT");
848 tree field = TYPE_FIELDS(rettype);
849 for (std::vector<Bexpression*>::const_iterator p = vals.begin();
851 p++, field = DECL_CHAIN(field))
853 gcc_assert(field != NULL_TREE);
854 tree ref = fold_build3_loc(location.gcc_location(), COMPONENT_REF,
855 TREE_TYPE(field), rettmp, field,
857 tree val = (*p)->get_tree();
858 if (val == error_mark_node)
859 return this->error_statement();
860 tree set = fold_build2_loc(location.gcc_location(), MODIFY_EXPR,
862 ref, (*p)->get_tree());
863 append_to_statement_list(set, &stmt_list);
865 gcc_assert(field == NULL_TREE);
866 tree set = fold_build2_loc(location.gcc_location(), MODIFY_EXPR,
869 tree ret_expr = fold_build1_loc(location.gcc_location(), RETURN_EXPR,
870 void_type_node, set);
871 append_to_statement_list(ret_expr, &stmt_list);
874 return this->make_statement(ret);
880 Gcc_backend::if_statement(Bexpression* condition, Bblock* then_block,
881 Bblock* else_block, Location location)
883 tree cond_tree = condition->get_tree();
884 tree then_tree = then_block->get_tree();
885 tree else_tree = else_block == NULL ? NULL_TREE : else_block->get_tree();
886 if (cond_tree == error_mark_node
887 || then_tree == error_mark_node
888 || else_tree == error_mark_node)
889 return this->error_statement();
890 tree ret = build3_loc(location.gcc_location(), COND_EXPR, void_type_node,
891 cond_tree, then_tree, else_tree);
892 return this->make_statement(ret);
898 Gcc_backend::switch_statement(
900 const std::vector<std::vector<Bexpression*> >& cases,
901 const std::vector<Bstatement*>& statements,
902 Location switch_location)
904 gcc_assert(cases.size() == statements.size());
906 tree stmt_list = NULL_TREE;
907 std::vector<std::vector<Bexpression*> >::const_iterator pc = cases.begin();
908 for (std::vector<Bstatement*>::const_iterator ps = statements.begin();
909 ps != statements.end();
914 source_location loc = (*ps != NULL
915 ? EXPR_LOCATION((*ps)->get_tree())
917 tree label = create_artificial_label(loc);
918 tree c = build_case_label(NULL_TREE, NULL_TREE, label);
919 append_to_statement_list(c, &stmt_list);
923 for (std::vector<Bexpression*>::const_iterator pcv = pc->begin();
927 tree t = (*pcv)->get_tree();
928 if (t == error_mark_node)
929 return this->error_statement();
930 source_location loc = EXPR_LOCATION(t);
931 tree label = create_artificial_label(loc);
932 tree c = build_case_label((*pcv)->get_tree(), NULL_TREE, label);
933 append_to_statement_list(c, &stmt_list);
939 tree t = (*ps)->get_tree();
940 if (t == error_mark_node)
941 return this->error_statement();
942 append_to_statement_list(t, &stmt_list);
946 tree tv = value->get_tree();
947 if (tv == error_mark_node)
948 return this->error_statement();
949 tree t = build3_loc(switch_location.gcc_location(), SWITCH_EXPR,
950 void_type_node, tv, stmt_list, NULL_TREE);
951 return this->make_statement(t);
954 // Pair of statements.
957 Gcc_backend::compound_statement(Bstatement* s1, Bstatement* s2)
959 tree stmt_list = NULL_TREE;
960 tree t = s1->get_tree();
961 if (t == error_mark_node)
962 return this->error_statement();
963 append_to_statement_list(t, &stmt_list);
965 if (t == error_mark_node)
966 return this->error_statement();
967 append_to_statement_list(t, &stmt_list);
968 return this->make_statement(stmt_list);
971 // List of statements.
974 Gcc_backend::statement_list(const std::vector<Bstatement*>& statements)
976 tree stmt_list = NULL_TREE;
977 for (std::vector<Bstatement*>::const_iterator p = statements.begin();
978 p != statements.end();
981 tree t = (*p)->get_tree();
982 if (t == error_mark_node)
983 return this->error_statement();
984 append_to_statement_list(t, &stmt_list);
986 return this->make_statement(stmt_list);
989 // Make a block. For some reason gcc uses a dual structure for
990 // blocks: BLOCK tree nodes and BIND_EXPR tree nodes. Since the
991 // BIND_EXPR node points to the BLOCK node, we store the BIND_EXPR in
995 Gcc_backend::block(Bfunction* function, Bblock* enclosing,
996 const std::vector<Bvariable*>& vars,
997 Location start_location,
1000 tree block_tree = make_node(BLOCK);
1001 if (enclosing == NULL)
1003 // FIXME: Permitting FUNCTION to be NULL is a temporary measure
1004 // until we have a proper representation of the init function.
1006 if (function == NULL)
1007 fndecl = current_function_decl;
1009 fndecl = function->get_tree();
1010 gcc_assert(fndecl != NULL_TREE);
1012 // We may have already created a block for local variables when
1013 // we take the address of a parameter.
1014 if (DECL_INITIAL(fndecl) == NULL_TREE)
1016 BLOCK_SUPERCONTEXT(block_tree) = fndecl;
1017 DECL_INITIAL(fndecl) = block_tree;
1021 tree superblock_tree = DECL_INITIAL(fndecl);
1022 BLOCK_SUPERCONTEXT(block_tree) = superblock_tree;
1024 for (pp = &BLOCK_SUBBLOCKS(superblock_tree);
1026 pp = &BLOCK_CHAIN(*pp))
1033 tree superbind_tree = enclosing->get_tree();
1034 tree superblock_tree = BIND_EXPR_BLOCK(superbind_tree);
1035 gcc_assert(TREE_CODE(superblock_tree) == BLOCK);
1037 BLOCK_SUPERCONTEXT(block_tree) = superblock_tree;
1039 for (pp = &BLOCK_SUBBLOCKS(superblock_tree);
1041 pp = &BLOCK_CHAIN(*pp))
1046 tree* pp = &BLOCK_VARS(block_tree);
1047 for (std::vector<Bvariable*>::const_iterator pv = vars.begin();
1051 *pp = (*pv)->get_tree();
1052 if (*pp != error_mark_node)
1053 pp = &DECL_CHAIN(*pp);
1057 TREE_USED(block_tree) = 1;
1059 tree bind_tree = build3_loc(start_location.gcc_location(), BIND_EXPR,
1060 void_type_node, BLOCK_VARS(block_tree),
1061 NULL_TREE, block_tree);
1062 TREE_SIDE_EFFECTS(bind_tree) = 1;
1064 return new Bblock(bind_tree);
1067 // Add statements to a block.
1070 Gcc_backend::block_add_statements(Bblock* bblock,
1071 const std::vector<Bstatement*>& statements)
1073 tree stmt_list = NULL_TREE;
1074 for (std::vector<Bstatement*>::const_iterator p = statements.begin();
1075 p != statements.end();
1078 tree s = (*p)->get_tree();
1079 if (s != error_mark_node)
1080 append_to_statement_list(s, &stmt_list);
1083 tree bind_tree = bblock->get_tree();
1084 gcc_assert(TREE_CODE(bind_tree) == BIND_EXPR);
1085 BIND_EXPR_BODY(bind_tree) = stmt_list;
1088 // Return a block as a statement.
1091 Gcc_backend::block_statement(Bblock* bblock)
1093 tree bind_tree = bblock->get_tree();
1094 gcc_assert(TREE_CODE(bind_tree) == BIND_EXPR);
1095 return this->make_statement(bind_tree);
1098 // Make a global variable.
1101 Gcc_backend::global_variable(const std::string& package_name,
1102 const std::string& unique_prefix,
1103 const std::string& name,
1109 tree type_tree = btype->get_tree();
1110 if (type_tree == error_mark_node)
1111 return this->error_variable();
1113 std::string var_name(package_name);
1114 var_name.push_back('.');
1115 var_name.append(name);
1116 tree decl = build_decl(location.gcc_location(), VAR_DECL,
1117 get_identifier_from_string(var_name),
1120 DECL_EXTERNAL(decl) = 1;
1122 TREE_STATIC(decl) = 1;
1125 TREE_PUBLIC(decl) = 1;
1127 std::string asm_name(unique_prefix);
1128 asm_name.push_back('.');
1129 asm_name.append(var_name);
1130 SET_DECL_ASSEMBLER_NAME(decl, get_identifier_from_string(asm_name));
1132 TREE_USED(decl) = 1;
1134 go_preserve_from_gc(decl);
1136 return new Bvariable(decl);
1139 // Set the initial value of a global variable.
1142 Gcc_backend::global_variable_set_init(Bvariable* var, Bexpression* expr)
1144 tree expr_tree = expr->get_tree();
1145 if (expr_tree == error_mark_node)
1147 gcc_assert(TREE_CONSTANT(expr_tree));
1148 tree var_decl = var->get_tree();
1149 if (var_decl == error_mark_node)
1151 DECL_INITIAL(var_decl) = expr_tree;
1154 // Make a local variable.
1157 Gcc_backend::local_variable(Bfunction* function, const std::string& name,
1158 Btype* btype, bool is_address_taken,
1161 tree type_tree = btype->get_tree();
1162 if (type_tree == error_mark_node)
1163 return this->error_variable();
1164 tree decl = build_decl(location.gcc_location(), VAR_DECL,
1165 get_identifier_from_string(name),
1167 DECL_CONTEXT(decl) = function->get_tree();
1168 TREE_USED(decl) = 1;
1169 if (is_address_taken)
1170 TREE_ADDRESSABLE(decl) = 1;
1171 go_preserve_from_gc(decl);
1172 return new Bvariable(decl);
1175 // Make a function parameter variable.
1178 Gcc_backend::parameter_variable(Bfunction* function, const std::string& name,
1179 Btype* btype, bool is_address_taken,
1182 tree type_tree = btype->get_tree();
1183 if (type_tree == error_mark_node)
1184 return this->error_variable();
1185 tree decl = build_decl(location.gcc_location(), PARM_DECL,
1186 get_identifier_from_string(name),
1188 DECL_CONTEXT(decl) = function->get_tree();
1189 DECL_ARG_TYPE(decl) = type_tree;
1190 TREE_USED(decl) = 1;
1191 if (is_address_taken)
1192 TREE_ADDRESSABLE(decl) = 1;
1193 go_preserve_from_gc(decl);
1194 return new Bvariable(decl);
1197 // Make a temporary variable.
1200 Gcc_backend::temporary_variable(Bfunction* function, Bblock* bblock,
1201 Btype* btype, Bexpression* binit,
1202 bool is_address_taken,
1204 Bstatement** pstatement)
1206 tree type_tree = btype->get_tree();
1207 tree init_tree = binit == NULL ? NULL_TREE : binit->get_tree();
1208 if (type_tree == error_mark_node || init_tree == error_mark_node)
1210 *pstatement = this->error_statement();
1211 return this->error_variable();
1215 // We can only use create_tmp_var if the type is not addressable.
1216 if (!TREE_ADDRESSABLE(type_tree))
1217 var = create_tmp_var(type_tree, "GOTMP");
1220 gcc_assert(bblock != NULL);
1221 var = build_decl(location.gcc_location(), VAR_DECL,
1222 create_tmp_var_name("GOTMP"),
1224 DECL_ARTIFICIAL(var) = 1;
1225 DECL_IGNORED_P(var) = 1;
1227 // FIXME: Permitting function to be NULL here is a temporary
1228 // measure until we have a proper representation of the init
1230 if (function != NULL)
1231 DECL_CONTEXT(var) = function->get_tree();
1234 gcc_assert(current_function_decl != NULL_TREE);
1235 DECL_CONTEXT(var) = current_function_decl;
1238 // We have to add this variable to the BLOCK and the BIND_EXPR.
1239 tree bind_tree = bblock->get_tree();
1240 gcc_assert(TREE_CODE(bind_tree) == BIND_EXPR);
1241 tree block_tree = BIND_EXPR_BLOCK(bind_tree);
1242 gcc_assert(TREE_CODE(block_tree) == BLOCK);
1243 DECL_CHAIN(var) = BLOCK_VARS(block_tree);
1244 BLOCK_VARS(block_tree) = var;
1245 BIND_EXPR_VARS(bind_tree) = BLOCK_VARS(block_tree);
1248 if (init_tree != NULL_TREE)
1249 DECL_INITIAL(var) = fold_convert_loc(location.gcc_location(), type_tree,
1252 if (is_address_taken)
1253 TREE_ADDRESSABLE(var) = 1;
1255 *pstatement = this->make_statement(build1_loc(location.gcc_location(),
1257 void_type_node, var));
1258 return new Bvariable(var);
1261 // Create a named immutable initialized data structure.
1264 Gcc_backend::immutable_struct(const std::string& name, bool, Btype* btype,
1267 tree type_tree = btype->get_tree();
1268 if (type_tree == error_mark_node)
1269 return this->error_variable();
1270 gcc_assert(TREE_CODE(type_tree) == RECORD_TYPE);
1271 tree decl = build_decl(location.gcc_location(), VAR_DECL,
1272 get_identifier_from_string(name),
1273 build_qualified_type(type_tree, TYPE_QUAL_CONST));
1274 TREE_STATIC(decl) = 1;
1275 TREE_READONLY(decl) = 1;
1276 TREE_CONSTANT(decl) = 1;
1277 TREE_USED(decl) = 1;
1278 DECL_ARTIFICIAL(decl) = 1;
1280 // We don't call rest_of_decl_compilation until we have the
1283 go_preserve_from_gc(decl);
1284 return new Bvariable(decl);
1287 // Set the initializer for a variable created by immutable_struct.
1288 // This is where we finish compiling the variable.
1291 Gcc_backend::immutable_struct_set_init(Bvariable* var, const std::string&,
1292 bool is_common, Btype*,
1294 Bexpression* initializer)
1296 tree decl = var->get_tree();
1297 tree init_tree = initializer->get_tree();
1298 if (decl == error_mark_node || init_tree == error_mark_node)
1301 DECL_INITIAL(decl) = init_tree;
1303 // We can't call make_decl_one_only until we set DECL_INITIAL.
1305 TREE_PUBLIC(decl) = 1;
1308 make_decl_one_only(decl, DECL_ASSEMBLER_NAME(decl));
1309 resolve_unique_section(decl, 1, 0);
1312 rest_of_decl_compilation(decl, 1, 0);
1315 // Return a reference to an immutable initialized data structure
1316 // defined in another package.
1319 Gcc_backend::immutable_struct_reference(const std::string& name, Btype* btype,
1322 tree type_tree = btype->get_tree();
1323 if (type_tree == error_mark_node)
1324 return this->error_variable();
1325 gcc_assert(TREE_CODE(type_tree) == RECORD_TYPE);
1326 tree decl = build_decl(location.gcc_location(), VAR_DECL,
1327 get_identifier_from_string(name),
1328 build_qualified_type(type_tree, TYPE_QUAL_CONST));
1329 TREE_READONLY(decl) = 1;
1330 TREE_CONSTANT(decl) = 1;
1331 DECL_ARTIFICIAL(decl) = 1;
1332 TREE_PUBLIC(decl) = 1;
1333 DECL_EXTERNAL(decl) = 1;
1334 go_preserve_from_gc(decl);
1335 return new Bvariable(decl);
1341 Gcc_backend::label(Bfunction* function, const std::string& name,
1346 decl = create_artificial_label(location.gcc_location());
1349 tree id = get_identifier_from_string(name);
1350 decl = build_decl(location.gcc_location(), LABEL_DECL, id,
1352 DECL_CONTEXT(decl) = function->get_tree();
1354 return new Blabel(decl);
1357 // Make a statement which defines a label.
1360 Gcc_backend::label_definition_statement(Blabel* label)
1362 tree lab = label->get_tree();
1363 tree ret = fold_build1_loc(DECL_SOURCE_LOCATION(lab), LABEL_EXPR,
1364 void_type_node, lab);
1365 return this->make_statement(ret);
1368 // Make a goto statement.
1371 Gcc_backend::goto_statement(Blabel* label, Location location)
1373 tree lab = label->get_tree();
1374 tree ret = fold_build1_loc(location.gcc_location(), GOTO_EXPR, void_type_node,
1376 return this->make_statement(ret);
1379 // Get the address of a label.
1382 Gcc_backend::label_address(Blabel* label, Location location)
1384 tree lab = label->get_tree();
1386 TREE_ADDRESSABLE(lab) = 1;
1387 tree ret = fold_convert_loc(location.gcc_location(), ptr_type_node,
1388 build_fold_addr_expr_loc(location.gcc_location(),
1390 return this->make_expression(ret);
1393 // The single backend.
1395 static Gcc_backend gcc_backend;
1397 // Return the backend generator.
1402 return &gcc_backend;
1405 // FIXME: Temporary functions while converting to the new backend
1409 tree_to_type(tree t)
1411 return new Btype(t);
1415 tree_to_expr(tree t)
1417 return new Bexpression(t);
1421 tree_to_stat(tree t)
1423 return new Bstatement(t);
1427 tree_to_function(tree t)
1429 return new Bfunction(t);
1433 tree_to_block(tree t)
1435 gcc_assert(TREE_CODE(t) == BIND_EXPR);
1436 return new Bblock(t);
1440 type_to_tree(Btype* bt)
1442 return bt->get_tree();
1446 expr_to_tree(Bexpression* be)
1448 return be->get_tree();
1452 stat_to_tree(Bstatement* bs)
1454 return bs->get_tree();
1458 block_to_tree(Bblock* bb)
1460 return bb->get_tree();
1464 var_to_tree(Bvariable* bv)
1466 return bv->get_tree();