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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
|
// build -goexperiment regabi,regabiargs
// 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.
package main
import (
"fmt"
"os"
"reflect"
)
func main() {
// Only print if there is a problem
Caller2()
if FailCount != 0 {
fmt.Fprintf(os.Stderr, "FAILURES: %d\n", FailCount)
os.Exit(2)
}
}
var ParamFailCount int
var ReturnFailCount int
var FailCount int
var Mode string
type UtilsType int
//go:noinline
func NoteFailure(cm int, pidx int, fidx int, pkg string, pref string, parmNo int, isret bool, _ uint64) {
if isret {
if ParamFailCount != 0 {
return
}
ReturnFailCount++
} else {
ParamFailCount++
}
fmt.Fprintf(os.Stderr, "Error: fail %s |%d|%d|%d| =%s.Test%d= %s %d\n", Mode, cm, pidx, fidx, pkg, fidx, pref, parmNo)
if ParamFailCount+FailCount+ReturnFailCount > 9999 {
os.Exit(1)
}
}
//go:noinline
func NoteFailureElem(cm int, pidx int, fidx int, pkg string, pref string, parmNo int, elem int, isret bool, _ uint64) {
if isret {
if ParamFailCount != 0 {
return
}
ReturnFailCount++
} else {
ParamFailCount++
}
fmt.Fprintf(os.Stderr, "Error: fail %s |%d|%d|%d| =%s.Test%d= %s %d elem %d\n", Mode, cm, pidx, fidx, pkg, fidx, pref, parmNo, elem)
if ParamFailCount+FailCount+ReturnFailCount > 9999 {
os.Exit(1)
}
}
func BeginFcn() {
ParamFailCount = 0
ReturnFailCount = 0
}
func EndFcn() {
FailCount += ParamFailCount
FailCount += ReturnFailCount
}
func Caller2() {
BeginFcn()
c0 := StructF2S0{F0: ArrayF2S1E1{New_3(float64(-0.4418990509835844))}}
c1 := ArrayF2S2E1{StructF2S1{ /* _: "(z̽|" */ F1: ""}}
c2 := int16(4162)
c3 := float32(-7.667096e+37)
c4 := int64(3202175648847048679)
var p0 ArrayF2S0E0
p0 = ArrayF2S0E0{}
var p1 uint8
p1 = uint8(57)
var p2 uint16
p2 = uint16(10920)
var p3 float64
p3 = float64(-1.597256501942112)
Mode = ""
// 5 returns 4 params
r0, r1, r2, r3, r4 := Test2(p0, p1, p2, p3)
if !EqualStructF2S0(r0, c0) {
NoteFailure(9, 42, 2, "genChecker42", "return", 0, true, uint64(0))
}
if r1 != c1 {
NoteFailure(9, 42, 2, "genChecker42", "return", 1, true, uint64(0))
}
if r2 != c2 {
NoteFailure(9, 42, 2, "genChecker42", "return", 2, true, uint64(0))
}
if r3 != c3 {
NoteFailure(9, 42, 2, "genChecker42", "return", 3, true, uint64(0))
}
if r4 != c4 {
NoteFailure(9, 42, 2, "genChecker42", "return", 4, true, uint64(0))
}
// same call via reflection
Mode = "reflect"
rc := reflect.ValueOf(Test2)
rvslice := rc.Call([]reflect.Value{reflect.ValueOf(p0), reflect.ValueOf(p1), reflect.ValueOf(p2), reflect.ValueOf(p3)})
rr0i := rvslice[0].Interface()
rr0v := rr0i.(StructF2S0)
if !EqualStructF2S0(rr0v, c0) {
NoteFailure(9, 42, 2, "genChecker42", "return", 0, true, uint64(0))
}
rr1i := rvslice[1].Interface()
rr1v := rr1i.(ArrayF2S2E1)
if rr1v != c1 {
NoteFailure(9, 42, 2, "genChecker42", "return", 1, true, uint64(0))
}
rr2i := rvslice[2].Interface()
rr2v := rr2i.(int16)
if rr2v != c2 {
NoteFailure(9, 42, 2, "genChecker42", "return", 2, true, uint64(0))
}
rr3i := rvslice[3].Interface()
rr3v := rr3i.(float32)
if rr3v != c3 {
NoteFailure(9, 42, 2, "genChecker42", "return", 3, true, uint64(0))
}
rr4i := rvslice[4].Interface()
rr4v := rr4i.(int64)
if rr4v != c4 {
NoteFailure(9, 42, 2, "genChecker42", "return", 4, true, uint64(0))
}
EndFcn()
}
type StructF0S0 struct {
}
type ArrayF0S0E2 [2]int16
type ArrayF0S1E1 [1]StructF0S0
type StructF1S0 struct {
F0 StructF1S1
_ ArrayF1S0E4
}
type StructF1S1 struct {
}
type StructF1S2 struct {
F0 uint32
F1 uint8
F2 string
F3 string
F4 ArrayF1S1E1
}
type StructF1S3 struct {
F0 float64
}
type StructF1S4 struct {
_ int32
F1 float32
}
type StructF1S5 struct {
F0 uint16
}
type StructF1S6 struct {
F0 uint8
F1 uint32
}
type ArrayF1S0E4 [4]float64
type ArrayF1S1E1 [1]StructF1S3
type ArrayF1S2E2 [2]StructF1S4
type ArrayF1S3E2 [2]StructF1S5
type ArrayF1S4E4 [4]ArrayF1S5E3
type ArrayF1S5E3 [3]string
type ArrayF1S6E1 [1]float64
type StructF2S0 struct {
F0 ArrayF2S1E1
}
// equal func for StructF2S0
//go:noinline
func EqualStructF2S0(left StructF2S0, right StructF2S0) bool {
return EqualArrayF2S1E1(left.F0, right.F0)
}
type StructF2S1 struct {
_ string
F1 string
}
type ArrayF2S0E0 [0]int8
type ArrayF2S1E1 [1]*float64
// equal func for ArrayF2S1E1
//go:noinline
func EqualArrayF2S1E1(left ArrayF2S1E1, right ArrayF2S1E1) bool {
return *left[0] == *right[0]
}
type ArrayF2S2E1 [1]StructF2S1
// 5 returns 4 params
//go:registerparams
//go:noinline
func Test2(p0 ArrayF2S0E0, p1 uint8, _ uint16, p3 float64) (r0 StructF2S0, r1 ArrayF2S2E1, r2 int16, r3 float32, r4 int64) {
// consume some stack space, so as to trigger morestack
var pad [16]uint64
pad[FailCount&0x1]++
rc0 := StructF2S0{F0: ArrayF2S1E1{New_3(float64(-0.4418990509835844))}}
rc1 := ArrayF2S2E1{StructF2S1{ /* _: "(z̽|" */ F1: ""}}
rc2 := int16(4162)
rc3 := float32(-7.667096e+37)
rc4 := int64(3202175648847048679)
p1f0c := uint8(57)
if p1 != p1f0c {
NoteFailureElem(9, 42, 2, "genChecker42", "parm", 1, 0, false, pad[0])
return
}
_ = uint16(10920)
p3f0c := float64(-1.597256501942112)
if p3 != p3f0c {
NoteFailureElem(9, 42, 2, "genChecker42", "parm", 3, 0, false, pad[0])
return
}
defer func(p0 ArrayF2S0E0, p1 uint8) {
// check parm passed
// check parm passed
if p1 != p1f0c {
NoteFailureElem(9, 42, 2, "genChecker42", "parm", 1, 0, false, pad[0])
return
}
// check parm captured
if p3 != p3f0c {
NoteFailureElem(9, 42, 2, "genChecker42", "parm", 3, 0, false, pad[0])
return
}
}(p0, p1)
return rc0, rc1, rc2, rc3, rc4
// 0 addr-taken params, 0 addr-taken returns
}
//go:noinline
func New_3(i float64) *float64 {
x := new(float64)
*x = i
return x
}
|
