]> Cypherpunks.ru repositories - gostls13.git/commit
cmd/compile: disable shortcircuit optimization for intertwined phi values
authorKeith Randall <khr@golang.org>
Tue, 23 Mar 2021 21:48:47 +0000 (14:48 -0700)
committerKeith Randall <khr@golang.org>
Wed, 24 Mar 2021 17:54:03 +0000 (17:54 +0000)
commit771c57e68ed5ef2bbb0eafc0d48419f59d143932
treeae4c6e8519345dd9a4c89761bd5509eedfcf00b0
parentfd5e0bd385660275a8049a2499e0bbbffd465bc8
cmd/compile: disable shortcircuit optimization for intertwined phi values

We need to be careful that when doing value graph surgery, we not
re-substitute a value that has already been substituted. That can lead
to confusing a previous iteration's value with the current iteration's
value.

The simple fix in this CL just aborts the optimization if it detects
intertwined phis (a phi which is the argument to another phi). It
might be possible to keep the optimization with a more complicated
CL, but:
  1) This CL is clearly safe to backport.
  2) There were no instances of this abort triggering in
     all.bash, prior to the test introduced in this CL.

Fixes #45175

Change-Id: I2411dca03948653c053291f6829a76bec0c32330
Reviewed-on: https://go-review.googlesource.com/c/go/+/304251
Trust: Keith Randall <khr@golang.org>
Trust: Josh Bleecher Snyder <josharian@gmail.com>
Run-TryBot: Keith Randall <khr@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Josh Bleecher Snyder <josharian@gmail.com>
src/cmd/compile/internal/ssa/shortcircuit.go
test/fixedbugs/issue45175.go [new file with mode: 0644]