]> Cypherpunks repositories - gostls13.git/commit
cmd/compile: move fixVariadicCall from walk to order
authorMatthew Dempsky <mdempsky@google.com>
Tue, 21 Apr 2020 22:59:11 +0000 (15:59 -0700)
committerMatthew Dempsky <mdempsky@google.com>
Thu, 23 Apr 2020 18:29:42 +0000 (18:29 +0000)
commit681ba4307781a1f1581bda3c52255186e4b79546
tree3684ebb1cd6ab860bed5a5e3f3d55226f2483443
parent0d19b91b40a971cad50b894d543c201763d4085e
cmd/compile: move fixVariadicCall from walk to order

This CL moves fixVariadicCall from mid-Walk of function calls to
early-Order, in preparation for moving it even earlier in the future.

Notably, rewriting variadic calls this early introduces two
compilation output changes:

1. Previously, Order visited the ODDDARG before the rest of the
arguments list, whereas the natural time to visit it is at the end of
the list (as we visit arguments left-to-right, and the ... argument is
the rightmost one). Changing this ordering permutes the autotmp
allocation order, which in turn permutes autotmp naming and stack
offsets.

2. Previously, Walk separately walked all of the variadic arguments
before walking the entire slice literal, whereas the more natural
thing to do is just walk the entire slice literal. This triggers
slightly different code paths for composite literal construction in
some cases.

Neither of these have semantic impact. They simply mean we're now
compiling f(a,b,c) the same way as we were already compiling
f([]T{a,b,c}...).

Change-Id: I40ccc5725697a116370111ebe746b2639562fe87
Reviewed-on: https://go-review.googlesource.com/c/go/+/229601
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
src/cmd/compile/internal/gc/order.go
src/cmd/compile/internal/gc/walk.go