blob: 2144a2cbcd3476cd1e226c9a4721e49661b8c6a4 (
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
|
// 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 A struct{}
type B struct{}
type I interface{ foo() }
func (a A) foo() {}
func (b B) foo() {}
func Baz(b B, c bool) {
var i I
if c {
i = b
} else {
a := A{}
i = a
}
i.foo()
}
// Relevant SSA:
// func Baz(b B, c bool):
// 0:
// t0 = local B (b)
// *t0 = b
// if c goto 1 else 3
//
// 1:
// t1 = *t0
// t2 = make I <- B (t1)
// jump 2
//
// 2:
// t3 = phi [1: t2, 3: t7] #i
// t4 = invoke t3.foo()
// return
//
// 3:
// t5 = local A (a)
// t6 = *t5
// t7 = make I <- A (t6)
// jump 2
// WANT:
// Local(t1) -> Local(t2)
// Local(t2) -> Local(t3)
// Local(t7) -> Local(t3)
// Local(t6) -> Local(t7)
|
