blob: 27b76801d5cd9e18d3e255a78167c62353eeb8c2 [file] [log] [blame]
// export.cc -- Export declarations in Go frontend.
// Copyright 2009 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
#include "go-system.h"
#include "go-sha1.h"
#include "go-c.h"
#include "gogo.h"
#include "types.h"
#include "statements.h"
#include "export.h"
#include "go-linemap.h"
#include "backend.h"
// This file handles exporting global declarations.
// Class Export.
const int Export::magic_len;
// Current version magic string.
const char Export::cur_magic[Export::magic_len] =
{
'v', '2', ';', '\n'
};
// Magic string for previous version (still supported)
const char Export::v1_magic[Export::magic_len] =
{
'v', '1', ';', '\n'
};
const int Export::checksum_len;
// Constructor.
Export::Export(Stream* stream)
: stream_(stream), type_refs_(), type_index_(1), packages_()
{
go_assert(Export::checksum_len == Go_sha1_helper::checksum_len);
}
// A functor to sort Named_object pointers by name.
struct Sort_bindings
{
bool
operator()(const Named_object* n1, const Named_object* n2) const
{ return n1->name() < n2->name(); }
};
// Return true if we should export NO.
static bool
should_export(Named_object* no)
{
// We only export objects which are locally defined.
if (no->package() != NULL)
return false;
// We don't export packages.
if (no->is_package())
return false;
// We don't export hidden names.
if (Gogo::is_hidden_name(no->name()))
return false;
// We don't export nested functions.
if (no->is_function() && no->func_value()->enclosing() != NULL)
return false;
// We don't export thunks.
if (no->is_function() && Gogo::is_thunk(no))
return false;
// Methods are exported with the type, not here.
if (no->is_function()
&& no->func_value()->type()->is_method())
return false;
if (no->is_function_declaration()
&& no->func_declaration_value()->type()->is_method())
return false;
// Don't export dummy global variables created for initializers when
// used with sinks.
if (no->is_variable() && no->name()[0] == '_' && no->name()[1] == '.')
return false;
return true;
}
// Export those identifiers marked for exporting.
void
Export::export_globals(const std::string& package_name,
const std::string& prefix,
const std::string& pkgpath,
const std::map<std::string, Package*>& packages,
const std::map<std::string, Package*>& imports,
const std::string& import_init_fn,
const Import_init_set& imported_init_fns,
const Bindings* bindings)
{
// If there have been any errors so far, don't try to export
// anything. That way the export code doesn't have to worry about
// mismatched types or other confusions.
if (saw_errors())
return;
// Export the symbols in sorted order. That will reduce cases where
// irrelevant changes to the source code affect the exported
// interface.
std::vector<Named_object*> exports;
exports.reserve(bindings->size_definitions());
for (Bindings::const_definitions_iterator p = bindings->begin_definitions();
p != bindings->end_definitions();
++p)
if (should_export(*p))
exports.push_back(*p);
for (Bindings::const_declarations_iterator p =
bindings->begin_declarations();
p != bindings->end_declarations();
++p)
{
// We export a function declaration as it may be implemented in
// supporting C code. We do not export type declarations.
if (p->second->is_function_declaration()
&& should_export(p->second))
exports.push_back(p->second);
}
std::sort(exports.begin(), exports.end(), Sort_bindings());
// Although the export data is readable, at least this version is,
// it is conceptually a binary format. Start with a four byte
// version number.
this->write_bytes(Export::cur_magic, Export::magic_len);
// The package name.
this->write_c_string("package ");
this->write_string(package_name);
this->write_c_string(";\n");
// The prefix or package path, used for all global symbols.
if (prefix.empty())
{
go_assert(!pkgpath.empty());
this->write_c_string("pkgpath ");
this->write_string(pkgpath);
}
else
{
this->write_c_string("prefix ");
this->write_string(prefix);
}
this->write_c_string(";\n");
this->write_packages(packages);
this->write_imports(imports);
this->write_imported_init_fns(package_name, import_init_fn,
imported_init_fns);
// FIXME: It might be clever to add something about the processor
// and ABI being used, although ideally any problems in that area
// would be caught by the linker.
for (std::vector<Named_object*>::const_iterator p = exports.begin();
p != exports.end();
++p)
(*p)->export_named_object(this);
std::string checksum = this->stream_->checksum();
std::string s = "checksum ";
for (std::string::const_iterator p = checksum.begin();
p != checksum.end();
++p)
{
unsigned char c = *p;
unsigned int dig = c >> 4;
s += dig < 10 ? '0' + dig : 'A' + dig - 10;
dig = c & 0xf;
s += dig < 10 ? '0' + dig : 'A' + dig - 10;
}
s += ";\n";
this->stream_->write_checksum(s);
}
// Sort packages.
static bool
packages_compare(const Package* a, const Package* b)
{
return a->package_name() < b->package_name();
}
// Write out all the known packages whose pkgpath symbol is not a
// simple transformation of the pkgpath, so that the importing code
// can reliably know it.
void
Export::write_packages(const std::map<std::string, Package*>& packages)
{
// Sort for consistent output.
std::vector<Package*> out;
for (std::map<std::string, Package*>::const_iterator p = packages.begin();
p != packages.end();
++p)
{
if (p->second->pkgpath_symbol()
!= Gogo::pkgpath_for_symbol(p->second->pkgpath()))
out.push_back(p->second);
}
std::sort(out.begin(), out.end(), packages_compare);
for (std::vector<Package*>::const_iterator p = out.begin();
p != out.end();
++p)
{
this->write_c_string("package ");
this->write_string((*p)->package_name());
this->write_c_string(" ");
this->write_string((*p)->pkgpath());
this->write_c_string(" ");
this->write_string((*p)->pkgpath_symbol());
this->write_c_string(";\n");
}
}
// Sort imported packages.
static bool
import_compare(const std::pair<std::string, Package*>& a,
const std::pair<std::string, Package*>& b)
{
return a.first < b.first;
}
// Write out the imported packages.
void
Export::write_imports(const std::map<std::string, Package*>& imports)
{
// Sort the imports for more consistent output.
std::vector<std::pair<std::string, Package*> > sorted_imports;
for (std::map<std::string, Package*>::const_iterator p = imports.begin();
p != imports.end();
++p)
sorted_imports.push_back(std::make_pair(p->first, p->second));
std::sort(sorted_imports.begin(), sorted_imports.end(), import_compare);
for (std::vector<std::pair<std::string, Package*> >::const_iterator p =
sorted_imports.begin();
p != sorted_imports.end();
++p)
{
this->write_c_string("import ");
this->write_string(p->second->package_name());
this->write_c_string(" ");
this->write_string(p->second->pkgpath());
this->write_c_string(" \"");
this->write_string(p->first);
this->write_c_string("\";\n");
this->packages_.insert(p->second);
}
}
void
Export::add_init_graph_edge(Init_graph* init_graph, unsigned src, unsigned sink)
{
Init_graph::iterator it = init_graph->find(src);
if (it != init_graph->end())
it->second.insert(sink);
else
{
std::set<unsigned> succs;
succs.insert(sink);
(*init_graph)[src] = succs;
}
}
// Constructs the imported portion of the init graph, e.g. those
// edges that we read from imported packages.
void
Export::populate_init_graph(Init_graph* init_graph,
const Import_init_set& imported_init_fns,
const std::map<std::string, unsigned>& init_idx)
{
for (Import_init_set::const_iterator p = imported_init_fns.begin();
p != imported_init_fns.end();
++p)
{
const Import_init* ii = *p;
std::map<std::string, unsigned>::const_iterator srcit =
init_idx.find(ii->init_name());
go_assert(srcit != init_idx.end());
unsigned src = srcit->second;
for (std::set<std::string>::const_iterator pci = ii->precursors().begin();
pci != ii->precursors().end();
++pci)
{
std::map<std::string, unsigned>::const_iterator it =
init_idx.find(*pci);
go_assert(it != init_idx.end());
unsigned sink = it->second;
add_init_graph_edge(init_graph, src, sink);
}
}
}
// Write out the initialization functions which need to run for this
// package.
void
Export::write_imported_init_fns(const std::string& package_name,
const std::string& import_init_fn,
const Import_init_set& imported_init_fns)
{
if (import_init_fn.empty() && imported_init_fns.empty()) return;
// Maps a given init function to the its index in the exported "init" clause.
std::map<std::string, unsigned> init_idx;
this->write_c_string("init");
if (!import_init_fn.empty())
{
this->write_c_string(" ");
this->write_string(package_name);
this->write_c_string(" ");
this->write_string(import_init_fn);
init_idx[import_init_fn] = 0;
}
if (imported_init_fns.empty())
{
this->write_c_string(";\n");
return;
}
typedef std::map<int, std::vector<std::string> > level_map;
Init_graph init_graph;
level_map inits_at_level;
// Walk through the set of import inits (already sorted by
// init fcn name) and write them out to the exports.
for (Import_init_set::const_iterator p = imported_init_fns.begin();
p != imported_init_fns.end();
++p)
{
const Import_init* ii = *p;
if (ii->init_name() == import_init_fn)
continue;
this->write_c_string(" ");
this->write_string(ii->package_name());
this->write_c_string(" ");
this->write_string(ii->init_name());
// Populate init_idx.
go_assert(init_idx.find(ii->init_name()) == init_idx.end());
unsigned idx = init_idx.size();
init_idx[ii->init_name()] = idx;
// If the init function has a non-negative priority value, this
// is an indication that it was referred to in an older version
// export data section (e.g. we read a legacy object
// file). Record such init fcns so that we can fix up the graph
// for them (handled later in this function).
if (ii->priority() > 0)
{
level_map::iterator it = inits_at_level.find(ii->priority());
if (it == inits_at_level.end())
{
std::vector<std::string> l;
l.push_back(ii->init_name());
inits_at_level[ii->priority()] = l;
}
else
it->second.push_back(ii->init_name());
}
}
this->write_c_string(";\n");
// Create the init graph. Start by populating the graph with
// all the edges we inherited from imported packages.
populate_init_graph(&init_graph, imported_init_fns, init_idx);
// Now add edges from the local init function to each of the
// imported fcns.
if (!import_init_fn.empty())
{
unsigned src = 0;
go_assert(init_idx[import_init_fn] == 0);
for (Import_init_set::const_iterator p = imported_init_fns.begin();
p != imported_init_fns.end();
++p)
{
const Import_init* ii = *p;
unsigned sink = init_idx[ii->init_name()];
add_init_graph_edge(&init_graph, src, sink);
}
}
// In the scenario where one or more of the packages we imported
// was written with the legacy export data format, add dummy edges
// to capture the priority relationships. Here is a package import
// graph as an example:
//
// *A
// /|
// / |
// B *C
// /|
// / |
// *D *E
// | /|
// |/ |
// *F *G
//
// Let's suppose that the object for package "C" is from an old
// gccgo, e.g. it has the old export data format. All other
// packages are compiled with the new compiler and have the new
// format. Packages with *'s have init functions. The scenario is
// that we're compiling a package "A"; during this process we'll
// read the export data for "C". It should look something like
//
// init F F..import 1 G G..import 1 D D..import 2 E E..import 2;
//
// To capture this information and convey it to the consumers of
// "A", the code below adds edges to the graph from each priority K
// function to every priority K-1 function for appropriate values
// of K. This will potentially add more edges than we need (for
// example, an edge from D to G), but given that we don't expect
// to see large numbers of old objects, this will hopefully be OK.
if (inits_at_level.size() > 0)
{
for (level_map::reverse_iterator it = inits_at_level.rbegin();
it != inits_at_level.rend(); ++it)
{
int level = it->first;
if (level < 2) break;
const std::vector<std::string>& fcns_at_level = it->second;
for (std::vector<std::string>::const_iterator sit =
fcns_at_level.begin();
sit != fcns_at_level.end(); ++sit)
{
unsigned src = init_idx[*sit];
level_map::iterator it2 = inits_at_level.find(level - 1);
if (it2 != inits_at_level.end())
{
const std::vector<std::string> fcns_at_lm1 = it2->second;
for (std::vector<std::string>::const_iterator mit =
fcns_at_lm1.begin();
mit != fcns_at_lm1.end(); ++mit)
{
unsigned sink = init_idx[*mit];
add_init_graph_edge(&init_graph, src, sink);
}
}
}
}
}
// Write out the resulting graph.
this->write_c_string("init_graph");
for (Init_graph::const_iterator ki = init_graph.begin();
ki != init_graph.end(); ++ki)
{
unsigned src = ki->first;
const std::set<unsigned>& successors = ki->second;
for (std::set<unsigned>::const_iterator vi = successors.begin();
vi != successors.end(); ++vi)
{
this->write_c_string(" ");
this->write_unsigned(src);
unsigned sink = (*vi);
this->write_c_string(" ");
this->write_unsigned(sink);
}
}
this->write_c_string(";\n");
}
// Write a name to the export stream.
void
Export::write_name(const std::string& name)
{
if (name.empty())
this->write_c_string("?");
else
this->write_string(Gogo::message_name(name));
}
// Write an integer value to the export stream.
void
Export::write_int(int value)
{
char buf[100];
snprintf(buf, sizeof buf, "%d", value);
this->write_c_string(buf);
}
// Write an integer value to the export stream.
void
Export::write_unsigned(unsigned value)
{
char buf[100];
snprintf(buf, sizeof buf, "%u", value);
this->write_c_string(buf);
}
// Export a type. We have to ensure that on import we create a single
// Named_type node for each named type. We do this by keeping a hash
// table mapping named types to reference numbers. The first time we
// see a named type we assign it a reference number by making an entry
// in the hash table. If we see it again, we just refer to the
// reference number.
// Named types are, of course, associated with packages. Note that we
// may see a named type when importing one package, and then later see
// the same named type when importing a different package. The home
// package may or may not be imported during this compilation. The
// reference number scheme has to get this all right. Basic approach
// taken from "On the Linearization of Graphs and Writing Symbol
// Files" by Robert Griesemer.
void
Export::write_type(const Type* type)
{
// We don't want to assign a reference number to a forward
// declaration to a type which was defined later.
type = type->forwarded();
Type_refs::const_iterator p = this->type_refs_.find(type);
if (p != this->type_refs_.end())
{
// This type was already in the table.
int index = p->second;
go_assert(index != 0);
char buf[30];
snprintf(buf, sizeof buf, "<type %d>", index);
this->write_c_string(buf);
return;
}
const Named_type* named_type = type->named_type();
const Forward_declaration_type* forward = type->forward_declaration_type();
int index = this->type_index_;
++this->type_index_;
char buf[30];
snprintf(buf, sizeof buf, "<type %d ", index);
this->write_c_string(buf);
if (named_type != NULL || forward != NULL)
{
const Named_object* named_object;
if (named_type != NULL)
{
// The builtin types should have been predefined.
go_assert(!Linemap::is_predeclared_location(named_type->location())
|| (named_type->named_object()->package()->package_name()
== "unsafe"));
named_object = named_type->named_object();
}
else
named_object = forward->named_object();
const Package* package = named_object->package();
std::string s = "\"";
if (package != NULL && !Gogo::is_hidden_name(named_object->name()))
{
s += package->pkgpath();
s += '.';
}
s += named_object->name();
s += "\" ";
this->write_string(s);
// It is possible that this type was imported indirectly, and is
// not in a package in the import list. If we have not
// mentioned this package before, write out the package name
// here so that any package importing this one will know it.
if (package != NULL
&& this->packages_.find(package) == this->packages_.end())
{
this->write_c_string("\"");
this->write_string(package->package_name());
this->packages_.insert(package);
this->write_c_string("\" ");
}
// We must add a named type to the table now, since the
// definition of the type may refer to the named type via a
// pointer.
this->type_refs_[type] = index;
if (named_type != NULL && named_type->is_alias())
this->write_c_string("= ");
}
type->export_type(this);
this->write_c_string(">");
if (named_type == NULL)
this->type_refs_[type] = index;
}
// Export escape note.
void
Export::write_escape(std::string* note)
{
if (note != NULL && *note != "esc:0x0")
{
this->write_c_string(" ");
char buf[50];
go_assert(note->find("esc:") != std::string::npos);
snprintf(buf, sizeof buf, "<%s>", note->c_str());
this->write_c_string(buf);
}
}
// Add the builtin types to the export table.
void
Export::register_builtin_types(Gogo* gogo)
{
this->register_builtin_type(gogo, "int8", BUILTIN_INT8);
this->register_builtin_type(gogo, "int16", BUILTIN_INT16);
this->register_builtin_type(gogo, "int32", BUILTIN_INT32);
this->register_builtin_type(gogo, "int64", BUILTIN_INT64);
this->register_builtin_type(gogo, "uint8", BUILTIN_UINT8);
this->register_builtin_type(gogo, "uint16", BUILTIN_UINT16);
this->register_builtin_type(gogo, "uint32", BUILTIN_UINT32);
this->register_builtin_type(gogo, "uint64", BUILTIN_UINT64);
this->register_builtin_type(gogo, "float32", BUILTIN_FLOAT32);
this->register_builtin_type(gogo, "float64", BUILTIN_FLOAT64);
this->register_builtin_type(gogo, "complex64", BUILTIN_COMPLEX64);
this->register_builtin_type(gogo, "complex128", BUILTIN_COMPLEX128);
this->register_builtin_type(gogo, "int", BUILTIN_INT);
this->register_builtin_type(gogo, "uint", BUILTIN_UINT);
this->register_builtin_type(gogo, "uintptr", BUILTIN_UINTPTR);
this->register_builtin_type(gogo, "bool", BUILTIN_BOOL);
this->register_builtin_type(gogo, "string", BUILTIN_STRING);
this->register_builtin_type(gogo, "error", BUILTIN_ERROR);
this->register_builtin_type(gogo, "byte", BUILTIN_BYTE);
this->register_builtin_type(gogo, "rune", BUILTIN_RUNE);
}
// Register one builtin type in the export table.
void
Export::register_builtin_type(Gogo* gogo, const char* name, Builtin_code code)
{
Named_object* named_object = gogo->lookup_global(name);
go_assert(named_object != NULL && named_object->is_type());
std::pair<Type_refs::iterator, bool> ins =
this->type_refs_.insert(std::make_pair(named_object->type_value(), code));
go_assert(ins.second);
// We also insert the underlying type. We can see the underlying
// type at least for string and bool. We skip the type aliases byte
// and rune here.
if (code != BUILTIN_BYTE && code != BUILTIN_RUNE)
{
Type* real_type = named_object->type_value()->real_type();
ins = this->type_refs_.insert(std::make_pair(real_type, code));
go_assert(ins.second);
}
}
// Class Export::Stream.
Export::Stream::Stream()
{
this->sha1_helper_ = go_create_sha1_helper();
go_assert(this->sha1_helper_ != NULL);
}
Export::Stream::~Stream()
{
}
// Write bytes to the stream. This keeps a checksum of bytes as they
// go by.
void
Export::Stream::write_and_sum_bytes(const char* bytes, size_t length)
{
this->sha1_helper_->process_bytes(bytes, length);
this->do_write(bytes, length);
}
// Get the checksum.
std::string
Export::Stream::checksum()
{
std::string rval = this->sha1_helper_->finish();
delete this->sha1_helper_;
return rval;
}
// Write the checksum string to the export data.
void
Export::Stream::write_checksum(const std::string& s)
{
this->do_write(s.data(), s.length());
}
// Class Stream_to_section.
Stream_to_section::Stream_to_section(Backend* backend)
: backend_(backend)
{
}
// Write data to a section.
void
Stream_to_section::do_write(const char* bytes, size_t length)
{
this->backend_->write_export_data (bytes, length);
}