1 /* Next Runtime (ABI-2) private.
2 Copyright (C) 2011-2013 Free Software Foundation, Inc.
4 Contributed by Iain Sandoe and based, in part, on an implementation in
5 'branches/apple/trunk' contributed by Apple Computer Inc.
7 This file is part of GCC.
9 GCC is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3, or (at your option)
14 GCC is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with GCC; see the file COPYING3. If not see
21 <http://www.gnu.org/licenses/>. */
23 /* The NeXT ABI2 is used for m64 implementations on Darwin/OSX machines.
25 This version is intended to match (logically) the output of Apple's
30 #include "coretypes.h"
35 #include "cp/cp-tree.h"
40 #include "langhooks.h"
41 #include "c-family/c-objc.h"
44 /* When building Objective-C++, we are not linking against the C front-end
45 and so need to replicate the C tree-construction functions in some way. */
47 #define OBJCP_REMAP_FUNCTIONS
48 #include "objcp-decl.h"
53 #include "tree-iterator.h"
55 #include "objc-runtime-hooks.h"
56 #include "objc-runtime-shared-support.h"
57 #include "objc-encoding.h"
59 /* ABI 2 Private definitions. */
60 #define DEF_CONSTANT_STRING_CLASS_NAME "NSConstantString"
62 #define TAG_GETCLASS "objc_getClass"
63 #define TAG_GETMETACLASS "objc_getMetaClass"
65 #define TAG_MSGSEND "objc_msgSend"
66 #define TAG_MSGSENDSUPER "objc_msgSendSuper"
67 #define TAG_MSGSEND_STRET "objc_msgSend_stret"
68 #define TAG_MSGSENDSUPER_STRET "objc_msgSendSuper_stret"
70 #define TAG_NEXT_EHVTABLE_NAME "objc_ehtype_vtable"
71 #define TAG_V2_EH_TYPE "objc_ehtype_t"
73 #define UTAG_V2_CLASS "_class_t"
74 #define UTAG_V2_CLASS_RO "_class_ro_t"
75 #define UTAG_V2_PROTOCOL "_protocol_t"
76 #define UTAG_V2_PROTOCOL_LIST "_protocol_list_t"
78 #define UTAG_V2_EH_TYPE "_objc_ehtype_t"
80 #define OBJC2_CLS_HAS_CXX_STRUCTORS 0x0004L
82 enum objc_v2_tree_index
90 OCTI_V2_IVAR_LIST_TEMPL
,
91 OCTI_V2_MESSAGE_REF_TEMPL
,
92 OCTI_V2_SUPER_MESSAGE_REF_TEMPL
,
94 OCTI_V2_MESSAGE_SELECTOR_TYPE
,
95 OCTI_V2_SUPER_MESSAGE_SELECTOR_TYPE
,
97 OCTI_V2_SUPER_IMP_TYPE
,
102 OCTI_V2_PROPERTY_TEMPL
,
105 OCTI_V2_UMSG_FIXUP_DECL
,
106 OCTI_V2_UMSG_STRET_FIXUP_DECL
,
107 OCTI_V2_UMSG_ID_FIXUP_DECL
,
108 OCTI_V2_UMSG_ID_STRET_FIXUP_DECL
,
109 OCTI_V2_UMSG_SUPER2_FIXUP_DECL
,
110 OCTI_V2_UMSG_SUPER2_STRET_FIXUP_DECL
,
112 /* Exceptions - related. */
113 OCTI_V2_BEGIN_CATCH_DECL
,
114 OCTI_V2_END_CATCH_DECL
,
115 OCTI_V2_RETHROW_DECL
,
120 #define objc_v2_class_template objc_v2_global_trees[OCTI_V2_CLS_TEMPL]
121 #define objc_v2_class_ro_template \
122 objc_v2_global_trees[OCTI_V2_CLS_RO_TEMPL]
123 #define objc_v2_category_template \
124 objc_v2_global_trees[OCTI_V2_CAT_TEMPL]
125 #define objc_v2_protocol_template \
126 objc_v2_global_trees[OCTI_V2_PROTO_TEMPL]
128 /* struct message_ref_t */
129 #define objc_v2_message_ref_template \
130 objc_v2_global_trees[OCTI_V2_MESSAGE_REF_TEMPL]
132 #define objc_v2_ivar_list_ptr objc_v2_global_trees[OCTI_V2_IVAR_LIST_TEMPL]
134 /* struct super_message_ref_t */
135 #define objc_v2_super_message_ref_template \
136 objc_v2_global_trees[OCTI_V2_SUPER_MESSAGE_REF_TEMPL]
138 /* struct message_ref_t* */
139 #define objc_v2_selector_type objc_v2_global_trees[OCTI_V2_MESSAGE_SELECTOR_TYPE]
140 /* struct super_super_message_ref_t */
141 #define objc_v2_super_selector_type \
142 objc_v2_global_trees[OCTI_V2_SUPER_MESSAGE_SELECTOR_TYPE]
143 #define objc_v2_imp_type objc_v2_global_trees[OCTI_V2_IMP_TYPE]
144 #define objc_v2_super_imp_type objc_v2_global_trees[OCTI_V2_SUPER_IMP_TYPE]
146 #define UOBJC_V2_CACHE_decl objc_v2_global_trees[OCTI_V2_CACHE_DECL]
147 #define UOBJC_V2_VTABLE_decl objc_v2_global_trees[OCTI_V2_VTABLE_DECL]
149 #define objc_v2_ivar_template objc_v2_global_trees[OCTI_V2_IVAR_TEMPL]
150 #define objc_v2_property_template \
151 objc_v2_global_trees[OCTI_V2_PROPERTY_TEMPL]
155 /* objc_msgSend_fixup_rtp */
156 #define umsg_fixup_decl objc_v2_global_trees[OCTI_V2_UMSG_FIXUP_DECL]
157 /* objc_msgSend_stret_fixup_rtp */
158 #define umsg_stret_fixup_decl objc_v2_global_trees[OCTI_V2_UMSG_STRET_FIXUP_DECL]
159 /* objc_msgSendId_fixup_rtp */
160 #define umsg_id_fixup_decl objc_v2_global_trees[OCTI_V2_UMSG_ID_FIXUP_DECL]
161 /* objc_msgSendId_stret_fixup_rtp */
162 #define umsg_id_stret_fixup_decl \
163 objc_v2_global_trees[OCTI_V2_UMSG_ID_STRET_FIXUP_DECL]
164 /* objc_msgSendSuper2_fixup_rtp */
165 #define umsg_id_super2_fixup_decl \
166 objc_v2_global_trees[OCTI_V2_UMSG_SUPER2_FIXUP_DECL]
167 /* objc_msgSendSuper2_stret_fixup_rtp */
168 #define umsg_id_super2_stret_fixup_decl \
169 objc_v2_global_trees[OCTI_V2_UMSG_SUPER2_STRET_FIXUP_DECL]
171 #define objc2_begin_catch_decl objc_v2_global_trees[OCTI_V2_BEGIN_CATCH_DECL]
172 #define objc2_end_catch_decl objc_v2_global_trees[OCTI_V2_END_CATCH_DECL]
173 #define objc_rethrow_exception_decl \
174 objc_v2_global_trees[OCTI_V2_RETHROW_DECL]
176 /* rt_trees identifiers - shared between NeXT implementations. These allow
177 the FE to tag meta-data in a manner that survives LTO and can be used when
178 the runtime requires that certain meta-data items appear in particular
181 #include "objc-next-metadata-tags.h"
182 extern GTY(()) tree objc_rt_trees
[OCTI_RT_META_MAX
];
184 /* The OCTI_V2_... enumeration itself is in above. */
185 static GTY(()) tree objc_v2_global_trees
[OCTI_V2_MAX
];
187 static void next_runtime_02_initialize (void);
189 static void build_v2_message_ref_templates (void);
190 static void build_v2_class_templates (void);
191 static void build_v2_super_template (void);
192 static void build_v2_category_template (void);
193 static void build_v2_protocol_template (void);
195 static tree
next_runtime_abi_02_super_superclassfield_id (void);
197 static tree
next_runtime_abi_02_class_decl (tree
);
198 static tree
next_runtime_abi_02_metaclass_decl (tree
);
199 static tree
next_runtime_abi_02_category_decl (tree
);
200 static tree
next_runtime_abi_02_protocol_decl (tree
);
201 static tree
next_runtime_abi_02_string_decl (tree
, const char *, string_section
);
203 static tree
next_runtime_abi_02_get_class_reference (tree
);
204 static tree
next_runtime_abi_02_build_selector_reference (location_t
, tree
, tree
);
205 static tree
next_runtime_abi_02_get_protocol_reference (location_t
, tree
);
206 static tree
next_runtime_abi_02_build_ivar_ref (location_t
, tree
, tree
);
207 static tree
next_runtime_abi_02_get_class_super_ref (location_t
, struct imp_entry
*, bool);
208 static tree
next_runtime_abi_02_get_category_super_ref (location_t
, struct imp_entry
*, bool);
210 static tree
next_runtime_abi_02_receiver_is_class_object (tree
);
211 static void next_runtime_abi_02_get_arg_type_list_base (vec
<tree
, va_gc
> **,
213 static tree
next_runtime_abi_02_build_objc_method_call (location_t
, tree
, tree
,
214 tree
, tree
, tree
, int);
215 static bool next_runtime_abi_02_setup_const_string_class_decl (void);
216 static tree
next_runtime_abi_02_build_const_string_constructor (location_t
, tree
, int);
218 static tree
create_extern_decl (tree
, const char *);
220 static void objc_generate_v2_next_metadata (void);
221 static bool objc2_objc_exception_attr (tree
);
223 /* void build_v2_protocol_reference (tree);*/
224 static void build_v2_ehtype_template (void);
225 static void build_v2_eh_catch_objects (void);
226 static tree
next_runtime_02_eh_type (tree
);
227 static tree
objc_eh_personality (void);
228 static tree
build_throw_stmt (location_t
, tree
, bool);
229 static tree
objc_build_exc_ptr (struct objc_try_context
**);
230 static tree
begin_catch (struct objc_try_context
**, tree
, tree
, tree
, bool);
231 static void finish_catch (struct objc_try_context
**, tree
);
232 static tree
finish_try_stmt (struct objc_try_context
**);
234 /* TODO: Use an objc-map. */
235 static GTY ((length ("SIZEHASHTABLE"))) hash
*extern_names
;
238 objc_next_runtime_abi_02_init (objc_runtime_hooks
*rthooks
)
240 extern_names
= ggc_alloc_cleared_vec_hash (SIZEHASHTABLE
);
242 if (flag_objc_exceptions
&& flag_objc_sjlj_exceptions
)
244 inform (UNKNOWN_LOCATION
, "%<-fobjc-sjlj-exceptions%> is ignored for "
245 "%<-fnext-runtime%> when %<-fobjc-abi-version%> >= 2");
246 flag_objc_sjlj_exceptions
= 0;
249 rthooks
->initialize
= next_runtime_02_initialize
;
250 rthooks
->default_constant_string_class_name
= DEF_CONSTANT_STRING_CLASS_NAME
;
251 rthooks
->tag_getclass
= TAG_GETCLASS
;
252 rthooks
->super_superclassfield_ident
= next_runtime_abi_02_super_superclassfield_id
;
254 rthooks
->class_decl
= next_runtime_abi_02_class_decl
;
255 rthooks
->metaclass_decl
= next_runtime_abi_02_metaclass_decl
;
256 rthooks
->category_decl
= next_runtime_abi_02_category_decl
;
257 rthooks
->protocol_decl
= next_runtime_abi_02_protocol_decl
;
258 rthooks
->string_decl
= next_runtime_abi_02_string_decl
;
260 rthooks
->get_class_reference
= next_runtime_abi_02_get_class_reference
;
261 rthooks
->build_selector_reference
= next_runtime_abi_02_build_selector_reference
;
262 rthooks
->get_protocol_reference
= next_runtime_abi_02_get_protocol_reference
;
263 rthooks
->build_ivar_reference
= next_runtime_abi_02_build_ivar_ref
;
264 rthooks
->get_class_super_ref
= next_runtime_abi_02_get_class_super_ref
;
265 rthooks
->get_category_super_ref
= next_runtime_abi_02_get_category_super_ref
;
267 rthooks
->receiver_is_class_object
= next_runtime_abi_02_receiver_is_class_object
;
268 rthooks
->get_arg_type_list_base
= next_runtime_abi_02_get_arg_type_list_base
;
269 rthooks
->build_objc_method_call
= next_runtime_abi_02_build_objc_method_call
;
271 rthooks
->setup_const_string_class_decl
=
272 next_runtime_abi_02_setup_const_string_class_decl
;
273 rthooks
->build_const_string_constructor
=
274 next_runtime_abi_02_build_const_string_constructor
;
276 rthooks
->build_throw_stmt
= build_throw_stmt
;
277 rthooks
->build_exc_ptr
= objc_build_exc_ptr
;
278 rthooks
->begin_catch
= begin_catch
;
279 rthooks
->finish_catch
= finish_catch
;
280 rthooks
->finish_try_stmt
= finish_try_stmt
;
282 rthooks
->generate_metadata
= objc_generate_v2_next_metadata
;
286 /* We need a way to convey what kind of meta-data are represented by a given
287 variable, since each type is expected (by the runtime) to be found in a
288 specific named section. The solution must be usable with LTO.
290 The scheme used for NeXT ABI 0/1 (partial matching of variable names) is not
291 satisfactory when LTO is used with ABI-2. We now tag ObjC meta-data with
292 identification attributes in the front end. The back-end may choose to act
293 on these as it requires. */
296 next_runtime_abi_02_init_metadata_attributes (void)
299 objc_meta
= get_identifier ("OBJC2META");
302 meta_base
= get_identifier ("V2_BASE");
304 meta_class
= get_identifier ("G2_CLAS");
305 meta_metaclass
= get_identifier ("G2_META");
307 meta_protocol
= meta_base
;
310 meta_clai_vars
= meta_base
;
316 meta_proto_cls_meth
=
317 meta_proto_nst_meth
= meta_base
;
320 meta_catg_prot
= meta_base
;
322 meta_sel_refs
= get_identifier ("V2_SRFS");
327 meta_prop_name_attr
= get_identifier ("V2_STRG");
329 meta_mref
= get_identifier ("V2_MREF");
330 meta_class_ref
= get_identifier ("V2_CLRF");
331 meta_superclass_ref
= get_identifier ("V2_SURF");
333 meta_label_classlist
= get_identifier ("V2_CLAB");
334 meta_label_nonlazy_classlist
= get_identifier ("V2_NLCL");
335 meta_label_categorylist
= get_identifier ("V2_CALA");
336 meta_label_nonlazy_categorylist
= get_identifier ("V2_NLCA");
338 meta_label_protocollist
= get_identifier ("V2_PLST");
339 meta_proto_ref
= get_identifier ("V2_PRFS");
341 meta_info
= get_identifier ("V2_INFO");
343 meta_ehtype
= get_identifier ("V2_EHTY");
345 meta_const_str
= get_identifier ("V2_CSTR");
348 static void next_runtime_02_initialize (void)
352 /* For all NeXT objc ABIs -fobjc-call-cxx-cdtors is on by
354 if (!global_options_set
.x_flag_objc_call_cxx_cdtors
)
355 global_options
.x_flag_objc_call_cxx_cdtors
= 1;
358 /* Set up attributes to be attached to the meta-data so that they
359 will be placed in the correct sections. */
360 next_runtime_abi_02_init_metadata_attributes ();
362 /* `struct objc_selector *' */
363 objc_selector_type
= build_pointer_type (xref_tag (RECORD_TYPE
,
364 get_identifier (TAG_SELECTOR
)));
366 /* IMP : id (*) (id, _message_ref_t*, ...)
367 SUPER_IMP : id (*) ( super_t*, _super_message_ref_t*, ...)
368 objc_v2_selector_type. */
369 build_v2_message_ref_templates ();
371 objc_v2_ivar_list_ptr
=
372 build_pointer_type (xref_tag (RECORD_TYPE
,
373 get_identifier ("_ivar_list_t")));
376 build_pointer_type (xref_tag (RECORD_TYPE
,
377 get_identifier ("_prop_list_t")));
379 build_v2_class_templates ();
380 build_v2_super_template ();
381 build_v2_protocol_template ();
382 build_v2_category_template ();
384 /* id objc_msgSend_fixup_rtp (id, struct message_ref_t*, ...); */
385 type
= build_varargs_function_type_list (objc_object_type
,
387 objc_v2_selector_type
,
389 umsg_fixup_decl
= add_builtin_function ("objc_msgSend_fixup",
390 type
, 0, NOT_BUILT_IN
,
392 TREE_NOTHROW (umsg_fixup_decl
) = 0;
394 /* id objc_msgSend_stret_fixup_rtp (id, struct message_ref_t*, ...); */
395 umsg_stret_fixup_decl
= add_builtin_function ("objc_msgSend_stret_fixup",
396 type
, 0, NOT_BUILT_IN
,
398 TREE_NOTHROW (umsg_stret_fixup_decl
) = 0;
400 /* id objc_msgSendId_fixup_rtp (id, struct message_ref_t*, ...); */
401 umsg_id_fixup_decl
= add_builtin_function ("objc_msgSendId_fixup",
402 type
, 0, NOT_BUILT_IN
,
404 TREE_NOTHROW (umsg_id_fixup_decl
) = 0;
406 /* id objc_msgSendId_stret_fixup_rtp
407 (id, struct message_ref_t*, ...); */
408 umsg_id_stret_fixup_decl
= add_builtin_function ("objc_msgSendId_stret_fixup",
409 type
, 0, NOT_BUILT_IN
,
411 TREE_NOTHROW (umsg_id_stret_fixup_decl
) = 0;
413 /* id objc_msgSendSuper2_fixup_rtp
414 (struct objc_super *, struct message_ref_t*, ...); */
415 type
= build_varargs_function_type_list (objc_object_type
,
417 objc_v2_super_selector_type
,
419 umsg_id_super2_fixup_decl
= add_builtin_function ("objc_msgSendSuper2_fixup",
420 type
, 0, NOT_BUILT_IN
,
422 TREE_NOTHROW (umsg_id_super2_fixup_decl
) = 0;
424 /* id objc_msgSendSuper2_stret_fixup_rtp
425 (struct objc_super *, struct message_ref_t*, ...); */
426 umsg_id_super2_stret_fixup_decl
=
427 add_builtin_function ("objc_msgSendSuper2_stret_fixup",
428 type
, 0, NOT_BUILT_IN
,
430 TREE_NOTHROW (umsg_id_super2_stret_fixup_decl
) = 0;
432 /* Present in the library, but unused by the FE. */
433 /* Protocol *objc_getProtocol (const char *)
434 type = build_function_type_list (objc_protocol_type,
435 const_string_type_node,
437 objc_v2_getprotocol_decl = add_builtin_function ("objc_getProtocol",
438 type, 0, NOT_BUILT_IN,
440 TREE_NOTHROW (objc_v2_getprotocol_decl) = 0;*/
442 UOBJC_V2_CACHE_decl
= create_extern_decl (ptr_type_node
,
443 "_objc_empty_cache");
445 UOBJC_V2_VTABLE_decl
= create_extern_decl (objc_v2_imp_type
,
446 "_objc_empty_vtable");
448 /* id objc_getClass (const char *); */
449 type
= build_function_type_list (objc_object_type
,
450 const_string_type_node
,
452 objc_get_class_decl
= add_builtin_function (TAG_GETCLASS
,
453 type
, 0, NOT_BUILT_IN
,
456 /* id objc_getMetaClass (const char *); */
457 objc_get_meta_class_decl
= add_builtin_function (TAG_GETMETACLASS
,
458 type
, 0, NOT_BUILT_IN
,
461 /* This is the type of all of the following functions
462 objc_copyStruct(). */
463 type
= build_function_type_list (void_type_node
,
470 /* Declare the following function:
472 objc_copyStruct (void *destination, const void *source,
473 ptrdiff_t size, BOOL is_atomic, BOOL has_strong); */
474 objc_copyStruct_decl
= add_builtin_function ("objc_copyStruct",
475 type
, 0, NOT_BUILT_IN
,
477 TREE_NOTHROW (objc_copyStruct_decl
) = 0;
478 objc_getPropertyStruct_decl
= NULL_TREE
;
479 objc_setPropertyStruct_decl
= NULL_TREE
;
481 gcc_assert (!flag_objc_sjlj_exceptions
);
483 /* Although we warn that fobjc-exceptions is required for exceptions
484 code, we carry on and create it anyway. */
486 /* This can be required, even when exceptions code is not present,
487 when an __attribute__((objc_exception)) is applied to a
489 build_v2_ehtype_template ();
491 /* void * objc_begin_catch (void *) */
492 type
= build_function_type_list (ptr_type_node
,
493 ptr_type_node
, NULL_TREE
);
495 objc2_begin_catch_decl
= add_builtin_function ("objc_begin_catch",
496 type
, 0, NOT_BUILT_IN
,
498 TREE_NOTHROW (objc2_begin_catch_decl
) = 0;
500 /* void objc_end_catch () */
501 type
= build_function_type_list (void_type_node
, NULL_TREE
);
502 objc2_end_catch_decl
= add_builtin_function ("objc_end_catch",
503 type
, 0, NOT_BUILT_IN
,
505 TREE_NOTHROW (objc2_end_catch_decl
) = 0;
507 /* void objc_exception_rethrow (void) */
508 objc_rethrow_exception_decl
=
509 add_builtin_function ("objc_exception_rethrow",
510 type
, 0, NOT_BUILT_IN
,
512 TREE_NOTHROW (objc_rethrow_exception_decl
) = 0;
513 using_eh_for_cleanups ();
514 lang_hooks
.eh_runtime_type
= next_runtime_02_eh_type
;
515 lang_hooks
.eh_personality
= objc_eh_personality
;
518 /* NOTE --- templates --- */
520 /* Set 'objc_v2_message_ref_template' to the data type node for
521 'struct _message_ref_t'. This needs to be done just once per
522 compilation. Also Set 'objc_v2_super_message_ref_template' to data
523 type node for 'struct _super_message_ref_t'. */
525 /* struct _message_ref_t
530 where IMP is: id (*) (id, _message_ref_t*, ...)
533 /* struct _super_message_ref_t
538 where SUPER_IMP is: id (*) ( super_t*, _super_message_ref_t*, ...)
542 build_v2_message_ref_templates (void)
544 tree ptr_message_ref_t
;
545 tree decls
, *chain
= NULL
;
547 /* struct _message_ref_t {...} */
548 objc_v2_message_ref_template
=
549 objc_start_struct (get_identifier ("_message_ref_t"));
553 build_pointer_type (xref_tag (RECORD_TYPE
,
554 get_identifier ("_message_ref_t")));
557 build_pointer_type (build_function_type_list
563 decls
= add_field_decl (objc_v2_imp_type
, "messenger", &chain
);
566 add_field_decl (objc_selector_type
, "name", &chain
);
568 objc_finish_struct (objc_v2_message_ref_template
, decls
);
570 objc_v2_selector_type
= build_pointer_type (objc_v2_message_ref_template
);
573 /* struct _super_message_ref_t {...} */
574 objc_v2_super_message_ref_template
=
575 objc_start_struct (get_identifier ("_super_message_ref_t"));
577 /* SUPER_IMP messenger; */
578 ptr_message_ref_t
= build_pointer_type
579 (xref_tag (RECORD_TYPE
,
580 get_identifier ("_super_message_ref_t")));
582 objc_v2_super_imp_type
=
583 build_pointer_type (build_function_type_list
589 add_field_decl (objc_v2_super_imp_type
, "messenger", &chain
);
592 add_field_decl (objc_selector_type
, "name", &chain
);
594 objc_finish_struct (objc_v2_super_message_ref_template
, decls
);
595 objc_v2_super_selector_type
=
596 build_pointer_type (objc_v2_super_message_ref_template
);
599 /* Build following types which represent each class implementation.
603 uint32_t const flags;
604 uint32_t const instanceStart;
605 uint32_t const instanceSize;
607 uint32_t const reserved;
609 const uint8_t * const ivarLayout;
610 const char *const name;
611 const struct method_list_t * const baseMethods;
612 const struct objc_protocol_list *const baseProtocols;
613 const struct ivar_list_t *const ivars;
614 const uint8_t * const weakIvarLayout;
615 const struct _prop_list_t * const properties;
621 struct class_t *superclass;
625 ...When this is active - it will point to a rw version, but
626 when we build the meta-data we point it to the ro...
627 struct class_ro_t *data;
633 build_v2_class_templates (void)
636 tree decls
, *chain
= NULL
;
638 /* struct class_ro_t {...} */
639 objc_v2_class_ro_template
=
640 objc_start_struct (get_identifier (UTAG_V2_CLASS_RO
));
642 /* uint32_t const flags; */
643 decls
= add_field_decl (integer_type_node
, "flags", &chain
);
645 /* uint32_t const instanceStart; */
646 add_field_decl (integer_type_node
, "instanceStart", &chain
);
648 /* uint32_t const instanceSize; */
649 add_field_decl (integer_type_node
, "instanceSize", &chain
);
651 /* This ABI is currently only used on m64 NeXT. We always
652 explicitly declare the alignment padding. */
653 /* uint32_t const reserved; */
654 add_field_decl (integer_type_node
, "reserved", &chain
);
656 /* const uint8_t * const ivarLayout; */
657 cnst_strg_type
= build_pointer_type (unsigned_char_type_node
);
658 add_field_decl (cnst_strg_type
, "ivarLayout", &chain
);
660 /* const char *const name; */
661 add_field_decl (string_type_node
, "name", &chain
);
663 /* const struct method_list_t * const baseMethods; */
664 add_field_decl (objc_method_list_ptr
, "baseMethods", &chain
);
666 /* const struct objc_protocol_list *const baseProtocols; */
667 add_field_decl (build_pointer_type
668 (xref_tag (RECORD_TYPE
,
669 get_identifier (UTAG_V2_PROTOCOL_LIST
))),
670 "baseProtocols", &chain
);
672 /* const struct ivar_list_t *const ivars; */
673 add_field_decl (objc_v2_ivar_list_ptr
, "ivars", &chain
);
675 /* const uint8_t * const weakIvarLayout; */
676 add_field_decl (cnst_strg_type
, "weakIvarLayout", &chain
);
678 /* struct _prop_list_t * baseProperties; */
679 add_field_decl (objc_prop_list_ptr
, "baseProperties", &chain
);
681 objc_finish_struct (objc_v2_class_ro_template
, decls
);
684 /* struct class_t {...} */
685 objc_v2_class_template
=
686 objc_start_struct (get_identifier (UTAG_V2_CLASS
));
688 /* struct class_t *isa; */
689 decls
= add_field_decl (build_pointer_type (objc_v2_class_template
),
692 /* struct class_t * const superclass; */
693 add_field_decl (build_pointer_type (objc_v2_class_template
),
694 "superclass", &chain
);
697 add_field_decl (build_pointer_type (void_type_node
), "cache", &chain
);
700 add_field_decl (build_pointer_type (objc_v2_imp_type
), "vtable", &chain
);
702 /* struct class_ro_t *ro; */
703 add_field_decl (build_pointer_type (objc_v2_class_ro_template
), "ro", &chain
);
705 objc_finish_struct (objc_v2_class_template
, decls
);
708 /* struct _objc_super
710 struct _objc_object *self;
714 build_v2_super_template (void)
716 tree decls
, *chain
= NULL
;
718 objc_super_template
= objc_start_struct (get_identifier (UTAG_SUPER
));
720 /* struct _objc_object *self; */
721 decls
= add_field_decl (objc_object_type
, "self", &chain
);
724 add_field_decl (objc_class_type
, "cls", &chain
);
726 objc_finish_struct (objc_super_template
, decls
);
732 const char * const protocol_name;
733 const struct protocol_list_t * const protocol_list;
734 const struct method_list_t * const instance_methods;
735 const struct method_list_t * const class_methods;
736 const struct method_list_t * optionalInstanceMethods;
737 const struct method_list_t * optionalClassMethod
738 const struct _prop_list_t * const properties;
740 const uint32_t flags;
744 build_v2_protocol_template (void)
746 tree decls
, *chain
= NULL
;
748 objc_v2_protocol_template
=
749 objc_start_struct (get_identifier (UTAG_V2_PROTOCOL
));
752 decls
= add_field_decl (objc_object_type
, "isa", &chain
);
754 /* char *protocol_name; */
755 add_field_decl (string_type_node
, "protocol_name", &chain
);
757 /* const struct protocol_list_t * const protocol_list; */
758 add_field_decl (build_pointer_type (objc_v2_protocol_template
),
759 "protocol_list", &chain
);
761 /* const struct method_list_t * const instance_methods; */
762 add_field_decl (objc_method_proto_list_ptr
, "instance_methods", &chain
);
764 /* const struct method_list_t * const class_methods; */
765 add_field_decl (objc_method_proto_list_ptr
, "class_methods", &chain
);
767 /* const struct method_list_t * optionalInstanceMethods; */
768 add_field_decl (objc_method_proto_list_ptr
, "optionalInstanceMethods", &chain
);
770 /* const struct method_list_t * optionalClassMethods; */
771 add_field_decl (objc_method_proto_list_ptr
, "optionalClassMethods", &chain
);
773 /* struct _prop_list_t * properties; */
774 add_field_decl (objc_prop_list_ptr
, "properties", &chain
);
776 /* const uint32_t size; */
777 add_field_decl (integer_type_node
, "size", &chain
);
779 /* const uint32_t flags; */
780 add_field_decl (integer_type_node
, "flags", &chain
);
782 objc_finish_struct (objc_v2_protocol_template
, decls
);
785 /* Build type for a category:
788 const char * const name;
789 struct class_t *const cls;
790 const struct method_list_t * const instance_methods;
791 const struct method_list_t * const class_methods;
792 const struct protocol_list_t * const protocols;
793 const struct _prop_list_t * const properties;
798 build_v2_category_template (void)
800 tree decls
, *chain
= NULL
;
802 objc_v2_category_template
=
803 objc_start_struct (get_identifier ("_category_t"));
806 decls
= add_field_decl (string_type_node
, "name", &chain
);
808 /* struct class_t *const cls; */
809 add_field_decl (build_pointer_type (objc_v2_class_template
), "cls", &chain
);
811 /* struct method_list_t *instance_methods; */
812 add_field_decl (objc_method_list_ptr
, "instance_methods", &chain
);
814 /* struct method_list_t *class_methods; */
815 add_field_decl (objc_method_list_ptr
, "class_methods", &chain
);
817 /* struct protocol_list_t *protocol_list; */
818 add_field_decl (build_pointer_type (objc_v2_protocol_template
),
819 "protocol_list", &chain
);
821 /* struct _prop_list_t * properties; */
822 add_field_decl (objc_prop_list_ptr
, "properties", &chain
);
824 objc_finish_struct (objc_v2_category_template
, decls
);
827 /* NOTE --- Decls, Identifiers, Names etc. --- */
829 /* This routine is given a name and returns a matching extern variable
833 hash_name_lookup (hash
*hashlist
, tree name
)
837 target
= hashlist
[IDENTIFIER_HASH_VALUE (name
) % SIZEHASHTABLE
];
841 if (name
== DECL_NAME (target
->key
))
844 target
= target
->next
;
849 /* This routine is given an extern variable and enters it in its hash
850 table. Note that hashing is done on its inner IDENTIFIER_NODE
854 hash_name_enter (hash
*hashlist
, tree id
)
857 int slot
= IDENTIFIER_HASH_VALUE (DECL_NAME (id
)) % SIZEHASHTABLE
;
859 obj
= ggc_alloc_hashed_entry ();
861 obj
->next
= hashlist
[slot
];
864 hashlist
[slot
] = obj
; /* append to front */
867 /* Create a declaration "extern <type> <name>;"
868 The var will need to be finalized (e.g. by calling finish_var_decl()). */
871 create_extern_decl (tree type
, const char *name
)
873 tree id
= get_identifier (name
);
874 tree var
= hash_name_lookup (extern_names
, id
);
878 var
= start_var_decl (type
, name
);
879 TREE_STATIC (var
) = 0;
880 DECL_EXTERNAL (var
) = 1;
881 TREE_PUBLIC (var
) = 1;
882 hash_name_enter (extern_names
, var
);
886 /* Create a globally visible definition for variable NAME of a given TYPE. The
887 finish_var_decl() routine will need to be called on it afterwards. */
890 create_global_decl (tree type
, const char *name
)
892 tree id
= get_identifier (name
);
893 tree var
= hash_name_lookup (extern_names
, id
);
896 DECL_EXTERNAL (var
) = 0;
897 TREE_STATIC (var
) = 1;
901 var
= start_var_decl (type
, name
);
902 hash_name_enter (extern_names
, var
);
904 TREE_PUBLIC (var
) = 1;
908 /* Create a symbol with __attribute__ ((visibility ("hidden")))
909 attribute (private extern). */
912 create_hidden_decl (tree type
, const char *name
)
914 tree decl
= create_global_decl (type
, name
);
915 DECL_VISIBILITY (decl
) = VISIBILITY_HIDDEN
;
916 DECL_VISIBILITY_SPECIFIED (decl
) = 1;
920 /* Irritatingly, we have a different superclass field name for ABI=2. */
921 /* PS/TODO: The field name does not matter, it is only used internally
922 by the compiler. We can rename it to whatever we want. ;-) */
925 next_runtime_abi_02_super_superclassfield_id (void)
927 /* TODO: Simplify. Just always return get_identifier ("cls"), or at
928 most look it once at startup then always return it. */
929 if (!super_superclassfield_id
)
930 super_superclassfield_id
= get_identifier ("cls");
931 return super_superclassfield_id
;
935 next_runtime_abi_02_class_decl (tree klass
)
939 snprintf (buf
, BUFSIZE
, "OBJC_CLASS_$_%s",
940 IDENTIFIER_POINTER (CLASS_NAME (klass
)));
941 /* ObjC2 classes are extern visible. */
942 decl
= create_global_decl (objc_v2_class_template
, buf
);
943 OBJCMETA (decl
, objc_meta
, meta_class
);
948 next_runtime_abi_02_metaclass_decl (tree klass
)
952 snprintf (buf
, BUFSIZE
, "OBJC_METACLASS_$_%s",
953 IDENTIFIER_POINTER (CLASS_NAME (klass
)));
954 /* ObjC2 classes are extern visible. */
955 decl
= create_global_decl (objc_v2_class_template
, buf
);
956 OBJCMETA (decl
, objc_meta
, meta_metaclass
);
961 next_runtime_abi_02_category_decl (tree klass
)
965 snprintf (buf
, BUFSIZE
, "_OBJC_Category_%s_on_%s",
966 IDENTIFIER_POINTER (CLASS_SUPER_NAME (klass
)),
967 IDENTIFIER_POINTER (CLASS_NAME (klass
)));
968 decl
= start_var_decl (objc_v2_category_template
, buf
);
969 OBJCMETA (decl
, objc_meta
, meta_category
);
974 next_runtime_abi_02_protocol_decl (tree p
)
979 /* static struct _objc_protocol _OBJC_Protocol_<mumble>; */
980 snprintf (buf
, BUFSIZE
, "_OBJC_Protocol_%s",
981 IDENTIFIER_POINTER (PROTOCOL_NAME (p
)));
982 decl
= start_var_decl (objc_v2_protocol_template
, buf
);
983 OBJCMETA (decl
, objc_meta
, meta_protocol
);
988 next_runtime_abi_02_string_decl (tree type
, const char *name
, string_section where
)
990 tree var
= start_var_decl (type
, name
);
994 OBJCMETA (var
, objc_meta
, meta_class_name
);
997 OBJCMETA (var
, objc_meta
, meta_meth_name
);
1000 OBJCMETA (var
, objc_meta
, meta_meth_type
);
1002 case prop_names_attr
:
1003 OBJCMETA (var
, objc_meta
, meta_prop_name_attr
);
1006 OBJCMETA (var
, objc_meta
, meta_base
);
1012 /* NOTE --- entry --- */
1014 typedef struct GTY(()) ident_data_tuple
{
1017 } ident_data_tuple
;
1019 /* This routine creates a file scope static variable of type 'Class'
1020 to hold the address of a class. */
1023 build_v2_class_reference_decl (tree ident
)
1028 snprintf (buf
, BUFSIZE
, "_OBJC_ClassRef_%s", IDENTIFIER_POINTER (ident
));
1029 decl
= start_var_decl (objc_class_type
, buf
);
1030 OBJCMETA (decl
, objc_meta
, meta_class_ref
);
1034 /* This routine builds a class refs entry for each class name used.
1035 Initially, a (static-ref, IDENT) tuple is added to the list. The
1036 ident is replaced with address of the class metadata (of type
1037 'Class') in the output routine. */
1039 static GTY (()) vec
<ident_data_tuple
, va_gc
> *classrefs
;
1042 objc_v2_get_class_reference (tree ident
)
1049 ident_data_tuple
*ref
;
1050 FOR_EACH_VEC_ELT (*classrefs
, count
, ref
)
1052 if (ref
->ident
== ident
)
1055 ref
->data
= build_v2_class_reference_decl (ident
);
1061 /* Somewhat arbitrary initial provision. */
1062 vec_alloc (classrefs
, 16);
1064 /* We come here if we don't find the entry - or if the table was yet
1066 decl
= build_v2_class_reference_decl (ident
);
1069 vec_safe_push (classrefs
, e
);
1074 next_runtime_abi_02_get_class_reference (tree ident
)
1076 if (!flag_zero_link
)
1077 return objc_v2_get_class_reference (ident
);
1080 /* We fall back to using objc_getClass (). */
1081 vec
<tree
, va_gc
> *v
;
1084 /* ??? add_class_reference (ident); - is pointless, since the
1085 system lib does not export the equivalent symbols. Maybe we
1086 need to build a class ref anyway. */
1087 t
= my_build_string_pointer (IDENTIFIER_LENGTH (ident
) + 1,
1088 IDENTIFIER_POINTER (ident
));
1090 t
= build_function_call_vec (input_location
, objc_get_class_decl
, v
, 0);
1096 /* Used by build_function_type_for_method. Append the types for
1097 receiver & _cmd at the start of a method argument list to ARGTYPES.
1098 CONTEXT is either METHOD_DEF or METHOD_REF, saying whether we are
1099 trying to define a method or call one. SUPERFLAG says this is for a
1100 send to super. METH may be NULL, in the case that there is no
1104 next_runtime_abi_02_get_arg_type_list_base (vec
<tree
, va_gc
> **argtypes
,
1105 tree meth
, int context
,
1111 receiver_type
= objc_super_type
;
1112 else if (context
== METHOD_DEF
&& TREE_CODE (meth
) == INSTANCE_METHOD_DECL
)
1113 receiver_type
= objc_instance_type
;
1115 receiver_type
= objc_object_type
;
1117 vec_safe_push (*argtypes
, receiver_type
);
1118 /* Selector type - will eventually change to `int'. */
1119 vec_safe_push (*argtypes
,
1120 superflag
? objc_v2_super_selector_type
1121 : objc_v2_selector_type
);
1124 /* TODO: Merge this with the message refs. */
1126 build_selector_reference_decl (tree ident
)
1129 char *t
, buf
[BUFSIZE
];
1131 snprintf (buf
, BUFSIZE
, "_OBJC_SelRef_%s", IDENTIFIER_POINTER (ident
));
1136 *t
= '$'; /* Underscore would clash between foo:bar and foo_bar. */
1139 decl
= start_var_decl (objc_selector_type
, buf
);
1140 OBJCMETA (decl
, objc_meta
, meta_sel_refs
);
1145 next_runtime_abi_02_build_selector_reference (location_t loc ATTRIBUTE_UNUSED
,
1147 tree proto ATTRIBUTE_UNUSED
)
1149 tree
*chain
= &sel_ref_chain
;
1154 if (TREE_VALUE (*chain
) == ident
)
1155 return TREE_PURPOSE (*chain
);
1157 chain
= &TREE_CHAIN (*chain
);
1160 expr
= build_selector_reference_decl (ident
);
1161 *chain
= tree_cons (expr
, ident
, NULL_TREE
);
1166 /* Declare a variable of type 'struct message_ref_t'. */
1167 /* This will be finished in build_v2_message_ref_translation_table ().
1168 We take an idea from LLVM in making the names a bit more connected
1169 and thus the asm more readable. */
1172 build_v2_message_reference_decl (tree sel_name
, tree message_func_ident
)
1175 char buf
[BUFSIZE
], *t
;
1178 /* Skip past the objc_msgSend it's the same for all... */
1179 if (IDENTIFIER_POINTER (message_func_ident
)[offset
] == '_')
1182 snprintf (buf
, BUFSIZE
, "_OBJC_MsgRef_%s_%s",
1183 &(IDENTIFIER_POINTER (message_func_ident
)[offset
]),
1184 IDENTIFIER_POINTER (sel_name
));
1189 *t
= '$'; /* Underscore would clash between foo:bar and foo_bar. */
1192 decl
= start_var_decl (objc_v2_message_ref_template
, buf
);
1193 OBJCMETA (decl
, objc_meta
, meta_mref
);
1197 typedef struct GTY(()) msgref_entry
{
1203 static GTY (()) vec
<msgref_entry
, va_gc
> *msgrefs
;
1205 /* Build the list of (objc_msgSend_fixup_xxx, selector name), used
1206 later on to initialize the table of 'struct message_ref_t'
1210 build_v2_selector_messenger_reference (tree sel_name
, tree message_func_decl
)
1218 FOR_EACH_VEC_ELT (*msgrefs
, count
, ref
)
1219 if (ref
->func
== message_func_decl
&& ref
->selname
== sel_name
)
1220 return ref
->refdecl
;
1223 /* Somewhat arbitrary initial provision. */
1224 vec_alloc (msgrefs
, 32);
1226 /* We come here if we don't find a match or at the start. */
1227 decl
= build_v2_message_reference_decl (sel_name
,
1228 DECL_NAME (message_func_decl
));
1229 e
.func
= message_func_decl
;
1230 e
.selname
= sel_name
;
1232 vec_safe_push (msgrefs
, e
);
1237 build_v2_protocollist_ref_decl (tree protocol
)
1240 tree protocol_ident
= PROTOCOL_NAME (protocol
);
1243 snprintf (buf
, BUFSIZE
, "_OBJC_ProtocolRef_%s",
1244 IDENTIFIER_POINTER (protocol_ident
));
1245 /* TODO: other compiler versions make these hidden & weak. */
1246 decl
= create_global_decl (objc_protocol_type
, buf
);
1247 /* Let optimizer know that this decl is not removable. */
1248 DECL_PRESERVE_P (decl
) = 1;
1249 OBJCMETA (decl
, objc_meta
, meta_proto_ref
);
1253 typedef struct GTY(()) prot_list_entry
{
1257 static GTY (()) vec
<prot_list_entry
, va_gc
> *protrefs
;
1260 objc_v2_get_protocol_reference (tree ident
)
1267 prot_list_entry
*ref
;
1268 FOR_EACH_VEC_ELT (*protrefs
, count
, ref
)
1270 if (ref
->id
== ident
)
1273 ref
->refdecl
= build_v2_protocollist_ref_decl (ident
);
1274 return ref
->refdecl
;
1279 /* Somewhat arbitrary initial provision. */
1280 vec_alloc (protrefs
, 32);
1282 /* We come here if we don't find the entry - or if the table was yet
1284 decl
= build_v2_protocollist_ref_decl (ident
);
1287 vec_safe_push (protrefs
, e
);
1292 next_runtime_abi_02_get_protocol_reference (location_t loc ATTRIBUTE_UNUSED
,
1295 if (!PROTOCOL_FORWARD_DECL (p
))
1296 PROTOCOL_FORWARD_DECL (p
) = next_runtime_abi_02_protocol_decl (p
);
1298 return objc_v2_get_protocol_reference (p
);
1301 /* This routine returns the ivar declaration, if component is a valid
1302 ivar field; NULL_TREE otherwise. On finding an ivar, it also
1303 returns the class name in CLASS. */
1306 objc_is_ivar (tree expr
, tree component
, tree
*klass
)
1308 tree field
= NULL_TREE
;
1309 tree basetype
= TYPE_MAIN_VARIANT (TREE_TYPE (expr
));
1311 if (TREE_CODE (basetype
) == RECORD_TYPE
1312 && TYPE_HAS_OBJC_INFO (basetype
) && TYPE_OBJC_INTERFACE (basetype
))
1314 *klass
= lookup_interface (OBJC_TYPE_NAME (basetype
));
1319 tree ivar_chain
= CLASS_RAW_IVARS (*klass
);
1322 field
= is_ivar (ivar_chain
, component
);
1323 if (field
!= NULL_TREE
)
1326 *klass
= lookup_interface (CLASS_SUPER_NAME (*klass
));
1335 create_ivar_offset_name (char *buf
, tree class_name
, tree field_decl
)
1337 tree fname
= DECL_NAME (field_decl
);
1339 sprintf (buf
, "OBJC_IVAR_$_%s.%s", IDENTIFIER_POINTER (class_name
),
1340 IDENTIFIER_POINTER (fname
));
1344 /* This routine generates new abi's ivar reference tree. It amounts
1345 to generating *(TYPE*)((char*)pObj + OFFSET_IVAR) when we normally
1346 generate pObj->IVAR. OFFSET_IVAR is an 'extern' variable holding
1347 the offset for 'IVAR' field. TYPE is type of IVAR field. */
1350 objc_v2_build_ivar_ref (tree datum
, tree component
)
1352 tree field
, ref
, class_name
, offset
, ftype
, expr
;
1353 char var_offset_name
[512];
1355 field
= objc_is_ivar (datum
, component
, &class_name
);
1359 /* This routine only handles non-bitfield fields */
1360 /* DECL_INITIAL macro is set to width of bitfield and can be relied
1361 on to check for bitfield ivars. Note that I cannot rely on
1362 DECL_BIT_FIELD macro because it is only set when the whole struct
1363 is seen (at finish_struct) and not when the ivar chain is
1365 if (DECL_INITIAL (field
))
1368 create_ivar_offset_name (var_offset_name
, CLASS_NAME (class_name
), field
);
1370 offset
= create_extern_decl (TREE_TYPE (size_zero_node
), var_offset_name
);
1372 ftype
= TREE_TYPE (field
);
1375 expr
= build_c_cast (input_location
,
1376 string_type_node
, build_fold_addr_expr (datum
));
1378 /* (char*)datum + offset */
1379 expr
= fold_build_pointer_plus_loc (input_location
, expr
, offset
);
1381 /* (ftype*)((char*)datum + offset) */
1382 expr
= build_c_cast (input_location
, build_pointer_type (ftype
), expr
);
1384 /* Finally: *(ftype*)((char*)datum + offset) */
1385 ref
= build_indirect_ref (input_location
, expr
, RO_UNARY_STAR
);
1387 /* We must set type of the resulting expression to be the same as
1388 the field type. This is because, build_indirect_ref (...)
1389 rebuilds the type which may result in lost information; as in the
1390 case of protocol-qualified types (id <protocol> ). */
1391 TREE_TYPE (ref
) = ftype
;
1393 if (TREE_READONLY (datum
) || TREE_READONLY (field
))
1394 TREE_READONLY (ref
) = 1;
1396 if (TREE_THIS_VOLATILE (datum
) || TREE_THIS_VOLATILE (field
))
1397 TREE_THIS_VOLATILE (ref
) = 1;
1399 if (TREE_DEPRECATED (field
))
1400 warn_deprecated_use (field
, NULL_TREE
);
1405 /* IVAR refs are made via an externally referenceable offset and built
1406 on the fly. That is, unless they refer to (private) fields in the
1409 next_runtime_abi_02_build_ivar_ref (location_t loc ATTRIBUTE_UNUSED
,
1413 if ((ivar
= objc_v2_build_ivar_ref (base
, id
)))
1415 return objc_build_component_ref (base
, id
);
1418 /* [super ...] references are listed here (and built into a table at
1419 meta -data emit time). */
1421 build_v2_superclass_ref_decl (tree ident
, bool inst
)
1426 snprintf (buf
, BUFSIZE
, "_OBJC_%sSuperRef_%s", (inst
?"":"Meta"),
1427 IDENTIFIER_POINTER (ident
));
1428 decl
= start_var_decl (objc_class_type
, buf
);
1429 OBJCMETA (decl
, objc_meta
, meta_superclass_ref
);
1433 static GTY (()) vec
<ident_data_tuple
, va_gc
> *class_super_refs
;
1434 static GTY (()) vec
<ident_data_tuple
, va_gc
> *metaclass_super_refs
;
1437 next_runtime_abi_02_get_class_super_ref (location_t loc ATTRIBUTE_UNUSED
,
1438 struct imp_entry
*imp
, bool inst_meth
)
1442 tree id
= CLASS_NAME (imp
->imp_context
);
1443 vec
<ident_data_tuple
, va_gc
> *list
= inst_meth
? class_super_refs
1444 : metaclass_super_refs
;
1449 ident_data_tuple
*ref
;
1450 FOR_EACH_VEC_ELT (*list
, count
, ref
)
1452 if (ref
->ident
== id
)
1455 ref
->data
= build_v2_superclass_ref_decl (id
, inst_meth
);
1462 /* Somewhat arbitrary initial provision. */
1465 vec_alloc (class_super_refs
, 16);
1466 list
= class_super_refs
;
1470 vec_alloc (metaclass_super_refs
, 16);
1471 list
= metaclass_super_refs
;
1474 /* We come here if we don't find the entry - or if the table was yet
1476 decl
= build_v2_superclass_ref_decl (id
, inst_meth
);
1479 vec_safe_push (list
, e
);
1484 next_runtime_abi_02_get_category_super_ref (location_t loc ATTRIBUTE_UNUSED
,
1485 struct imp_entry
*imp
, bool inst_meth
)
1487 /* ??? is this OK when zero-link = true? */
1488 tree super_name
= CLASS_SUPER_NAME (imp
->imp_template
);
1491 if (!flag_zero_link
)
1493 super_class
= objc_get_class_reference (CLASS_NAME (imp
->imp_template
));
1497 /* If we are in a class method, we must retrieve the
1498 _metaclass_ for the current class, pointed at by the
1499 class's "isa" pointer. The following assumes that "isa" is
1500 the first ivar in a class (which it must be). */
1502 build_indirect_ref (input_location
,
1503 build_c_cast (input_location
,
1504 build_pointer_type (objc_class_type
),
1509 /* ??? Do we need to add the class ref anway for zero-link? */
1510 /* else do it the slow way. */
1511 super_class
= (inst_meth
? objc_get_class_decl
: objc_get_meta_class_decl
);
1512 super_name
= my_build_string_pointer (IDENTIFIER_LENGTH (super_name
) + 1,
1513 IDENTIFIER_POINTER (super_name
));
1514 /* super_class = objc_get{Meta}Class("CLASS_SUPER_NAME"); */
1515 return build_function_call (input_location
,
1517 build_tree_list (NULL_TREE
, super_name
));
1521 next_runtime_abi_02_receiver_is_class_object (tree receiver
)
1523 if (TREE_CODE (receiver
) == VAR_DECL
1524 && IS_CLASS (TREE_TYPE (receiver
))
1525 && vec_safe_length (classrefs
))
1528 ident_data_tuple
*ref
;
1529 /* The receiver is a variable created by build_class_reference_decl. */
1530 FOR_EACH_VEC_ELT (*classrefs
, count
, ref
)
1531 if (ref
->data
== receiver
)
1537 /* Assign all arguments in VALUES which have side-effect to a temporary
1538 and replaced that argument in VALUES list with the temporary. The
1539 arguments will be passed to a function with FNTYPE. */
1542 objc_copy_to_temp_side_effect_params (tree fntype
, tree values
)
1545 function_args_iterator iter
;
1547 /* Skip over receiver and the &_msf_ref types. */
1548 function_args_iter_init (&iter
, fntype
);
1549 function_args_iter_next (&iter
);
1550 function_args_iter_next (&iter
);
1552 for (valtail
= values
; valtail
;
1553 valtail
= TREE_CHAIN (valtail
), function_args_iter_next (&iter
))
1555 tree value
= TREE_VALUE (valtail
);
1556 tree type
= function_args_iter_cond (&iter
);
1557 if (type
== NULL_TREE
)
1559 if (!TREE_SIDE_EFFECTS (value
))
1561 /* To prevent re-evaluation. */
1562 value
= save_expr (value
);
1564 TREE_VALUE (valtail
) = value
;
1569 /* Build the new abi's messaging library call. It looks like:
1570 (*_msg.messenger) (receiver, &_msg, ...) */
1573 build_v2_build_objc_method_call (int super_flag
, tree method_prototype
,
1574 tree lookup_object
, tree selector
,
1579 tree sender
, rcv_p
, t
;
1582 ? TREE_VALUE (TREE_TYPE (method_prototype
))
1583 : objc_object_type
);
1584 tree ftype
= build_function_type_for_method (ret_type
, method_prototype
,
1585 METHOD_REF
, super_flag
);
1588 if (method_prototype
&& METHOD_TYPE_ATTRIBUTES (method_prototype
))
1589 ftype
= build_type_attribute_variant (
1590 ftype
, METHOD_TYPE_ATTRIBUTES (method_prototype
));
1592 sender_cast
= build_pointer_type (ftype
);
1595 method_params
= objc_copy_to_temp_side_effect_params (ftype
,
1598 /* Get &message_ref_t.messenger. */
1599 sender
= build_c_cast (input_location
,
1600 build_pointer_type (super_flag
1601 ? objc_v2_super_imp_type
1602 : objc_v2_imp_type
),
1605 sender
= build_indirect_ref (input_location
, sender
, RO_UNARY_STAR
);
1607 rcv_p
= (super_flag
? objc_super_type
: objc_object_type
);
1609 lookup_object
= build_c_cast (input_location
, rcv_p
, lookup_object
);
1611 /* Use SAVE_EXPR to avoid evaluating the receiver twice. */
1612 lookup_object
= save_expr (lookup_object
);
1614 method_params
= tree_cons (NULL_TREE
, lookup_object
,
1615 tree_cons (NULL_TREE
, selector
,
1617 t
= build3 (OBJ_TYPE_REF
, sender_cast
, sender
, lookup_object
, size_zero_node
);
1618 ret_val
= build_function_call (input_location
, t
, method_params
);
1621 /* receiver != nil ? ret_val : 0 */
1625 if (TREE_CODE (ret_type
) == RECORD_TYPE
1626 || TREE_CODE (ret_type
) == UNION_TYPE
)
1628 vec
<constructor_elt
, va_gc
> *rtt
= NULL
;
1629 /* ??? CHECKME. hmmm..... think we need something more
1631 CONSTRUCTOR_APPEND_ELT (rtt
, NULL_TREE
, NULL_TREE
);
1632 ftree
= objc_build_constructor (ret_type
, rtt
);
1635 ftree
= fold_convert (ret_type
, integer_zero_node
);
1637 ifexp
= build_binary_op (input_location
, NE_EXPR
,
1639 fold_convert (rcv_p
, integer_zero_node
), 1);
1642 ret_val
= build_conditional_expr (input_location
,
1643 ifexp
, ret_val
, ftree
,
1644 tf_warning_or_error
);
1647 ret_val
= build_conditional_expr (input_location
,
1657 next_runtime_abi_02_build_objc_method_call (location_t loc
,
1658 tree method_prototype
,
1665 tree ret_type
, selector
;
1666 tree message_func_decl
;
1667 bool check_for_nil
= flag_objc_nilcheck
;
1669 ret_type
= method_prototype
1670 ? TREE_VALUE (TREE_TYPE (method_prototype
))
1673 /* Do we need to check for nil receivers ? */
1674 /* For now, message sent to classes need no nil check. In the
1675 future, class declaration marked as weak_import must be nil
1678 || (TREE_CODE (receiver
) == VAR_DECL
1679 && TREE_TYPE (receiver
) == objc_class_type
))
1680 check_for_nil
= false;
1682 if (!targetm
.calls
.struct_value_rtx (0, 0)
1683 && (TREE_CODE (ret_type
) == RECORD_TYPE
1684 || TREE_CODE (ret_type
) == UNION_TYPE
)
1685 && targetm
.calls
.return_in_memory (ret_type
, 0))
1688 message_func_decl
= umsg_id_super2_stret_fixup_decl
;
1690 message_func_decl
= objc_is_id (rtype
)
1691 ? umsg_id_stret_fixup_decl
1692 : umsg_stret_fixup_decl
;
1697 message_func_decl
= umsg_id_super2_fixup_decl
;
1699 message_func_decl
= objc_is_id (rtype
)
1700 ? umsg_id_fixup_decl
1704 selector
= build_v2_selector_messenger_reference (sel_name
,
1707 /* selector = &_msg; */
1708 selector
= build_unary_op (loc
, ADDR_EXPR
, selector
, 0);
1710 selector
= build_c_cast (loc
, (super
? objc_v2_super_selector_type
1711 : objc_v2_selector_type
),
1714 /* (*_msg.messenger) (receiver, &_msg, ...); */
1715 return build_v2_build_objc_method_call (super
, method_prototype
,
1717 method_params
, check_for_nil
);
1720 /* NOTE --- Constant String Class Stuff --- */
1723 next_runtime_abi_02_setup_const_string_class_decl (void)
1725 if (!constant_string_global_id
)
1727 /* Hopefully, this should not represent a serious limitation. */
1729 snprintf (buf
, BUFSIZE
, "OBJC_CLASS_$_%s", constant_string_class_name
);
1730 constant_string_global_id
= get_identifier (buf
);
1733 string_class_decl
= lookup_name (constant_string_global_id
);
1735 /* In OBJC2 abi, constant string class reference refers to class
1736 name for NSConstantString class. This declaration may not be
1737 available yet (in fact it is not in most cases). So, declare an
1738 extern OBJC_CLASS_$_NSConstantString in its place. */
1739 if (!string_class_decl
)
1741 create_extern_decl (objc_v2_class_template
,
1742 IDENTIFIER_POINTER (constant_string_global_id
));
1744 return (string_class_decl
!= NULL_TREE
);
1748 next_runtime_abi_02_build_const_string_constructor (location_t loc
, tree string
,
1751 tree constructor
, fields
, var
;
1752 vec
<constructor_elt
, va_gc
> *v
= NULL
;
1754 /* NeXT: (NSConstantString *) & ((__builtin_ObjCString) { isa, string, length }) */
1755 fields
= TYPE_FIELDS (internal_const_str_type
);
1756 CONSTRUCTOR_APPEND_ELT (v
, fields
,
1757 build_unary_op (loc
, ADDR_EXPR
, string_class_decl
, 0));
1759 fields
= DECL_CHAIN (fields
);
1760 CONSTRUCTOR_APPEND_ELT (v
, fields
,
1761 build_unary_op (loc
, ADDR_EXPR
, string
, 1));
1763 /* ??? check if this should be long. */
1764 fields
= DECL_CHAIN (fields
);
1765 CONSTRUCTOR_APPEND_ELT (v
, fields
, build_int_cst (NULL_TREE
, length
));
1766 constructor
= objc_build_constructor (internal_const_str_type
, v
);
1768 var
= build_decl (input_location
, CONST_DECL
, NULL
, TREE_TYPE (constructor
));
1769 DECL_INITIAL (var
) = constructor
;
1770 TREE_STATIC (var
) = 1;
1771 DECL_CONTEXT (var
) = NULL
;
1772 OBJCMETA (var
, objc_meta
, meta_const_str
);
1776 /* NOTE --- NeXT V2 Metadata templates --- */
1778 /* This routine builds the following type:
1781 const char * const name; // property name
1782 const char * const attributes; // comma-delimited, encoded,
1783 // property attributes
1788 build_v2_property_template (void)
1791 tree decls
, *chain
= NULL
;
1793 prop_record
= objc_start_struct (get_identifier ("_prop_t"));
1794 /* const char * name */
1795 decls
= add_field_decl (string_type_node
, "name", &chain
);
1797 /* const char * attribute */
1798 add_field_decl (string_type_node
, "attribute", &chain
);
1800 objc_finish_struct (prop_record
, decls
);
1806 unsigned long int *offset;
1815 build_v2_ivar_t_template (void)
1817 tree objc_ivar_id
, objc_ivar_record
;
1818 tree decls
, *chain
= NULL
;
1820 objc_ivar_id
= get_identifier ("_ivar_t");
1821 objc_ivar_record
= objc_start_struct (objc_ivar_id
);
1823 /* unsigned long int *offset; */
1824 decls
= add_field_decl (build_pointer_type
1825 (TREE_TYPE (size_zero_node
)), "offset", &chain
);
1828 add_field_decl (string_type_node
, "name", &chain
);
1831 add_field_decl (string_type_node
, "type", &chain
);
1833 /* uint32_t alignment; */
1834 add_field_decl (integer_type_node
, "alignment", &chain
);
1836 /* uint32_t size; */
1837 add_field_decl (integer_type_node
, "size", &chain
);
1839 objc_finish_struct (objc_ivar_record
, decls
);
1840 return objc_ivar_record
;
1844 build_metadata_templates (void)
1847 if (!objc_method_template
)
1848 objc_method_template
= build_method_template ();
1850 if (!objc_v2_property_template
)
1851 objc_v2_property_template
= build_v2_property_template ();
1853 if (!objc_v2_ivar_template
)
1854 objc_v2_ivar_template
= build_v2_ivar_t_template ();
1858 /* NOTE --- Output NeXT V2 Metadata --- */
1860 /* Routine builds name of Interface's main meta-data of type class_t. */
1863 objc_build_internal_classname (tree ident
, bool metaclass
)
1865 static char string
[512];
1866 snprintf (string
, 512, "%s_%s", metaclass
? "OBJC_METACLASS_$"
1868 IDENTIFIER_POINTER (ident
));
1872 /* Build the name for object of type struct class_ro_t */
1875 newabi_append_ro (const char *name
)
1879 static char string
[BUFSIZE
];
1880 dollar
= strchr (name
, '$');
1881 gcc_assert (dollar
);
1884 strncpy (p
, name
, (int)(dollar
- name
));
1885 p
+= (int)(dollar
- name
);
1886 sprintf (p
, "RO_%s", dollar
);
1890 /* Build the struct message_ref_t msg =
1891 {objc_msgSend_fixup_xxx, @selector(func)}
1895 void build_v2_message_ref_translation_table (void)
1900 if (!vec_safe_length (msgrefs
))
1903 FOR_EACH_VEC_ELT (*msgrefs
, count
, ref
)
1905 vec
<constructor_elt
, va_gc
> *initializer
;
1906 tree expr
, constructor
;
1907 tree struct_type
= TREE_TYPE (ref
->refdecl
);
1908 location_t loc
= DECL_SOURCE_LOCATION (ref
->refdecl
);
1911 /* First 'IMP messenger' field... */
1912 expr
= build_unary_op (loc
, ADDR_EXPR
, ref
->func
, 0);
1913 expr
= convert (objc_v2_imp_type
, expr
);
1914 CONSTRUCTOR_APPEND_ELT (initializer
, NULL_TREE
, expr
);
1916 /* ... then 'SEL name' field. */
1917 expr
= build_selector (ref
->selname
);
1918 CONSTRUCTOR_APPEND_ELT (initializer
, NULL_TREE
, expr
);
1919 constructor
= objc_build_constructor (struct_type
, initializer
);
1920 finish_var_decl (ref
->refdecl
, constructor
);
1924 /* Build decl = initializer; for each externally visible class
1928 build_v2_classrefs_table (void)
1931 ident_data_tuple
*ref
;
1933 if (!vec_safe_length (classrefs
))
1936 FOR_EACH_VEC_ELT (*classrefs
, count
, ref
)
1938 tree expr
= ref
->ident
;
1939 tree decl
= ref
->data
;
1940 /* Interface with no implementation and yet one of its messages
1941 has been used. Need to generate a full address-of tree for it
1943 if (TREE_CODE (expr
) == IDENTIFIER_NODE
)
1945 const char *name
= objc_build_internal_classname (expr
, false);
1946 expr
= create_extern_decl (objc_v2_class_template
, name
);
1947 expr
= convert (objc_class_type
, build_fold_addr_expr (expr
));
1949 /* The runtime wants this, even if it appears unused, so we must force the
1951 DECL_PRESERVE_P (decl) = 1; */
1952 finish_var_decl (decl
, expr
);
1956 /* Build decl = initializer; for each externally visible super class
1960 build_v2_super_classrefs_table (bool metaclass
)
1963 ident_data_tuple
*ref
;
1964 vec
<ident_data_tuple
, va_gc
> *list
= metaclass
? metaclass_super_refs
1967 if (!vec_safe_length (list
))
1970 FOR_EACH_VEC_ELT (*list
, count
, ref
)
1972 tree expr
= ref
->ident
;
1973 tree decl
= ref
->data
;
1974 /* Interface with no implementation and yet one of its messages
1975 has been used. Need to generate a full address-of tree for it
1977 if (TREE_CODE (expr
) == IDENTIFIER_NODE
)
1979 const char * name
= objc_build_internal_classname (expr
, metaclass
);
1980 expr
= create_extern_decl (objc_v2_class_template
, name
);
1981 expr
= convert (objc_class_type
, build_fold_addr_expr (expr
));
1983 finish_var_decl (decl
, expr
);
1987 /* Add the global class meta-data declaration to the list which later
1988 on ends up in the __class_list section. */
1990 static GTY(()) vec
<tree
, va_gc
> *class_list
;
1993 objc_v2_add_to_class_list (tree global_class_decl
)
1995 vec_safe_push (class_list
, global_class_decl
);
1998 static GTY(()) vec
<tree
, va_gc
> *nonlazy_class_list
;
2000 /* Add the global class meta-data declaration to the list which later
2001 on ends up in the __nonlazy_class section. */
2004 objc_v2_add_to_nonlazy_class_list (tree global_class_decl
)
2006 vec_safe_push (nonlazy_class_list
, global_class_decl
);
2009 static GTY(()) vec
<tree
, va_gc
> *category_list
;
2011 /* Add the category meta-data declaration to the list which later on
2012 ends up in the __nonlazy_category section. */
2015 objc_v2_add_to_category_list (tree decl
)
2017 vec_safe_push (category_list
, decl
);
2020 static GTY(()) vec
<tree
, va_gc
> *nonlazy_category_list
;
2022 /* Add the category meta-data declaration to the list which later on
2023 ends up in the __category_list section. */
2026 objc_v2_add_to_nonlazy_category_list (tree decl
)
2028 vec_safe_push (nonlazy_category_list
, decl
);
2032 has_load_impl (tree clsmeth
)
2036 tree id
= METHOD_SEL_NAME (clsmeth
);
2037 if (IDENTIFIER_LENGTH (id
) == 4
2038 && strncmp (IDENTIFIER_POINTER (id
), "load", 4) == 0)
2040 clsmeth
= DECL_CHAIN (clsmeth
);
2046 /* Build a __{class,category}_list section table containing address of
2047 all @implemented {class,category} meta-data. */
2050 build_v2_address_table (vec
<tree
, va_gc
> *src
, const char *nam
, tree attr
)
2053 tree type
, decl
, expr
;
2054 vec
<constructor_elt
, va_gc
> *initlist
= NULL
;
2056 if (!vec_safe_length (src
))
2059 FOR_EACH_VEC_ELT (*src
, count
, decl
)
2062 tree purpose
= build_int_cst (NULL_TREE
, count
);
2064 tree purpose
= NULL_TREE
;
2066 expr
= convert (objc_class_type
, build_fold_addr_expr (decl
));
2067 CONSTRUCTOR_APPEND_ELT (initlist
, purpose
, expr
);
2069 gcc_assert (count
> 0);
2070 type
= build_array_type (objc_class_type
,
2071 build_index_type (build_int_cst (NULL_TREE
, count
- 1)));
2072 decl
= start_var_decl (type
, nam
);
2073 /* The runtime wants this, even if it appears unused, so we must
2074 force the output. */
2075 DECL_PRESERVE_P (decl
) = 1;
2076 expr
= objc_build_constructor (type
, initlist
);
2077 OBJCMETA (decl
, objc_meta
, attr
);
2078 finish_var_decl (decl
, expr
);
2081 /* Build decl = initializer; for each protocol referenced in
2082 @protocol(MyProt) expression. Refs as built in the entry section
2086 build_v2_protocol_list_translation_table (void)
2089 prot_list_entry
*ref
;
2094 FOR_EACH_VEC_ELT (*protrefs
, count
, ref
)
2098 gcc_assert (TREE_CODE (ref
->id
) == PROTOCOL_INTERFACE_TYPE
);
2099 snprintf (buf
, BUFSIZE
, "_OBJC_Protocol_%s",
2100 IDENTIFIER_POINTER (PROTOCOL_NAME (ref
->id
)));
2101 expr
= start_var_decl (objc_v2_protocol_template
, buf
);
2102 expr
= convert (objc_protocol_type
, build_fold_addr_expr (expr
));
2103 finish_var_decl (ref
->refdecl
, expr
);
2105 /* TODO: Maybe we could explicitly delete the vec. now? */
2108 static GTY (()) vec
<prot_list_entry
, va_gc
> *protlist
;
2110 /* Add the local protocol meta-data declaration to the list which
2111 later on ends up in the __protocol_list section. */
2114 objc_add_to_protocol_list (tree protocol_interface_decl
, tree protocol_decl
)
2118 /* Arbitrary init count. */
2119 vec_alloc (protlist
, 32);
2120 e
.id
= protocol_interface_decl
;
2121 e
.refdecl
= protocol_decl
;
2122 vec_safe_push (protlist
, e
);
2125 /* Build the __protocol_list section table containing address of all
2126 generate protocol_t meta-data. */
2129 build_v2_protocol_list_address_table (void)
2132 prot_list_entry
*ref
;
2133 if (!vec_safe_length (protlist
))
2136 FOR_EACH_VEC_ELT (*protlist
, count
, ref
)
2140 gcc_assert (ref
->id
&& TREE_CODE (ref
->id
) == PROTOCOL_INTERFACE_TYPE
);
2141 snprintf (buf
, BUFSIZE
, "_OBJC_LabelProtocol_%s",
2142 IDENTIFIER_POINTER (PROTOCOL_NAME (ref
->id
)));
2143 decl
= create_global_decl (objc_protocol_type
, buf
);
2144 expr
= convert (objc_protocol_type
, build_fold_addr_expr (ref
->refdecl
));
2145 OBJCMETA (decl
, objc_meta
, meta_label_protocollist
);
2146 finish_var_decl (decl
, expr
);
2149 /* TODO: delete the vec. */
2150 /* TODO: upgrade to the clang/llvm hidden version. */
2153 /* This routine declares a variable to hold meta data for 'struct
2154 protocol_list_t'. */
2157 generate_v2_protocol_list (tree i_or_p
, tree klass_ctxt
)
2159 tree refs_decl
, lproto
, e
, plist
, ptempl_p_t
;
2161 vec
<constructor_elt
, va_gc
> *initlist
= NULL
;
2164 if (TREE_CODE (i_or_p
) == CLASS_INTERFACE_TYPE
2165 || TREE_CODE (i_or_p
) == CATEGORY_INTERFACE_TYPE
)
2166 plist
= CLASS_PROTOCOL_LIST (i_or_p
);
2167 else if (TREE_CODE (i_or_p
) == PROTOCOL_INTERFACE_TYPE
)
2168 plist
= PROTOCOL_LIST (i_or_p
);
2173 for (lproto
= plist
; lproto
; lproto
= TREE_CHAIN (lproto
))
2174 if (TREE_CODE (TREE_VALUE (lproto
)) == PROTOCOL_INTERFACE_TYPE
2175 && PROTOCOL_FORWARD_DECL (TREE_VALUE (lproto
)))
2178 /* Build initializer. */
2180 ptempl_p_t
= build_pointer_type (objc_v2_protocol_template
);
2181 e
= build_int_cst (ptempl_p_t
, size
);
2182 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, e
);
2184 for (lproto
= plist
; lproto
; lproto
= TREE_CHAIN (lproto
))
2186 tree pval
= TREE_VALUE (lproto
);
2188 if (TREE_CODE (pval
) == PROTOCOL_INTERFACE_TYPE
2189 && PROTOCOL_FORWARD_DECL (pval
))
2191 tree fwref
= PROTOCOL_FORWARD_DECL (pval
);
2192 location_t loc
= DECL_SOURCE_LOCATION (fwref
) ;
2193 e
= build_unary_op (loc
, ADDR_EXPR
, fwref
, 0);
2194 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, e
);
2198 /* static struct protocol_list_t *list[size]; */
2200 switch (TREE_CODE (i_or_p
))
2202 case PROTOCOL_INTERFACE_TYPE
:
2203 snprintf (buf
, BUFSIZE
, "_OBJC_ProtocolRefs_%s",
2204 IDENTIFIER_POINTER (PROTOCOL_NAME (i_or_p
)));
2206 case CLASS_INTERFACE_TYPE
:
2207 snprintf (buf
, BUFSIZE
, "_OBJC_ClassProtocols_%s",
2208 IDENTIFIER_POINTER (CLASS_NAME (i_or_p
)));
2210 case CATEGORY_INTERFACE_TYPE
:
2211 snprintf (buf
, BUFSIZE
, "_OBJC_CategoryProtocols_%s_%s",
2212 IDENTIFIER_POINTER (CLASS_NAME (klass_ctxt
)),
2213 IDENTIFIER_POINTER (CLASS_SUPER_NAME (klass_ctxt
)));
2219 refs_decl
= start_var_decl (build_sized_array_type (ptempl_p_t
, size
+1),
2221 /* ObjC2 puts all these in the base section. */
2222 OBJCMETA (refs_decl
, objc_meta
, meta_base
);
2223 DECL_PRESERVE_P (refs_decl
) = 1;
2224 finish_var_decl (refs_decl
,
2225 objc_build_constructor (TREE_TYPE (refs_decl
),initlist
));
2229 /* This routine builds one 'struct method_t' initializer list. Note
2230 that the old ABI is supposed to build 'struct objc_method' which
2231 has 3 fields, but it does not build the initialization expression
2232 for 'method_imp' which for protocols is NULL any way. To be
2233 consistant with declaration of 'struct method_t', in the new ABI we
2234 set the method_t.imp to NULL. */
2237 build_v2_descriptor_table_initializer (tree type
, tree entries
)
2239 vec
<constructor_elt
, va_gc
> *initlist
= NULL
;
2242 vec
<constructor_elt
, va_gc
> *eltlist
= NULL
;
2243 CONSTRUCTOR_APPEND_ELT (eltlist
, NULL_TREE
,
2244 build_selector (METHOD_SEL_NAME (entries
)));
2245 CONSTRUCTOR_APPEND_ELT (eltlist
, NULL_TREE
,
2246 add_objc_string (METHOD_ENCODING (entries
),
2248 CONSTRUCTOR_APPEND_ELT (eltlist
, NULL_TREE
, null_pointer_node
);
2250 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
,
2251 objc_build_constructor (type
, eltlist
));
2252 entries
= TREE_CHAIN (entries
);
2256 return objc_build_constructor (build_array_type (type
, 0), initlist
);
2259 /* struct method_list_t
2262 uint32_t method_count;
2263 struct objc_method method_list[method_count];
2267 build_v2_method_list_template (tree list_type
, int size
)
2269 tree method_list_t_record
;
2270 tree array_type
, decls
, *chain
= NULL
;
2272 method_list_t_record
= objc_start_struct (NULL_TREE
);
2274 /* uint32_t const entsize; */
2275 decls
= add_field_decl (integer_type_node
, "entsize", &chain
);
2277 /* int method_count; */
2278 add_field_decl (integer_type_node
, "method_count", &chain
);
2280 /* struct objc_method method_list[]; */
2281 array_type
= build_sized_array_type (list_type
, size
);
2282 add_field_decl (array_type
, "method_list", &chain
);
2284 objc_finish_struct (method_list_t_record
, decls
);
2285 return method_list_t_record
;
2288 /* Note, as above that we are building to the objc_method_template
2289 which has the *imp field. ABI0/1 build with
2290 objc_method_prototype_template which is missing this field. */
2292 generate_v2_meth_descriptor_table (tree chain
, tree protocol
,
2293 const char *prefix
, tree attr
)
2295 tree method_list_template
, initlist
, decl
, methods
;
2297 vec
<constructor_elt
, va_gc
> *v
= NULL
;
2300 if (!chain
|| !prefix
)
2307 if (! METHOD_ENCODING (methods
))
2308 METHOD_ENCODING (methods
) = encode_method_prototype (methods
);
2309 methods
= TREE_CHAIN (methods
);
2314 method_list_template
= build_v2_method_list_template (objc_method_template
,
2316 snprintf (buf
, BUFSIZE
, "%s_%s", prefix
,
2317 IDENTIFIER_POINTER (PROTOCOL_NAME (protocol
)));
2319 decl
= start_var_decl (method_list_template
, buf
);
2321 entsize
= TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_method_template
));
2322 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, build_int_cst (NULL_TREE
, entsize
));
2323 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, build_int_cst (NULL_TREE
, size
));
2325 build_v2_descriptor_table_initializer (objc_method_template
,
2327 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, initlist
);
2328 /* Get into the right section. */
2329 OBJCMETA (decl
, objc_meta
, attr
);
2330 finish_var_decl (decl
, objc_build_constructor (method_list_template
, v
));
2334 /* This routine builds the initializer list to initialize the 'struct
2335 _prop_t prop_list[]' field of 'struct _prop_list_t' meta-data. */
2338 build_v2_property_table_initializer (tree type
, tree context
)
2341 vec
<constructor_elt
, va_gc
> *inits
= NULL
;
2342 if (TREE_CODE (context
) == PROTOCOL_INTERFACE_TYPE
)
2343 x
= CLASS_PROPERTY_DECL (context
);
2345 x
= IMPL_PROPERTY_DECL (context
);
2347 for (; x
; x
= TREE_CHAIN (x
))
2349 vec
<constructor_elt
, va_gc
> *elemlist
= NULL
;
2350 /* NOTE! sections where property name/attribute go MUST change
2352 tree attribute
, name_ident
= PROPERTY_NAME (x
);
2354 CONSTRUCTOR_APPEND_ELT (elemlist
, NULL_TREE
,
2355 add_objc_string (name_ident
, prop_names_attr
));
2357 attribute
= objc_v2_encode_prop_attr (x
);
2358 CONSTRUCTOR_APPEND_ELT (elemlist
, NULL_TREE
,
2359 add_objc_string (attribute
, prop_names_attr
));
2361 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
,
2362 objc_build_constructor (type
, elemlist
));
2365 return objc_build_constructor (build_array_type (type
, 0),inits
);
2368 /* This routine builds the following type:
2371 uint32_t entsize; // sizeof (struct _prop_t)
2372 uint32_t prop_count;
2373 struct _prop_t prop_list [prop_count];
2378 build_v2_property_list_template (tree list_type
, int size
)
2380 tree property_list_t_record
;
2381 tree array_type
, decls
, *chain
= NULL
;
2384 property_list_t_record
= objc_start_struct (NULL_TREE
);
2386 /* uint32_t const entsize; */
2387 decls
= add_field_decl (integer_type_node
, "entsize", &chain
);
2389 /* int prop_count; */
2390 add_field_decl (integer_type_node
, "prop_count", &chain
);
2392 /* struct _prop_t prop_list[]; */
2393 array_type
= build_sized_array_type (list_type
, size
);
2394 add_field_decl (array_type
, "prop_list", &chain
);
2396 objc_finish_struct (property_list_t_record
, decls
);
2397 return property_list_t_record
;
2400 /* Top-level routine to generate property tables for each
2404 generate_v2_property_table (tree context
, tree klass_ctxt
)
2406 tree x
, decl
, initlist
, property_list_template
;
2407 bool is_proto
= false;
2408 vec
<constructor_elt
, va_gc
> *inits
= NULL
;
2409 int init_val
, size
= 0;
2414 gcc_assert (TREE_CODE (context
) == PROTOCOL_INTERFACE_TYPE
);
2415 x
= CLASS_PROPERTY_DECL (context
);
2419 x
= IMPL_PROPERTY_DECL (klass_ctxt
);
2421 for (; x
; x
= TREE_CHAIN (x
))
2427 property_list_template
=
2428 build_v2_property_list_template (objc_v2_property_template
,
2431 initlist
= build_v2_property_table_initializer (objc_v2_property_template
,
2435 init_val
= TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_property_template
));
2437 snprintf (buf
, BUFSIZE
, "_OBJC_ProtocolPropList_%s",
2438 IDENTIFIER_POINTER (PROTOCOL_NAME (context
)));
2440 snprintf (buf
, BUFSIZE
, "_OBJC_ClassPropList_%s",
2441 IDENTIFIER_POINTER (CLASS_NAME (klass_ctxt
)));
2443 decl
= start_var_decl (property_list_template
, buf
);
2445 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
,
2446 build_int_cst (NULL_TREE
, init_val
));
2447 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
,
2448 build_int_cst (NULL_TREE
, size
));
2449 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, initlist
);
2451 OBJCMETA (decl
, objc_meta
, meta_base
);
2452 finish_var_decl (decl
, objc_build_constructor (TREE_TYPE (decl
), inits
));
2457 build_v2_protocol_initializer (tree type
, tree protocol_name
, tree protocol_list
,
2458 tree inst_methods
, tree class_methods
,
2459 tree opt_ins_meth
, tree opt_cls_meth
,
2464 vec
<constructor_elt
, va_gc
> *inits
= NULL
;
2466 /* TODO: find a better representation of location from the inputs. */
2467 loc
= UNKNOWN_LOCATION
;
2469 /* This is NULL for the new ABI. */
2470 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
,
2471 convert (objc_object_type
, null_pointer_node
));
2473 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, protocol_name
);
2474 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, protocol_list
);
2476 ttyp
= objc_method_proto_list_ptr
;
2478 expr
= convert (ttyp
, build_unary_op (loc
, ADDR_EXPR
, inst_methods
, 0));
2480 expr
= convert (ttyp
, null_pointer_node
);
2481 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, expr
);
2484 expr
= convert (ttyp
, build_unary_op (loc
, ADDR_EXPR
, class_methods
, 0));
2486 expr
= convert (ttyp
, null_pointer_node
);
2487 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, expr
);
2490 expr
= convert (ttyp
, build_unary_op (loc
, ADDR_EXPR
, opt_ins_meth
, 0));
2492 expr
= convert (ttyp
, null_pointer_node
);
2493 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, expr
);
2496 expr
= convert (ttyp
, build_unary_op (loc
, ADDR_EXPR
, opt_cls_meth
, 0));
2498 expr
= convert (ttyp
, null_pointer_node
);
2499 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, expr
);
2501 ttyp
= objc_prop_list_ptr
;
2503 expr
= convert (ttyp
, build_unary_op (loc
, ADDR_EXPR
, property_list
, 0));
2505 expr
= convert (ttyp
, null_pointer_node
);
2506 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, expr
);
2508 /* const uint32_t size; = sizeof(struct protocol_t) */
2509 expr
= build_int_cst (integer_type_node
,
2510 TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_protocol_template
)));
2511 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, expr
);
2512 /* const uint32_t flags; = 0 */
2513 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, integer_zero_node
);
2515 return objc_build_constructor (type
, inits
);
2518 /* Main routine to build all meta data for all protocols used in a
2519 translation unit. */
2522 generate_v2_protocols (void)
2527 if (!protocol_chain
)
2530 /* If a protocol was directly referenced, pull in indirect
2532 for (p
= protocol_chain
; p
; p
= TREE_CHAIN (p
))
2533 if (PROTOCOL_FORWARD_DECL (p
) && PROTOCOL_LIST (p
))
2534 generate_protocol_references (PROTOCOL_LIST (p
));
2536 for (p
= protocol_chain
; p
; p
= TREE_CHAIN (p
))
2539 tree inst_meth
, class_meth
, opt_inst_meth
, opt_class_meth
, props
;
2540 tree decl
, initlist
, protocol_name_expr
, refs_decl
, refs_expr
;
2542 /* If protocol wasn't referenced, don't generate any code. */
2543 decl
= PROTOCOL_FORWARD_DECL (p
);
2548 loc
= DECL_SOURCE_LOCATION (decl
);
2552 generate_v2_meth_descriptor_table (PROTOCOL_NST_METHODS (p
), p
,
2553 "_OBJC_ProtocolInstanceMethods",
2554 meta_proto_nst_meth
);
2557 generate_v2_meth_descriptor_table (PROTOCOL_CLS_METHODS (p
), p
,
2558 "_OBJC_ProtocolClassMethods",
2559 meta_proto_cls_meth
);
2562 generate_v2_meth_descriptor_table (PROTOCOL_OPTIONAL_NST_METHODS (p
), p
,
2563 "_OBJC_OptProtocolInstMethods",
2564 meta_proto_nst_meth
);
2567 generate_v2_meth_descriptor_table (PROTOCOL_OPTIONAL_CLS_METHODS (p
), p
,
2568 "_OBJC_OptProtocolClassMethods",
2569 meta_proto_cls_meth
);
2571 if (PROTOCOL_LIST (p
))
2572 refs_decl
= generate_v2_protocol_list (p
, NULL_TREE
);
2576 /* static struct objc_protocol _OBJC_Protocol_<mumble>; */
2577 protocol_name_expr
= add_objc_string (PROTOCOL_NAME (p
), class_names
);
2580 refs_expr
= convert (build_pointer_type (objc_v2_protocol_template
),
2581 build_unary_op (loc
, ADDR_EXPR
, refs_decl
, 0));
2583 refs_expr
= build_int_cst (NULL_TREE
, 0);
2585 props
= generate_v2_property_table (p
, NULL_TREE
);
2587 initlist
= build_v2_protocol_initializer (TREE_TYPE (decl
),
2588 protocol_name_expr
, refs_expr
,
2589 inst_meth
, class_meth
,
2590 opt_inst_meth
, opt_class_meth
,
2592 finish_var_decl (decl
, initlist
);
2593 objc_add_to_protocol_list (p
, decl
);
2598 /* Make sure we get the Protocol class linked in - reference
2600 p
= objc_v2_get_class_reference (get_identifier (PROTOCOL_OBJECT_CLASS_NAME
));
2601 /* ... but since we don't specifically use the reference... we
2602 need to force it. */
2603 DECL_PRESERVE_P (p
) = 1;
2608 generate_v2_dispatch_table (tree chain
, const char *name
, tree attr
)
2610 tree decl
, method_list_template
, initlist
;
2611 vec
<constructor_elt
, va_gc
> *v
= NULL
;
2614 if (!chain
|| !name
|| !(size
= list_length (chain
)))
2617 method_list_template
2618 = build_v2_method_list_template (objc_method_template
, size
);
2620 = build_dispatch_table_initializer (objc_method_template
, chain
);
2622 decl
= start_var_decl (method_list_template
, name
);
2624 init_val
= TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_method_template
));
2625 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
,
2626 build_int_cst (integer_type_node
, init_val
));
2627 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
,
2628 build_int_cst (integer_type_node
, size
));
2629 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, initlist
);
2631 OBJCMETA (decl
, objc_meta
, attr
);
2632 finish_var_decl (decl
,
2633 objc_build_constructor (TREE_TYPE (decl
), v
));
2637 /* Init a category. */
2639 build_v2_category_initializer (tree type
, tree cat_name
, tree class_name
,
2640 tree inst_methods
, tree class_methods
,
2641 tree protocol_list
, tree property_list
,
2645 vec
<constructor_elt
, va_gc
> *v
= NULL
;
2647 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, cat_name
);
2648 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, class_name
);
2650 ltyp
= objc_method_list_ptr
;
2652 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, inst_methods
, 0));
2654 expr
= convert (ltyp
, null_pointer_node
);
2655 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, expr
);
2658 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, class_methods
, 0));
2660 expr
= convert (ltyp
, null_pointer_node
);
2661 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, expr
);
2663 /* protocol_list = */
2664 ltyp
= build_pointer_type (objc_v2_protocol_template
);
2666 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, protocol_list
, 0));
2668 expr
= convert (ltyp
, null_pointer_node
);
2669 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, expr
);
2671 ltyp
= objc_prop_list_ptr
;
2673 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, property_list
, 0));
2675 expr
= convert (ltyp
, null_pointer_node
);
2676 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, expr
);
2678 return objc_build_constructor (type
, v
);
2681 /* static struct category_t _OBJC_CATEGORY_$_<name> = { ... }; */
2684 generate_v2_category (struct imp_entry
*impent
)
2686 tree initlist
, cat_name_expr
, class_name_expr
;
2687 tree protocol_decl
, category
, props
, t
;
2688 tree inst_methods
= NULL_TREE
, class_methods
= NULL_TREE
;
2689 tree cat
= impent
->imp_context
;
2690 tree cat_decl
= impent
->class_decl
;
2694 loc
= DECL_SOURCE_LOCATION (cat_decl
);
2696 /* ??? not sure this is really necessary, the following references should
2697 force appropriate linkage linkage...
2698 -- but ... ensure a reference to the class... */
2699 t
= objc_v2_get_class_reference (CLASS_NAME (cat
));
2700 /* ... which we ignore so force it out.. */
2701 DECL_PRESERVE_P (t
) = 1;
2703 snprintf (buf
, BUFSIZE
, "OBJC_CLASS_$_%s", IDENTIFIER_POINTER (CLASS_NAME (cat
)));
2704 class_name_expr
= create_extern_decl (objc_v2_class_template
, buf
);
2705 class_name_expr
= build_fold_addr_expr (class_name_expr
);
2707 cat_name_expr
= add_objc_string (CLASS_SUPER_NAME (cat
), class_names
);
2708 category
= lookup_category (impent
->imp_template
, CLASS_SUPER_NAME (cat
));
2710 if (category
&& CLASS_PROTOCOL_LIST (category
))
2712 generate_protocol_references (CLASS_PROTOCOL_LIST (category
));
2713 protocol_decl
= generate_v2_protocol_list (category
, cat
);
2716 protocol_decl
= NULL_TREE
;
2718 /* decl = update_var_decl(impent->class_decl); */
2720 props
= generate_v2_property_table (NULL_TREE
, cat
);
2722 if (CLASS_NST_METHODS (cat
))
2724 snprintf (buf
, BUFSIZE
, "_OBJC_CategoryInstanceMethods_%s_%s",
2725 IDENTIFIER_POINTER (CLASS_NAME (cat
)),
2726 IDENTIFIER_POINTER (CLASS_SUPER_NAME (cat
)));
2727 inst_methods
= generate_v2_dispatch_table (CLASS_NST_METHODS (cat
), buf
,
2731 if (CLASS_CLS_METHODS (cat
))
2733 snprintf (buf
, BUFSIZE
, "_OBJC_CategoryClassMethods_%s_%s",
2734 IDENTIFIER_POINTER (CLASS_NAME (cat
)),
2735 IDENTIFIER_POINTER (CLASS_SUPER_NAME (cat
)));
2736 class_methods
= generate_v2_dispatch_table (CLASS_CLS_METHODS (cat
), buf
,
2740 initlist
= build_v2_category_initializer (TREE_TYPE (cat_decl
),
2741 cat_name_expr
, class_name_expr
,
2742 inst_methods
, class_methods
,
2743 protocol_decl
, props
, loc
);
2745 finish_var_decl (cat_decl
, initlist
);
2746 impent
->class_decl
= cat_decl
;
2748 /* Add to list of pointers in __category_list section. */
2749 objc_v2_add_to_category_list (cat_decl
);
2750 if (has_load_impl (CLASS_CLS_METHODS (impent
->imp_context
)))
2751 objc_v2_add_to_nonlazy_category_list (cat_decl
);
2754 /* This routine declares a variable to hold the offset for ivar
2755 FIELD_DECL. Variable name is .objc_ivar.ClassName.IvarName. */
2757 typedef struct GTY(()) ivarref_entry
2763 static GTY (()) vec
<ivarref_entry
, va_gc
> *ivar_offset_refs
;
2766 ivar_offset_ref (tree class_name
, tree field_decl
)
2768 tree decl
, field_decl_id
;
2773 create_ivar_offset_name (buf
, class_name
, field_decl
);
2774 field_decl_id
= get_identifier (buf
);
2776 if (ivar_offset_refs
)
2780 FOR_EACH_VEC_ELT (*ivar_offset_refs
, count
, ref
)
2781 if (DECL_NAME (ref
->decl
) == field_decl_id
)
2785 /* Somewhat arbitrary initial provision. */
2786 vec_alloc (ivar_offset_refs
, 32);
2788 /* We come here if we don't find a match or at the start. */
2789 global_var
= (TREE_PUBLIC (field_decl
) || TREE_PROTECTED (field_decl
));
2791 decl
= create_global_decl (TREE_TYPE (size_zero_node
), buf
);
2793 decl
= create_hidden_decl (TREE_TYPE (size_zero_node
), buf
);
2795 /* Make sure it ends up in an ObjC section. */
2796 OBJCMETA (decl
, objc_meta
, meta_base
);
2799 e
.offset
= byte_position (field_decl
);
2800 vec_safe_push (ivar_offset_refs
, e
);
2804 /* This routine builds initializer-list needed to initialize 'struct
2805 ivar_t list[count] of 'struct ivar_list_t' meta data. TYPE is
2806 'struct ivar_t' and FIELD_DECL is list of ivars for the target
2810 build_v2_ivar_list_initializer (tree class_name
, tree type
, tree field_decl
)
2812 vec
<constructor_elt
, va_gc
> *inits
= NULL
;
2816 vec
<constructor_elt
, va_gc
> *ivar
= NULL
;
2820 /* Unnamed bitfields are ignored. */
2821 if (!DECL_NAME (field_decl
))
2823 field_decl
= DECL_CHAIN (field_decl
);
2828 CONSTRUCTOR_APPEND_ELT (ivar
, NULL_TREE
,
2829 build_unary_op (input_location
,
2831 ivar_offset_ref (class_name
,
2835 CONSTRUCTOR_APPEND_ELT (ivar
, NULL_TREE
,
2836 add_objc_string (DECL_NAME (field_decl
),
2840 id
= add_objc_string (encode_field_decl (field_decl
),
2842 CONSTRUCTOR_APPEND_ELT (ivar
, NULL_TREE
, id
);
2844 /* Set alignment. */
2845 val
= DECL_ALIGN_UNIT (field_decl
);
2846 val
= exact_log2 (val
);
2847 CONSTRUCTOR_APPEND_ELT (ivar
, NULL_TREE
,
2848 build_int_cst (integer_type_node
, val
));
2851 val
= TREE_INT_CST_LOW (DECL_SIZE_UNIT (field_decl
));
2852 CONSTRUCTOR_APPEND_ELT (ivar
, NULL_TREE
,
2853 build_int_cst (integer_type_node
, val
));
2855 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
,
2856 objc_build_constructor (type
, ivar
));
2859 field_decl
= DECL_CHAIN (field_decl
);
2860 while (field_decl
&& TREE_CODE (field_decl
) != FIELD_DECL
);
2864 return objc_build_constructor (build_array_type (type
, 0), inits
);
2872 struct iver_t list[count];
2877 build_v2_ivar_list_t_template (tree list_type
, int size
)
2879 tree objc_ivar_list_record
;
2880 tree decls
, *chain
= NULL
;
2883 objc_ivar_list_record
= objc_start_struct (NULL_TREE
);
2885 /* uint32 entsize; */
2886 decls
= add_field_decl (integer_type_node
, "entsize", &chain
);
2889 add_field_decl (integer_type_node
, "count", &chain
);
2891 /* struct objc_ivar ivar_list[]; */
2892 add_field_decl (build_sized_array_type (list_type
, size
),
2895 objc_finish_struct (objc_ivar_list_record
, decls
);
2896 return objc_ivar_list_record
;
2899 /* This routine declares a static variable of type 'struct
2900 ivar_list_t' and initializes it. chain is the source of the data,
2901 name is the name for the var. attr is the meta-data section tag
2902 attribute. templ is the implementation template for the class. */
2905 generate_v2_ivars_list (tree chain
, const char *name
, tree attr
, tree templ
)
2907 tree decl
, initlist
, ivar_list_template
;
2908 vec
<constructor_elt
, va_gc
> *inits
= NULL
;
2909 int size
, ivar_t_size
;
2911 if (!chain
|| !name
|| !(size
= ivar_list_length (chain
)))
2914 generating_instance_variables
= 1;
2915 ivar_list_template
= build_v2_ivar_list_t_template (objc_v2_ivar_template
,
2918 initlist
= build_v2_ivar_list_initializer (CLASS_NAME (templ
),
2919 objc_v2_ivar_template
, chain
);
2920 ivar_t_size
= TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_ivar_template
));
2922 decl
= start_var_decl (ivar_list_template
, name
);
2923 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
,
2924 build_int_cst (integer_type_node
, ivar_t_size
));
2925 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
,
2926 build_int_cst (integer_type_node
, size
));
2927 CONSTRUCTOR_APPEND_ELT (inits
, NULL_TREE
, initlist
);
2928 OBJCMETA (decl
, objc_meta
, attr
);
2929 finish_var_decl (decl
, objc_build_constructor (TREE_TYPE (decl
), inits
));
2930 generating_instance_variables
= 0;
2934 /* Routine to build initializer list to initialize objects of type
2938 build_v2_class_t_initializer (tree type
, tree isa
, tree superclass
,
2939 tree ro
, tree cache
, tree vtable
)
2941 vec
<constructor_elt
, va_gc
> *initlist
= NULL
;
2944 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, isa
);
2947 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, superclass
);
2951 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, cache
);
2953 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, null_pointer_node
);
2957 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, vtable
);
2959 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, null_pointer_node
);
2962 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, ro
);
2964 return objc_build_constructor (type
, initlist
);
2967 /* Routine to build object of struct class_ro_t { ... }; */
2970 build_v2_class_ro_t_initializer (tree type
, tree name
,
2971 unsigned int flags
, unsigned int instanceStart
,
2972 unsigned int instanceSize
,
2974 tree baseMethods
, tree baseProtocols
,
2975 tree ivars
, tree property_list
)
2977 tree expr
, unsigned_char_star
, ltyp
;
2979 vec
<constructor_elt
, va_gc
> *initlist
= NULL
;
2981 /* TODO: fish out the real location from somewhere. */
2982 loc
= UNKNOWN_LOCATION
;
2985 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
,
2986 build_int_cst (integer_type_node
, flags
));
2989 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
,
2990 build_int_cst (integer_type_node
, instanceStart
));
2993 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
,
2994 build_int_cst (integer_type_node
, instanceSize
));
2996 /* This ABI is currently only used on m64 NeXT. We always
2997 explicitly declare the alignment padding. */
2998 /* reserved, pads alignment. */
2999 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
,
3000 build_int_cst (integer_type_node
, 0));
3003 unsigned_char_star
= build_pointer_type (unsigned_char_type_node
);
3007 expr
= convert (unsigned_char_star
, null_pointer_node
);
3008 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, expr
);
3011 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, default_conversion (name
));
3014 ltyp
= objc_method_list_ptr
;
3016 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, baseMethods
, 0));
3018 expr
= convert (ltyp
, null_pointer_node
);
3019 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, expr
);
3022 ltyp
= build_pointer_type (xref_tag (RECORD_TYPE
,
3023 get_identifier (UTAG_V2_PROTOCOL_LIST
)));
3025 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, baseProtocols
, 0));
3027 expr
= convert (ltyp
, null_pointer_node
);
3028 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, expr
);
3031 ltyp
= objc_v2_ivar_list_ptr
;
3033 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, ivars
, 0));
3035 expr
= convert (ltyp
, null_pointer_node
);
3036 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, expr
);
3038 /* TODO: We don't yet have the weak/strong stuff... */
3039 /* weakIvarLayout */
3040 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
,
3041 convert (unsigned_char_star
, null_pointer_node
));
3044 ltyp
= objc_prop_list_ptr
;
3046 expr
= convert (ltyp
, build_unary_op (loc
, ADDR_EXPR
, property_list
, 0));
3048 expr
= convert (ltyp
, null_pointer_node
);
3049 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, expr
);
3050 return objc_build_constructor (type
, initlist
);
3053 static GTY (()) vec
<ident_data_tuple
, va_gc
> *ehtype_list
;
3055 /* Record a name as needing a catcher. */
3057 objc_v2_add_to_ehtype_list (tree name
)
3063 ident_data_tuple
*ref
;
3065 FOR_EACH_VEC_ELT (*ehtype_list
, count
, ref
)
3066 if (ref
->ident
== name
)
3067 return; /* Already entered. */
3070 /* Arbitrary initial count. */
3071 vec_alloc (ehtype_list
, 8);
3073 /* Not found, or new list. */
3076 vec_safe_push (ehtype_list
, e
);
3080 generate_v2_class_structs (struct imp_entry
*impent
)
3082 tree decl
, name_expr
, initlist
, protocol_decl
, metaclass_decl
, class_decl
;
3083 tree field
, firstIvar
, chain
;
3084 tree class_superclass_expr
, metaclass_superclass_expr
, props
;
3085 /* TODO: figure out how to compute this. */
3086 tree ivarLayout
= NULL_TREE
;
3087 tree my_super_id
= NULL_TREE
, root_expr
= NULL_TREE
;
3088 tree inst_methods
= NULL_TREE
, class_methods
= NULL_TREE
;
3089 tree inst_ivars
= NULL_TREE
, class_ivars
= NULL_TREE
;
3092 unsigned int instanceStart
, instanceSize
;
3093 unsigned int flags
= 0x01; /* RO_META */
3094 int cls_flags
= impent
->has_cxx_cdtors
? OBJC2_CLS_HAS_CXX_STRUCTORS
3097 class_decl
= impent
->class_decl
;
3098 metaclass_decl
= impent
->meta_decl
;
3099 loc
= DECL_SOURCE_LOCATION (class_decl
);
3101 DECL_EXTERNAL (class_decl
) = DECL_EXTERNAL (metaclass_decl
) = 0;
3102 TREE_PUBLIC (class_decl
) = TREE_PUBLIC (metaclass_decl
) = 1;
3104 gcc_assert (!CP_DECL_CONTEXT (class_decl
) || CP_DECL_CONTEXT (class_decl
) == global_namespace
);
3105 gcc_assert (!CP_DECL_CONTEXT (metaclass_decl
) || CP_DECL_CONTEXT (metaclass_decl
) == global_namespace
);
3108 /* Generation of data for meta class. */
3109 my_super_id
= CLASS_SUPER_NAME (impent
->imp_template
);
3112 /* Compute reference to root's name. For a meta class, "isa" is
3113 a reference to the root class name. */
3114 tree my_root_id
= my_super_id
;
3115 tree my_root_int
, interface
;
3118 my_root_int
= lookup_interface (my_root_id
);
3120 if (my_root_int
&& CLASS_SUPER_NAME (my_root_int
))
3121 my_root_id
= CLASS_SUPER_NAME (my_root_int
);
3127 /* {extern} struct class_t OBJC_METACLASS_$_<my_root_int>
3128 create extern if not already declared. */
3129 snprintf (buf
, BUFSIZE
, "OBJC_METACLASS_$_%s",
3130 IDENTIFIER_POINTER (CLASS_NAME (my_root_int
)));
3131 root_expr
= create_extern_decl (objc_v2_class_template
, buf
);
3132 root_expr
= build_fold_addr_expr (root_expr
);
3134 /* Install class `isa' and `super' pointers at runtime. */
3135 interface
= lookup_interface (my_super_id
);
3136 gcc_assert (interface
);
3137 /* Similarly, for OBJC_CLASS_$_<interface>... */
3138 snprintf (buf
, BUFSIZE
, "OBJC_CLASS_$_%s",
3139 IDENTIFIER_POINTER (CLASS_NAME (interface
)));
3140 class_superclass_expr
= create_extern_decl (objc_v2_class_template
, buf
);
3141 class_superclass_expr
= build_fold_addr_expr (class_superclass_expr
);
3142 /* ... and for OBJC_METACLASS_$_<interface>. */
3143 snprintf (buf
, BUFSIZE
, "OBJC_METACLASS_$_%s",
3144 IDENTIFIER_POINTER (CLASS_NAME (interface
)));
3145 metaclass_superclass_expr
= create_extern_decl (objc_v2_class_template
, buf
);
3146 metaclass_superclass_expr
= build_fold_addr_expr (metaclass_superclass_expr
);
3151 root_expr
= build_unary_op (loc
, ADDR_EXPR
, metaclass_decl
, 0);
3152 metaclass_superclass_expr
= build_unary_op (loc
, ADDR_EXPR
, class_decl
, 0);
3153 class_superclass_expr
= build_int_cst (NULL_TREE
, 0);
3154 flags
|= 0x02; /* RO_ROOT: it is also a root meta class. */
3157 if (CLASS_PROTOCOL_LIST (impent
->imp_template
))
3159 generate_protocol_references (CLASS_PROTOCOL_LIST (impent
->imp_template
));
3160 protocol_decl
= generate_v2_protocol_list (impent
->imp_template
,
3161 impent
->imp_context
);
3166 name_expr
= add_objc_string (CLASS_NAME (impent
->imp_template
),
3169 if (CLASS_CLS_METHODS (impent
->imp_context
))
3171 snprintf (buf
, BUFSIZE
, "_OBJC_ClassMethods_%s",
3172 IDENTIFIER_POINTER (CLASS_NAME (impent
->imp_context
)));
3174 generate_v2_dispatch_table (CLASS_CLS_METHODS (impent
->imp_context
),
3175 buf
, meta_clac_meth
);
3178 instanceStart
= TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_class_template
));
3180 /* Currently there are no class ivars and generation of class
3181 variables for the root of the inheritance has been removed. It
3182 causes multiple defines if there are two root classes in the
3183 link, because each will define its own identically-named offset
3186 class_ivars
= NULL_TREE
;
3187 /* TODO: Add total size of class variables when implemented. */
3188 instanceSize
= TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_class_template
));
3190 /* So now build the META CLASS structs. */
3191 /* static struct class_ro_t _OBJC_METACLASS_Foo = { ... }; */
3193 decl
= start_var_decl (objc_v2_class_ro_template
,
3194 newabi_append_ro (IDENTIFIER_POINTER
3195 (DECL_NAME (metaclass_decl
))));
3197 /* TODO: ivarLayout needs t be built. */
3199 build_v2_class_ro_t_initializer (TREE_TYPE (decl
), name_expr
,
3200 (flags
| cls_flags
), instanceStart
,
3201 instanceSize
, ivarLayout
,
3202 class_methods
, protocol_decl
,
3203 class_ivars
, NULL_TREE
);
3204 /* The ROs sit in the default const section. */
3205 OBJCMETA (decl
, objc_meta
, meta_base
);
3206 finish_var_decl (decl
, initlist
);
3208 /* static struct class_t _OBJC_METACLASS_Foo = { ... }; */
3210 build_v2_class_t_initializer (TREE_TYPE (metaclass_decl
),
3212 metaclass_superclass_expr
,
3213 build_fold_addr_expr (decl
),
3214 build_fold_addr_expr (UOBJC_V2_CACHE_decl
),
3215 build_fold_addr_expr (UOBJC_V2_VTABLE_decl
));
3216 /* The class section attributes are set when they are created. */
3217 finish_var_decl (metaclass_decl
, initlist
);
3218 impent
->meta_decl
= metaclass_decl
;
3220 /* So now build the CLASS structs. */
3222 flags
= 0x0; /* ... */
3224 flags
|= 0x02; /* RO_ROOT: this is a root class */
3226 if (DECL_VISIBILITY (class_decl
) == VISIBILITY_HIDDEN
)
3227 flags
|= 0x10; /* RO_HIDDEN, OBJC2_CLS_HIDDEN; */
3229 if (objc2_objc_exception_attr (impent
->imp_template
))
3230 flags
|= 0x20; /* RO_EXCEPTION */
3232 if (CLASS_NST_METHODS (impent
->imp_context
))
3234 snprintf (buf
, BUFSIZE
, "_OBJC_InstanceMethods_%s",
3235 IDENTIFIER_POINTER (CLASS_NAME (impent
->imp_context
)));
3237 generate_v2_dispatch_table (CLASS_NST_METHODS (impent
->imp_context
),
3238 buf
, meta_clai_meth
);
3241 /* Sort out the ivars before we try to compute the class sizes. */
3242 if ((chain
= CLASS_IVARS (impent
->imp_template
)))
3244 snprintf (buf
, BUFSIZE
, "_OBJC_InstanceIvars_%s",
3245 IDENTIFIER_POINTER (CLASS_NAME (impent
->imp_context
)));
3246 inst_ivars
= generate_v2_ivars_list (chain
, buf
, meta_clai_vars
,
3247 impent
->imp_template
);
3250 /* Compute instanceStart. */
3251 gcc_assert (CLASS_STATIC_TEMPLATE (impent
->imp_template
));
3252 field
= TYPE_FIELDS (CLASS_STATIC_TEMPLATE (impent
->imp_template
));
3253 if (my_super_id
&& field
&& TREE_CHAIN (field
))
3254 field
= TREE_CHAIN (field
);
3258 while (firstIvar
&& TREE_CODE (firstIvar
) != FIELD_DECL
)
3259 firstIvar
= TREE_CHAIN (firstIvar
);
3261 gcc_assert (inst_ivars
? (firstIvar
!= NULL_TREE
): true);
3263 /* Compute instanceSize. */
3264 while (field
&& TREE_CHAIN (field
)
3265 && TREE_CODE (TREE_CHAIN (field
)) == FIELD_DECL
)
3266 field
= TREE_CHAIN (field
);
3268 if (field
&& TREE_CODE (field
) == FIELD_DECL
)
3269 instanceSize
= int_byte_position (field
) * BITS_PER_UNIT
3270 + tree_low_cst (DECL_SIZE (field
), 0);
3273 instanceSize
/= BITS_PER_UNIT
;
3275 props
= generate_v2_property_table (NULL_TREE
, impent
->imp_context
);
3277 /* If the class has no ivars, instanceStart should be set to the
3278 superclass's instanceSize. */
3280 (inst_ivars
!= NULL_TREE
) ? (unsigned) int_byte_position (firstIvar
)
3283 /* static struct class_ro_t _OBJC_CLASS_Foo = { ... }; */
3284 decl
= start_var_decl (objc_v2_class_ro_template
,
3285 newabi_append_ro (IDENTIFIER_POINTER
3286 (DECL_NAME (class_decl
))));
3289 build_v2_class_ro_t_initializer (TREE_TYPE (decl
), name_expr
,
3290 (flags
| cls_flags
), instanceStart
,
3291 instanceSize
, ivarLayout
,
3292 inst_methods
, protocol_decl
,
3294 /* The ROs sit in the default const section. */
3295 OBJCMETA (decl
, objc_meta
, meta_base
);
3296 finish_var_decl (decl
, initlist
);
3298 /* static struct class_t _OBJC_CLASS_Foo = { ... }; */
3299 initlist
= build_v2_class_t_initializer (TREE_TYPE (class_decl
),
3300 build_fold_addr_expr (metaclass_decl
),
3301 class_superclass_expr
,
3302 build_fold_addr_expr (decl
),
3303 build_fold_addr_expr (UOBJC_V2_CACHE_decl
),
3304 build_fold_addr_expr (UOBJC_V2_VTABLE_decl
));
3306 /* The class section attributes are set when they are created. */
3307 finish_var_decl (class_decl
, initlist
);
3308 impent
->class_decl
= class_decl
;
3310 objc_v2_add_to_class_list (class_decl
);
3311 if (has_load_impl (CLASS_CLS_METHODS (impent
->imp_context
)))
3312 objc_v2_add_to_nonlazy_class_list (class_decl
);
3314 if (flags
& 0x20) /* RO_EXCEPTION */
3315 objc_v2_add_to_ehtype_list (CLASS_NAME (impent
->imp_template
));
3318 /* This routine outputs the (ivar_reference_offset, offset)
3322 build_v2_ivar_offset_ref_table (void)
3327 if (!vec_safe_length (ivar_offset_refs
))
3330 FOR_EACH_VEC_ELT (*ivar_offset_refs
, count
, ref
)
3331 finish_var_decl (ref
->decl
, ref
->offset
);
3334 /* static int _OBJC_IMAGE_INFO[2] = { 0, 16 | flags }; */
3337 generate_v2_objc_image_info (void)
3339 tree decl
, array_type
;
3340 vec
<constructor_elt
, va_gc
> *v
= NULL
;
3342 ((flag_replace_objc_classes
&& imp_count
? 1 : 0)
3343 | (flag_objc_gc
? 2 : 0));
3347 array_type
= build_sized_array_type (integer_type_node
, 2);
3349 decl
= start_var_decl (array_type
, "_OBJC_ImageInfo");
3351 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, integer_zero_node
);
3352 CONSTRUCTOR_APPEND_ELT (v
, NULL_TREE
, build_int_cst (integer_type_node
, flags
));
3353 /* The Runtime wants this. */
3354 DECL_PRESERVE_P (decl
) = 1;
3355 OBJCMETA (decl
, objc_meta
, meta_info
);
3356 finish_var_decl (decl
, objc_build_constructor (TREE_TYPE (decl
), v
));
3360 objc_generate_v2_next_metadata (void)
3362 struct imp_entry
*impent
;
3364 /* FIXME: Make sure that we generate no metadata if there is nothing
3367 gcc_assert (!objc_static_instances
); /* Not for NeXT */
3369 build_metadata_templates ();
3371 for (impent
= imp_list
; impent
; impent
= impent
->next
)
3373 /* If -gen-decls is present, Dump the @interface of each class.
3374 TODO: Dump the classes in the order they were found, rather
3375 than in reverse order as we are doing now. */
3376 if (flag_gen_declaration
)
3377 dump_interface (gen_declaration_file
, impent
->imp_context
);
3379 /* all of the following reference the string pool... */
3380 if (TREE_CODE (impent
->imp_context
) == CLASS_IMPLEMENTATION_TYPE
)
3381 generate_v2_class_structs (impent
);
3383 generate_v2_category (impent
);
3386 build_next_selector_translation_table ();
3387 build_v2_message_ref_translation_table ();
3389 /* This will add "Protocol" to the class refs. */
3390 generate_v2_protocols ();
3392 build_v2_classrefs_table ();
3393 build_v2_super_classrefs_table (/*metaclass= */false);
3394 build_v2_super_classrefs_table (/*metaclass= */true);
3396 build_v2_ivar_offset_ref_table ();
3398 build_v2_protocol_list_translation_table ();
3399 build_v2_protocol_list_address_table ();
3401 build_v2_address_table (class_list
, "_OBJC_ClassList$",
3402 meta_label_classlist
);
3403 build_v2_address_table (category_list
, "_OBJC_CategoryList$",
3404 meta_label_categorylist
);
3405 build_v2_address_table (nonlazy_class_list
, "_OBJC_NonLazyClassList$",
3406 meta_label_nonlazy_classlist
);
3407 build_v2_address_table (nonlazy_category_list
, "_OBJC_NonLazyCategoryList$",
3408 meta_label_nonlazy_categorylist
);
3410 /* This conveys information on GC usage and zero-link. */
3411 generate_v2_objc_image_info ();
3413 /* Generate catch objects for eh, if any are needed. */
3414 build_v2_eh_catch_objects ();
3416 /* Emit the string table last. */
3417 generate_strings ();
3420 /* NOTE --- Output NeXT V2 Exceptions --- */
3422 static GTY(()) tree objc_v2_ehtype_template
;
3423 static GTY(()) tree next_v2_ehvtable_decl
;
3424 static GTY(()) tree next_v2_EHTYPE_id_decl
;
3427 build_v2_ehtype_template (void)
3429 tree decls
, *chain
= NULL
;
3430 objc_v2_ehtype_template
= objc_start_struct (get_identifier (UTAG_V2_EH_TYPE
));
3432 /* void *_objc_ehtype_vtable; */
3433 decls
= add_field_decl (ptr_type_node
, "_objc_ehtype_vtable_ptr", &chain
);
3435 /* const char *className; */
3436 add_field_decl (string_type_node
, "className", &chain
);
3438 /* struct class_t *const cls; */
3439 add_field_decl (build_pointer_type (objc_v2_class_template
), "cls", &chain
);
3441 objc_finish_struct (objc_v2_ehtype_template
, decls
);
3444 /* Template for the Objective-C family typeinfo type for ABI=2. This
3445 starts off the same as the gxx/cxx eh typeinfo.
3447 struct _objc_ehtype_t
3449 void *_objc_ehtype_vtable_ptr; - as per c++
3450 const char *className; - as per c++
3451 struct class_t *const cls;
3455 /* This routine builds initializer list for object of type struct _objc_ehtype_t.
3459 objc2_build_ehtype_initializer (tree name
, tree cls
)
3461 vec
<constructor_elt
, va_gc
> *initlist
= NULL
;
3464 /* This is done the same way as c++, missing the two first entries
3465 in the parent vtable. NOTE: there is a fix-me in the Apple/NeXT
3466 runtime source about this so, perhaps, this will change at some
3468 /* _objc_ehtype_vtable + 2*sizeof(void*) */
3469 if (!next_v2_ehvtable_decl
)
3471 next_v2_ehvtable_decl
=
3472 start_var_decl (ptr_type_node
, TAG_NEXT_EHVTABLE_NAME
);
3473 TREE_STATIC (next_v2_ehvtable_decl
) = 0;
3474 DECL_EXTERNAL (next_v2_ehvtable_decl
) = 1;
3475 TREE_PUBLIC (next_v2_ehvtable_decl
) = 1;
3477 addr
= build_fold_addr_expr_with_type (next_v2_ehvtable_decl
, ptr_type_node
);
3478 offs
= size_int (2 * int_cst_value (TYPE_SIZE_UNIT (ptr_type_node
)));
3479 addr
= fold_build_pointer_plus (addr
, offs
);
3481 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, addr
);
3484 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, name
);
3487 CONSTRUCTOR_APPEND_ELT (initlist
, NULL_TREE
, cls
);
3489 return objc_build_constructor (objc_v2_ehtype_template
, initlist
);
3493 build_ehtype (tree name
, const char *eh_name
, bool weak
)
3495 tree name_expr
, class_name_expr
, ehtype_decl
, inits
;
3497 name_expr
= add_objc_string (name
, class_names
);
3498 /* Extern ref. for the class. ??? Maybe we can look this up
3501 create_extern_decl (objc_v2_class_template
,
3502 objc_build_internal_classname (name
, false));
3503 class_name_expr
= build_fold_addr_expr (class_name_expr
);
3504 ehtype_decl
= create_global_decl (objc_v2_ehtype_template
, eh_name
);
3506 DECL_WEAK (ehtype_decl
) = 1;
3507 inits
= objc2_build_ehtype_initializer (name_expr
, class_name_expr
);
3508 OBJCMETA (ehtype_decl
, objc_meta
, meta_ehtype
);
3509 finish_var_decl (ehtype_decl
, inits
);
3513 /* This routine returns TRUE if CLS or any of its super classes has
3514 __attribute__ ((objc_exception)). */
3517 objc2_objc_exception_attr (tree cls
)
3521 if (CLASS_HAS_EXCEPTION_ATTR (cls
))
3523 cls
= lookup_interface (CLASS_SUPER_NAME (cls
));
3530 is_implemented (tree name
)
3532 struct imp_entry
*t
;
3533 for (t
= imp_list
; t
; t
= t
->next
)
3534 if (TREE_CODE (t
->imp_context
) == CLASS_IMPLEMENTATION_TYPE
3535 && CLASS_NAME (t
->imp_template
) == name
)
3541 /* We will build catch objects:
3542 for any type implemented here.
3543 for any type used in a catch that has no exception attribute. */
3544 static void build_v2_eh_catch_objects (void)
3547 ident_data_tuple
*ref
;
3549 if (!vec_safe_length (ehtype_list
))
3552 FOR_EACH_VEC_ELT (*ehtype_list
, count
, ref
)
3555 bool impl
= is_implemented (ref
->ident
);
3556 bool excpt
= objc2_objc_exception_attr (lookup_interface (ref
->ident
));
3557 snprintf (buf
, BUFSIZE
, "OBJC_EHTYPE_$_%s", IDENTIFIER_POINTER (ref
->ident
));
3559 /* The User says this class has a catcher already. */
3560 ref
->data
= create_extern_decl (objc_v2_ehtype_template
, buf
);
3562 /* Create a catcher, weak if it wasn't marked. */
3563 ref
->data
= build_ehtype (ref
->ident
, buf
, !excpt
);
3568 lookup_ehtype_ref (tree id
)
3571 ident_data_tuple
*ref
;
3573 if (!vec_safe_length (ehtype_list
))
3576 FOR_EACH_VEC_ELT (*ehtype_list
, count
, ref
)
3577 if (ref
->ident
== id
)
3582 /* This hook, called via lang_eh_runtime_type, generates a runtime
3583 object which is either the address of the 'OBJC_EHTYPE_$_class'
3584 object or address of external OBJC_EHTYPE_id object. */
3586 next_runtime_02_eh_type (tree type
)
3590 if (type
== error_mark_node
3591 /*|| errorcount || sorrycount*/)
3594 if (POINTER_TYPE_P (type
) && objc_is_object_id (TREE_TYPE (type
)))
3596 if (!next_v2_EHTYPE_id_decl
)
3598 /* This is provided by the Apple/NeXT libobjc.dylib so we
3599 need only to reference it. */
3600 next_v2_EHTYPE_id_decl
=
3601 start_var_decl (objc_v2_ehtype_template
, "OBJC_EHTYPE_id");
3602 DECL_EXTERNAL (next_v2_EHTYPE_id_decl
) = 1;
3603 TREE_PUBLIC (next_v2_EHTYPE_id_decl
) = 1;
3604 TREE_STATIC (next_v2_EHTYPE_id_decl
) = 0;
3606 return build_fold_addr_expr (next_v2_EHTYPE_id_decl
);
3609 if (!POINTER_TYPE_P (type
) || !TYPED_OBJECT (TREE_TYPE (type
)))
3612 /* This routine is also called for c++'s catch clause; in which
3613 case, we use c++'s typeinfo decl. */
3614 return build_eh_type_type (type
);
3616 error ("non-objective-c type '%T' cannot be caught", type
);
3621 t
= OBJC_TYPE_NAME (TREE_TYPE (type
));
3623 /* We have to build a reference to the OBJC_EHTYPE_<Class>. */
3624 t
= lookup_ehtype_ref (t
);
3628 return build_fold_addr_expr (t
);
3631 return error_mark_node
;
3634 static GTY(()) tree objc_eh_personality_decl
;
3637 objc_eh_personality (void)
3639 if (!objc_eh_personality_decl
)
3640 objc_eh_personality_decl
= build_personality_function ("objc");
3641 return objc_eh_personality_decl
;
3644 /* NOTE --- interfaces --- */
3647 build_throw_stmt (location_t loc
, tree throw_expr
, bool rethrown
)
3651 /* We have a separate re-throw entry. */
3652 t
= build_function_call_vec (loc
, objc_rethrow_exception_decl
, NULL
, NULL
);
3655 /* Throw like the others... */
3656 vec
<tree
, va_gc
> *parms
;
3657 vec_alloc (parms
, 1);
3658 parms
->quick_push (throw_expr
);
3659 t
= build_function_call_vec (loc
, objc_exception_throw_decl
, parms
, 0);
3662 return add_stmt (t
);
3665 /* Build __builtin_eh_pointer. */
3668 objc_build_exc_ptr (struct objc_try_context
**x ATTRIBUTE_UNUSED
)
3671 t
= builtin_decl_explicit (BUILT_IN_EH_POINTER
);
3672 t
= build_call_expr (t
, 1, integer_zero_node
);
3673 return fold_convert (objc_object_type
, t
);
3676 static tree
begin_catch (struct objc_try_context
**cur_try_context
, tree type
,
3677 tree decl
, tree compound
, bool ellipsis ATTRIBUTE_UNUSED
)
3681 /* Record the data for the catch in the try context so that we can
3682 finalize it later. Ellipsis is signalled by a NULL entry. */
3684 t
= build_stmt (input_location
, CATCH_EXPR
, NULL_TREE
, compound
);
3686 t
= build_stmt (input_location
, CATCH_EXPR
, type
, compound
);
3687 (*cur_try_context
)->current_catch
= t
;
3689 /* Initialize the decl from the EXC_PTR_EXPR we get from the runtime. */
3690 t
= objc_build_exc_ptr (cur_try_context
);
3691 t
= convert (TREE_TYPE (decl
), t
);
3692 /* FIXME: location. */
3693 if (type
&& type
!= error_mark_node
)
3695 t
= build1(NOP_EXPR
, ptr_type_node
, t
);
3696 t
= build_function_call (input_location
, objc2_begin_catch_decl
,
3697 tree_cons (NULL_TREE
, t
, NULL_TREE
));
3699 /* We might want to build a catch object for this (if it's not
3701 if (POINTER_TYPE_P (type
)
3702 && !objc_is_object_id (TREE_TYPE (type
))
3703 && TYPED_OBJECT (TREE_TYPE (type
)))
3704 objc_v2_add_to_ehtype_list (OBJC_TYPE_NAME (TREE_TYPE (type
)));
3706 return build2 (MODIFY_EXPR
, void_type_node
, decl
, t
);
3709 /* try { catch-body } finally { objc_end_catch (); } */
3711 finish_catch (struct objc_try_context
**cur_try_context
, tree curr_catch
)
3713 struct objc_try_context
*ct
;
3714 tree try_exp
, func
, *l
, t
;
3715 location_t loc
= (*cur_try_context
)->try_locus
;
3717 if (!curr_catch
|| curr_catch
== error_mark_node
)
3720 t
= CATCH_BODY (curr_catch
);
3721 if (TREE_CODE (t
) == BIND_EXPR
)
3723 /* Usual case of @catch (objc-expr). */
3724 objc_begin_try_stmt (loc
, BIND_EXPR_BODY (t
));
3725 BIND_EXPR_BODY (t
) = NULL_TREE
;
3726 l
= &BIND_EXPR_BODY (t
);
3730 /* NULL entry, meaning @catch (...). */
3731 objc_begin_try_stmt (loc
, t
);
3732 CATCH_BODY (curr_catch
) = NULL_TREE
;
3733 l
= &CATCH_BODY (curr_catch
);
3736 /* Pick up the new context we made in begin_try above... */
3737 ct
= *cur_try_context
;
3738 func
= build_function_call_vec (loc
, objc2_end_catch_decl
, NULL
, NULL
);
3739 append_to_statement_list (func
, &ct
->finally_body
);
3740 try_exp
= build_stmt (loc
, TRY_FINALLY_EXPR
, ct
->try_body
, ct
->finally_body
);
3741 *cur_try_context
= ct
->outer
;
3743 append_to_statement_list (try_exp
, l
);
3744 append_to_statement_list (curr_catch
, &((*cur_try_context
)->catch_list
));
3748 finish_try_stmt (struct objc_try_context
**cur_try_context
)
3750 struct objc_try_context
*c
= *cur_try_context
;
3751 tree stmt
= c
->try_body
;
3753 stmt
= build_stmt (c
->try_locus
, TRY_CATCH_EXPR
, stmt
, c
->catch_list
);
3754 if (c
->finally_body
)
3755 stmt
= build_stmt (c
->try_locus
, TRY_FINALLY_EXPR
, stmt
, c
->finally_body
);
3759 #include "gt-objc-objc-next-runtime-abi-02.h"