mirror of
https://github.com/golang/go
synced 2024-11-26 15:56:57 -07:00
[dev.regabi] cmd/compile: move itabname call out of implements
We only need to call itabname when actually creating the OCONVIFACE ops, not any time we test whether a type implements an interface. Additionally, by moving this call out of implements, we make it purely based on types, which makes it safe to move to package types. Does not pass toolstash -cmp, because it shuffles symbol creation order. Change-Id: Iea8e0c9374218f4d97b4339020ebd758d051bd03 Reviewed-on: https://go-review.googlesource.com/c/go/+/279333 Reviewed-by: Russ Cox <rsc@golang.org> Run-TryBot: Russ Cox <rsc@golang.org> TryBot-Result: Go Bot <gobot@golang.org> Trust: Matthew Dempsky <mdempsky@google.com>
This commit is contained in:
parent
4e8f681eff
commit
06915ac14d
@ -304,6 +304,14 @@ func assignop(src, dst *types.Type) (ir.Op, string) {
|
|||||||
var missing, have *types.Field
|
var missing, have *types.Field
|
||||||
var ptr int
|
var ptr int
|
||||||
if implements(src, dst, &missing, &have, &ptr) {
|
if implements(src, dst, &missing, &have, &ptr) {
|
||||||
|
// Call itabname so that (src, dst)
|
||||||
|
// gets added to itabs early, which allows
|
||||||
|
// us to de-virtualize calls through this
|
||||||
|
// type/interface pair later. See peekitabs in reflect.go
|
||||||
|
if isdirectiface(src) && !dst.IsEmptyInterface() {
|
||||||
|
itabname(src, dst)
|
||||||
|
}
|
||||||
|
|
||||||
return ir.OCONVIFACE, ""
|
return ir.OCONVIFACE, ""
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -1404,14 +1412,6 @@ func implements(t, iface *types.Type, m, samename **types.Field, ptr *int) bool
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// We're going to emit an OCONVIFACE.
|
|
||||||
// Call itabname so that (t, iface)
|
|
||||||
// gets added to itabs early, which allows
|
|
||||||
// us to de-virtualize calls through this
|
|
||||||
// type/interface pair later. See peekitabs in reflect.go
|
|
||||||
if isdirectiface(t0) && !iface.IsEmptyInterface() {
|
|
||||||
itabname(t0, iface)
|
|
||||||
}
|
|
||||||
return true
|
return true
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user