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
->importcfg
!= NULL
)
44 ::gogo
->read_importcfg(args
->importcfg
);
45 if (args
->embedcfg
!= NULL
)
46 ::gogo
->read_embedcfg(args
->embedcfg
);
47 ::gogo
->set_debug_escape_level(args
->debug_escape_level
);
48 if (args
->debug_escape_hash
!= NULL
)
49 ::gogo
->set_debug_escape_hash(args
->debug_escape_hash
);
50 ::gogo
->set_nil_check_size_threshold(args
->nil_check_size_threshold
);
51 if (args
->debug_optimization
)
52 ::gogo
->set_debug_optimization(args
->debug_optimization
);
53 if (args
->need_eqtype
)
54 ::gogo
->set_need_eqtype(args
->need_eqtype
);
57 // Parse the input files.
61 go_parse_input_files(const char** filenames
, unsigned int filename_count
,
62 bool only_check_syntax
, bool)
64 go_assert(filename_count
> 0);
66 Lex::Linknames all_linknames
;
67 for (unsigned int i
= 0; i
< filename_count
; ++i
)
70 ::gogo
->clear_file_scope();
72 const char* filename
= filenames
[i
];
74 if (strcmp(filename
, "-") == 0)
78 file
= fopen(filename
, "r");
80 go_fatal_error(Linemap::unknown_location(),
81 "cannot open %s: %m", filename
);
84 Lex
lexer(filename
, file
, ::gogo
->linemap());
86 Parse
parse(&lexer
, ::gogo
);
89 if (strcmp(filename
, "-") != 0)
92 Lex::Linknames
* linknames
= lexer
.get_and_clear_linknames();
93 if (linknames
!= NULL
)
95 if (!::gogo
->current_file_imported_unsafe())
97 for (Lex::Linknames::const_iterator p
= linknames
->begin();
98 p
!= linknames
->end();
100 go_error_at(p
->second
.loc
,
101 ("%<//go:linkname%> only allowed in Go files that "
102 "import \"unsafe\""));
104 all_linknames
.insert(linknames
->begin(), linknames
->end());
108 ::gogo
->clear_file_scope();
110 // If the global predeclared names are referenced but not defined,
112 ::gogo
->define_global_names();
114 // Apply any go:linkname directives.
115 for (Lex::Linknames::const_iterator p
= all_linknames
.begin();
116 p
!= all_linknames
.end();
118 ::gogo
->add_linkname(p
->first
, p
->second
.is_exported
, p
->second
.ext_name
,
121 // Lower calls to builtin functions.
122 ::gogo
->lower_builtin_calls();
124 // Finalize method lists and build stub methods for named types.
125 ::gogo
->finalize_methods();
127 // Check that functions have a terminating statement.
128 ::gogo
->check_return_statements();
130 // At this point we have handled all inline functions, so we no
131 // longer need the linemap.
132 ::gogo
->linemap()->stop();
134 // Work out types of unspecified constants and variables.
135 ::gogo
->determine_types();
137 // Now that we have seen all the names, verify that types are
139 ::gogo
->verify_types();
141 // Check types and issue errors as appropriate.
142 ::gogo
->check_types();
144 // Now that we have seen all the names and we know all the types,
145 // lower the parse tree into a form which is easier to use.
146 ::gogo
->lower_parse_tree();
148 if (only_check_syntax
)
151 // Create function descriptors as needed.
152 ::gogo
->create_function_descriptors();
154 // Record global variable initializer dependencies.
155 ::gogo
->record_global_init_refs();
157 // Do simple deadcode elimination.
158 ::gogo
->remove_deadcode();
160 // Make implicit type conversions explicit.
161 ::gogo
->add_conversions();
163 // Analyze the program flow for escape information.
164 ::gogo
->analyze_escape();
166 // Export global identifiers as appropriate.
167 ::gogo
->do_exports();
169 // Use temporary variables to force order of evaluation.
170 ::gogo
->order_evaluations();
172 // Turn short-cut operators (&&, ||) into explicit if statements.
173 ::gogo
->remove_shortcuts();
175 // Convert named types to backend representation.
176 ::gogo
->convert_named_types();
178 // Build thunks for functions which call recover.
179 ::gogo
->build_recover_thunks();
181 // Convert complicated go and defer statements into simpler ones.
182 ::gogo
->simplify_thunk_statements();
184 // Write out queued up functions for hash and comparison of types.
185 ::gogo
->write_specific_type_functions();
187 // Add write barriers.
188 ::gogo
->add_write_barriers();
190 // Flatten the parse tree.
193 // Reclaim memory of escape analysis Nodes.
194 ::gogo
->reclaim_escape_nodes();
196 // Dump ast, use filename[0] as the base name
197 ::gogo
->dump_ast(filenames
[0]);
200 // Write out globals.
206 return ::gogo
->write_globals();
209 // Return the global IR structure. This is used by some of the
210 // langhooks to pass to other code.