diff options
author | Ian Lance Taylor <ian@gcc.gnu.org> | 2014-12-10 00:56:00 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@gcc.gnu.org> | 2014-12-10 00:56:00 +0000 |
commit | 2a664a279af73c048fcfdad32eb8b6c29f27dcda (patch) | |
tree | 41c86ea0b9ab3c207438f31685ae732770add85d /gcc | |
parent | 9131b50960c20488a255ede40a3ebd3ed6b6bd82 (diff) | |
download | gcc-2a664a279af73c048fcfdad32eb8b6c29f27dcda.zip gcc-2a664a279af73c048fcfdad32eb8b6c29f27dcda.tar.gz gcc-2a664a279af73c048fcfdad32eb8b6c29f27dcda.tar.bz2 |
compiler: Don't track fields in compiler-generated hash and eq funcs.
Also, lower field tracking calls.
From-SVN: r218554
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/go/gofrontend/expressions.cc | 5 | ||||
-rw-r--r-- | gcc/go/gofrontend/gogo.cc | 1 | ||||
-rw-r--r-- | gcc/go/gofrontend/gogo.h | 15 | ||||
-rw-r--r-- | gcc/go/gofrontend/types.cc | 2 |
4 files changed, 23 insertions, 0 deletions
diff --git a/gcc/go/gofrontend/expressions.cc b/gcc/go/gofrontend/expressions.cc index 024b2c4..0916adc 100644 --- a/gcc/go/gofrontend/expressions.cc +++ b/gcc/go/gofrontend/expressions.cc @@ -10729,6 +10729,10 @@ Field_reference_expression::do_lower(Gogo* gogo, Named_object* function, if (field->tag().find("go:\"track\"") == std::string::npos) return this; + // References from functions generated by the compiler don't count. + if (function->func_value()->is_type_specific_function()) + return this; + // We have found a reference to a tracked field. Build a call to // the runtime function __go_fieldtrack with a string that describes // the field. FIXME: We should only call this once per referenced @@ -10785,6 +10789,7 @@ Field_reference_expression::do_lower(Gogo* gogo, Named_object* function, e = Expression::make_unary(OPERATOR_AND, e, loc); Expression* call = Runtime::make_call(Runtime::FIELDTRACK, loc, 1, e); + gogo->lower_expression(function, inserter, &call); inserter->insert(Statement::make_statement(call, false)); // Put this function, and the global variable we just created, into diff --git a/gcc/go/gofrontend/gogo.cc b/gcc/go/gofrontend/gogo.cc index 453db9a..d7f4437 100644 --- a/gcc/go/gofrontend/gogo.cc +++ b/gcc/go/gofrontend/gogo.cc @@ -4433,6 +4433,7 @@ Function::Function(Function_type* type, Function* enclosing, Block* block, is_sink_(false), results_are_named_(false), nointerface_(false), is_unnamed_type_stub_method_(false), calls_recover_(false), is_recover_thunk_(false), has_recover_thunk_(false), + calls_defer_retaddr_(false), is_type_specific_function_(false), in_unique_section_(false) { } diff --git a/gcc/go/gofrontend/gogo.h b/gcc/go/gofrontend/gogo.h index 10aea69..a75ae4b 100644 --- a/gcc/go/gofrontend/gogo.h +++ b/gcc/go/gofrontend/gogo.h @@ -1071,6 +1071,18 @@ class Function set_calls_defer_retaddr() { this->calls_defer_retaddr_ = true; } + // Whether this is a type hash or equality function created by the + // compiler. + bool + is_type_specific_function() + { return this->is_type_specific_function_; } + + // Record that this function is a type hash or equality function + // created by the compiler. + void + set_is_type_specific_function() + { this->is_type_specific_function_ = true; } + // Mark the function as going into a unique section. void set_in_unique_section() @@ -1199,6 +1211,9 @@ class Function // True if this is a thunk built for a defer statement that calls // the __go_set_defer_retaddr runtime function. bool calls_defer_retaddr_ : 1; + // True if this is a function built by the compiler to as a hash or + // equality function for some type. + bool is_type_specific_function_ : 1; // True if this function should be put in a unique section. This is // turned on for field tracking. bool in_unique_section_ : 1; diff --git a/gcc/go/gofrontend/types.cc b/gcc/go/gofrontend/types.cc index 7035524..6533cd4 100644 --- a/gcc/go/gofrontend/types.cc +++ b/gcc/go/gofrontend/types.cc @@ -1805,6 +1805,7 @@ Type::write_specific_type_functions(Gogo* gogo, Named_type* name, Named_object* hash_fn = gogo->start_function(hash_name, hash_fntype, false, bloc); + hash_fn->func_value()->set_is_type_specific_function(); gogo->start_block(bloc); if (name != NULL && name->real_type()->named_type() != NULL) @@ -1825,6 +1826,7 @@ Type::write_specific_type_functions(Gogo* gogo, Named_type* name, Named_object *equal_fn = gogo->start_function(equal_name, equal_fntype, false, bloc); + equal_fn->func_value()->set_is_type_specific_function(); gogo->start_block(bloc); if (name != NULL && name->real_type()->named_type() != NULL) |