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
|
Tests of reduction of calls to multi-statement bodies.
a1: reduced to a block with a parameter binding decl.
(Parameter x can't be substituted by z without a shadowing conflict.)
a2: reduced with parameter substitution (no shadowing).
a3: literalized, because of the return statement.
-- go.mod --
module testdata
go 1.12
-- a/a1.go --
package a
func _() {
z := 1
f(z, 2) //@ inline(re"f", out1)
}
func f(x, y int) {
z := 1
print(x + y + z)
}
-- out1 --
package a
func _() {
z := 1
{
var x int = z
z := 1
print(x + 2 + z)
} //@ inline(re"f", out1)
}
func f(x, y int) {
z := 1
print(x + y + z)
}
-- a/a2.go --
package a
func _() {
a := 1
f(a, 2) //@ inline(re"f", out2)
}
-- out2 --
package a
func _() {
a := 1
z := 1
print(a + 2 + z) //@ inline(re"f", out2)
}
-- a/a3.go --
package a
func _() {
a := 1
g(a, 2) //@ inline(re"g", out3)
}
func g(x, y int) int {
z := 1
return x + y + z
}
-- out3 --
package a
func _() {
a := 1
func() int { z := 1; return a + 2 + z }() //@ inline(re"g", out3)
}
func g(x, y int) int {
z := 1
return x + y + z
}
|
