compiler, runtime: call gcWriteBarrier instead of writebarrierptr
[official-gcc.git] / gcc / go / gofrontend / runtime.def
blobed759e80780ddbfe0733e859762b06b8ccee629a
1 // runtime.def -- runtime functions called by generated code. -*- C++ -*-
3 // Copyright 2011 The Go Authors. All rights reserved.
4 // Use of this source code is governed by a BSD-style
5 // license that can be found in the LICENSE file.
7 // Definitions for the Go runtime functions.
9 // Parameter type helper macros.
10 #define ABFT6(T1, T2, T3, T4, T5, T6) \
11 { RFT_ ## T1, RFT_ ## T2, RFT_ ## T3, RFT_ ## T4, RFT_ ## T5, RFT_ ## T6 }
12 #define P0() ABFT6(VOID, VOID, VOID, VOID, VOID, VOID)
13 #define P1(T) ABFT6(T, VOID, VOID, VOID, VOID, VOID)
14 #define P2(T1, T2) ABFT6(T1, T2, VOID, VOID, VOID, VOID)
15 #define P3(T1, T2, T3) ABFT6(T1, T2, T3, VOID, VOID, VOID)
16 #define P4(T1, T2, T3, T4) ABFT6(T1, T2, T3, T4, VOID, VOID)
17 #define P5(T1, T2, T3, T4, T5) ABFT6(T1, T2, T3, T4, T5, VOID)
18 #define P6(T1,T2,T3,T4,T5,T6) ABFT6(T1, T2, T3, T4, T5, T6)
20 // Result type helper macros.
21 #define ABFT2(T1, T2) { RFT_ ## T1, RFT_ ## T2 }
22 #define R0() ABFT2(VOID, VOID)
23 #define R1(T) ABFT2(T, VOID)
24 #define R2(T1, T2) ABFT2(T1, T2)
26 // Define all the Go runtime functions. The first parameter is the
27 // enum code used to refer to the function. The second parameter is
28 // the name. The third is the parameter types and the fourth is the
29 // result types.
31 // The standard C memcmp function, used for struct comparisons.
32 DEF_GO_RUNTIME(MEMCMP, "__go_memcmp", P3(POINTER, POINTER, UINTPTR), R1(INT))
34 // Decode a non-ASCII rune from a string.
35 DEF_GO_RUNTIME(DECODERUNE, "runtime.decoderune", P2(STRING, INT),
36 R2(RUNE, INT))
38 // Concatenate strings.
39 DEF_GO_RUNTIME(CONCATSTRINGS, "runtime.concatstrings", P2(POINTER, SLICE),
40 R1(STRING))
41 DEF_GO_RUNTIME(CONCATSTRING2, "runtime.concatstring2",
42 P2(POINTER, ARRAY2STRING), R1(STRING))
43 DEF_GO_RUNTIME(CONCATSTRING3, "runtime.concatstring3",
44 P2(POINTER, ARRAY3STRING), R1(STRING))
45 DEF_GO_RUNTIME(CONCATSTRING4, "runtime.concatstring4",
46 P2(POINTER, ARRAY4STRING), R1(STRING))
47 DEF_GO_RUNTIME(CONCATSTRING5, "runtime.concatstring5",
48 P2(POINTER, ARRAY5STRING), R1(STRING))
50 // Compare two strings for equality.
51 DEF_GO_RUNTIME(EQSTRING, "runtime.eqstring", P2(STRING, STRING), R1(BOOL))
53 // Compare two strings.
54 DEF_GO_RUNTIME(CMPSTRING, "runtime.cmpstring", P2(STRING, STRING), R1(INT))
56 // Take a slice of a string.
57 DEF_GO_RUNTIME(STRING_SLICE, "__go_string_slice", P3(STRING, INT, INT),
58 R1(STRING))
60 // Convert an integer to a string.
61 DEF_GO_RUNTIME(INTSTRING, "runtime.intstring", P2(POINTER, INT64), R1(STRING))
63 // Convert a []byte to a string.
64 DEF_GO_RUNTIME(SLICEBYTETOSTRING, "runtime.slicebytetostring",
65 P2(POINTER, SLICE), R1(STRING))
67 // Convert a []rune to a string.
68 DEF_GO_RUNTIME(SLICERUNETOSTRING, "runtime.slicerunetostring",
69 P2(POINTER, SLICE), R1(STRING))
71 // Convert a string to a []byte.
72 DEF_GO_RUNTIME(STRINGTOSLICEBYTE, "runtime.stringtoslicebyte",
73 P2(POINTER, STRING), R1(SLICE))
75 // Convert a string to a []rune.
76 DEF_GO_RUNTIME(STRINGTOSLICERUNE, "runtime.stringtoslicerune",
77 P2(POINTER, STRING), R1(SLICE))
80 // Complex division.
81 DEF_GO_RUNTIME(COMPLEX64_DIV, "__go_complex64_div",
82 P2(COMPLEX64, COMPLEX64), R1(COMPLEX64))
83 DEF_GO_RUNTIME(COMPLEX128_DIV, "__go_complex128_div",
84 P2(COMPLEX128, COMPLEX128), R1(COMPLEX128))
86 // Make a slice.
87 DEF_GO_RUNTIME(MAKESLICE, "runtime.makeslice", P3(TYPE, INT, INT),
88 R1(SLICE))
90 DEF_GO_RUNTIME(MAKESLICE64, "runtime.makeslice64", P3(TYPE, INT64, INT64),
91 R1(SLICE))
94 // Make a map with a hint and an (optional, unused) map structure.
95 DEF_GO_RUNTIME(MAKEMAP, "runtime.makemap", P3(TYPE, INT, POINTER),
96 R1(MAP))
97 DEF_GO_RUNTIME(MAKEMAP64, "runtime.makemap64", P3(TYPE, INT64, POINTER),
98 R1(MAP))
100 // Make a map with no hint, or a small constant hint.
101 DEF_GO_RUNTIME(MAKEMAP_SMALL, "runtime.makemap_small", P0(), R1(MAP))
103 // Build a map from a composite literal.
104 DEF_GO_RUNTIME(CONSTRUCT_MAP, "__go_construct_map",
105 P5(POINTER, UINTPTR, UINTPTR, UINTPTR, POINTER),
106 R1(MAP))
108 // Look up a key in a map.
109 DEF_GO_RUNTIME(MAPACCESS1, "runtime.mapaccess1", P3(TYPE, MAP, POINTER),
110 R1(POINTER))
112 // Look up a key in a map when the value is large.
113 DEF_GO_RUNTIME(MAPACCESS1_FAT, "runtime.mapaccess1_fat",
114 P4(TYPE, MAP, POINTER, POINTER), R1(POINTER))
116 // Look up a key in a map returning the value and whether it is
117 // present.
118 DEF_GO_RUNTIME(MAPACCESS2, "runtime.mapaccess2", P3(TYPE, MAP, POINTER),
119 R2(POINTER, BOOL))
121 // Look up a key in a map, returning the value and whether it is
122 // present, when the value is large.
123 DEF_GO_RUNTIME(MAPACCESS2_FAT, "runtime.mapaccess2_fat",
124 P4(TYPE, MAP, POINTER, POINTER), R2(POINTER, BOOL))
126 // Assignment to a key in a map.
127 DEF_GO_RUNTIME(MAPASSIGN, "runtime.mapassign", P3(TYPE, MAP, POINTER),
128 R1(POINTER))
130 // Delete a key from a map.
131 DEF_GO_RUNTIME(MAPDELETE, "runtime.mapdelete", P3(TYPE, MAP, POINTER), R0())
133 // Begin a range over a map.
134 DEF_GO_RUNTIME(MAPITERINIT, "runtime.mapiterinit", P3(TYPE, MAP, POINTER),
135 R0())
137 // Range over a map, moving to the next map entry.
138 DEF_GO_RUNTIME(MAPITERNEXT, "runtime.mapiternext", P1(POINTER), R0())
141 // Make a channel.
142 DEF_GO_RUNTIME(MAKECHAN, "runtime.makechan", P2(TYPE, INT), R1(CHAN))
143 DEF_GO_RUNTIME(MAKECHAN64, "runtime.makechan64", P2(TYPE, INT64), R1(CHAN))
145 // Send a value on a channel.
146 DEF_GO_RUNTIME(CHANSEND, "runtime.chansend1", P2(CHAN, POINTER), R0())
148 // Receive a value from a channel.
149 DEF_GO_RUNTIME(CHANRECV1, "runtime.chanrecv1", P2(CHAN, POINTER), R0())
151 // Receive a value from a channel returning whether it is closed.
152 DEF_GO_RUNTIME(CHANRECV2, "runtime.chanrecv2", P2(CHAN, POINTER), R1(BOOL))
155 // Run a select, returning the index of the selected clause and
156 // whether that channel received a value.
157 DEF_GO_RUNTIME(SELECTGO, "runtime.selectgo", P3(POINTER, POINTER, INT),
158 R2(INT, BOOL))
161 // Panic.
162 DEF_GO_RUNTIME(GOPANIC, "runtime.gopanic", P1(EFACE), R0())
164 // Recover.
165 DEF_GO_RUNTIME(GORECOVER, "runtime.gorecover", P0(), R1(EFACE))
167 // Recover when called directly from defer.
168 DEF_GO_RUNTIME(DEFERREDRECOVER, "runtime.deferredrecover", P0(), R1(EFACE))
170 // Decide whether this function can call recover.
171 DEF_GO_RUNTIME(CANRECOVER, "runtime.canrecover", P1(POINTER), R1(BOOL))
173 // Set the return address for defer in a defer thunk.
174 DEF_GO_RUNTIME(SETDEFERRETADDR, "runtime.setdeferretaddr", P1(POINTER),
175 R1(BOOL))
177 // Check for a deferred function in an exception handler.
178 DEF_GO_RUNTIME(CHECKDEFER, "runtime.checkdefer", P1(BOOLPTR), R0())
180 // Run deferred functions.
181 DEF_GO_RUNTIME(DEFERRETURN, "runtime.deferreturn", P1(BOOLPTR), R0())
183 // Panic with a runtime error.
184 DEF_GO_RUNTIME(RUNTIME_ERROR, "__go_runtime_error", P1(INT32), R0())
187 // Close.
188 DEF_GO_RUNTIME(CLOSE, "runtime.closechan", P1(CHAN), R0())
191 // Copy.
192 DEF_GO_RUNTIME(SLICECOPY, "runtime.slicecopy", P3(SLICE, SLICE, UINTPTR),
193 R1(INT))
195 // Copy from string.
196 DEF_GO_RUNTIME(SLICESTRINGCOPY, "runtime.slicestringcopy", P2(SLICE, STRING),
197 R1(INT))
199 // Copy of value containing pointers.
200 DEF_GO_RUNTIME(TYPEDSLICECOPY, "runtime.typedslicecopy",
201 P3(TYPE, SLICE, SLICE), R1(INT))
204 // Grow a slice for append.
205 DEF_GO_RUNTIME(GROWSLICE, "runtime.growslice", P3(TYPE, SLICE, INT), R1(SLICE))
208 // Register roots (global variables) for the garbage collector.
209 DEF_GO_RUNTIME(REGISTER_GC_ROOTS, "runtime.registerGCRoots", P1(POINTER), R0())
212 // Allocate memory.
213 DEF_GO_RUNTIME(NEW, "runtime.newobject", P1(TYPE), R1(POINTER))
215 // Start a new goroutine.
216 DEF_GO_RUNTIME(GO, "__go_go", P2(FUNC_PTR, POINTER), R0())
218 // Defer a function.
219 DEF_GO_RUNTIME(DEFERPROC, "runtime.deferproc", P3(BOOLPTR, FUNC_PTR, POINTER),
220 R0())
223 // Convert an empty interface to an empty interface, returning ok.
224 DEF_GO_RUNTIME(IFACEE2E2, "runtime.ifaceE2E2", P1(EFACE), R2(EFACE, BOOL))
226 // Convert a non-empty interface to an empty interface, returning ok.
227 DEF_GO_RUNTIME(IFACEI2E2, "runtime.ifaceI2E2", P1(IFACE), R2(EFACE, BOOL))
229 // Convert an empty interface to a non-empty interface, returning ok.
230 DEF_GO_RUNTIME(IFACEE2I2, "runtime.ifaceE2I2", P2(TYPE, EFACE),
231 R2(IFACE, BOOL))
233 // Convert a non-empty interface to a non-empty interface, returning ok.
234 DEF_GO_RUNTIME(IFACEI2I2, "runtime.ifaceI2I2", P2(TYPE, IFACE),
235 R2(IFACE, BOOL))
237 // Convert an empty interface to a pointer type, returning ok.
238 DEF_GO_RUNTIME(IFACEE2T2P, "runtime.ifaceE2T2P", P2(TYPE, EFACE),
239 R2(POINTER, BOOL))
241 // Convert a non-empty interface to a pointer type, return ok.
242 DEF_GO_RUNTIME(IFACEI2T2P, "runtime.ifaceI2T2P", P2(TYPE, IFACE),
243 R2(POINTER, BOOL))
245 // Convert an empty interface to a non-pointer type, returning ok.
246 DEF_GO_RUNTIME(IFACEE2T2, "runtime.ifaceE2T2", P3(TYPE, EFACE, POINTER),
247 R1(BOOL))
249 // Convert a non-empty interface to a non-pointer type, returning ok.
250 DEF_GO_RUNTIME(IFACEI2T2, "runtime.ifaceI2T2", P3(TYPE, IFACE, POINTER),
251 R1(BOOL))
253 // Return the interface method table for the second type converted to
254 // the first type which is a (possibly empty) interface type. Panics
255 // if the second type is nil (indicating a nil interface value) or if
256 // the conversion is not possible. Used for type assertions. This is
257 // like REQUIREITAB, but for type assertions.
258 DEF_GO_RUNTIME(ASSERTITAB, "runtime.assertitab", P2(TYPE, TYPE), R1(POINTER))
260 // Return the interface method table for the second type converted to
261 // the first type, which is a non-empty interface type. Return nil if
262 // the second type is nil, indicating a nil interface value. Panics
263 // if the conversion is not possible. Used for assignments. This is
264 // like ASSERTITAB, but for assignments.
265 DEF_GO_RUNTIME(REQUIREITAB, "runtime.requireitab", P2(TYPE, TYPE),
266 R1(POINTER))
268 // Check whether an interface type may be converted to a
269 // non-interface type.
270 DEF_GO_RUNTIME(ASSERTI2T, "runtime.assertI2T", P3(TYPE, TYPE, TYPE), R0())
272 // Return whether we can convert a type to an interface type.
273 DEF_GO_RUNTIME(IFACET2IP, "runtime.ifaceT2Ip", P2(TYPE, TYPE), R1(BOOL))
275 // Get the type descriptor of an empty interface.
276 DEF_GO_RUNTIME(EFACETYPE, "runtime.efacetype", P1(EFACE), R1(TYPE))
278 // Get the type descriptor of a non-empty interface.
279 DEF_GO_RUNTIME(IFACETYPE, "runtime.ifacetype", P1(IFACE), R1(TYPE))
282 // Compare two type descriptors for equality.
283 DEF_GO_RUNTIME(IFACETYPEEQ, "runtime.ifacetypeeq", P2(TYPE, TYPE), R1(BOOL))
285 // Compare two empty interface values.
286 DEF_GO_RUNTIME(EFACEEQ, "runtime.efaceeq", P2(EFACE, EFACE), R1(BOOL))
288 // Compare an empty interface value to a non-interface value.
289 DEF_GO_RUNTIME(EFACEVALEQ, "runtime.efacevaleq", P3(EFACE, TYPE, POINTER),
290 R1(BOOL))
292 // Compare two non-empty interface values.
293 DEF_GO_RUNTIME(IFACEEQ, "runtime.ifaceeq", P2(IFACE, IFACE), R1(BOOL))
295 // Compare a non-empty interface value to a non-interface value.
296 DEF_GO_RUNTIME(IFACEVALEQ, "runtime.ifacevaleq", P3(IFACE, TYPE, POINTER),
297 R1(BOOL))
299 // Compare a non-empty interface value to an interface value.
300 DEF_GO_RUNTIME(IFACEEFACEEQ, "runtime.ifaceefaceeq", P2(IFACE, EFACE),
301 R1(BOOL))
304 // Set *dst = src where dst is a pointer to a pointer and src is a pointer.
305 DEF_GO_RUNTIME(GCWRITEBARRIER, "runtime.gcWriteBarrier",
306 P2(POINTER, POINTER), R0())
308 // Set *dst = *src for an arbitrary type.
309 DEF_GO_RUNTIME(TYPEDMEMMOVE, "runtime.typedmemmove",
310 P3(TYPE, POINTER, POINTER), R0())
313 // Lock the printer (for print/println).
314 DEF_GO_RUNTIME(PRINTLOCK, "runtime.printlock", P0(), R0())
316 // Unlock the printer (for print/println).
317 DEF_GO_RUNTIME(PRINTUNLOCK, "runtime.printunlock", P0(), R0())
319 // Print a string (for print/println).
320 DEF_GO_RUNTIME(PRINTSTRING, "runtime.printstring", P1(STRING), R0())
322 // Print a uint64 (for print/println).
323 DEF_GO_RUNTIME(PRINTUINT, "runtime.printuint", P1(UINT64), R0())
325 // Print a int64 (for print/println).
326 DEF_GO_RUNTIME(PRINTINT, "runtime.printint", P1(INT64), R0())
328 // Print a float64 (for print/println).
329 DEF_GO_RUNTIME(PRINTFLOAT, "runtime.printfloat", P1(FLOAT64), R0())
331 // Print a complex128 (for print/println).
332 DEF_GO_RUNTIME(PRINTCOMPLEX, "runtime.printcomplex", P1(COMPLEX128), R0())
334 // Print a bool (for print/println).
335 DEF_GO_RUNTIME(PRINTBOOL, "runtime.printbool", P1(BOOL), R0())
337 // Print a pointer/map/channel/function (for print/println).
338 DEF_GO_RUNTIME(PRINTPOINTER, "runtime.printpointer", P1(POINTER), R0())
340 // Print an empty interface (for print/println).
341 DEF_GO_RUNTIME(PRINTEFACE, "runtime.printeface", P1(EFACE), R0())
343 // Print a non-empty interface (for print/println).
344 DEF_GO_RUNTIME(PRINTIFACE, "runtime.printiface", P1(IFACE), R0())
346 // Print a slice (for print/println).
347 DEF_GO_RUNTIME(PRINTSLICE, "runtime.printslice", P1(SLICE), R0())
349 // Print a space (for println).
350 DEF_GO_RUNTIME(PRINTSP, "runtime.printsp", P0(), R0())
352 // Print a newline (for println).
353 DEF_GO_RUNTIME(PRINTNL, "runtime.printnl", P0(), R0())
356 // Used for field tracking for data analysis.
357 DEF_GO_RUNTIME(FIELDTRACK, "__go_fieldtrack", P1(POINTER), R0())
360 // Unreachable code.
361 DEF_GO_RUNTIME(UNREACHABLE, "__builtin_unreachable", P0(), R0())
363 // Remove helper macros.
364 #undef ABFT6
365 #undef ABFT2
366 #undef P0
367 #undef P1
368 #undef P2
369 #undef P3
370 #undef P4
371 #undef P5
372 #undef P6
373 #undef R0
374 #undef R1
375 #undef R2