]> Cypherpunks repositories - gostls13.git/commit
cmd/compile: wrap/desugar defer calls for register abi
authorThan McIntosh <thanm@google.com>
Wed, 24 Feb 2021 17:55:52 +0000 (12:55 -0500)
committerThan McIntosh <thanm@google.com>
Tue, 23 Mar 2021 23:08:19 +0000 (23:08 +0000)
commit769d4b68ef72125de068a060220c3dbd9ba65c43
tree9a54b697bcc1a1fb24c81bc06376e255c000693b
parent4e27aa6cd2c3f579328e3b490780664ade34053d
cmd/compile: wrap/desugar defer calls for register abi

Adds code to the compiler's "order" phase to rewrite go and defer
statements to always be argument-less. E.g.

 defer f(x,y)       =>     x1, y1 := x, y
   defer func() { f(x1, y1) }

This transformation is not beneficial on its own, but it helps
simplify runtime defer handling for the new register ABI (when
invoking deferred functions on the panic path, the runtime doesn't
need to manage the complexity of determining which args to pass in
register vs memory).

This feature is currently enabled by default if GOEXPERIMENT=regabi or
GOEXPERIMENT=regabidefer is in effect.

Included in this CL are some workarounds in the runtime to insure that
"go" statement targets in the runtime are argument-less already (since
wrapping them can potentially introduce heap-allocated closures, which
are currently not allowed). The expectation is that these workarounds
will be temporary, and can go away once we either A) change the rules
about heap-allocated closures, or B) implement some other scheme for
handling go statements.

Change-Id: I01060d79a6b140c6f0838d6e6813f807ccdca319
Reviewed-on: https://go-review.googlesource.com/c/go/+/298669
Trust: Than McIntosh <thanm@google.com>
Run-TryBot: Than McIntosh <thanm@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cherry Zhang <cherryyz@google.com>
Reviewed-by: David Chase <drchase@google.com>
12 files changed:
src/cmd/compile/internal/ir/expr.go
src/cmd/compile/internal/walk/closure.go
src/cmd/compile/internal/walk/order.go
src/cmd/compile/internal/walk/stmt.go
src/cmd/internal/objabi/util.go
src/runtime/export_test.go
src/runtime/mgc.go
src/runtime/mgcscavenge.go
src/runtime/mgcsweep.go
src/runtime/race/output_test.go
test/live.go
test/run.go