1 // go.cc -- Go frontend main file for gcc.
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.
10 #include "go-diagnostics.h"
17 // The data structures we build to represent the file.
20 // Create the main IR data structure.
24 go_create_gogo(const struct go_create_gogo_args
* args
)
26 go_assert(::gogo
== NULL
);
27 ::gogo
= new Gogo(args
->backend
, args
->linemap
, args
->int_type_size
,
30 if (args
->pkgpath
!= NULL
)
31 ::gogo
->set_pkgpath(args
->pkgpath
);
32 else if (args
->prefix
!= NULL
)
33 ::gogo
->set_prefix(args
->prefix
);
35 if (args
->relative_import_path
!= NULL
)
36 ::gogo
->set_relative_import_path(args
->relative_import_path
);
37 ::gogo
->set_check_divide_by_zero(args
->check_divide_by_zero
);
38 ::gogo
->set_check_divide_overflow(args
->check_divide_overflow
);
39 if (args
->compiling_runtime
)
40 ::gogo
->set_compiling_runtime(args
->compiling_runtime
);
41 if (args
->c_header
!= NULL
)
42 ::gogo
->set_c_header(args
->c_header
);
43 if (args
->embedcfg
!= NULL
)
44 ::gogo
->read_embedcfg(args
->embedcfg
);
45 ::gogo
->set_debug_escape_level(args
->debug_escape_level
);
46 if (args
->debug_escape_hash
!= NULL
)
47 ::gogo
->set_debug_escape_hash(args
->debug_escape_hash
);
48 ::gogo
->set_nil_check_size_threshold(args
->nil_check_size_threshold
);
49 if (args
->debug_optimization
)
50 ::gogo
->set_debug_optimization(args
->debug_optimization
);
51 if (args
->need_eqtype
)
52 ::gogo
->set_need_eqtype(args
->need_eqtype
);
55 // Parse the input files.
59 go_parse_input_files(const char** filenames
, unsigned int filename_count
,
60 bool only_check_syntax
, bool)
62 go_assert(filename_count
> 0);
64 Lex::Linknames all_linknames
;
65 for (unsigned int i
= 0; i
< filename_count
; ++i
)
68 ::gogo
->clear_file_scope();
70 const char* filename
= filenames
[i
];
72 if (strcmp(filename
, "-") == 0)
76 file
= fopen(filename
, "r");
78 go_fatal_error(Linemap::unknown_location(),
79 "cannot open %s: %m", filename
);
82 Lex
lexer(filename
, file
, ::gogo
->linemap());
84 Parse
parse(&lexer
, ::gogo
);
87 if (strcmp(filename
, "-") != 0)
90 Lex::Linknames
* linknames
= lexer
.get_and_clear_linknames();
91 if (linknames
!= NULL
)
93 if (!::gogo
->current_file_imported_unsafe())
95 for (Lex::Linknames::const_iterator p
= linknames
->begin();
96 p
!= linknames
->end();
98 go_error_at(p
->second
.loc
,
99 ("%<//go:linkname%> only allowed in Go files that "
100 "import \"unsafe\""));
102 all_linknames
.insert(linknames
->begin(), linknames
->end());
106 ::gogo
->clear_file_scope();
108 // If the global predeclared names are referenced but not defined,
110 ::gogo
->define_global_names();
112 // Apply any go:linkname directives.
113 for (Lex::Linknames::const_iterator p
= all_linknames
.begin();
114 p
!= all_linknames
.end();
116 ::gogo
->add_linkname(p
->first
, p
->second
.is_exported
, p
->second
.ext_name
,
119 // Finalize method lists and build stub methods for named types.
120 ::gogo
->finalize_methods();
122 // Check that functions have a terminating statement.
123 ::gogo
->check_return_statements();
125 // Now that we have seen all the names, lower the parse tree into a
126 // form which is easier to use.
127 ::gogo
->lower_parse_tree();
129 // At this point we have handled all inline functions, so we no
130 // longer need the linemap.
131 ::gogo
->linemap()->stop();
133 // Create function descriptors as needed.
134 ::gogo
->create_function_descriptors();
136 // Now that we have seen all the names, verify that types are
138 ::gogo
->verify_types();
140 // Work out types of unspecified constants and variables.
141 ::gogo
->determine_types();
143 // Check types and issue errors as appropriate.
144 ::gogo
->check_types();
146 if (only_check_syntax
)
149 // Do simple deadcode elimination.
150 ::gogo
->remove_deadcode();
152 // Make implicit type conversions explicit.
153 ::gogo
->add_conversions();
155 // Analyze the program flow for escape information.
156 ::gogo
->analyze_escape();
158 // Export global identifiers as appropriate.
159 ::gogo
->do_exports();
161 // Use temporary variables to force order of evaluation.
162 ::gogo
->order_evaluations();
164 // Turn short-cut operators (&&, ||) into explicit if statements.
165 ::gogo
->remove_shortcuts();
167 // Convert named types to backend representation.
168 ::gogo
->convert_named_types();
170 // Build thunks for functions which call recover.
171 ::gogo
->build_recover_thunks();
173 // Convert complicated go and defer statements into simpler ones.
174 ::gogo
->simplify_thunk_statements();
176 // Write out queued up functions for hash and comparison of types.
177 ::gogo
->write_specific_type_functions();
179 // Add write barriers.
180 ::gogo
->add_write_barriers();
182 // Flatten the parse tree.
185 // Reclaim memory of escape analysis Nodes.
186 ::gogo
->reclaim_escape_nodes();
188 // Dump ast, use filename[0] as the base name
189 ::gogo
->dump_ast(filenames
[0]);
192 // Write out globals.
198 return ::gogo
->write_globals();
201 // Return the global IR structure. This is used by some of the
202 // langhooks to pass to other code.