1
2
3 package typecheck
4
5 import (
6 "cmd/compile/internal/types"
7 "cmd/internal/src"
8 )
9
10
11
12
13 func newSig(params, results []*types.Field) *types.Type {
14 return types.NewSignature(nil, params, results)
15 }
16
17 func params(tlist ...*types.Type) []*types.Field {
18 flist := make([]*types.Field, len(tlist))
19 for i, typ := range tlist {
20 flist[i] = types.NewField(src.NoXPos, nil, typ)
21 }
22 return flist
23 }
24
25 var runtimeDecls = [...]struct {
26 name string
27 tag int
28 typ int
29 }{
30 {"newobject", funcTag, 4},
31 {"mallocgc", funcTag, 8},
32 {"panicdivide", funcTag, 9},
33 {"panicshift", funcTag, 9},
34 {"panicmakeslicelen", funcTag, 9},
35 {"panicmakeslicecap", funcTag, 9},
36 {"throwinit", funcTag, 9},
37 {"panicwrap", funcTag, 9},
38 {"gopanic", funcTag, 11},
39 {"gorecover", funcTag, 12},
40 {"goschedguarded", funcTag, 9},
41 {"goPanicIndex", funcTag, 14},
42 {"goPanicIndexU", funcTag, 16},
43 {"goPanicSliceAlen", funcTag, 14},
44 {"goPanicSliceAlenU", funcTag, 16},
45 {"goPanicSliceAcap", funcTag, 14},
46 {"goPanicSliceAcapU", funcTag, 16},
47 {"goPanicSliceB", funcTag, 14},
48 {"goPanicSliceBU", funcTag, 16},
49 {"goPanicSlice3Alen", funcTag, 14},
50 {"goPanicSlice3AlenU", funcTag, 16},
51 {"goPanicSlice3Acap", funcTag, 14},
52 {"goPanicSlice3AcapU", funcTag, 16},
53 {"goPanicSlice3B", funcTag, 14},
54 {"goPanicSlice3BU", funcTag, 16},
55 {"goPanicSlice3C", funcTag, 14},
56 {"goPanicSlice3CU", funcTag, 16},
57 {"goPanicSliceConvert", funcTag, 14},
58 {"printbool", funcTag, 17},
59 {"printfloat64", funcTag, 19},
60 {"printfloat32", funcTag, 21},
61 {"printint", funcTag, 23},
62 {"printhex", funcTag, 25},
63 {"printuint", funcTag, 25},
64 {"printcomplex128", funcTag, 27},
65 {"printcomplex64", funcTag, 29},
66 {"printstring", funcTag, 31},
67 {"printpointer", funcTag, 32},
68 {"printuintptr", funcTag, 33},
69 {"printiface", funcTag, 32},
70 {"printeface", funcTag, 32},
71 {"printslice", funcTag, 32},
72 {"printnl", funcTag, 9},
73 {"printsp", funcTag, 9},
74 {"printlock", funcTag, 9},
75 {"printunlock", funcTag, 9},
76 {"concatstring2", funcTag, 36},
77 {"concatstring3", funcTag, 37},
78 {"concatstring4", funcTag, 38},
79 {"concatstring5", funcTag, 39},
80 {"concatstrings", funcTag, 41},
81 {"concatbyte2", funcTag, 43},
82 {"concatbyte3", funcTag, 44},
83 {"concatbyte4", funcTag, 45},
84 {"concatbyte5", funcTag, 46},
85 {"concatbytes", funcTag, 47},
86 {"cmpstring", funcTag, 48},
87 {"intstring", funcTag, 51},
88 {"slicebytetostring", funcTag, 52},
89 {"slicebytetostringtmp", funcTag, 53},
90 {"slicerunetostring", funcTag, 56},
91 {"stringtoslicebyte", funcTag, 57},
92 {"stringtoslicerune", funcTag, 60},
93 {"slicecopy", funcTag, 61},
94 {"decoderune", funcTag, 62},
95 {"countrunes", funcTag, 63},
96 {"convT", funcTag, 64},
97 {"convTnoptr", funcTag, 64},
98 {"convT16", funcTag, 66},
99 {"convT32", funcTag, 68},
100 {"convT64", funcTag, 69},
101 {"convTstring", funcTag, 70},
102 {"convTslice", funcTag, 73},
103 {"assertE2I", funcTag, 74},
104 {"assertE2I2", funcTag, 74},
105 {"panicdottypeE", funcTag, 75},
106 {"panicdottypeI", funcTag, 75},
107 {"panicnildottype", funcTag, 76},
108 {"typeAssert", funcTag, 74},
109 {"interfaceSwitch", funcTag, 77},
110 {"ifaceeq", funcTag, 79},
111 {"efaceeq", funcTag, 79},
112 {"panicrangestate", funcTag, 80},
113 {"deferrangefunc", funcTag, 12},
114 {"rand", funcTag, 81},
115 {"rand32", funcTag, 82},
116 {"makemap64", funcTag, 84},
117 {"makemap", funcTag, 85},
118 {"makemap_small", funcTag, 86},
119 {"mapaccess1", funcTag, 87},
120 {"mapaccess1_fast32", funcTag, 88},
121 {"mapaccess1_fast64", funcTag, 89},
122 {"mapaccess1_faststr", funcTag, 90},
123 {"mapaccess1_fat", funcTag, 91},
124 {"mapaccess2", funcTag, 92},
125 {"mapaccess2_fast32", funcTag, 93},
126 {"mapaccess2_fast64", funcTag, 94},
127 {"mapaccess2_faststr", funcTag, 95},
128 {"mapaccess2_fat", funcTag, 96},
129 {"mapassign", funcTag, 87},
130 {"mapassign_fast32", funcTag, 88},
131 {"mapassign_fast32ptr", funcTag, 97},
132 {"mapassign_fast64", funcTag, 89},
133 {"mapassign_fast64ptr", funcTag, 97},
134 {"mapassign_faststr", funcTag, 90},
135 {"mapIterStart", funcTag, 98},
136 {"mapdelete", funcTag, 98},
137 {"mapdelete_fast32", funcTag, 99},
138 {"mapdelete_fast64", funcTag, 100},
139 {"mapdelete_faststr", funcTag, 101},
140 {"mapIterNext", funcTag, 102},
141 {"mapclear", funcTag, 103},
142 {"makechan64", funcTag, 105},
143 {"makechan", funcTag, 106},
144 {"chanrecv1", funcTag, 108},
145 {"chanrecv2", funcTag, 109},
146 {"chansend1", funcTag, 111},
147 {"closechan", funcTag, 112},
148 {"chanlen", funcTag, 113},
149 {"chancap", funcTag, 113},
150 {"writeBarrier", varTag, 115},
151 {"typedmemmove", funcTag, 116},
152 {"typedmemclr", funcTag, 117},
153 {"typedslicecopy", funcTag, 118},
154 {"selectnbsend", funcTag, 119},
155 {"selectnbrecv", funcTag, 120},
156 {"selectsetpc", funcTag, 121},
157 {"selectgo", funcTag, 122},
158 {"block", funcTag, 9},
159 {"makeslice", funcTag, 123},
160 {"makeslice64", funcTag, 124},
161 {"makeslicecopy", funcTag, 125},
162 {"growslice", funcTag, 127},
163 {"unsafeslicecheckptr", funcTag, 128},
164 {"panicunsafeslicelen", funcTag, 9},
165 {"panicunsafeslicenilptr", funcTag, 9},
166 {"unsafestringcheckptr", funcTag, 129},
167 {"panicunsafestringlen", funcTag, 9},
168 {"panicunsafestringnilptr", funcTag, 9},
169 {"memmove", funcTag, 130},
170 {"memclrNoHeapPointers", funcTag, 131},
171 {"memclrHasPointers", funcTag, 131},
172 {"memequal", funcTag, 132},
173 {"memequal0", funcTag, 133},
174 {"memequal8", funcTag, 133},
175 {"memequal16", funcTag, 133},
176 {"memequal32", funcTag, 133},
177 {"memequal64", funcTag, 133},
178 {"memequal128", funcTag, 133},
179 {"f32equal", funcTag, 134},
180 {"f64equal", funcTag, 134},
181 {"c64equal", funcTag, 134},
182 {"c128equal", funcTag, 134},
183 {"strequal", funcTag, 134},
184 {"interequal", funcTag, 134},
185 {"nilinterequal", funcTag, 134},
186 {"memhash", funcTag, 135},
187 {"memhash0", funcTag, 136},
188 {"memhash8", funcTag, 136},
189 {"memhash16", funcTag, 136},
190 {"memhash32", funcTag, 136},
191 {"memhash64", funcTag, 136},
192 {"memhash128", funcTag, 136},
193 {"f32hash", funcTag, 137},
194 {"f64hash", funcTag, 137},
195 {"c64hash", funcTag, 137},
196 {"c128hash", funcTag, 137},
197 {"strhash", funcTag, 137},
198 {"interhash", funcTag, 137},
199 {"nilinterhash", funcTag, 137},
200 {"int64div", funcTag, 138},
201 {"uint64div", funcTag, 139},
202 {"int64mod", funcTag, 138},
203 {"uint64mod", funcTag, 139},
204 {"float64toint64", funcTag, 140},
205 {"float64touint64", funcTag, 141},
206 {"float64touint32", funcTag, 142},
207 {"int64tofloat64", funcTag, 143},
208 {"int64tofloat32", funcTag, 144},
209 {"uint64tofloat64", funcTag, 145},
210 {"uint64tofloat32", funcTag, 146},
211 {"uint32tofloat64", funcTag, 147},
212 {"complex128div", funcTag, 148},
213 {"racefuncenter", funcTag, 33},
214 {"racefuncexit", funcTag, 9},
215 {"raceread", funcTag, 33},
216 {"racewrite", funcTag, 33},
217 {"racereadrange", funcTag, 149},
218 {"racewriterange", funcTag, 149},
219 {"msanread", funcTag, 149},
220 {"msanwrite", funcTag, 149},
221 {"msanmove", funcTag, 150},
222 {"asanread", funcTag, 149},
223 {"asanwrite", funcTag, 149},
224 {"checkptrAlignment", funcTag, 151},
225 {"checkptrArithmetic", funcTag, 153},
226 {"libfuzzerTraceCmp1", funcTag, 154},
227 {"libfuzzerTraceCmp2", funcTag, 155},
228 {"libfuzzerTraceCmp4", funcTag, 156},
229 {"libfuzzerTraceCmp8", funcTag, 157},
230 {"libfuzzerTraceConstCmp1", funcTag, 154},
231 {"libfuzzerTraceConstCmp2", funcTag, 155},
232 {"libfuzzerTraceConstCmp4", funcTag, 156},
233 {"libfuzzerTraceConstCmp8", funcTag, 157},
234 {"libfuzzerHookStrCmp", funcTag, 158},
235 {"libfuzzerHookEqualFold", funcTag, 158},
236 {"addCovMeta", funcTag, 160},
237 {"x86HasPOPCNT", varTag, 6},
238 {"x86HasSSE41", varTag, 6},
239 {"x86HasFMA", varTag, 6},
240 {"armHasVFPv4", varTag, 6},
241 {"arm64HasATOMICS", varTag, 6},
242 {"loong64HasLAMCAS", varTag, 6},
243 {"loong64HasLAM_BH", varTag, 6},
244 {"loong64HasLSX", varTag, 6},
245 {"riscv64HasZbb", varTag, 6},
246 {"asanregisterglobals", funcTag, 131},
247 }
248
249 func runtimeTypes() []*types.Type {
250 var typs [161]*types.Type
251 typs[0] = types.ByteType
252 typs[1] = types.NewPtr(typs[0])
253 typs[2] = types.Types[types.TANY]
254 typs[3] = types.NewPtr(typs[2])
255 typs[4] = newSig(params(typs[1]), params(typs[3]))
256 typs[5] = types.Types[types.TUINTPTR]
257 typs[6] = types.Types[types.TBOOL]
258 typs[7] = types.Types[types.TUNSAFEPTR]
259 typs[8] = newSig(params(typs[5], typs[1], typs[6]), params(typs[7]))
260 typs[9] = newSig(nil, nil)
261 typs[10] = types.Types[types.TINTER]
262 typs[11] = newSig(params(typs[10]), nil)
263 typs[12] = newSig(nil, params(typs[10]))
264 typs[13] = types.Types[types.TINT]
265 typs[14] = newSig(params(typs[13], typs[13]), nil)
266 typs[15] = types.Types[types.TUINT]
267 typs[16] = newSig(params(typs[15], typs[13]), nil)
268 typs[17] = newSig(params(typs[6]), nil)
269 typs[18] = types.Types[types.TFLOAT64]
270 typs[19] = newSig(params(typs[18]), nil)
271 typs[20] = types.Types[types.TFLOAT32]
272 typs[21] = newSig(params(typs[20]), nil)
273 typs[22] = types.Types[types.TINT64]
274 typs[23] = newSig(params(typs[22]), nil)
275 typs[24] = types.Types[types.TUINT64]
276 typs[25] = newSig(params(typs[24]), nil)
277 typs[26] = types.Types[types.TCOMPLEX128]
278 typs[27] = newSig(params(typs[26]), nil)
279 typs[28] = types.Types[types.TCOMPLEX64]
280 typs[29] = newSig(params(typs[28]), nil)
281 typs[30] = types.Types[types.TSTRING]
282 typs[31] = newSig(params(typs[30]), nil)
283 typs[32] = newSig(params(typs[2]), nil)
284 typs[33] = newSig(params(typs[5]), nil)
285 typs[34] = types.NewArray(typs[0], 32)
286 typs[35] = types.NewPtr(typs[34])
287 typs[36] = newSig(params(typs[35], typs[30], typs[30]), params(typs[30]))
288 typs[37] = newSig(params(typs[35], typs[30], typs[30], typs[30]), params(typs[30]))
289 typs[38] = newSig(params(typs[35], typs[30], typs[30], typs[30], typs[30]), params(typs[30]))
290 typs[39] = newSig(params(typs[35], typs[30], typs[30], typs[30], typs[30], typs[30]), params(typs[30]))
291 typs[40] = types.NewSlice(typs[30])
292 typs[41] = newSig(params(typs[35], typs[40]), params(typs[30]))
293 typs[42] = types.NewSlice(typs[0])
294 typs[43] = newSig(params(typs[35], typs[30], typs[30]), params(typs[42]))
295 typs[44] = newSig(params(typs[35], typs[30], typs[30], typs[30]), params(typs[42]))
296 typs[45] = newSig(params(typs[35], typs[30], typs[30], typs[30], typs[30]), params(typs[42]))
297 typs[46] = newSig(params(typs[35], typs[30], typs[30], typs[30], typs[30], typs[30]), params(typs[42]))
298 typs[47] = newSig(params(typs[35], typs[40]), params(typs[42]))
299 typs[48] = newSig(params(typs[30], typs[30]), params(typs[13]))
300 typs[49] = types.NewArray(typs[0], 4)
301 typs[50] = types.NewPtr(typs[49])
302 typs[51] = newSig(params(typs[50], typs[22]), params(typs[30]))
303 typs[52] = newSig(params(typs[35], typs[1], typs[13]), params(typs[30]))
304 typs[53] = newSig(params(typs[1], typs[13]), params(typs[30]))
305 typs[54] = types.RuneType
306 typs[55] = types.NewSlice(typs[54])
307 typs[56] = newSig(params(typs[35], typs[55]), params(typs[30]))
308 typs[57] = newSig(params(typs[35], typs[30]), params(typs[42]))
309 typs[58] = types.NewArray(typs[54], 32)
310 typs[59] = types.NewPtr(typs[58])
311 typs[60] = newSig(params(typs[59], typs[30]), params(typs[55]))
312 typs[61] = newSig(params(typs[3], typs[13], typs[3], typs[13], typs[5]), params(typs[13]))
313 typs[62] = newSig(params(typs[30], typs[13]), params(typs[54], typs[13]))
314 typs[63] = newSig(params(typs[30]), params(typs[13]))
315 typs[64] = newSig(params(typs[1], typs[3]), params(typs[7]))
316 typs[65] = types.Types[types.TUINT16]
317 typs[66] = newSig(params(typs[65]), params(typs[7]))
318 typs[67] = types.Types[types.TUINT32]
319 typs[68] = newSig(params(typs[67]), params(typs[7]))
320 typs[69] = newSig(params(typs[24]), params(typs[7]))
321 typs[70] = newSig(params(typs[30]), params(typs[7]))
322 typs[71] = types.Types[types.TUINT8]
323 typs[72] = types.NewSlice(typs[71])
324 typs[73] = newSig(params(typs[72]), params(typs[7]))
325 typs[74] = newSig(params(typs[1], typs[1]), params(typs[1]))
326 typs[75] = newSig(params(typs[1], typs[1], typs[1]), nil)
327 typs[76] = newSig(params(typs[1]), nil)
328 typs[77] = newSig(params(typs[1], typs[1]), params(typs[13], typs[1]))
329 typs[78] = types.NewPtr(typs[5])
330 typs[79] = newSig(params(typs[78], typs[7], typs[7]), params(typs[6]))
331 typs[80] = newSig(params(typs[13]), nil)
332 typs[81] = newSig(nil, params(typs[24]))
333 typs[82] = newSig(nil, params(typs[67]))
334 typs[83] = types.NewMap(typs[2], typs[2])
335 typs[84] = newSig(params(typs[1], typs[22], typs[3]), params(typs[83]))
336 typs[85] = newSig(params(typs[1], typs[13], typs[3]), params(typs[83]))
337 typs[86] = newSig(nil, params(typs[83]))
338 typs[87] = newSig(params(typs[1], typs[83], typs[3]), params(typs[3]))
339 typs[88] = newSig(params(typs[1], typs[83], typs[67]), params(typs[3]))
340 typs[89] = newSig(params(typs[1], typs[83], typs[24]), params(typs[3]))
341 typs[90] = newSig(params(typs[1], typs[83], typs[30]), params(typs[3]))
342 typs[91] = newSig(params(typs[1], typs[83], typs[3], typs[1]), params(typs[3]))
343 typs[92] = newSig(params(typs[1], typs[83], typs[3]), params(typs[3], typs[6]))
344 typs[93] = newSig(params(typs[1], typs[83], typs[67]), params(typs[3], typs[6]))
345 typs[94] = newSig(params(typs[1], typs[83], typs[24]), params(typs[3], typs[6]))
346 typs[95] = newSig(params(typs[1], typs[83], typs[30]), params(typs[3], typs[6]))
347 typs[96] = newSig(params(typs[1], typs[83], typs[3], typs[1]), params(typs[3], typs[6]))
348 typs[97] = newSig(params(typs[1], typs[83], typs[7]), params(typs[3]))
349 typs[98] = newSig(params(typs[1], typs[83], typs[3]), nil)
350 typs[99] = newSig(params(typs[1], typs[83], typs[67]), nil)
351 typs[100] = newSig(params(typs[1], typs[83], typs[24]), nil)
352 typs[101] = newSig(params(typs[1], typs[83], typs[30]), nil)
353 typs[102] = newSig(params(typs[3]), nil)
354 typs[103] = newSig(params(typs[1], typs[83]), nil)
355 typs[104] = types.NewChan(typs[2], types.Cboth)
356 typs[105] = newSig(params(typs[1], typs[22]), params(typs[104]))
357 typs[106] = newSig(params(typs[1], typs[13]), params(typs[104]))
358 typs[107] = types.NewChan(typs[2], types.Crecv)
359 typs[108] = newSig(params(typs[107], typs[3]), nil)
360 typs[109] = newSig(params(typs[107], typs[3]), params(typs[6]))
361 typs[110] = types.NewChan(typs[2], types.Csend)
362 typs[111] = newSig(params(typs[110], typs[3]), nil)
363 typs[112] = newSig(params(typs[110]), nil)
364 typs[113] = newSig(params(typs[2]), params(typs[13]))
365 typs[114] = types.NewArray(typs[0], 3)
366 typs[115] = types.NewStruct([]*types.Field{types.NewField(src.NoXPos, Lookup("enabled"), typs[6]), types.NewField(src.NoXPos, Lookup("pad"), typs[114]), types.NewField(src.NoXPos, Lookup("cgo"), typs[6]), types.NewField(src.NoXPos, Lookup("alignme"), typs[24])})
367 typs[116] = newSig(params(typs[1], typs[3], typs[3]), nil)
368 typs[117] = newSig(params(typs[1], typs[3]), nil)
369 typs[118] = newSig(params(typs[1], typs[3], typs[13], typs[3], typs[13]), params(typs[13]))
370 typs[119] = newSig(params(typs[110], typs[3]), params(typs[6]))
371 typs[120] = newSig(params(typs[3], typs[107]), params(typs[6], typs[6]))
372 typs[121] = newSig(params(typs[78]), nil)
373 typs[122] = newSig(params(typs[1], typs[1], typs[78], typs[13], typs[13], typs[6]), params(typs[13], typs[6]))
374 typs[123] = newSig(params(typs[1], typs[13], typs[13]), params(typs[7]))
375 typs[124] = newSig(params(typs[1], typs[22], typs[22]), params(typs[7]))
376 typs[125] = newSig(params(typs[1], typs[13], typs[13], typs[7]), params(typs[7]))
377 typs[126] = types.NewSlice(typs[2])
378 typs[127] = newSig(params(typs[3], typs[13], typs[13], typs[13], typs[1]), params(typs[126]))
379 typs[128] = newSig(params(typs[1], typs[7], typs[22]), nil)
380 typs[129] = newSig(params(typs[7], typs[22]), nil)
381 typs[130] = newSig(params(typs[3], typs[3], typs[5]), nil)
382 typs[131] = newSig(params(typs[7], typs[5]), nil)
383 typs[132] = newSig(params(typs[3], typs[3], typs[5]), params(typs[6]))
384 typs[133] = newSig(params(typs[3], typs[3]), params(typs[6]))
385 typs[134] = newSig(params(typs[7], typs[7]), params(typs[6]))
386 typs[135] = newSig(params(typs[3], typs[5], typs[5]), params(typs[5]))
387 typs[136] = newSig(params(typs[7], typs[5]), params(typs[5]))
388 typs[137] = newSig(params(typs[3], typs[5]), params(typs[5]))
389 typs[138] = newSig(params(typs[22], typs[22]), params(typs[22]))
390 typs[139] = newSig(params(typs[24], typs[24]), params(typs[24]))
391 typs[140] = newSig(params(typs[18]), params(typs[22]))
392 typs[141] = newSig(params(typs[18]), params(typs[24]))
393 typs[142] = newSig(params(typs[18]), params(typs[67]))
394 typs[143] = newSig(params(typs[22]), params(typs[18]))
395 typs[144] = newSig(params(typs[22]), params(typs[20]))
396 typs[145] = newSig(params(typs[24]), params(typs[18]))
397 typs[146] = newSig(params(typs[24]), params(typs[20]))
398 typs[147] = newSig(params(typs[67]), params(typs[18]))
399 typs[148] = newSig(params(typs[26], typs[26]), params(typs[26]))
400 typs[149] = newSig(params(typs[5], typs[5]), nil)
401 typs[150] = newSig(params(typs[5], typs[5], typs[5]), nil)
402 typs[151] = newSig(params(typs[7], typs[1], typs[5]), nil)
403 typs[152] = types.NewSlice(typs[7])
404 typs[153] = newSig(params(typs[7], typs[152]), nil)
405 typs[154] = newSig(params(typs[71], typs[71], typs[15]), nil)
406 typs[155] = newSig(params(typs[65], typs[65], typs[15]), nil)
407 typs[156] = newSig(params(typs[67], typs[67], typs[15]), nil)
408 typs[157] = newSig(params(typs[24], typs[24], typs[15]), nil)
409 typs[158] = newSig(params(typs[30], typs[30], typs[15]), nil)
410 typs[159] = types.NewArray(typs[0], 16)
411 typs[160] = newSig(params(typs[7], typs[67], typs[159], typs[30], typs[13], typs[71], typs[71]), params(typs[67]))
412 return typs[:]
413 }
414
415 var coverageDecls = [...]struct {
416 name string
417 tag int
418 typ int
419 }{
420 {"initHook", funcTag, 1},
421 }
422
423 func coverageTypes() []*types.Type {
424 var typs [2]*types.Type
425 typs[0] = types.Types[types.TBOOL]
426 typs[1] = newSig(params(typs[0]), nil)
427 return typs[:]
428 }
429
View as plain text