]> Cypherpunks repositories - gostls13.git/commit
cmd/compile: during regalloc, fixedreg values are always available
authorKeith Randall <khr@golang.org>
Wed, 13 Aug 2025 21:01:30 +0000 (14:01 -0700)
committerKeith Randall <khr@golang.org>
Wed, 13 Aug 2025 21:55:05 +0000 (14:55 -0700)
commit9bbea0f21a4539ea365d4804131b17d3b963c4f7
treee13e332a305597a42137f4d90010fbc41592eb0f
parent08eef97500bd814a1dc83596a45837e6c7a7d43c
cmd/compile: during regalloc, fixedreg values are always available

It is ok to clobber registers that have a copy of a fixedreg value,
as that value is always available in its original location later
if we need it. (See 14 lines below the change.)

This CL will fix the regalloc infinite loop that CL 678620 introduced.

That CL requests that the stack pointer value be materialized in a
non-stack-pointer register, which is atypical. That condition
triggered the infinite loop that this CL fixes.  The infinite loop is
the compiler trying to reuse that non-stack-pointer register for
something else, but then refusing to give it up because it thought
that non-stack-pointer register held the last copy of the original SP
value.

Change-Id: Id604d0937fb9d3753ee273bf1917753d3ef2d5d7
Reviewed-on: https://go-review.googlesource.com/c/go/+/696035
Reviewed-by: David Chase <drchase@google.com>
Reviewed-by: Keith Randall <khr@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
src/cmd/compile/internal/ssa/regalloc.go