1 /* go-type.h -- basic information for a Go type.
3 Copyright 2009 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 #ifndef LIBGO_GO_TYPE_H
8 #define LIBGO_GO_TYPE_H
17 /* Many of the types in this file must match the data structures
18 generated by the compiler, and must also match the Go types which
19 appear in go/runtime/type.go and go/reflect/type.go. */
21 /* Type kinds. These are used to get the type descriptor to use for
22 the type itself, when using unsafe.Typeof or unsafe.Reflect. The
23 values here must match the values generated by the compiler (the
24 RUNTIME_TYPE_KIND_xxx values in gcc/go/types.h). These are macros
25 rather than an enum to make it easy to change values in the future
26 and hard to get confused about it.
28 These correspond to the kind values used by the gc compiler. */
44 #define GO_COMPLEX64 15
45 #define GO_COMPLEX128 16
49 #define GO_INTERFACE 20
55 #define GO_UNSAFE_POINTER 26
57 #define GO_DIRECT_IFACE (1 << 5)
58 #define GO_GC_PROG (1 << 6)
59 #define GO_NO_POINTERS (1 << 7)
61 #define GO_CODE_MASK 0x1f
63 /* For each Go type the compiler constructs one of these structures.
64 This is used for type reflection, interfaces, maps, and reference
67 struct __go_type_descriptor
69 /* The type code for this type, one of the type kind values above.
70 This is used by unsafe.Reflect and unsafe.Typeof to determine the
71 type descriptor to return for this type itself. It is also used
72 by reflect.toType when mapping to a reflect Type structure. */
75 /* The alignment in bytes of a variable with this type. */
76 unsigned char __align
;
78 /* The alignment in bytes of a struct field with this type. */
79 unsigned char __field_align
;
81 /* The size in bytes of a value of this type. Note that all types
82 in Go have a fixed size. */
85 /* The type's hash code. */
88 /* This function takes a pointer to a value of this type, and the
89 size of this type, and returns a hash code. We pass the size
90 explicitly becaues it means that we can share a single instance
91 of this function for various different types. */
92 const FuncVal
*__hashfn
;
94 /* This function takes two pointers to values of this type, and the
95 size of this type, and returns whether the values are equal. */
96 const FuncVal
*__equalfn
;
98 /* The garbage collection data. */
101 /* A string describing this type. This is only used for
103 const struct String
*__reflection
;
105 /* A pointer to fields which are only used for some types. */
106 const struct __go_uncommon_type
*__uncommon
;
108 /* The descriptor for the type which is a pointer to this type.
110 const struct __go_type_descriptor
*__pointer_to_this
;
113 /* The information we store for each method of a type. */
117 /* The name of the method. */
118 const struct String
*__name
;
120 /* This is NULL for an exported method, or the name of the package
122 const struct String
*__pkg_path
;
124 /* The type of the method, without the receiver. This will be a
126 const struct __go_type_descriptor
*__mtype
;
128 /* The type of the method, with the receiver. This will be a
130 const struct __go_type_descriptor
*__type
;
132 /* A pointer to the code which implements the method. This is
133 really a function pointer. */
134 const void *__function
;
137 /* Additional information that we keep for named types and for types
140 struct __go_uncommon_type
142 /* The name of the type. */
143 const struct String
*__name
;
145 /* The type's package. This is NULL for builtin types. */
146 const struct String
*__pkg_path
;
148 /* The type's methods. This is an array of struct __go_method. */
149 struct __go_open_array __methods
;
152 /* The type descriptor for a fixed array type. */
154 struct __go_array_type
156 /* Starts like all type descriptors. */
157 struct __go_type_descriptor __common
;
159 /* The element type. */
160 struct __go_type_descriptor
*__element_type
;
162 /* The type of a slice of the same element type. */
163 struct __go_type_descriptor
*__slice_type
;
165 /* The length of the array. */
169 /* The type descriptor for a slice. */
171 struct __go_slice_type
173 /* Starts like all other type descriptors. */
174 struct __go_type_descriptor __common
;
176 /* The element type. */
177 struct __go_type_descriptor
*__element_type
;
180 /* The direction of a channel. */
181 #define CHANNEL_RECV_DIR 1
182 #define CHANNEL_SEND_DIR 2
183 #define CHANNEL_BOTH_DIR (CHANNEL_RECV_DIR | CHANNEL_SEND_DIR)
185 /* The type descriptor for a channel. */
187 struct __go_channel_type
189 /* Starts like all other type descriptors. */
190 struct __go_type_descriptor __common
;
192 /* The element type. */
193 const struct __go_type_descriptor
*__element_type
;
199 /* The type descriptor for a function. */
201 struct __go_func_type
203 /* Starts like all other type descriptors. */
204 struct __go_type_descriptor __common
;
206 /* Whether this is a varargs function. If this is true, there will
207 be at least one parameter. For "..." the last parameter type is
208 "interface{}". For "... T" the last parameter type is "[]T". */
211 /* The input parameter types. This is an array of pointers to
212 struct __go_type_descriptor. */
213 struct __go_open_array __in
;
215 /* The output parameter types. This is an array of pointers to
216 struct __go_type_descriptor. */
217 struct __go_open_array __out
;
220 /* A method on an interface type. */
222 struct __go_interface_method
224 /* The name of the method. */
225 const struct String
*__name
;
227 /* This is NULL for an exported method, or the name of the package
229 const struct String
*__pkg_path
;
231 /* The real type of the method. */
232 struct __go_type_descriptor
*__type
;
235 /* An interface type. */
237 struct __go_interface_type
239 /* Starts like all other type descriptors. */
240 struct __go_type_descriptor __common
;
242 /* Array of __go_interface_method . The methods are sorted in the
243 same order that they appear in the definition of the
245 struct __go_open_array __methods
;
252 /* Starts like all other type descriptors. */
253 struct __go_type_descriptor __common
;
255 /* The map key type. */
256 const struct __go_type_descriptor
*__key_type
;
258 /* The map value type. */
259 const struct __go_type_descriptor
*__val_type
;
261 /* The map bucket type. */
262 const struct __go_type_descriptor
*__bucket_type
;
264 /* The map header type. */
265 const struct __go_type_descriptor
*__hmap_type
;
267 /* The size of the key slot. */
270 /* Whether to store a pointer to key rather than the key itself. */
271 uint8_t __indirect_key
;
273 /* The size of the value slot. */
274 uint8_t __value_size
;
276 /* Whether to store a pointer to value rather than the value itself. */
277 uint8_t __indirect_value
;
279 /* The size of a bucket. */
280 uint16_t __bucket_size
;
282 /* Whether the key type is reflexive--whether k==k for all keys. */
283 _Bool __reflexive_key
;
285 /* Whether we should update the key when overwriting an entry. */
286 _Bool __need_key_update
;
289 /* A pointer type. */
293 /* Starts like all other type descriptors. */
294 struct __go_type_descriptor __common
;
296 /* The type to which this points. */
297 const struct __go_type_descriptor
*__element_type
;
300 /* A field in a structure. */
302 struct __go_struct_field
304 /* The name of the field--NULL for an anonymous field. */
305 const struct String
*__name
;
307 /* This is NULL for an exported method, or the name of the package
309 const struct String
*__pkg_path
;
311 /* The type of the field. */
312 const struct __go_type_descriptor
*__type
;
314 /* The field tag, or NULL. */
315 const struct String
*__tag
;
317 /* The offset of the field in the struct. */
323 struct __go_struct_type
325 /* Starts like all other type descriptors. */
326 struct __go_type_descriptor __common
;
328 /* An array of struct __go_struct_field. */
329 struct __go_open_array __fields
;
332 /* Whether a type descriptor is a pointer. */
335 __go_is_pointer_type (const struct __go_type_descriptor
*td
)
337 return ((td
->__code
& GO_CODE_MASK
) == GO_PTR
338 || (td
->__code
& GO_CODE_MASK
) == GO_UNSAFE_POINTER
);
341 /* Call a type hash function, given the __hashfn value. */
343 static inline uintptr_t
344 __go_call_hashfn (const FuncVal
*hashfn
, const void *p
, uintptr_t seed
,
347 uintptr_t (*h
) (const void *, uintptr_t, uintptr_t) = (void *) hashfn
->fn
;
348 return __builtin_call_with_static_chain (h (p
, seed
, size
), hashfn
);
351 /* Call a type equality function, given the __equalfn value. */
354 __go_call_equalfn (const FuncVal
*equalfn
, const void *p1
, const void *p2
,
357 _Bool (*e
) (const void *, const void *, uintptr_t) = (void *) equalfn
->fn
;
358 return __builtin_call_with_static_chain (e (p1
, p2
, size
), equalfn
);
362 __go_type_descriptors_equal(const struct __go_type_descriptor
*,
363 const struct __go_type_descriptor
*);
365 #endif /* !defined(LIBGO_GO_TYPE_H) */