mirror of
https://github.com/golang/go
synced 2024-11-20 03:24:41 -07:00
2270133981
Extend escape analysis to convT2E and conT2I. If the interface value does not escape supply runtime with a stack buffer for the object copy. This is a straight port from .c to .go of Dmitry's patch Change-Id: Ic315dd50d144d94dd3324227099c116be5ca70b6 Reviewed-on: https://go-review.googlesource.com/8201 Reviewed-by: Dmitry Vyukov <dvyukov@google.com>
264 lines
3.9 KiB
Go
264 lines
3.9 KiB
Go
// Copyright 2012 The Go Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
package runtime_test
|
|
|
|
import (
|
|
"runtime"
|
|
"testing"
|
|
)
|
|
|
|
type I1 interface {
|
|
Method1()
|
|
}
|
|
|
|
type I2 interface {
|
|
Method1()
|
|
Method2()
|
|
}
|
|
|
|
type TS uint16
|
|
type TM uintptr
|
|
type TL [2]uintptr
|
|
|
|
func (TS) Method1() {}
|
|
func (TS) Method2() {}
|
|
func (TM) Method1() {}
|
|
func (TM) Method2() {}
|
|
func (TL) Method1() {}
|
|
func (TL) Method2() {}
|
|
|
|
var (
|
|
e interface{}
|
|
e_ interface{}
|
|
i1 I1
|
|
i2 I2
|
|
ts TS
|
|
tm TM
|
|
tl TL
|
|
ok bool
|
|
)
|
|
|
|
// Issue 9370
|
|
func TestCmpIfaceConcreteAlloc(t *testing.T) {
|
|
if runtime.Compiler != "gc" {
|
|
t.Skip("skipping on non-gc compiler")
|
|
}
|
|
|
|
n := testing.AllocsPerRun(1, func() {
|
|
_ = e == ts
|
|
_ = i1 == ts
|
|
_ = e == 1
|
|
})
|
|
|
|
if n > 0 {
|
|
t.Fatalf("iface cmp allocs=%v; want 0", n)
|
|
}
|
|
}
|
|
|
|
func BenchmarkEqEfaceConcrete(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
_ = e == ts
|
|
}
|
|
}
|
|
|
|
func BenchmarkEqIfaceConcrete(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
_ = i1 == ts
|
|
}
|
|
}
|
|
|
|
func BenchmarkNeEfaceConcrete(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
_ = e != ts
|
|
}
|
|
}
|
|
|
|
func BenchmarkNeIfaceConcrete(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
_ = i1 != ts
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvT2ESmall(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
e = ts
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvT2EUintptr(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
e = tm
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvT2ELarge(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
e = tl
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvT2ISmall(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
i1 = ts
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvT2IUintptr(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
i1 = tm
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvT2ILarge(b *testing.B) {
|
|
for i := 0; i < b.N; i++ {
|
|
i1 = tl
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvI2E(b *testing.B) {
|
|
i2 = tm
|
|
for i := 0; i < b.N; i++ {
|
|
e = i2
|
|
}
|
|
}
|
|
|
|
func BenchmarkConvI2I(b *testing.B) {
|
|
i2 = tm
|
|
for i := 0; i < b.N; i++ {
|
|
i1 = i2
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2T(b *testing.B) {
|
|
e = tm
|
|
for i := 0; i < b.N; i++ {
|
|
tm = e.(TM)
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2TLarge(b *testing.B) {
|
|
e = tl
|
|
for i := 0; i < b.N; i++ {
|
|
tl = e.(TL)
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2I(b *testing.B) {
|
|
e = tm
|
|
for i := 0; i < b.N; i++ {
|
|
i1 = e.(I1)
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertI2T(b *testing.B) {
|
|
i1 = tm
|
|
for i := 0; i < b.N; i++ {
|
|
tm = i1.(TM)
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertI2I(b *testing.B) {
|
|
i1 = tm
|
|
for i := 0; i < b.N; i++ {
|
|
i2 = i1.(I2)
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertI2E(b *testing.B) {
|
|
i1 = tm
|
|
for i := 0; i < b.N; i++ {
|
|
e = i1.(interface{})
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2E(b *testing.B) {
|
|
e = tm
|
|
for i := 0; i < b.N; i++ {
|
|
e_ = e
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2T2(b *testing.B) {
|
|
e = tm
|
|
for i := 0; i < b.N; i++ {
|
|
tm, ok = e.(TM)
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2T2Blank(b *testing.B) {
|
|
e = tm
|
|
for i := 0; i < b.N; i++ {
|
|
_, ok = e.(TM)
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertI2E2(b *testing.B) {
|
|
i1 = tm
|
|
for i := 0; i < b.N; i++ {
|
|
e, ok = i1.(interface{})
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertI2E2Blank(b *testing.B) {
|
|
i1 = tm
|
|
for i := 0; i < b.N; i++ {
|
|
_, ok = i1.(interface{})
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2E2(b *testing.B) {
|
|
e = tm
|
|
for i := 0; i < b.N; i++ {
|
|
e_, ok = e.(interface{})
|
|
}
|
|
}
|
|
|
|
func BenchmarkAssertE2E2Blank(b *testing.B) {
|
|
e = tm
|
|
for i := 0; i < b.N; i++ {
|
|
_, ok = e.(interface{})
|
|
}
|
|
}
|
|
|
|
func TestNonEscapingConvT2E(t *testing.T) {
|
|
m := make(map[interface{}]bool)
|
|
m[42] = true
|
|
if !m[42] {
|
|
t.Fatalf("42 is not present in the map")
|
|
}
|
|
if m[0] {
|
|
t.Fatalf("0 is present in the map")
|
|
}
|
|
|
|
n := testing.AllocsPerRun(1000, func() {
|
|
if m[0] {
|
|
t.Fatalf("0 is present in the map")
|
|
}
|
|
})
|
|
if n != 0 {
|
|
t.Fatalf("want 0 allocs, got %v", n)
|
|
}
|
|
}
|
|
|
|
func TestNonEscapingConvT2I(t *testing.T) {
|
|
m := make(map[I1]bool)
|
|
m[TM(42)] = true
|
|
if !m[TM(42)] {
|
|
t.Fatalf("42 is not present in the map")
|
|
}
|
|
if m[TM(0)] {
|
|
t.Fatalf("0 is present in the map")
|
|
}
|
|
|
|
n := testing.AllocsPerRun(1000, func() {
|
|
if m[TM(0)] {
|
|
t.Fatalf("0 is present in the map")
|
|
}
|
|
})
|
|
if n != 0 {
|
|
t.Fatalf("want 0 allocs, got %v", n)
|
|
}
|
|
}
|