]> Cypherpunks repositories - gostls13.git/commit
cmd/compile: use topo-sort in prove to correctly learn facts while walking once
authorJorropo <jorropo.pgm@gmail.com>
Sat, 25 Oct 2025 15:00:18 +0000 (17:00 +0200)
committerGopher Robot <gobot@golang.org>
Tue, 28 Oct 2025 02:06:13 +0000 (19:06 -0700)
commit53be78630a25cfe53a1bf3e97e000bbe97848286
tree28f25bc53428a5b10ea5163ba7f43c97d9a4414c
parentdec2b4c83dd8b86b56e901f832819e76ff6969df
cmd/compile: use topo-sort in prove to correctly learn facts while walking once

Fixes #68857

Change-Id: Ideb359cc6f1550afb4c79f02d25a00d0ae5e5c50
Reviewed-on: https://go-review.googlesource.com/c/go/+/714920
Reviewed-by: Michael Knyszek <mknyszek@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
Auto-Submit: Jorropo <jorropo.pgm@gmail.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Keith Randall <khr@google.com>
src/cmd/compile/internal/ssa/_gen/allocators.go
src/cmd/compile/internal/ssa/allocators.go
src/cmd/compile/internal/ssa/prove.go