blob: e18077f444a52b0f8811a5ba29021f6d52a30e0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// Copyright 2021 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.
// go:build ignore
package testdata
type Y interface {
Foo()
Bar(float64)
}
type Z Y
type W interface {
Y
}
type A struct{}
func (a A) Foo() { print("A:Foo") }
func (a A) Bar(f float64) { print(uint(f)) }
type B struct{}
func (b B) Foo() { print("B:Foo") }
func (b B) Bar(f float64) { print(uint(f) + 1) }
type X interface {
Foo()
}
func Baz(y Y) {
z := Z(y)
z.Foo()
x := X(y)
x.Foo()
y = A{}
var y_p *Y = &y
w_p := (*W)(y_p)
*w_p = B{}
(*y_p).Foo() // prints B:Foo
(*w_p).Foo() // prints B:Foo
}
// Relevant SSA:
// func Baz(y Y):
// t0 = new Y (y)
// *t0 = y
// t1 = *t0
// t2 = changetype Z <- Y (t1)
// t3 = invoke t2.Foo()
//
// t4 = *t0
// t5 = change interface X <- Y (t4)
// t6 = invoke t5.Foo()
//
// t7 = local A (complit)
// t8 = *t7
// t9 = make Y <- A (t8)
// *t0 = t9
// t10 = changetype *W <- *Y (t0)
// t11 = local B (complit)
// t12 = *t11
// t13 = make W <- B (t12)
// *t10 = t13
// t14 = *t0
// t15 = invoke t14.Foo()
// t16 = *t10
// t17 = invoke t16.Foo()
// return
// WANT:
// Local(t1) -> Local(t2)
// Local(t4) -> Local(t5)
// Local(t0) -> Local(t1), Local(t10), Local(t14), Local(t4)
// Local(y) -> Local(t0)
// Local(t8) -> Local(t9)
// Local(t9) -> Local(t0)
// Local(t13) -> Local(t10)
|
