1
0
mirror of https://github.com/golang/go synced 2024-09-23 13:20:14 -06:00

cmd/compile: scanning closures body when visiting wrapper function

CL 410344 fixed missing method value wrapper, by visiting body of
wrapper function after applying inlining pass.

CL 492017 allow more inlining of functions that construct closures,
which ends up making the wrapper function now inlineable, but can
contain closure nodes that couldn't be inlined. These closures body may
contain OMETHVALUE nodes that we never seen, thus we need to scan
closures body for finding them.

Fixes #60945

Change-Id: Ia1e31420bb172ff87d7321d2da2989ef23e6ebb6
Reviewed-on: https://go-review.googlesource.com/c/go/+/505255
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Than McIntosh <thanm@google.com>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Auto-Submit: Cuong Manh Le <cuong.manhle.vn@gmail.com>
This commit is contained in:
Cuong Manh Le 2023-06-23 01:04:29 +07:00 committed by Gopher Robot
parent 164aceea08
commit 6dce882b3a
5 changed files with 54 additions and 1 deletions

View File

@ -115,6 +115,17 @@ func VisitList(list Nodes, visit func(Node)) {
}
}
// VisitFuncAndClosures calls visit on each non-nil node in fn.Body,
// including any nested closure bodies.
func VisitFuncAndClosures(fn *Func, visit func(n Node)) {
VisitList(fn.Body, func(n Node) {
visit(n)
if n, ok := n.(*ClosureExpr); ok && n.Op() == OCLOSURE {
VisitFuncAndClosures(n.Func, visit)
}
})
}
// Any looks for a non-nil node x in the IR tree rooted at n
// for which cond(x) returns true.
// Any considers nodes in a depth-first, preorder traversal.

View File

@ -3919,7 +3919,11 @@ func finishWrapperFunc(fn *ir.Func, target *ir.Package) {
// The body of wrapper function after inlining may reveal new ir.OMETHVALUE node,
// we don't know whether wrapper function has been generated for it or not, so
// generate one immediately here.
ir.VisitList(fn.Body, func(n ir.Node) {
//
// Further, after CL 492017, function that construct closures is allowed to be inlined,
// even though the closure itself can't be inline. So we also need to visit body of any
// closure that we see when visiting body of the wrapper function.
ir.VisitFuncAndClosures(fn, func(n ir.Node) {
if n, ok := n.(*ir.SelectorExpr); ok && n.Op() == ir.OMETHVALUE {
wrapMethodValue(n.X.Type(), n.Selection, target, true)
}

View File

@ -0,0 +1,22 @@
// Copyright 2023 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.
package a
type S struct{}
func callClosure(closure func()) {
closure()
}
func (s *S) M() {
callClosure(func() {
defer f(s.m) // prevent closures to be inlined.
})
}
func (s *S) m() {}
//go:noinline
func f(a ...any) {}

View File

@ -0,0 +1,9 @@
// Copyright 2023 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.
package b
import "./a"
var _ = (&a.S{}).M

View File

@ -0,0 +1,7 @@
// compiledir
// Copyright 2023 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.
package ignored