compiler: Escape analysis.
authorChris Manghane <cmang@google.com>
Fri, 17 Apr 2015 17:10:12 +0000 (17:10 +0000)
committerIan Lance Taylor <ian@gcc.gnu.org>
Fri, 17 Apr 2015 17:10:12 +0000 (17:10 +0000)
commitb496063dcd8bf5041e101de4532297803fa997b2
treed1dced696fcc3d7e6802d825c7ddf09b50b62bda
parentc10b5ea0d8b2b268fcb16ae9768dea61c7271735
compiler: Escape analysis.

By Chris Manghane.

Comprises three changes to gofrontend repository:

compiler: Add escape information to export data.

compiler: Stack-allocate non-escaping variables.

This change allows variables initialized through make or new
to be allocated on the stack via a temporary variable if they
do not escape their function. It also improves the analysis to
consider situations where variables escape in the standard
library and go testsuite such as:

*nested composite literals and composite literal arguments
*method receivers always escaping
*escape via statements in closures referring to enclosing variables
*escape via calls with multiple return results

compiler: Basic escape analysis for the go frontend.

This is an implementation of the algorithm described in
"Escape Analysis in Java" by Choi et. al.

It relies on dataflow information to discover variable
references to one another. Handles assignments to closures
and association between closures variables and the variables
of the enclosing scope.

Dataflow analysis does not discover references through range
statements e.g. for _, v := range a will not recognize that
all values of v are references to a.

* Make-lang.in (GO_OBJS): Add go/escape.o.

From-SVN: r222188
17 files changed:
gcc/go/ChangeLog
gcc/go/Make-lang.in
gcc/go/gofrontend/dataflow.cc
gcc/go/gofrontend/escape.cc [new file with mode: 0644]
gcc/go/gofrontend/escape.h [new file with mode: 0644]
gcc/go/gofrontend/export.cc
gcc/go/gofrontend/export.h
gcc/go/gofrontend/expressions.cc
gcc/go/gofrontend/expressions.h
gcc/go/gofrontend/go.cc
gcc/go/gofrontend/gogo.cc
gcc/go/gofrontend/gogo.h
gcc/go/gofrontend/import.cc
gcc/go/gofrontend/import.h
gcc/go/gofrontend/statements.cc
gcc/go/gofrontend/statements.h
gcc/go/gofrontend/types.h