qbit/go
1
0
Fork 0
mirror of https://github.com/golang/go synced 2024-11-26 22:11:25 -07:00
Code Releases Activity

cmd/compile/internal/ir: export 'reassigned', handle OASOP

Browse Source 
Rename the ir-local function "reassigned" to "Reassigned" so that it
can be used as part of inline heuristic analysis. Fix up the header
comment along that way, which had some stale material. Add support for
detecting reassignments via OASOP (as opposed to just simple
assignments).

Updates #61502.

Change-Id: I50f40f81263c0d7f61f30fcf0258f0b0f93acdca
Reviewed-on: https://go-review.googlesource.com/c/go/+/511560
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Run-TryBot: Than McIntosh <thanm@google.com>
This commit is contained in:
Than McIntosh 2023-06-30 16:06:10 -04:00
parent b888ec4ac3
commit 7087b8ac4c
1 changed files with 17 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/cmd/compile/internal/ir/expr.go
View File

@ -906,20 +906,20 @@ FindRHS:
base.Fatalf("RHS is nil: %v", defn)
}
if reassigned(n) {
if Reassigned(n) {
return nil
}
return rhs
}
// reassigned takes an ONAME node, walks the function in which it is defined, and returns a boolean
// indicating whether the name has any assignments other than its declaration.
// The second return value is the first such assignment encountered in the walk, if any. It is mostly
// useful for -m output documenting the reason for inhibited optimizations.
// Reassigned takes an ONAME node, walks the function in which it is
// defined, and returns a boolean indicating whether the name has any
// assignments other than its declaration.
// NB: global variables are always considered to be re-assigned.
// TODO: handle initial declaration not including an assignment and followed by a single assignment?
func reassigned(name *Name) bool {
// TODO: handle initial declaration not including an assignment and
// followed by a single assignment?
func Reassigned(name *Name) bool {
if name.Op() != ONAME {
base.Fatalf("reassigned %v", name)
}
@ -934,7 +934,10 @@ func reassigned(name *Name) bool {
// isName reports whether n is a reference to name.
isName := func(x Node) bool {
n, ok := x.(*Name)
if x == nil {
return false
}
n, ok := OuterValue(x).(*Name)
return ok && n.Canonical() == name
}
@ -953,9 +956,14 @@ func reassigned(name *Name) bool {
return true
}
}
case OASOP:
n := n.(*AssignOpStmt)
if isName(n.X) {
return true
}
case OADDR:
n := n.(*AddrExpr)
if isName(OuterValue(n.X)) {
if isName(n.X) {
return true
}
case ORANGE: