summaryrefslogtreecommitdiff
path: root/gcc/objc/objc-next-runtime-abi-01.c
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/objc/objc-next-runtime-abi-01.c
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository.
Diffstat (limited to 'gcc/objc/objc-next-runtime-abi-01.c')
-rw-r--r--gcc/objc/objc-next-runtime-abi-01.c2984
1 files changed, 2984 insertions, 0 deletions
diff --git a/gcc/objc/objc-next-runtime-abi-01.c b/gcc/objc/objc-next-runtime-abi-01.c
new file mode 100644
index 000000000..84626b3bc
--- /dev/null
+++ b/gcc/objc/objc-next-runtime-abi-01.c
@@ -0,0 +1,2984 @@
+/* Next Runtime (ABI-0/1) private.
+ Copyright (C) 2011 Free Software Foundation, Inc.
+ Contributed by Iain Sandoe (split from objc-act.c)
+
+This file is part of GCC.
+
+GCC is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 3, or (at your option)
+any later version.
+
+GCC is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3. If not see
+<http://www.gnu.org/licenses/>. */
+
+/* This implements the original NeXT ABI (0) used for m32 code and
+ indicated by module version 6. It also implements the small number
+ of additions made for properties and optional protocol methods as
+ ABI=1 (module version 7). */
+
+#include "config.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
+#include "tree.h"
+
+#ifdef OBJCPLUS
+#include "cp-tree.h"
+#else
+#include "c-tree.h"
+#include "c-lang.h"
+#endif
+#include "langhooks.h"
+#include "c-family/c-objc.h"
+#include "objc-act.h"
+
+/* When building Objective-C++, we are not linking against the C
+ front-end and so need to replicate the C tree-construction
+ functions in some way. */
+#ifdef OBJCPLUS
+#define OBJCP_REMAP_FUNCTIONS
+#include "objcp-decl.h"
+#endif /* OBJCPLUS */
+
+#include "ggc.h"
+#include "target.h"
+#include "output.h"
+#include "tree-iterator.h"
+
+#include "objc-runtime-hooks.h"
+#include "objc-runtime-shared-support.h"
+
+/* NeXT ABI 0 and 1 private definitions. */
+#define DEF_CONSTANT_STRING_CLASS_NAME "NSConstantString"
+
+#define TAG_GETCLASS "objc_getClass"
+#define TAG_GETMETACLASS "objc_getMetaClass"
+
+#define TAG_MSGSEND "objc_msgSend"
+#define TAG_MSGSENDSUPER "objc_msgSendSuper"
+#define TAG_MSGSEND_STRET "objc_msgSend_stret"
+#define TAG_MSGSENDSUPER_STRET "objc_msgSendSuper_stret"
+
+/* NeXT-specific tags. */
+
+#define TAG_MSGSEND_NONNIL "objc_msgSendNonNil"
+#define TAG_MSGSEND_NONNIL_STRET "objc_msgSendNonNil_stret"
+#define TAG_EXCEPTIONEXTRACT "objc_exception_extract"
+#define TAG_EXCEPTIONTRYENTER "objc_exception_try_enter"
+#define TAG_EXCEPTIONTRYEXIT "objc_exception_try_exit"
+#define TAG_EXCEPTIONMATCH "objc_exception_match"
+#define TAG_SETJMP "_setjmp"
+
+#define TAG_ASSIGNIVAR "objc_assign_ivar"
+#define TAG_ASSIGNGLOBAL "objc_assign_global"
+#define TAG_ASSIGNSTRONGCAST "objc_assign_strongCast"
+
+/* Branch entry points. All that matters here are the addresses;
+ functions with these names do not really exist in libobjc. */
+
+#define TAG_MSGSEND_FAST "objc_msgSend_Fast"
+#define TAG_ASSIGNIVAR_FAST "objc_assign_ivar_Fast"
+
+/* The version identifies which language generation and runtime the
+ module (file) was compiled for, and is recorded in the module
+ descriptor. */
+#define OBJC_VERSION (flag_objc_abi >= 1 ? 7 : 6)
+
+#define UTAG_CLASS_EXT "_objc_class_ext"
+#define UTAG_PROPERTY_LIST "_prop_list_t"
+#define UTAG_PROTOCOL_EXT "_objc_protocol_extension"
+
+#define CLS_HAS_CXX_STRUCTORS 0x2000L
+
+/* rt_trees identifiers - shared between NeXT implementations. These
+ allow the FE to tag meta-data in a manner that survives LTO and can
+ be used when the runtime requires that certain meta-data items
+ appear in particular named sections. */
+
+#include "objc-next-metadata-tags.h"
+extern GTY(()) tree objc_rt_trees[OCTI_RT_META_MAX];
+
+static void next_runtime_01_initialize (void);
+
+static tree next_runtime_abi_01_super_superclassfield_id (void);
+
+static tree next_runtime_abi_01_class_decl (tree);
+static tree next_runtime_abi_01_metaclass_decl (tree);
+static tree next_runtime_abi_01_category_decl (tree);
+static tree next_runtime_abi_01_protocol_decl (tree);
+static tree next_runtime_abi_01_string_decl (tree, const char *, string_section);
+
+static tree next_runtime_abi_01_get_class_reference (tree);
+static tree next_runtime_abi_01_build_selector_reference (location_t, tree, tree);
+static tree next_runtime_abi_01_get_protocol_reference (location_t, tree);
+static tree next_runtime_abi_01_build_ivar_ref (location_t, tree, tree);
+static tree next_runtime_abi_01_get_class_super_ref (location_t, struct imp_entry *, bool);
+static tree next_runtime_abi_01_get_category_super_ref (location_t, struct imp_entry *, bool);
+
+static tree next_runtime_abi_01_receiver_is_class_object (tree);
+static tree next_runtime_abi_01_get_arg_type_list_base (tree, int, int);
+static tree next_runtime_abi_01_build_objc_method_call (location_t, tree, tree,
+ tree, tree, tree, int);
+static bool next_runtime_abi_01_setup_const_string_class_decl (void);
+static tree next_runtime_abi_01_build_const_string_constructor (location_t, tree, int);
+
+static void objc_generate_v1_next_metadata (void);
+
+static void build_next_objc_exception_stuff (void);
+static tree objc_eh_runtime_type (tree type);
+static tree objc_eh_personality (void);
+static tree build_throw_stmt (location_t, tree, bool);
+static tree objc_build_exc_ptr (struct objc_try_context **);
+static tree begin_catch (struct objc_try_context **, tree, tree, tree, bool);
+static void finish_catch (struct objc_try_context **, tree);
+static tree finish_try_stmt (struct objc_try_context **);
+
+bool
+objc_next_runtime_abi_01_init (objc_runtime_hooks *rthooks)
+{
+ if (flag_objc_exceptions
+ && !flag_objc_sjlj_exceptions)
+ {
+ warning_at (UNKNOWN_LOCATION, OPT_Wall,
+ "%<-fobjc-sjlj-exceptions%> is the only supported exceptions "
+ "system for %<-fnext-runtime%> with %<-fobjc-abi-version%> < 2");
+ }
+
+ rthooks->initialize = next_runtime_01_initialize;
+ rthooks->default_constant_string_class_name = DEF_CONSTANT_STRING_CLASS_NAME;
+ rthooks->tag_getclass = TAG_GETCLASS;
+ rthooks->super_superclassfield_ident = next_runtime_abi_01_super_superclassfield_id;
+
+ rthooks->class_decl = next_runtime_abi_01_class_decl;
+ rthooks->metaclass_decl = next_runtime_abi_01_metaclass_decl;
+ rthooks->category_decl = next_runtime_abi_01_category_decl;
+ rthooks->protocol_decl = next_runtime_abi_01_protocol_decl;
+ rthooks->string_decl = next_runtime_abi_01_string_decl;
+
+ rthooks->get_class_reference = next_runtime_abi_01_get_class_reference;
+ rthooks->build_selector_reference = next_runtime_abi_01_build_selector_reference;
+ rthooks->get_protocol_reference = next_runtime_abi_01_get_protocol_reference;
+ rthooks->build_ivar_reference = next_runtime_abi_01_build_ivar_ref;
+ rthooks->get_class_super_ref = next_runtime_abi_01_get_class_super_ref;
+ rthooks->get_category_super_ref = next_runtime_abi_01_get_category_super_ref;
+
+ rthooks->receiver_is_class_object = next_runtime_abi_01_receiver_is_class_object;
+ rthooks->get_arg_type_list_base = next_runtime_abi_01_get_arg_type_list_base;
+ rthooks->build_objc_method_call = next_runtime_abi_01_build_objc_method_call;
+
+ rthooks->setup_const_string_class_decl =
+ next_runtime_abi_01_setup_const_string_class_decl;
+ rthooks->build_const_string_constructor =
+ next_runtime_abi_01_build_const_string_constructor;
+
+ rthooks->build_throw_stmt = build_throw_stmt;
+ rthooks->build_exc_ptr = objc_build_exc_ptr;
+ rthooks->begin_catch = begin_catch;
+ rthooks->finish_catch = finish_catch;
+ rthooks->finish_try_stmt = finish_try_stmt;
+
+ rthooks->generate_metadata = objc_generate_v1_next_metadata;
+ return true;
+}
+
+/* We need a way to convey what kind of meta-data are represented by a
+ given variable, since each type is expected (by the runtime) to be
+ found in a specific named section. The solution must be usable
+ with LTO.
+
+ The scheme used for NeXT ABI 0/1 (partial matching of variable
+ names) is not satisfactory for LTO & ABI-2. We now tag ObjC
+ meta-data with identification attributes in the front end. The
+ back-end may choose to act on these as it requires. */
+
+static void
+next_runtime_abi_01_init_metadata_attributes (void)
+{
+ if (!objc_meta)
+ objc_meta = get_identifier ("OBJC1META");
+
+ if (!meta_base)
+ meta_base = get_identifier ("V1_BASE");
+
+ meta_class = get_identifier ("V1_CLAS");
+ meta_metaclass = get_identifier ("V1_META");
+ meta_category = get_identifier ("V1_CATG");
+ meta_protocol = get_identifier ("V1_PROT");
+
+ meta_clac_vars = get_identifier ("V1_CLCV");
+ meta_clai_vars = get_identifier ("V1_CLIV");
+
+ meta_clac_meth = get_identifier ("V1_CLCM");
+ meta_clai_meth = get_identifier ("V1_CLIM");
+ meta_catc_meth = get_identifier ("V1_CACM");
+ meta_cati_meth = get_identifier ("V1_CAIM");
+ meta_proto_cls_meth = get_identifier ("V1_PCLM");
+ meta_proto_nst_meth = get_identifier ("V1_PNSM");
+
+ meta_clas_prot = get_identifier ("V1_CLPR");
+ meta_catg_prot = get_identifier ("V1_CAPR");
+
+ meta_class_reference = get_identifier ("V1_CLRF");
+ meta_proto_ref = get_identifier ("V1_PRFS");
+ meta_sel_refs = get_identifier ("V1_SRFS");
+
+ meta_class_name = get_identifier ("V1_CLSN");
+ meta_meth_name = get_identifier ("V1_METN");
+ meta_meth_type = get_identifier ("V1_METT");
+ meta_prop_name_attr = get_identifier ("V1_STRG");
+
+ meta_modules = get_identifier ("V1_MODU");
+ meta_symtab = get_identifier ("V1_SYMT");
+ meta_info = get_identifier ("V1_INFO");
+
+ meta_proplist = get_identifier ("V1_PLST");
+ meta_protocol_extension = get_identifier ("V1_PEXT");
+ meta_class_extension = get_identifier ("V1_CEXT");
+
+ meta_const_str = get_identifier ("V1_CSTR");
+}
+
+static void build_v1_class_template (void);
+static void build_v1_category_template (void);
+static void build_v1_protocol_template (void);
+
+static void next_runtime_01_initialize (void)
+{
+ tree type;
+
+#ifdef OBJCPLUS
+ /* For all NeXT objc ABIs -fobjc-call-cxx-cdtors is on by
+ default. */
+ if (!global_options_set.x_flag_objc_call_cxx_cdtors)
+ global_options.x_flag_objc_call_cxx_cdtors = 1;
+#endif
+
+ /* Set up attributes to be attached to the meta-data so that they
+ will be placed in the correct sections. */
+ next_runtime_abi_01_init_metadata_attributes ();
+
+ if (flag_objc_abi >= 1)
+ objc_prop_list_ptr = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier ("_prop_list_t")));
+
+ /* Declare type of selector-objects that represent an operation
+ name. */
+ /* `struct objc_selector *' */
+ objc_selector_type = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier (TAG_SELECTOR)));
+
+ build_v1_class_template ();
+ build_super_template ();
+ build_v1_protocol_template ();
+ build_v1_category_template ();
+
+ /* NB: In order to call one of the ..._stret (struct-returning)
+ functions, the function *MUST* first be cast to a signature that
+ corresponds to the actual ObjC method being invoked. This is
+ what is done by the build_objc_method_call() routine below. */
+
+ /* id objc_msgSend (id, SEL, ...); */
+ /* id objc_msgSendNonNil (id, SEL, ...); */
+ /* id objc_msgSend_stret (id, SEL, ...); */
+ /* id objc_msgSendNonNil_stret (id, SEL, ...); */
+ type = build_varargs_function_type_list (objc_object_type,
+ objc_object_type,
+ objc_selector_type,
+ NULL_TREE);
+
+ umsg_decl = add_builtin_function (TAG_MSGSEND,
+ type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+
+ umsg_nonnil_decl = add_builtin_function (TAG_MSGSEND_NONNIL,
+ type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+
+ umsg_stret_decl = add_builtin_function (TAG_MSGSEND_STRET,
+ type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+
+ umsg_nonnil_stret_decl = add_builtin_function (TAG_MSGSEND_NONNIL_STRET,
+ type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+
+ /* These can throw, because the function that gets called can throw
+ in Obj-C++, or could itself call something that can throw even in
+ Obj-C. */
+ TREE_NOTHROW (umsg_decl) = 0;
+ TREE_NOTHROW (umsg_nonnil_decl) = 0;
+ TREE_NOTHROW (umsg_stret_decl) = 0;
+ TREE_NOTHROW (umsg_nonnil_stret_decl) = 0;
+
+ /* id objc_msgSend_Fast (id, SEL, ...)
+ __attribute__ ((hard_coded_address (OFFS_MSGSEND_FAST))); */
+#ifdef OFFS_MSGSEND_FAST
+ umsg_fast_decl = add_builtin_function (TAG_MSGSEND_FAST,
+ type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+ TREE_NOTHROW (umsg_fast_decl) = 0;
+ DECL_ATTRIBUTES (umsg_fast_decl)
+ = tree_cons (get_identifier ("hard_coded_address"),
+ build_int_cst (NULL_TREE, OFFS_MSGSEND_FAST),
+ NULL_TREE);
+#else
+ /* No direct dispatch available. */
+ umsg_fast_decl = umsg_decl;
+#endif
+
+ /* id objc_msgSendSuper (struct objc_super *, SEL, ...); */
+ /* id objc_msgSendSuper_stret (struct objc_super *, SEL, ...); */
+ type = build_varargs_function_type_list (objc_object_type,
+ objc_super_type,
+ objc_selector_type,
+ NULL_TREE);
+ umsg_super_decl = add_builtin_function (TAG_MSGSENDSUPER,
+ type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+ umsg_super_stret_decl = add_builtin_function (TAG_MSGSENDSUPER_STRET,
+ type, 0, NOT_BUILT_IN, 0,
+ NULL_TREE);
+ TREE_NOTHROW (umsg_super_decl) = 0;
+ TREE_NOTHROW (umsg_super_stret_decl) = 0;
+
+ type = build_function_type_list (objc_object_type,
+ const_string_type_node,
+ NULL_TREE);
+
+ /* id objc_getClass (const char *); */
+ objc_get_class_decl
+ = add_builtin_function (TAG_GETCLASS, type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+
+ /* id objc_getMetaClass (const char *); */
+ objc_get_meta_class_decl
+ = add_builtin_function (TAG_GETMETACLASS, type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
+
+ /* This is the type of all of the following functions
+ objc_copyStruct(). */
+ type = build_function_type_list (void_type_node,
+ ptr_type_node,
+ const_ptr_type_node,
+ ptrdiff_type_node,
+ boolean_type_node,
+ boolean_type_node,
+ NULL_TREE);
+ /* Declare the following function:
+ void
+ objc_copyStruct (void *destination, const void *source,
+ ptrdiff_t size, BOOL is_atomic, BOOL has_strong); */
+ objc_copyStruct_decl = add_builtin_function ("objc_copyStruct",
+ type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+ TREE_NOTHROW (objc_copyStruct_decl) = 0;
+ objc_getPropertyStruct_decl = NULL_TREE;
+ objc_setPropertyStruct_decl = NULL_TREE;
+
+ build_next_objc_exception_stuff ();
+ if (flag_objc_exceptions && !flag_objc_sjlj_exceptions)
+ using_eh_for_cleanups ();
+ lang_hooks.eh_runtime_type = objc_eh_runtime_type;
+ lang_hooks.eh_personality = objc_eh_personality;
+}
+
+/* --- templates --- */
+
+/* struct _objc_class
+ {
+ struct _objc_class *isa;
+ struct _objc_class *super_class;
+ char *name;
+ long version;
+ long info;
+ long instance_size;
+ struct _objc_ivar_list *ivars;
+ struct _objc_method_list *methods;
+ struct objc_cache *cache;
+ struct _objc_protocol_list *protocols;
+ #if ABI=1
+ const char *ivar_layout;
+ struct _objc_class_ext *ext;
+ #else
+ void *sel_id;
+ void *gc_object_type;
+ #endif
+ }; */
+
+/* The 'sel_id' & 'gc_object_type' fields are not used by the NeXT
+ runtime. We generate them for ABI==0 to maintain backward binary
+ compatibility. */
+
+static void
+build_v1_class_template (void)
+{
+ tree ptype, decls, *chain = NULL;
+
+ objc_class_template = objc_start_struct (get_identifier (UTAG_CLASS));
+
+ /* struct _objc_class *isa; */
+ decls = add_field_decl (build_pointer_type (objc_class_template),
+ "isa", &chain);
+
+ /* struct _objc_class *super_class; */
+ add_field_decl (build_pointer_type (objc_class_template),
+ "super_class", &chain);
+
+ /* char *name; */
+ add_field_decl (string_type_node, "name", &chain);
+
+ /* long version; */
+ add_field_decl (long_integer_type_node, "version", &chain);
+
+ /* long info; */
+ add_field_decl (long_integer_type_node, "info", &chain);
+
+ /* long instance_size; */
+ add_field_decl (long_integer_type_node, "instance_size", &chain);
+
+ /* struct _objc_ivar_list *ivars; */
+ add_field_decl (objc_ivar_list_ptr,"ivars", &chain);
+
+ /* struct _objc_method_list *methods; */
+ add_field_decl (objc_method_list_ptr, "methods", &chain);
+
+ /* struct objc_cache *cache; */
+ ptype = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier ("objc_cache")));
+ add_field_decl (ptype, "cache", &chain);
+
+ /* struct _objc_protocol **protocol_list; */
+ ptype = build_pointer_type (build_pointer_type
+ (xref_tag (RECORD_TYPE,
+ get_identifier (UTAG_PROTOCOL))));
+ add_field_decl (ptype, "protocol_list", &chain);
+
+ if (flag_objc_abi >= 1)
+ {
+ /* const char *ivar_layout; */
+ add_field_decl (const_string_type_node, "ivar_layout", &chain);
+
+ /* struct _objc_class_ext *ext; */
+ ptype = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier (UTAG_CLASS_EXT)));
+ add_field_decl (ptype, "ext", &chain);
+ }
+ else
+ {
+ /* void *sel_id; */
+ add_field_decl (build_pointer_type (void_type_node), "sel_id", &chain);
+ /* void *gc_object_type; */
+ add_field_decl (build_pointer_type (void_type_node), "gc_object_type",
+ &chain);
+ }
+
+ objc_finish_struct (objc_class_template, decls);
+}
+
+/* struct _objc_category
+ {
+ char *category_name;
+ char *class_name;
+ struct _objc_method_list *instance_methods;
+ struct _objc_method_list *class_methods;
+ struct _objc_protocol_list *protocols;
+ #if ABI=1
+ uint32_t size; // sizeof (struct _objc_category)
+ struct _objc_property_list *instance_properties; // category's own @property decl.
+ #endif
+ }; */
+
+static void
+build_v1_category_template (void)
+{
+ tree ptype, decls, *chain = NULL;
+
+ objc_category_template = objc_start_struct (get_identifier (UTAG_CATEGORY));
+
+ /* char *category_name; */
+ decls = add_field_decl (string_type_node, "category_name", &chain);
+
+ /* char *class_name; */
+ add_field_decl (string_type_node, "class_name", &chain);
+
+ /* struct _objc_method_list *instance_methods; */
+ add_field_decl (objc_method_list_ptr, "instance_methods", &chain);
+
+ /* struct _objc_method_list *class_methods; */
+ add_field_decl (objc_method_list_ptr, "class_methods", &chain);
+
+ /* struct _objc_protocol **protocol_list; */
+ ptype = build_pointer_type (build_pointer_type (objc_protocol_template));
+ add_field_decl (ptype, "protocol_list", &chain);
+
+ if (flag_objc_abi >= 1)
+ {
+ add_field_decl (integer_type_node, "size", &chain);
+
+ /* struct _objc_property_list *instance_properties;
+ This field describes a category's @property declarations.
+ Properties from inherited protocols are not included. */
+ ptype = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier (UTAG_PROPERTY_LIST)));
+ add_field_decl (ptype, "instance_properties", &chain);
+ }
+ objc_finish_struct (objc_category_template, decls);
+}
+
+/* Begin code generation for protocols...
+ Modified for ObjC #1 extensions. */
+
+/* struct _objc_protocol
+ {
+ #if ABI=1
+ struct _objc_protocol_extension *isa;
+ #else
+ struct _objc_class *isa;
+ #endif
+
+ char *protocol_name;
+ struct _objc_protocol **protocol_list;
+ struct _objc__method_prototype_list *instance_methods;
+ struct _objc__method_prototype_list *class_methods;
+ }; */
+
+static void
+build_v1_protocol_template (void)
+{
+ tree ptype, decls, *chain = NULL;
+
+ objc_protocol_template = objc_start_struct (get_identifier (UTAG_PROTOCOL));
+
+ if (flag_objc_abi >= 1)
+ /* struct _objc_protocol_extension *isa; */
+ ptype = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier (UTAG_PROTOCOL_EXT)));
+ else
+ /* struct _objc_class *isa; */
+ ptype = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier (UTAG_CLASS)));
+
+ decls = add_field_decl (ptype, "isa", &chain);
+
+ /* char *protocol_name; */
+ add_field_decl (string_type_node, "protocol_name", &chain);
+
+ /* struct _objc_protocol **protocol_list; */
+ ptype = build_pointer_type (build_pointer_type (objc_protocol_template));
+ add_field_decl (ptype, "protocol_list", &chain);
+
+ /* struct _objc__method_prototype_list *instance_methods; */
+ add_field_decl (objc_method_proto_list_ptr, "instance_methods", &chain);
+
+ /* struct _objc__method_prototype_list *class_methods; */
+ add_field_decl (objc_method_proto_list_ptr, "class_methods", &chain);
+
+ objc_finish_struct (objc_protocol_template, decls);
+}
+
+/* --- names, decls identifers --- */
+
+static tree
+next_runtime_abi_01_super_superclassfield_id (void)
+{
+ if (!super_superclassfield_id)
+ super_superclassfield_id = get_identifier ("super_class");
+ return super_superclassfield_id;
+}
+
+static tree
+next_runtime_abi_01_class_decl (tree klass)
+{
+ tree decl;
+ char buf[BUFSIZE];
+ snprintf (buf, BUFSIZE, "_OBJC_Class_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (klass)));
+ decl = start_var_decl (objc_class_template, buf);
+ OBJCMETA (decl, objc_meta, meta_class);
+ return decl;
+}
+
+static tree
+next_runtime_abi_01_metaclass_decl (tree klass)
+{
+ tree decl;
+ char buf[BUFSIZE];
+ snprintf (buf, BUFSIZE, "_OBJC_MetaClass_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (klass)));
+ decl = start_var_decl (objc_class_template, buf);
+ OBJCMETA (decl, objc_meta, meta_metaclass);
+ return decl;
+}
+
+static tree
+next_runtime_abi_01_category_decl (tree klass)
+{
+ tree decl;
+ char buf[BUFSIZE];
+ snprintf (buf, BUFSIZE, "_OBJC_Category_%s_on_%s",
+ IDENTIFIER_POINTER (CLASS_SUPER_NAME (klass)),
+ IDENTIFIER_POINTER (CLASS_NAME (klass)));
+ decl = start_var_decl (objc_category_template, buf);
+ OBJCMETA (decl, objc_meta, meta_category);
+ return decl;
+}
+
+static tree
+next_runtime_abi_01_protocol_decl (tree p)
+{
+ tree decl;
+ char buf[BUFSIZE];
+
+ /* static struct _objc_protocol _OBJC_Protocol_<mumble>; */
+
+ snprintf (buf, BUFSIZE, "_OBJC_Protocol_%s",
+ IDENTIFIER_POINTER (PROTOCOL_NAME (p)));
+ decl = start_var_decl (objc_protocol_template, buf);
+ OBJCMETA (decl, objc_meta, meta_protocol);
+ return decl;
+}
+
+static tree
+next_runtime_abi_01_string_decl (tree type, const char *name, string_section where)
+{
+ tree var = start_var_decl (type, name);
+ switch (where)
+ {
+ case class_names:
+ OBJCMETA (var, objc_meta, meta_class_name);
+ break;
+ case meth_var_names:
+ OBJCMETA (var, objc_meta, meta_meth_name);
+ break;
+ case meth_var_types:
+ OBJCMETA (var, objc_meta, meta_meth_type);
+ break;
+ case prop_names_attr:
+ OBJCMETA (var, objc_meta, meta_prop_name_attr);
+ break;
+ default:
+ OBJCMETA (var, objc_meta, meta_base);
+ break;
+ }
+ return var;
+}
+
+/* --- entry --- */
+
+static GTY(()) int class_reference_idx;
+
+static tree
+build_class_reference_decl (void)
+{
+ tree decl;
+ char buf[BUFSIZE];
+
+ sprintf (buf, "_OBJC_ClassRefs_%d", class_reference_idx++);
+ decl = start_var_decl (objc_class_type, buf);
+
+ return decl;
+}
+
+static tree
+next_runtime_abi_01_get_class_reference (tree ident)
+{
+ if (!flag_zero_link)
+ {
+ tree *chain;
+ tree decl;
+
+ for (chain = &cls_ref_chain; *chain; chain = &TREE_CHAIN (*chain))
+ if (TREE_VALUE (*chain) == ident)
+ {
+ if (! TREE_PURPOSE (*chain))
+ TREE_PURPOSE (*chain) = build_class_reference_decl ();
+
+ return TREE_PURPOSE (*chain);
+ }
+
+ decl = build_class_reference_decl ();
+ *chain = tree_cons (decl, ident, NULL_TREE);
+ return decl;
+ }
+ else
+ {
+ tree params;
+
+ add_class_reference (ident);
+
+ params = build_tree_list (NULL_TREE,
+ my_build_string_pointer
+ (IDENTIFIER_LENGTH (ident) + 1,
+ IDENTIFIER_POINTER (ident)));
+
+ return build_function_call (input_location, objc_get_class_decl, params);
+ }
+}
+
+/* Used by get_arg_type_list.
+ Return the types for receiver & _cmd at the start of a method argument list.
+ context is either METHOD_DEF or METHOD_REF, saying whether we are trying
+ to define a method or call one. superflag says this is for a send to super.
+ meth may be NULL, in the case that there is no prototype. */
+
+static tree
+next_runtime_abi_01_get_arg_type_list_base (tree meth, int context, int superflag)
+{
+ tree arglist;
+
+ /* Receiver type. */
+ if (superflag)
+ arglist = build_tree_list (NULL_TREE, objc_super_type);
+ else if (context == METHOD_DEF && TREE_CODE (meth) == INSTANCE_METHOD_DECL)
+ arglist = build_tree_list (NULL_TREE, objc_instance_type);
+ else
+ arglist = build_tree_list (NULL_TREE, objc_object_type);
+
+ /* Selector type - will eventually change to `int'. */
+ chainon (arglist, build_tree_list (NULL_TREE, objc_selector_type));
+ return arglist;
+}
+
+static tree
+next_runtime_abi_01_receiver_is_class_object (tree receiver)
+{
+ if (TREE_CODE (receiver) == VAR_DECL
+ && IS_CLASS (TREE_TYPE (receiver)))
+ {
+ /* The receiver is a variable created by build_class_reference_decl. */
+ tree chain = cls_ref_chain ;
+ /* Look up the identifier in the relevant chain. */
+ for (; chain; chain = TREE_CHAIN (chain))
+ if (TREE_PURPOSE (chain) == receiver)
+ return TREE_VALUE (chain);
+ }
+ return NULL_TREE;
+}
+
+static tree
+build_selector_reference_decl (tree ident)
+{
+ tree decl;
+ char *t, buf[BUFSIZE];
+
+ snprintf (buf, BUFSIZE, "_OBJC_SelRef_%s", IDENTIFIER_POINTER (ident));
+ t = buf;
+ while (*t)
+ {
+ if (*t==':')
+ *t = '$'; /* Underscore would clash between foo:bar and foo_bar. */
+ t++;
+ }
+ decl = start_var_decl (objc_selector_type, buf);
+ OBJCMETA (decl, objc_meta, meta_sel_refs);
+ return decl;
+}
+
+static tree
+next_runtime_abi_01_build_selector_reference (location_t loc ATTRIBUTE_UNUSED,
+ tree ident,
+ tree proto ATTRIBUTE_UNUSED)
+{
+ tree *chain = &sel_ref_chain;
+ tree expr;
+
+ while (*chain)
+ {
+ if (TREE_VALUE (*chain) == ident)
+ return TREE_PURPOSE (*chain);
+
+ chain = &TREE_CHAIN (*chain);
+ }
+
+ expr = build_selector_reference_decl (ident);
+
+ *chain = tree_cons (expr, ident, NULL_TREE);
+
+ return expr;
+}
+
+/* Build a tree expression to send OBJECT the operation SELECTOR,
+ looking up the method on object LOOKUP_OBJECT (often same as OBJECT),
+ assuming the method has prototype METHOD_PROTOTYPE.
+ (That is an INSTANCE_METHOD_DECL or CLASS_METHOD_DECL.)
+ LOC is the location of the expression to build.
+ Use METHOD_PARAMS as list of args to pass to the method.
+ If SUPER_FLAG is nonzero, we look up the superclass's method. */
+
+static tree
+build_objc_method_call (location_t loc, int super_flag, tree method_prototype,
+ tree lookup_object, tree selector,
+ tree method_params)
+{
+ tree sender, sender_cast, method, t;
+ tree rcv_p = (super_flag ? objc_super_type : objc_object_type);
+ VEC(tree, gc) *parms;
+ unsigned nparm = (method_params ? list_length (method_params) : 0);
+
+ /* If a prototype for the method to be called exists, then cast
+ the sender's return type and arguments to match that of the method.
+ Otherwise, leave sender as is. */
+ tree ret_type
+ = (method_prototype
+ ? TREE_VALUE (TREE_TYPE (method_prototype))
+ : objc_object_type);
+
+ tree method_param_types =
+ get_arg_type_list (method_prototype, METHOD_REF, super_flag);
+ tree ftype = build_function_type (ret_type, method_param_types);
+
+ if (method_prototype && METHOD_TYPE_ATTRIBUTES (method_prototype))
+ ftype = build_type_attribute_variant (ftype,
+ METHOD_TYPE_ATTRIBUTES
+ (method_prototype));
+
+ sender_cast = build_pointer_type (ftype);
+
+ lookup_object = build_c_cast (loc, rcv_p, lookup_object);
+
+ /* Use SAVE_EXPR to avoid evaluating the receiver twice. */
+ lookup_object = save_expr (lookup_object);
+
+ /* Param list + 2 slots for object and selector. */
+ parms = VEC_alloc (tree, gc, nparm + 2);
+
+ /* If we are returning a struct in memory, and the address
+ of that memory location is passed as a hidden first
+ argument, then change which messenger entry point this
+ expr will call. NB: Note that sender_cast remains
+ unchanged (it already has a struct return type). */
+ if (!targetm.calls.struct_value_rtx (0, 0)
+ && (TREE_CODE (ret_type) == RECORD_TYPE
+ || TREE_CODE (ret_type) == UNION_TYPE)
+ && targetm.calls.return_in_memory (ret_type, 0))
+ sender = (super_flag ? umsg_super_stret_decl
+ : flag_nil_receivers ? umsg_stret_decl
+ : umsg_nonnil_stret_decl);
+ else
+ sender = (super_flag ? umsg_super_decl
+ : (flag_nil_receivers ? (flag_objc_direct_dispatch
+ ? umsg_fast_decl
+ : umsg_decl)
+ : umsg_nonnil_decl));
+ method = build_fold_addr_expr_loc (loc, sender);
+
+ /* Pass the object to the method. */
+ VEC_quick_push (tree, parms, lookup_object);
+ /* Pass the selector to the method. */
+ VEC_quick_push (tree, parms, selector);
+ /* Now append the remainder of the parms. */
+ if (nparm)
+ for (; method_params; method_params = TREE_CHAIN (method_params))
+ VEC_quick_push (tree, parms, TREE_VALUE (method_params));
+
+ /* Build an obj_type_ref, with the correct cast for the method call. */
+ t = build3 (OBJ_TYPE_REF, sender_cast, method,
+ lookup_object, size_zero_node);
+ t = build_function_call_vec (loc, t, parms, NULL);
+ VEC_free (tree, gc, parms);
+ return t;
+}
+
+static tree
+next_runtime_abi_01_build_objc_method_call (location_t loc,
+ tree method_prototype,
+ tree receiver,
+ tree rtype ATTRIBUTE_UNUSED,
+ tree sel_name,
+ tree method_params,
+ int super)
+{
+ tree selector = next_runtime_abi_01_build_selector_reference (loc, sel_name,
+ NULL_TREE);
+
+ return build_objc_method_call (loc, super, method_prototype,
+ receiver, selector, method_params);
+}
+
+static tree
+next_runtime_abi_01_get_protocol_reference (location_t loc, tree p)
+{
+ tree expr;
+
+ if (!PROTOCOL_FORWARD_DECL (p))
+ PROTOCOL_FORWARD_DECL (p) = next_runtime_abi_01_protocol_decl (p);
+
+ expr = build_unary_op (loc, ADDR_EXPR, PROTOCOL_FORWARD_DECL (p), 0);
+ return convert (objc_protocol_type, expr);
+}
+
+/* For ABI 0/1 and IVAR is just a fixed offset in the class struct. */
+
+static tree
+next_runtime_abi_01_build_ivar_ref (location_t loc ATTRIBUTE_UNUSED,
+ tree base, tree id)
+{
+ return objc_build_component_ref (base, id);
+}
+
+/* We build super class references as we need them (but keep them once
+ built for the sake of efficiency). */
+
+static tree
+next_runtime_abi_01_get_class_super_ref (location_t loc ATTRIBUTE_UNUSED,
+ struct imp_entry *imp, bool inst_meth)
+{
+ if (inst_meth)
+ {
+ if (!ucls_super_ref)
+ ucls_super_ref =
+ objc_build_component_ref (imp->class_decl,
+ get_identifier ("super_class"));
+ return ucls_super_ref;
+ }
+ else
+ {
+ if (!uucls_super_ref)
+ uucls_super_ref =
+ objc_build_component_ref (imp->meta_decl,
+ get_identifier ("super_class"));
+ return uucls_super_ref;
+ }
+}
+
+static tree
+next_runtime_abi_01_get_category_super_ref (location_t loc ATTRIBUTE_UNUSED,
+ struct imp_entry *imp, bool inst_meth)
+{
+ tree super_name = CLASS_SUPER_NAME (imp->imp_template);
+ tree super_class;
+
+ if (!flag_zero_link)
+ {
+ super_class = objc_get_class_reference (super_name);
+
+ if (!inst_meth)
+
+ /* If we are in a class method, we must retrieve the
+ _metaclass_ for the current class, pointed at by
+ the class's "isa" pointer. The following assumes that
+ "isa" is the first ivar in a class (which it must be). */
+ super_class =
+ build_indirect_ref (input_location,
+ build_c_cast (input_location,
+ build_pointer_type (objc_class_type),
+ super_class),
+ RO_UNARY_STAR);
+ return super_class;
+ }
+
+ /* else do it the slow way. */
+ add_class_reference (super_name);
+ super_class = (inst_meth ? objc_get_class_decl : objc_get_meta_class_decl);
+/* assemble_external (super_class);*/
+ super_name = my_build_string_pointer (IDENTIFIER_LENGTH (super_name) + 1,
+ IDENTIFIER_POINTER (super_name));
+ /* super_class = objc_get{Meta}Class("CLASS_SUPER_NAME"); */
+ return build_function_call (input_location,
+ super_class,
+ build_tree_list (NULL_TREE, super_name));
+}
+
+static bool
+next_runtime_abi_01_setup_const_string_class_decl (void)
+{
+ if (!constant_string_global_id)
+ {
+ /* Hopefully, this should not represent a serious limitation. */
+ char buf[BUFSIZE];
+ snprintf (buf, BUFSIZE, "_%sClassReference", constant_string_class_name);
+ constant_string_global_id = get_identifier (buf);
+ }
+
+ string_class_decl = lookup_name (constant_string_global_id);
+
+ return (string_class_decl != NULL_TREE);
+}
+
+static tree
+next_runtime_abi_01_build_const_string_constructor (location_t loc, tree string,
+ int length)
+{
+ tree constructor, fields, var;
+ VEC(constructor_elt,gc) *v = NULL;
+
+ /* NeXT: (NSConstantString *) & ((__builtin_ObjCString) { isa, string, length }) */
+ fields = TYPE_FIELDS (internal_const_str_type);
+ CONSTRUCTOR_APPEND_ELT (v, fields,
+ build_unary_op (loc, ADDR_EXPR, string_class_decl, 0));
+
+ fields = DECL_CHAIN (fields);
+ CONSTRUCTOR_APPEND_ELT (v, fields,
+ build_unary_op (loc, ADDR_EXPR, string, 1));
+
+ /* ??? check if this should be long. */
+ fields = DECL_CHAIN (fields);
+ CONSTRUCTOR_APPEND_ELT (v, fields, build_int_cst (NULL_TREE, length));
+ constructor = objc_build_constructor (internal_const_str_type, v);
+
+ var = build_decl (input_location, CONST_DECL, NULL, TREE_TYPE (constructor));
+ DECL_INITIAL (var) = constructor;
+ TREE_STATIC (var) = 1;
+ DECL_CONTEXT (var) = NULL;
+ OBJCMETA (var, objc_meta, meta_const_str);
+ return var;
+}
+
+/* --- metadata templates --- */
+
+/* This routine builds the following type:
+ struct _prop_t {
+ const char * const name; // property name
+ const char * const attributes; // comma-delimited, encoded,
+ // property attributes
+ };
+*/
+
+static GTY(()) tree objc_v1_property_template;
+
+static tree
+build_v1_property_template (void)
+{
+ tree prop_record;
+ tree decls, *chain = NULL;
+
+ prop_record = objc_start_struct (get_identifier ("_prop_t"));
+ /* const char * name */
+ decls = add_field_decl (string_type_node, "name", &chain);
+
+ /* const char * attribute */
+ add_field_decl (string_type_node, "attribute", &chain);
+
+ objc_finish_struct (prop_record, decls);
+ return prop_record;
+}
+
+/* Build the following type:
+
+ struct _objc_protocol_extension
+ {
+ uint32_t size; // sizeof (struct _objc_protocol_extension)
+ struct objc_method_list *optional_instance_methods;
+ struct objc_method_list *optional_class_methods;
+ struct objc_prop_list *instance_properties;
+ }
+*/
+
+static GTY(()) tree objc_protocol_extension_template;
+
+static void
+build_v1_objc_protocol_extension_template (void)
+{
+ tree decls, *chain = NULL;
+
+ objc_protocol_extension_template =
+ objc_start_struct (get_identifier (UTAG_PROTOCOL_EXT));
+
+ /* uint32_t size; */
+ decls = add_field_decl (integer_type_node, "size", &chain);
+
+ /* struct objc_method_list *optional_instance_methods; */
+ add_field_decl (objc_method_list_ptr, "optional_instance_methods", &chain);
+
+ /* struct objc_method_list *optional_class_methods; */
+ add_field_decl (objc_method_list_ptr, "optional_class_methods", &chain);
+
+ /* struct objc_prop_list *instance_properties; */
+ add_field_decl (objc_prop_list_ptr, "instance_properties", &chain);
+
+ objc_finish_struct (objc_protocol_extension_template, decls);
+}
+
+/* This routine build following struct type:
+ struct _objc_class_ext
+ {
+ uint32_t size; // sizeof(struct _objc_class_ext)
+ const char *weak_ivar_layout;
+ struct _prop_list_t *properties;
+ }
+*/
+
+static GTY(()) tree objc_class_ext_template;
+
+static void
+build_objc_class_ext_template (void)
+{
+ tree ptrt, decls, *chain = NULL;
+
+ objc_class_ext_template = objc_start_struct (get_identifier (UTAG_CLASS_EXT));
+
+ /* uint32_t size; */
+ decls = add_field_decl (integer_type_node, "size", &chain);
+
+ /* const char *weak_ivar_layout; */
+ add_field_decl (const_string_type_node, "weak_ivar_layout", &chain);
+
+ /* struct _prop_list_t *properties; */
+ ptrt = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier(UTAG_PROPERTY_LIST)));
+ add_field_decl (ptrt, "properties", &chain);
+
+ objc_finish_struct (objc_class_ext_template, decls);
+}
+
+static void
+build_metadata_templates (void)
+{
+
+ if (!objc_method_template)
+ objc_method_template = build_method_template ();
+
+
+
+}
+
+/* --- emit metadata --- */
+
+static tree
+generate_v1_meth_descriptor_table (tree chain, tree protocol,
+ const char *prefix, tree attr)
+{
+ tree method_list_template, initlist, decl;
+ int size;
+ VEC(constructor_elt,gc) *v = NULL;
+ char buf[BUFSIZE];
+
+ if (!chain || !prefix)
+ return NULL_TREE;
+
+ if (!objc_method_prototype_template)
+ objc_method_prototype_template = build_method_prototype_template ();
+
+ size = list_length (chain);
+ method_list_template =
+ build_method_prototype_list_template (objc_method_prototype_template,
+ size);
+ snprintf (buf, BUFSIZE, "%s_%s", prefix,
+ IDENTIFIER_POINTER (PROTOCOL_NAME (protocol)));
+
+ decl = start_var_decl (method_list_template, buf);
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, size));
+ initlist =
+ build_descriptor_table_initializer (objc_method_prototype_template,
+ chain);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, initlist);
+ /* Get into the right section. */
+ OBJCMETA (decl, objc_meta, attr);
+ finish_var_decl (decl, objc_build_constructor (method_list_template, v));
+ return decl;
+}
+
+/* Build protocol ext =
+ {size, opt_instance_meth, opt_class_meth, instance_props};
+ or NULL_TREE if none are present. */
+
+static tree
+generate_v1_objc_protocol_extension (tree proto_interface,
+ tree opt_instance_meth,
+ tree opt_class_meth,
+ tree instance_props)
+{
+ int size;
+ location_t loc;
+ VEC(constructor_elt,gc) *v = NULL;
+ tree decl, expr;
+ char buf[BUFSIZE];
+
+ /* If there are no extensions, then don't bother... */
+ if (!opt_instance_meth && !opt_class_meth && !instance_props)
+ return NULL_TREE;
+
+ if (!objc_protocol_extension_template)
+ build_v1_objc_protocol_extension_template ();
+
+ /* uint32_t size */
+ size = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_protocol_extension_template));
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, size));
+
+ /* Try for meaningful diagnostics. */
+ loc = DECL_SOURCE_LOCATION (PROTOCOL_FORWARD_DECL (proto_interface));
+
+ /* struct objc_method_list *optional_instance_methods; */
+ if (opt_instance_meth)
+ expr = convert (objc_method_list_ptr,
+ build_unary_op (loc, ADDR_EXPR, opt_instance_meth, 0));
+ else
+ expr = convert (objc_method_list_ptr, null_pointer_node);
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ /* struct objc_method_list *optional_class_methods; */
+ if (opt_class_meth)
+ expr = convert (objc_method_list_ptr,
+ build_unary_op (loc, ADDR_EXPR, opt_class_meth, 0));
+ else
+ expr = convert (objc_method_list_ptr, null_pointer_node);
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ /* struct objc_prop_list *instance_properties; */
+ if (instance_props)
+ expr = convert (objc_prop_list_ptr,
+ build_unary_op (loc, ADDR_EXPR, instance_props, 0));
+ else
+ expr = convert (objc_prop_list_ptr, null_pointer_node);
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ snprintf (buf, BUFSIZE, "_OBJC_ProtocolExt_%s",
+ IDENTIFIER_POINTER (PROTOCOL_NAME (proto_interface)));
+
+ decl = start_var_decl (objc_protocol_extension_template, buf);
+ expr = objc_build_constructor (TREE_TYPE (decl), v);
+ OBJCMETA (decl, objc_meta, meta_protocol_extension);
+ finish_var_decl (decl, expr);
+ return decl;
+}
+
+/* This routine builds the following type:
+ struct _prop_list_t {
+ uint32_t entsize; // sizeof (struct _prop_t)
+ uint32_t prop_count;
+ struct _prop_t prop_list [prop_count];
+ }
+*/
+
+static tree
+build_v1_property_list_template (tree list_type, int size)
+{
+ tree property_list_t_record;
+ tree array_type, decls, *chain = NULL;
+
+ /* anonymous. */
+ property_list_t_record = objc_start_struct (NULL_TREE);
+
+ /* uint32_t const entsize */
+ decls = add_field_decl (integer_type_node, "entsize", &chain);
+
+ /* int prop_count */
+ add_field_decl (integer_type_node, "prop_count", &chain);
+
+ /* struct _prop_t prop_list[]; */
+ array_type = build_sized_array_type (list_type, size);
+ add_field_decl (array_type, "prop_list", &chain);
+
+ objc_finish_struct (property_list_t_record, decls);
+ return property_list_t_record;
+}
+
+/* This routine builds the initializer list to initialize the
+ 'struct _prop_t prop_list[]' field of 'struct _prop_list_t' meta-data. */
+
+static tree
+build_v1_property_table_initializer (tree type, tree context)
+{
+ tree x;
+ VEC(constructor_elt,gc) *inits = NULL;
+
+ if (TREE_CODE (context) == PROTOCOL_INTERFACE_TYPE)
+ x = CLASS_PROPERTY_DECL (context);
+ else
+ x = IMPL_PROPERTY_DECL (context);
+
+ for (; x; x = TREE_CHAIN (x))
+ {
+ VEC(constructor_elt,gc) *elemlist = NULL;
+ tree attribute, name_ident = PROPERTY_NAME (x);
+
+ CONSTRUCTOR_APPEND_ELT (elemlist, NULL_TREE,
+ add_objc_string (name_ident, prop_names_attr));
+
+ attribute = objc_v2_encode_prop_attr (x);
+ CONSTRUCTOR_APPEND_ELT (elemlist, NULL_TREE,
+ add_objc_string (attribute, prop_names_attr));
+
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE,
+ objc_build_constructor (type, elemlist));
+ }
+
+ return objc_build_constructor (build_array_type (type, 0),inits);
+}
+
+/* This routine builds the 'struct _prop_list_t' variable declaration and
+ initializes it with its initializer list. TYPE is 'struct _prop_list_t',
+ NAME is the internal name of this variable, SIZE is number of properties
+ for this class and LIST is the initializer list for its 'prop_list' field. */
+
+static tree
+generate_v1_property_table (tree context, tree klass_ctxt)
+{
+ tree x, decl, initlist, property_list_template;
+ bool is_proto = false;
+ VEC(constructor_elt,gc) *inits = NULL;
+ int init_val, size = 0;
+ char buf[BUFSIZE];
+
+ if (context)
+ {
+ gcc_assert (TREE_CODE (context) == PROTOCOL_INTERFACE_TYPE);
+ x = CLASS_PROPERTY_DECL (context);
+ is_proto = true;
+ }
+ else
+ x = IMPL_PROPERTY_DECL (klass_ctxt);
+
+ for (; x; x = TREE_CHAIN (x))
+ size++;
+
+ if (size == 0)
+ return NULL_TREE;
+
+ if (!objc_v1_property_template)
+ objc_v1_property_template = build_v1_property_template ();
+
+ property_list_template =
+ build_v1_property_list_template (objc_v1_property_template,
+ size);
+ initlist = build_v1_property_table_initializer (objc_v1_property_template,
+ is_proto ? context
+ : klass_ctxt);
+
+ init_val = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v1_property_template));
+ if (is_proto)
+ snprintf (buf, BUFSIZE, "_OBJC_ProtocolPropList_%s",
+ IDENTIFIER_POINTER (PROTOCOL_NAME (context)));
+ else
+ snprintf (buf, BUFSIZE, "_OBJC_ClassPropList_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (klass_ctxt)));
+
+ decl = start_var_decl (property_list_template, buf);
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, build_int_cst (NULL_TREE, init_val));
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, build_int_cst (NULL_TREE, size));
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, initlist);
+ x = objc_build_constructor (TREE_TYPE (decl), inits);
+ OBJCMETA (decl, objc_meta, meta_proplist);
+ finish_var_decl (decl, x);
+ return decl;
+}
+
+static tree
+generate_v1_protocol_list (tree i_or_p, tree klass_ctxt)
+{
+ tree array_type, ptype, refs_decl, lproto, e, plist, attr;
+ int size = 0;
+ VEC(constructor_elt,gc) *v = NULL;
+ char buf[BUFSIZE];
+
+ switch (TREE_CODE (i_or_p))
+ {
+ case CLASS_INTERFACE_TYPE:
+ case CATEGORY_INTERFACE_TYPE:
+ plist = CLASS_PROTOCOL_LIST (i_or_p);
+ break;
+ case PROTOCOL_INTERFACE_TYPE:
+ plist = PROTOCOL_LIST (i_or_p);
+ break;
+ default:
+ gcc_unreachable ();
+ }
+
+ /* Compute size. */
+ for (lproto = plist; lproto; lproto = TREE_CHAIN (lproto))
+ if (TREE_CODE (TREE_VALUE (lproto)) == PROTOCOL_INTERFACE_TYPE
+ && PROTOCOL_FORWARD_DECL (TREE_VALUE (lproto)))
+ size++;
+
+ /* Build initializer. */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, 0));
+ e = build_int_cst (build_pointer_type (objc_protocol_template), size);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, e);
+
+ for (lproto = plist; lproto; lproto = TREE_CHAIN (lproto))
+ {
+ tree pval = TREE_VALUE (lproto);
+
+ if (TREE_CODE (pval) == PROTOCOL_INTERFACE_TYPE
+ && PROTOCOL_FORWARD_DECL (pval))
+ {
+ tree fwref = PROTOCOL_FORWARD_DECL (pval);
+ location_t loc = DECL_SOURCE_LOCATION (fwref) ;
+ e = build_unary_op (loc, ADDR_EXPR, fwref, 0);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, e);
+ }
+ }
+
+ /* static struct objc_protocol *refs[n]; */
+ switch (TREE_CODE (i_or_p))
+ {
+ case PROTOCOL_INTERFACE_TYPE:
+ snprintf (buf, BUFSIZE, "_OBJC_ProtocolRefs_%s",
+ IDENTIFIER_POINTER (PROTOCOL_NAME (i_or_p)));
+ attr = meta_proto_ref;
+ break;
+ case CLASS_INTERFACE_TYPE:
+ snprintf (buf, BUFSIZE, "_OBJC_ClassProtocols_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (i_or_p)));
+ attr = meta_clas_prot;
+ break;
+ case CATEGORY_INTERFACE_TYPE:
+ snprintf (buf, BUFSIZE, "_OBJC_CategoryProtocols_%s_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (klass_ctxt)),
+ IDENTIFIER_POINTER (CLASS_SUPER_NAME (klass_ctxt)));
+ attr = meta_catg_prot;
+ break;
+ default:
+ gcc_unreachable ();
+ }
+
+ ptype = build_pointer_type (objc_protocol_template);
+ array_type = build_sized_array_type (ptype, size + 3);
+ refs_decl = start_var_decl (array_type, buf);
+
+ OBJCMETA (refs_decl, objc_meta, attr);
+ finish_var_decl (refs_decl,
+ objc_build_constructor (TREE_TYPE (refs_decl), v));
+
+ return refs_decl;
+}
+
+static tree
+build_v1_protocol_initializer (tree type, tree protocol_name, tree protocol_list,
+ tree inst_methods, tree class_methods,
+ tree protocol_ext)
+{
+ tree expr, ttyp;
+ location_t loc;
+ VEC(constructor_elt,gc) *inits = NULL;
+
+ if (!objc_protocol_extension_template)
+ build_v1_objc_protocol_extension_template ();
+
+ /* TODO: find a better representation of location from the inputs. */
+ loc = UNKNOWN_LOCATION;
+ ttyp = build_pointer_type (objc_protocol_extension_template);
+ /* Instead of jamming the protocol version number into the isa, we pass
+ either a pointer to the protocol extension - or NULL. */
+ if (protocol_ext)
+ expr = convert (ttyp, build_unary_op (loc, ADDR_EXPR, protocol_ext, 0));
+ else
+ expr = convert (ttyp, null_pointer_node);
+
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, expr);
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, protocol_name);
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, protocol_list);
+
+ ttyp = objc_method_proto_list_ptr;
+ if (inst_methods)
+ expr = convert (ttyp, build_unary_op (loc, ADDR_EXPR, inst_methods, 0));
+ else
+ expr = convert (ttyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, expr);
+
+ if (class_methods)
+ expr = convert (ttyp, build_unary_op (loc, ADDR_EXPR, class_methods, 0));
+ else
+ expr = convert (ttyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, expr);
+
+ return objc_build_constructor (type, inits);
+}
+
+/* An updated version of generate_protocols () that emit the protocol
+ extension for ABI=1. */
+
+/* For each protocol which was referenced either from a @protocol()
+ expression, or because a class/category implements it (then a
+ pointer to the protocol is stored in the struct describing the
+ class/category), we create a statically allocated instance of the
+ Protocol class. The code is written in such a way as to generate
+ as few Protocol objects as possible; we generate a unique Protocol
+ instance for each protocol, and we don't generate a Protocol
+ instance if the protocol is never referenced (either from a
+ @protocol() or from a class/category implementation). These
+ statically allocated objects can be referred to via the static
+ (that is, private to this module) symbols _OBJC_PROTOCOL_n.
+
+ The statically allocated Protocol objects that we generate here
+ need to be fixed up at runtime in order to be used: the 'isa'
+ pointer of the objects need to be set up to point to the 'Protocol'
+ class, as known at runtime.
+
+ The NeXT runtime fixes up all protocols at program startup time,
+ before main() is entered. It uses a low-level trick to look up all
+ those symbols, then loops on them and fixes them up. */
+
+/* TODO: finish getting rid of passing stuff around in globals. */
+
+static GTY(()) tree V1_Protocol_OPT_NST_METHODS_decl;
+static GTY(()) tree V1_Protocol_OPT_CLS_METHODS_decl;
+static GTY(()) tree V1_ProtocolExt_decl;
+static GTY(()) tree V1_Property_decl;
+
+static void
+generate_v1_protocols (void)
+{
+ tree p;
+
+ /* If a protocol was directly referenced, pull in indirect references. */
+ for (p = protocol_chain; p; p = TREE_CHAIN (p))
+ if (PROTOCOL_FORWARD_DECL (p) && PROTOCOL_LIST (p))
+ generate_protocol_references (PROTOCOL_LIST (p));
+
+ for (p = protocol_chain; p; p = TREE_CHAIN (p))
+ {
+ tree decl, encoding, initlist, protocol_name_expr;
+ tree refs_type, refs_decl, refs_expr;
+ location_t loc;
+ tree nst_methods = PROTOCOL_NST_METHODS (p);
+ tree cls_methods = PROTOCOL_CLS_METHODS (p);
+
+ /* If protocol wasn't referenced, don't generate any code. */
+ decl = PROTOCOL_FORWARD_DECL (p);
+
+ if (!decl)
+ continue;
+
+ /* Make sure we link in the Protocol class. */
+ add_class_reference (get_identifier (PROTOCOL_OBJECT_CLASS_NAME));
+
+ while (nst_methods)
+ {
+ if (! METHOD_ENCODING (nst_methods))
+ {
+ encoding = encode_method_prototype (nst_methods);
+ METHOD_ENCODING (nst_methods) = encoding;
+ }
+ nst_methods = TREE_CHAIN (nst_methods);
+ }
+
+ UOBJC_INSTANCE_METHODS_decl =
+ generate_v1_meth_descriptor_table (PROTOCOL_NST_METHODS (p), p,
+ "_OBJC_ProtocolInstanceMethods",
+ meta_proto_nst_meth);
+
+ while (cls_methods)
+ {
+ if (! METHOD_ENCODING (cls_methods))
+ {
+ encoding = encode_method_prototype (cls_methods);
+ METHOD_ENCODING (cls_methods) = encoding;
+ }
+
+ cls_methods = TREE_CHAIN (cls_methods);
+ }
+
+ UOBJC_CLASS_METHODS_decl =
+ generate_v1_meth_descriptor_table (PROTOCOL_CLS_METHODS (p), p,
+ "_OBJC_ProtocolClassMethods",
+ meta_proto_cls_meth);
+
+ /* There should be no optional methods for ABI-0 - but we need to
+ check all this here before the lists are made. */
+ nst_methods = PROTOCOL_OPTIONAL_NST_METHODS (p);
+ while (nst_methods)
+ {
+ if (! METHOD_ENCODING (nst_methods))
+ {
+ encoding = encode_method_prototype (nst_methods);
+ METHOD_ENCODING (nst_methods) = encoding;
+ }
+ nst_methods = TREE_CHAIN (nst_methods);
+ }
+
+ V1_Protocol_OPT_NST_METHODS_decl =
+ generate_v1_meth_descriptor_table (PROTOCOL_OPTIONAL_NST_METHODS (p), p,
+ "_OBJC_OptionalProtocolInstanceMethods",
+ meta_proto_nst_meth);
+
+ cls_methods = PROTOCOL_OPTIONAL_CLS_METHODS (p);
+ while (cls_methods)
+ {
+ if (! METHOD_ENCODING (cls_methods))
+ {
+ encoding = encode_method_prototype (cls_methods);
+ METHOD_ENCODING (cls_methods) = encoding;
+ }
+
+ cls_methods = TREE_CHAIN (cls_methods);
+ }
+
+ V1_Protocol_OPT_CLS_METHODS_decl =
+ generate_v1_meth_descriptor_table (PROTOCOL_OPTIONAL_CLS_METHODS (p), p,
+ "_OBJC_OptionalProtocolClassMethods",
+ meta_proto_cls_meth);
+
+ if (PROTOCOL_LIST (p))
+ refs_decl = generate_v1_protocol_list (p, objc_implementation_context);
+ else
+ refs_decl = 0;
+
+ /* static struct objc_protocol _OBJC_PROTOCOL_<mumble>; */
+ protocol_name_expr = add_objc_string (PROTOCOL_NAME (p), class_names);
+ /* TODO: more locations to be fixed up... */
+ loc = UNKNOWN_LOCATION;
+ refs_type =
+ build_pointer_type (build_pointer_type (objc_protocol_template));
+ if (refs_decl)
+ refs_expr = convert (refs_type,
+ build_unary_op (loc, ADDR_EXPR, refs_decl, 0));
+ else
+ refs_expr = convert (refs_type, null_pointer_node);
+
+ if (flag_objc_abi < 1)
+ {
+ /* Original ABI. */
+ initlist =
+ build_protocol_initializer (TREE_TYPE (decl),
+ protocol_name_expr, refs_expr,
+ UOBJC_INSTANCE_METHODS_decl,
+ UOBJC_CLASS_METHODS_decl);
+ finish_var_decl (decl, initlist);
+ continue;
+ }
+
+ /* else - V1 extensions. */
+
+ V1_Property_decl =
+ generate_v1_property_table (p, NULL_TREE);
+
+ V1_ProtocolExt_decl =
+ generate_v1_objc_protocol_extension (p,
+ V1_Protocol_OPT_NST_METHODS_decl,
+ V1_Protocol_OPT_CLS_METHODS_decl,
+ V1_Property_decl);
+
+ initlist = build_v1_protocol_initializer (TREE_TYPE (decl),
+ protocol_name_expr, refs_expr,
+ UOBJC_INSTANCE_METHODS_decl,
+ UOBJC_CLASS_METHODS_decl,
+ V1_ProtocolExt_decl);
+ finish_var_decl (decl, initlist);
+ }
+}
+
+static tree
+generate_dispatch_table (tree chain, const char *name, tree attr)
+{
+ tree decl, method_list_template, initlist;
+ VEC(constructor_elt,gc) *v = NULL;
+ int size;;
+
+ if (!chain || !name || !(size = list_length (chain)))
+ return NULL_TREE;
+
+ if (!objc_method_template)
+ objc_method_template = build_method_template ();
+
+ method_list_template = build_method_list_template (objc_method_template,
+ size);
+ initlist = build_dispatch_table_initializer (objc_method_template, chain);
+
+ decl = start_var_decl (method_list_template, name);
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, integer_zero_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ build_int_cst (integer_type_node, size));
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, initlist);
+
+ OBJCMETA (decl, objc_meta, attr);
+ finish_var_decl (decl,
+ objc_build_constructor (TREE_TYPE (decl), v));
+
+ return decl;
+}
+
+/* Init a category. */
+static tree
+build_v1_category_initializer (tree type, tree cat_name, tree class_name,
+ tree inst_methods, tree class_methods,
+ tree protocol_list, tree property_list,
+ location_t loc)
+{
+ tree expr, ltyp;
+ VEC(constructor_elt,gc) *v = NULL;
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, cat_name);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, class_name);
+
+ ltyp = objc_method_list_ptr;
+ if (inst_methods)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, inst_methods, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ if (class_methods)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, class_methods, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ /* protocol_list = */
+ ltyp = build_pointer_type (build_pointer_type (objc_protocol_template));
+ if (protocol_list)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, protocol_list, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ if (flag_objc_abi >= 1)
+ {
+ int val = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_category_template));
+ expr = build_int_cst (NULL_TREE, val);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ ltyp = objc_prop_list_ptr;
+ if (property_list)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, property_list, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ }
+
+ return objc_build_constructor (type, v);
+}
+
+/* static struct objc_category _OBJC_CATEGORY_<name> = { ... }; */
+/* TODO: get rid of passing stuff around in globals. */
+static void
+generate_v1_category (struct imp_entry *impent)
+{
+ tree initlist, cat_name_expr, class_name_expr;
+ tree protocol_decl, category, cat_decl;
+ tree inst_methods = NULL_TREE, class_methods = NULL_TREE;
+ tree cat = impent->imp_context;
+ location_t loc;
+ char buf[BUFSIZE];
+
+ cat_decl = impent->class_decl;
+ loc = DECL_SOURCE_LOCATION (cat_decl);
+
+ add_class_reference (CLASS_NAME (cat));
+ cat_name_expr = add_objc_string (CLASS_SUPER_NAME (cat), class_names);
+ class_name_expr = add_objc_string (CLASS_NAME (cat), class_names);
+
+ category = lookup_category (impent->imp_template, CLASS_SUPER_NAME (cat));
+
+ if (category && CLASS_PROTOCOL_LIST (category))
+ {
+ generate_protocol_references (CLASS_PROTOCOL_LIST (category));
+ protocol_decl = generate_v1_protocol_list (category, cat);
+ }
+ else
+ protocol_decl = 0;
+
+ if (flag_objc_abi >= 1)
+ V1_Property_decl = generate_v1_property_table (NULL_TREE, cat);
+ else
+ V1_Property_decl = NULL_TREE;
+
+ if (CLASS_NST_METHODS (cat))
+ {
+ snprintf (buf, BUFSIZE, "_OBJC_CategoryInstanceMethods_%s_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (cat)),
+ IDENTIFIER_POINTER (CLASS_SUPER_NAME (cat)));
+ inst_methods = generate_dispatch_table (CLASS_NST_METHODS (cat), buf,
+ meta_cati_meth);
+ }
+
+ if (CLASS_CLS_METHODS (cat))
+ {
+ snprintf (buf, BUFSIZE, "_OBJC_CategoryClassMethods_%s_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (cat)),
+ IDENTIFIER_POINTER (CLASS_SUPER_NAME (cat)));
+ class_methods = generate_dispatch_table (CLASS_CLS_METHODS (cat), buf,
+ meta_catc_meth);
+ }
+
+ initlist = build_v1_category_initializer (TREE_TYPE (cat_decl),
+ cat_name_expr, class_name_expr,
+ inst_methods, class_methods,
+ protocol_decl, V1_Property_decl,
+ loc);
+
+ finish_var_decl (cat_decl, initlist);
+ impent->class_decl = cat_decl;
+}
+
+/* This routine builds the class extension used by v1 NeXT. */
+
+static tree
+generate_objc_class_ext (tree property_list, tree context)
+{
+ tree decl, expr, ltyp;
+ tree weak_ivar_layout_tree;
+ int size;
+ location_t loc;
+ VEC(constructor_elt,gc) *v = NULL;
+ char buf[BUFSIZE];
+
+ /* TODO: pass the loc in or find it from args. */
+ loc = UNKNOWN_LOCATION;
+
+ /* const char *weak_ivar_layout
+ TODO: Figure the ivar layouts out... */
+ weak_ivar_layout_tree = NULL_TREE;
+
+ if (!property_list && !weak_ivar_layout_tree)
+ return NULL_TREE;
+
+ if (!objc_class_ext_template)
+ build_objc_class_ext_template ();
+
+ /* uint32_t size */
+ size = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_class_ext_template));
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, size));
+
+ ltyp = const_string_type_node;
+ if (weak_ivar_layout_tree)
+ expr = convert (ltyp, weak_ivar_layout_tree);
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ /* struct _prop_list_t *properties; */
+ ltyp = objc_prop_list_ptr;
+ if (property_list)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, property_list, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ snprintf (buf, BUFSIZE, "_OBJC_ClassExt_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (context)));
+ decl = start_var_decl (objc_class_ext_template, buf);
+ expr = objc_build_constructor (TREE_TYPE (decl), v);
+ OBJCMETA (decl, objc_meta, meta_class_extension);
+ finish_var_decl (decl, expr);
+ return decl;
+}
+
+/* struct _objc_class {
+ struct objc_class *isa;
+ struct objc_class *super_class;
+ char *name;
+ long version;
+ long info;
+ long instance_size;
+ struct objc_ivar_list *ivars;
+ struct objc_method_list *methods;
+ struct objc_cache *cache;
+ struct objc_protocol_list *protocols;
+ #if ABI >= 1
+ const char *ivar_layout;
+ struct _objc_class_ext *ext;
+ #else
+ void *sel_id;
+ void *gc_object_type;
+ #endif
+ }; */
+
+static tree
+build_v1_shared_structure_initializer (tree type, tree isa, tree super,
+ tree name, tree size, int status,
+ tree dispatch_table, tree ivar_list,
+ tree protocol_list, tree class_ext)
+{
+ tree expr, ltyp;
+ location_t loc;
+ VEC(constructor_elt,gc) *v = NULL;
+
+ /* TODO: fish the location out of the input data. */
+ loc = UNKNOWN_LOCATION;
+
+ /* isa = */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, isa);
+
+ /* super_class = */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, super);
+
+ /* name = */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, default_conversion (name));
+
+ /* version = */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ build_int_cst (long_integer_type_node, 0));
+
+ /* info = */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ build_int_cst (long_integer_type_node, status));
+
+ /* instance_size = */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ convert (long_integer_type_node, size));
+
+ /* objc_ivar_list = */
+ ltyp = objc_ivar_list_ptr;
+ if (ivar_list)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, ivar_list, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ /* objc_method_list = */
+ ltyp = objc_method_list_ptr;
+ if (dispatch_table)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, dispatch_table, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ ltyp = build_pointer_type (xref_tag (RECORD_TYPE,
+ get_identifier ("objc_cache")));
+ /* method_cache = */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, convert (ltyp, null_pointer_node));
+
+ /* protocol_list = */
+ ltyp = build_pointer_type (build_pointer_type (objc_protocol_template));
+ if (protocol_list)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, protocol_list, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+
+ if (flag_objc_abi >= 1)
+ {
+ /* TODO: figure out the ivar_layout stuff. */
+ expr = convert (const_string_type_node, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ if (!objc_class_ext_template)
+ build_objc_class_ext_template ();
+ ltyp = build_pointer_type (objc_class_ext_template);
+ if (class_ext)
+ expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, class_ext, 0));
+ else
+ expr = convert (ltyp, null_pointer_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ }
+ else
+ {
+ /* sel_id = NULL */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, null_pointer_node);
+
+ /* gc_object_type = NULL */
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, null_pointer_node);
+ }
+ return objc_build_constructor (type, v);
+}
+
+static tree
+generate_ivars_list (tree chain, const char *name, tree attr)
+{
+ tree initlist, ivar_list_template, decl;
+ int size;
+ VEC(constructor_elt,gc) *inits = NULL;
+
+ if (!chain)
+ return NULL_TREE;
+
+ if (!objc_ivar_template)
+ objc_ivar_template = build_ivar_template ();
+
+ size = ivar_list_length (chain);
+
+ generating_instance_variables = 1;
+ ivar_list_template = build_ivar_list_template (objc_ivar_template, size);
+ initlist = build_ivar_list_initializer (objc_ivar_template, chain);
+ generating_instance_variables = 0;
+
+ decl = start_var_decl (ivar_list_template, name);
+
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, build_int_cst (NULL_TREE, size));
+ CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, initlist);
+
+ OBJCMETA (decl, objc_meta, attr);
+ finish_var_decl (decl,
+ objc_build_constructor (TREE_TYPE (decl), inits));
+
+ return decl;
+}
+
+/* static struct objc_class _OBJC_METACLASS_Foo={ ... };
+ static struct objc_class _OBJC_CLASS_Foo={ ... }; */
+
+static void
+generate_v1_class_structs (struct imp_entry *impent)
+{
+ tree name_expr, super_expr, root_expr, class_decl, meta_decl;
+ tree my_root_id, my_super_id;
+ tree cast_type, initlist, protocol_decl;
+ tree class_ext_decl = NULL_TREE, props = NULL_TREE;
+ tree inst_methods = NULL_TREE, class_methods = NULL_TREE;
+ tree chain, inst_ivars = NULL_TREE, class_ivars = NULL_TREE;
+ int cls_flags;
+ location_t loc;
+ char buf[BUFSIZE];
+
+/* objc_implementation_context = impent->imp_context;
+ implementation_template = impent->imp_template;*/
+ class_decl = impent->class_decl;
+ meta_decl = impent->meta_decl;
+ cls_flags = impent->has_cxx_cdtors ? CLS_HAS_CXX_STRUCTORS : 0 ;
+
+ loc = DECL_SOURCE_LOCATION (impent->class_decl);
+
+ if (flag_objc_abi >= 1)
+ {
+ /* ABI=1 additions. */
+ props = generate_v1_property_table (NULL_TREE, impent->imp_context);
+ class_ext_decl = generate_objc_class_ext (props, impent->imp_context);
+ }
+
+ my_super_id = CLASS_SUPER_NAME (impent->imp_template);
+ if (my_super_id)
+ {
+ add_class_reference (my_super_id);
+
+ /* Compute "my_root_id" - this is required for code generation.
+ the "isa" for all meta class structures points to the root of
+ the inheritance hierarchy (e.g. "__Object")... */
+ my_root_id = my_super_id;
+ do
+ {
+ tree my_root_int = lookup_interface (my_root_id);
+
+ if (my_root_int && CLASS_SUPER_NAME (my_root_int))
+ my_root_id = CLASS_SUPER_NAME (my_root_int);
+ else
+ break;
+ }
+ while (1);
+ super_expr = add_objc_string (my_super_id, class_names);
+ }
+ else
+ {
+ /* No super class. */
+ my_root_id = CLASS_NAME (impent->imp_template);
+ super_expr = null_pointer_node;
+ }
+
+ /* Install class `isa' and `super' pointers at runtime. */
+ cast_type = build_pointer_type (objc_class_template);
+ super_expr = build_c_cast (loc, cast_type, super_expr);
+
+ root_expr = add_objc_string (my_root_id, class_names);
+ root_expr = build_c_cast (loc, cast_type, root_expr);
+
+ if (CLASS_PROTOCOL_LIST (impent->imp_template))
+ {
+ generate_protocol_references (CLASS_PROTOCOL_LIST (impent->imp_template));
+ protocol_decl = generate_v1_protocol_list (impent->imp_template,
+ impent->imp_context);
+ }
+ else
+ protocol_decl = NULL_TREE;
+
+ if (CLASS_CLS_METHODS (impent->imp_context))
+ {
+ snprintf (buf, BUFSIZE, "_OBJC_ClassMethods_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+ class_methods = generate_dispatch_table (CLASS_CLS_METHODS (impent->imp_context),
+ buf, meta_clac_meth);
+ }
+
+ if (CLASS_SUPER_NAME (impent->imp_template) == NULL_TREE
+ && (chain = TYPE_FIELDS (objc_class_template)))
+ {
+ snprintf (buf, BUFSIZE, "_OBJC_ClassIvars_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+ class_ivars = generate_ivars_list (chain, buf, meta_clac_vars);
+ }
+ /* TODO: get rid of hidden passing of stuff in globals. */
+ /* UOBJC_INSTANCE/CLASS_Variables_decl made in generate_ivarlists(). */
+
+ name_expr = add_objc_string (CLASS_NAME (impent->imp_template), class_names);
+
+ /* static struct objc_class _OBJC_METACLASS_Foo = { ... }; */
+
+ initlist = build_v1_shared_structure_initializer
+ (TREE_TYPE (meta_decl),
+ root_expr, super_expr, name_expr,
+ convert (integer_type_node, TYPE_SIZE_UNIT (objc_class_template)),
+ CLS_META, class_methods, class_ivars,
+ protocol_decl, NULL_TREE);
+
+ finish_var_decl (meta_decl, initlist);
+ impent->meta_decl = meta_decl;
+
+ /* static struct objc_class _OBJC_CLASS_Foo={ ... }; */
+ if (CLASS_NST_METHODS (impent->imp_context))
+ {
+ snprintf (buf, BUFSIZE, "_OBJC_InstanceMethods_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+ inst_methods = generate_dispatch_table (CLASS_NST_METHODS (impent->imp_context),
+ buf, meta_clai_meth);
+ }
+
+ if ((chain = CLASS_IVARS (impent->imp_template)))
+ {
+ snprintf (buf, BUFSIZE, "_OBJC_InstanceIvars_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+ inst_ivars = generate_ivars_list (chain, buf, meta_clai_vars);
+ }
+
+ initlist = build_v1_shared_structure_initializer
+ (TREE_TYPE (class_decl),
+ build_unary_op (loc, ADDR_EXPR, meta_decl, 0),
+ super_expr, name_expr,
+ convert (integer_type_node,
+ TYPE_SIZE_UNIT (CLASS_STATIC_TEMPLATE (impent->imp_template))),
+ CLS_FACTORY | cls_flags, inst_methods, inst_ivars,
+ protocol_decl, class_ext_decl);
+
+ finish_var_decl (class_decl, initlist);
+ impent->class_decl = class_decl;
+}
+
+/* --- Output NeXT V1 Metadata --- */
+
+/* Create the initial value for the `defs' field of _objc_symtab.
+ This is a CONSTRUCTOR. */
+
+static tree
+init_def_list (tree type)
+{
+ tree expr;
+ location_t loc;
+ struct imp_entry *impent;
+ VEC(constructor_elt,gc) *v = NULL;
+
+ if (imp_count)
+ for (impent = imp_list; impent; impent = impent->next)
+ {
+ if (TREE_CODE (impent->imp_context) == CLASS_IMPLEMENTATION_TYPE)
+ {
+ loc = DECL_SOURCE_LOCATION (impent->class_decl);
+ expr = build_unary_op (loc,
+ ADDR_EXPR, impent->class_decl, 0);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ }
+ }
+
+ if (cat_count)
+ for (impent = imp_list; impent; impent = impent->next)
+ {
+ if (TREE_CODE (impent->imp_context) == CATEGORY_IMPLEMENTATION_TYPE)
+ {
+ loc = DECL_SOURCE_LOCATION (impent->class_decl);
+ expr = build_unary_op (loc,
+ ADDR_EXPR, impent->class_decl, 0);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, expr);
+ }
+ }
+
+ return objc_build_constructor (type, v);
+}
+
+/* Take care of defining and initializing _OBJC_SYMBOLS. */
+
+/* Predefine the following data type:
+
+ struct _objc_symtab
+ {
+ long sel_ref_cnt;
+ SEL *refs;
+ short cls_def_cnt;
+ short cat_def_cnt;
+ void *defs[cls_def_cnt + cat_def_cnt];
+ }; */
+
+static void
+build_objc_symtab_template (void)
+{
+ tree fields, *chain = NULL;
+
+ objc_symtab_template = objc_start_struct (get_identifier (UTAG_SYMTAB));
+
+ /* long sel_ref_cnt; */
+ fields = add_field_decl (long_integer_type_node, "sel_ref_cnt", &chain);
+
+ /* SEL *refs; */
+ add_field_decl (build_pointer_type (objc_selector_type), "refs", &chain);
+
+ /* short cls_def_cnt; */
+ add_field_decl (short_integer_type_node, "cls_def_cnt", &chain);
+
+ /* short cat_def_cnt; */
+ add_field_decl (short_integer_type_node, "cat_def_cnt", &chain);
+
+ if (imp_count || cat_count)
+ {
+ /* void *defs[imp_count + cat_count (+ 1)]; */
+ /* NB: The index is one less than the size of the array. */
+ int index = imp_count + cat_count;
+ tree array_type = build_sized_array_type (ptr_type_node, index);
+ add_field_decl (array_type, "defs", &chain);
+ }
+
+ objc_finish_struct (objc_symtab_template, fields);
+}
+/* Construct the initial value for all of _objc_symtab. */
+
+static tree
+init_objc_symtab (tree type)
+{
+ VEC(constructor_elt,gc) *v = NULL;
+
+ /* sel_ref_cnt = { ..., 5, ... } */
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ build_int_cst (long_integer_type_node, 0));
+
+ /* refs = { ..., _OBJC_SELECTOR_TABLE, ... } */
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ convert (build_pointer_type (objc_selector_type),
+ integer_zero_node));
+
+ /* cls_def_cnt = { ..., 5, ... } */
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ build_int_cst (short_integer_type_node, imp_count));
+
+ /* cat_def_cnt = { ..., 5, ... } */
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+ build_int_cst (short_integer_type_node, cat_count));
+
+ /* cls_def = { ..., { &Foo, &Bar, ...}, ... } */
+
+ if (imp_count || cat_count)
+ {
+ tree field = TYPE_FIELDS (type);
+ field = DECL_CHAIN (DECL_CHAIN (DECL_CHAIN (DECL_CHAIN (field))));
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, init_def_list (TREE_TYPE (field)));
+ }
+
+ return objc_build_constructor (type, v);
+}
+
+/* Create the declaration of _OBJC_SYMBOLS, with type `struct _objc_symtab'
+ and initialized appropriately. */
+
+static void
+generate_objc_symtab_decl (void)
+{
+ build_objc_symtab_template ();
+ UOBJC_SYMBOLS_decl = start_var_decl (objc_symtab_template, "_OBJC_Symbols");
+ /* Allow the runtime to mark meta-data such that it can be assigned to target
+ specific sections by the back-end. */
+ OBJCMETA (UOBJC_SYMBOLS_decl, objc_meta, meta_symtab);
+ finish_var_decl (UOBJC_SYMBOLS_decl,
+ init_objc_symtab (TREE_TYPE (UOBJC_SYMBOLS_decl)));
+}
+
+
+static void
+handle_next_class_ref (tree chain)
+{
+ const char *name = IDENTIFIER_POINTER (TREE_VALUE (chain));
+ char *string = (char *) alloca (strlen (name) + 30);
+
+ sprintf (string, ".objc_class_name_%s", name);
+
+#ifdef ASM_DECLARE_UNRESOLVED_REFERENCE
+ ASM_DECLARE_UNRESOLVED_REFERENCE (asm_out_file, string);
+#else
+ return ; /* NULL build for targets other than Darwin. */
+#endif
+}
+
+static void
+handle_next_impent (struct imp_entry *impent)
+{
+ char buf[BUFSIZE];
+
+ switch (TREE_CODE (impent->imp_context))
+ {
+ case CLASS_IMPLEMENTATION_TYPE:
+ snprintf (buf, BUFSIZE, ".objc_class_name_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+ break;
+ case CATEGORY_IMPLEMENTATION_TYPE:
+ snprintf (buf, BUFSIZE, "*.objc_category_name_%s_%s",
+ IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)),
+ IDENTIFIER_POINTER (CLASS_SUPER_NAME (impent->imp_context)));
+ break;
+ default:
+ return;
+ }
+
+#ifdef ASM_DECLARE_CLASS_REFERENCE
+ ASM_DECLARE_CLASS_REFERENCE (asm_out_file, buf);
+#else
+ return ; /* NULL build for targets other than Darwin. */
+#endif
+}
+
+static void
+generate_classref_translation_entry (tree chain)
+{
+ tree expr, decl, type;
+
+ decl = TREE_PURPOSE (chain);
+ type = TREE_TYPE (decl);
+
+ expr = add_objc_string (TREE_VALUE (chain), class_names);
+ expr = convert (type, expr); /* cast! */
+
+ /* This is a class reference. It is re-written by the runtime,
+ but will be optimized away unless we force it. */
+ DECL_PRESERVE_P (decl) = 1;
+ OBJCMETA (decl, objc_meta, meta_class_reference);
+ finish_var_decl (decl, expr);
+ return;
+}
+
+
+/* The Fix-and-Continue functionality available in Mac OS X 10.3 and
+ later requires that ObjC translation units participating in F&C be
+ specially marked. The following routine accomplishes this. */
+
+/* static int _OBJC_IMAGE_INFO[2] = { 0, 1 }; */
+
+static void
+generate_objc_image_info (void)
+{
+ tree decl;
+ int flags
+ = ((flag_replace_objc_classes && imp_count ? 1 : 0)
+ | (flag_objc_gc ? 2 : 0));
+ VEC(constructor_elt,gc) *v = NULL;
+ tree array_type;
+
+ array_type = build_sized_array_type (integer_type_node, 2);
+
+ decl = start_var_decl (array_type, "_OBJC_ImageInfo");
+
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, integer_zero_node);
+ CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (integer_type_node, flags));
+ /* The runtime wants this and refers to it in a manner hidden from the compiler.
+ So we must force the output. */
+ DECL_PRESERVE_P (decl) = 1;
+ OBJCMETA (decl, objc_meta, meta_info);
+ finish_var_decl (decl, objc_build_constructor (TREE_TYPE (decl), v));
+}
+
+static void
+objc_generate_v1_next_metadata (void)
+{
+ struct imp_entry *impent;
+ tree chain, attr;
+ long vers;
+
+ /* FIXME: Make sure that we generate no metadata if there is nothing
+ to put into it. */
+
+ if (objc_static_instances)
+ gcc_unreachable (); /* Not for NeXT */
+
+ build_metadata_templates ();
+ objc_implementation_context =
+ implementation_template =
+ UOBJC_CLASS_decl =
+ UOBJC_METACLASS_decl = NULL_TREE;
+
+ for (impent = imp_list; impent; impent = impent->next)
+ {
+
+ /* If -gen-decls is present, Dump the @interface of each class.
+ TODO: Dump the classes in the order they were found, rather than in
+ reverse order as we are doing now. */
+ if (flag_gen_declaration)
+ dump_interface (gen_declaration_file, impent->imp_context);
+
+ /* all of the following reference the string pool... */
+ if (TREE_CODE (impent->imp_context) == CLASS_IMPLEMENTATION_TYPE)
+ generate_v1_class_structs (impent);
+ else
+ generate_v1_category (impent);
+ }
+
+ /* If we are using an array of selectors, we must always
+ finish up the array decl even if no selectors were used. */
+ build_next_selector_translation_table ();
+
+ if (protocol_chain)
+ generate_v1_protocols ();
+
+ /* Pass summary information to the runtime. */
+ if (imp_count || cat_count)
+ generate_objc_symtab_decl ();
+
+ vers = OBJC_VERSION;
+ attr = build_tree_list (objc_meta, meta_modules);
+ build_module_descriptor (vers, attr);
+
+ /* This conveys information on GC usage and zero-link. */
+ generate_objc_image_info ();
+
+ /* Dump the class references. This forces the appropriate classes
+ to be linked into the executable image, preserving unix archive
+ semantics. This can be removed when we move to a more dynamically
+ linked environment. */
+
+ for (chain = cls_ref_chain; chain; chain = TREE_CHAIN (chain))
+ {
+ handle_next_class_ref (chain);
+ if (TREE_PURPOSE (chain))
+ generate_classref_translation_entry (chain);
+ }
+
+ for (impent = imp_list; impent; impent = impent->next)
+ handle_next_impent (impent);
+
+ /* Emit the strings tables. */
+ generate_strings ();
+}
+
+/* --- exceptions stuff --- */
+
+/* Predefine the following data type:
+
+ struct _objc_exception_data
+ {
+ int buf[OBJC_JBLEN];
+ void *pointers[4];
+ }; */
+
+/* The following yuckiness should prevent users from having to #include
+ <setjmp.h> in their code... */
+
+/* Define to a harmless positive value so the below code doesn't die. */
+#ifndef OBJC_JBLEN
+#define OBJC_JBLEN 18
+#endif
+
+static void
+build_next_objc_exception_stuff (void)
+{
+ tree decls, temp_type, *chain = NULL;
+
+ objc_exception_data_template
+ = objc_start_struct (get_identifier (UTAG_EXCDATA));
+
+ /* int buf[OBJC_JBLEN]; */
+
+ temp_type = build_sized_array_type (integer_type_node, OBJC_JBLEN);
+ decls = add_field_decl (temp_type, "buf", &chain);
+
+ /* void *pointers[4]; */
+
+ temp_type = build_sized_array_type (ptr_type_node, 4);
+ add_field_decl (temp_type, "pointers", &chain);
+
+ objc_finish_struct (objc_exception_data_template, decls);
+
+ /* int _setjmp(...); */
+ /* If the user includes <setjmp.h>, this shall be superseded by
+ 'int _setjmp(jmp_buf);' */
+ temp_type = build_varargs_function_type_list (integer_type_node, NULL_TREE);
+ objc_setjmp_decl
+ = add_builtin_function (TAG_SETJMP, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
+
+ /* id objc_exception_extract(struct _objc_exception_data *); */
+ temp_type
+ = build_function_type_list (objc_object_type,
+ build_pointer_type (objc_exception_data_template),
+ NULL_TREE);
+ objc_exception_extract_decl
+ = add_builtin_function (TAG_EXCEPTIONEXTRACT, temp_type, 0, NOT_BUILT_IN, NULL,
+ NULL_TREE);
+ /* void objc_exception_try_enter(struct _objc_exception_data *); */
+ /* void objc_exception_try_exit(struct _objc_exception_data *); */
+ temp_type
+ = build_function_type_list (void_type_node,
+ build_pointer_type (objc_exception_data_template),
+ NULL_TREE);
+ objc_exception_try_enter_decl
+ = add_builtin_function (TAG_EXCEPTIONTRYENTER, temp_type, 0, NOT_BUILT_IN, NULL,
+ NULL_TREE);
+ objc_exception_try_exit_decl
+ = add_builtin_function (TAG_EXCEPTIONTRYEXIT, temp_type, 0, NOT_BUILT_IN, NULL,
+ NULL_TREE);
+
+ /* int objc_exception_match(id, id); */
+ temp_type
+ = build_function_type_list (integer_type_node,
+ objc_object_type, objc_object_type, NULL_TREE);
+ objc_exception_match_decl
+ = add_builtin_function (TAG_EXCEPTIONMATCH, temp_type, 0, NOT_BUILT_IN, NULL,
+ NULL_TREE);
+
+ /* id objc_assign_ivar (id, id, unsigned int); */
+ /* id objc_assign_ivar_Fast (id, id, unsigned int)
+ __attribute__ ((hard_coded_address (OFFS_ASSIGNIVAR_FAST))); */
+ temp_type
+ = build_function_type_list (objc_object_type,
+ objc_object_type,
+ objc_object_type,
+ unsigned_type_node,
+ NULL_TREE);
+ objc_assign_ivar_decl
+ = add_builtin_function (TAG_ASSIGNIVAR, temp_type, 0, NOT_BUILT_IN,
+ NULL, NULL_TREE);
+#ifdef OFFS_ASSIGNIVAR_FAST
+ objc_assign_ivar_fast_decl
+ = add_builtin_function (TAG_ASSIGNIVAR_FAST, temp_type, 0,
+ NOT_BUILT_IN, NULL, NULL_TREE);
+ DECL_ATTRIBUTES (objc_assign_ivar_fast_decl)
+ = tree_cons (get_identifier ("hard_coded_address"),
+ build_int_cst (NULL_TREE, OFFS_ASSIGNIVAR_FAST),
+ NULL_TREE);
+#else
+ /* Default to slower ivar method. */
+ objc_assign_ivar_fast_decl = objc_assign_ivar_decl;
+#endif
+
+ /* id objc_assign_global (id, id *); */
+ /* id objc_assign_strongCast (id, id *); */
+ temp_type = build_function_type_list (objc_object_type,
+ objc_object_type,
+ build_pointer_type (objc_object_type),
+ NULL_TREE);
+ objc_assign_global_decl
+ = add_builtin_function (TAG_ASSIGNGLOBAL, temp_type, 0, NOT_BUILT_IN, NULL,
+ NULL_TREE);
+ objc_assign_strong_cast_decl
+ = add_builtin_function (TAG_ASSIGNSTRONGCAST, temp_type, 0, NOT_BUILT_IN, NULL,
+ NULL_TREE);
+}
+
+/* --- NeXT V1 SJLJ Exceptions --- */
+
+/* Build "objc_exception_try_exit(&_stack)". */
+
+static tree
+next_sjlj_build_try_exit (struct objc_try_context **ctcp)
+{
+ tree t;
+ t = build_fold_addr_expr_loc (input_location, (*ctcp)->stack_decl);
+ t = tree_cons (NULL, t, NULL);
+ t = build_function_call (input_location,
+ objc_exception_try_exit_decl, t);
+ return t;
+}
+
+/* Build
+ objc_exception_try_enter (&_stack);
+ if (_setjmp(&_stack.buf))
+ ;
+ else
+ ;
+ Return the COND_EXPR. Note that the THEN and ELSE fields are left
+ empty, ready for the caller to fill them in. */
+
+static tree
+next_sjlj_build_enter_and_setjmp (struct objc_try_context **ctcp)
+{
+ tree t, enter, sj, cond;
+
+ t = build_fold_addr_expr_loc (input_location, (*ctcp)->stack_decl);
+ t = tree_cons (NULL, t, NULL);
+ enter = build_function_call (input_location,
+ objc_exception_try_enter_decl, t);
+
+ t = objc_build_component_ref ((*ctcp)->stack_decl,
+ get_identifier ("buf"));
+ t = build_fold_addr_expr_loc (input_location, t);
+#ifdef OBJCPLUS
+ /* Convert _setjmp argument to type that is expected. */
+ if (prototype_p (TREE_TYPE (objc_setjmp_decl)))
+ t = convert (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (objc_setjmp_decl))), t);
+ else
+ t = convert (ptr_type_node, t);
+#else
+ t = convert (ptr_type_node, t);
+#endif
+ t = tree_cons (NULL, t, NULL);
+ sj = build_function_call (input_location,
+ objc_setjmp_decl, t);
+
+ cond = build2 (COMPOUND_EXPR, TREE_TYPE (sj), enter, sj);
+ cond = c_common_truthvalue_conversion (input_location, cond);
+
+ return build3 (COND_EXPR, void_type_node, cond, NULL, NULL);
+}
+
+/* Build:
+
+ DECL = objc_exception_extract(&_stack); */
+
+static tree
+next_sjlj_build_exc_extract (struct objc_try_context **ctcp, tree decl)
+{
+ tree t;
+
+ t = build_fold_addr_expr_loc (input_location, (*ctcp)->stack_decl);
+ t = tree_cons (NULL, t, NULL);
+ t = build_function_call (input_location,
+ objc_exception_extract_decl, t);
+ t = convert (TREE_TYPE (decl), t);
+ t = build2 (MODIFY_EXPR, void_type_node, decl, t);
+
+ return t;
+}
+
+/* Build
+ if (objc_exception_match(obj_get_class(TYPE), _caught)
+ BODY
+ else if (...)
+ ...
+ else
+ {
+ _rethrow = _caught;
+ objc_exception_try_exit(&_stack);
+ }
+ from the sequence of CATCH_EXPRs in the current try context. */
+
+static tree
+next_sjlj_build_catch_list (struct objc_try_context **ctcp)
+{
+ tree_stmt_iterator i = tsi_start ((*ctcp)->catch_list);
+ tree catch_seq, t;
+ tree *last = &catch_seq;
+ bool saw_id = false;
+
+ for (; !tsi_end_p (i); tsi_next (&i))
+ {
+ tree stmt = tsi_stmt (i);
+ tree type = CATCH_TYPES (stmt);
+ tree body = CATCH_BODY (stmt);
+
+ if (type != error_mark_node
+ && objc_is_object_id (TREE_TYPE (type)))
+ {
+ *last = body;
+ saw_id = true;
+ break;
+ }
+ else
+ {
+ tree args, cond;
+
+ if (type == error_mark_node)
+ cond = error_mark_node;
+ else
+ {
+ args = tree_cons (NULL, (*ctcp)->caught_decl, NULL);
+ t = objc_get_class_reference (OBJC_TYPE_NAME (TREE_TYPE (type)));
+ args = tree_cons (NULL, t, args);
+ t = build_function_call (input_location,
+ objc_exception_match_decl, args);
+ cond = c_common_truthvalue_conversion (input_location, t);
+ }
+ t = build3 (COND_EXPR, void_type_node, cond, body, NULL);
+ SET_EXPR_LOCATION (t, EXPR_LOCATION (stmt));
+
+ *last = t;
+ last = &COND_EXPR_ELSE (t);
+ }
+ }
+
+ if (!saw_id)
+ {
+ t = build2 (MODIFY_EXPR, void_type_node, (*ctcp)->rethrow_decl,
+ (*ctcp)->caught_decl);
+ SET_EXPR_LOCATION (t, (*ctcp)->end_catch_locus);
+ append_to_statement_list (t, last);
+
+ t = next_sjlj_build_try_exit (ctcp);
+ SET_EXPR_LOCATION (t, (*ctcp)->end_catch_locus);
+ append_to_statement_list (t, last);
+ }
+
+ return catch_seq;
+}
+
+/* Build a complete @try-@catch-@finally block for legacy Darwin setjmp
+ exception handling. We aim to build:
+
+ {
+ struct _objc_exception_data _stack;
+ id _rethrow = 0;
+ try
+ {
+ objc_exception_try_enter (&_stack);
+ if (_setjmp(&_stack.buf))
+ {
+ id _caught = objc_exception_extract(&_stack);
+ objc_exception_try_enter (&_stack);
+ if (_setjmp(&_stack.buf))
+ _rethrow = objc_exception_extract(&_stack);
+ else
+ CATCH-LIST
+ }
+ else
+ TRY-BLOCK
+ }
+ finally
+ {
+ if (!_rethrow)
+ objc_exception_try_exit(&_stack);
+ FINALLY-BLOCK
+ if (_rethrow)
+ objc_exception_throw(_rethrow);
+ }
+ }
+
+ If CATCH-LIST is empty, we can omit all of the block containing
+ "_caught" except for the setting of _rethrow. Note the use of
+ a real TRY_FINALLY_EXPR here, which is not involved in EH per-se,
+ but handles goto and other exits from the block. */
+
+static tree
+next_sjlj_build_try_catch_finally (struct objc_try_context **ctcp)
+{
+ tree rethrow_decl, stack_decl, t;
+ tree catch_seq, try_fin, bind;
+ struct objc_try_context *cur_try_context = *ctcp;
+
+ /* Create the declarations involved. */
+ t = xref_tag (RECORD_TYPE, get_identifier (UTAG_EXCDATA));
+ stack_decl = objc_create_temporary_var (t, NULL);
+ cur_try_context->stack_decl = stack_decl;
+
+ rethrow_decl = objc_create_temporary_var (objc_object_type, NULL);
+ cur_try_context->rethrow_decl = rethrow_decl;
+ TREE_CHAIN (rethrow_decl) = stack_decl;
+
+ /* Build the outermost variable binding level. */
+ bind = build3 (BIND_EXPR, void_type_node, rethrow_decl, NULL, NULL);
+ SET_EXPR_LOCATION (bind, cur_try_context->try_locus);
+ TREE_SIDE_EFFECTS (bind) = 1;
+
+ /* Initialize rethrow_decl. */
+ t = build2 (MODIFY_EXPR, void_type_node, rethrow_decl,
+ convert (objc_object_type, null_pointer_node));
+ SET_EXPR_LOCATION (t, cur_try_context->try_locus);
+ append_to_statement_list (t, &BIND_EXPR_BODY (bind));
+
+ /* Build the outermost TRY_FINALLY_EXPR. */
+ try_fin = build2 (TRY_FINALLY_EXPR, void_type_node, NULL, NULL);
+ SET_EXPR_LOCATION (try_fin, cur_try_context->try_locus);
+ TREE_SIDE_EFFECTS (try_fin) = 1;
+ append_to_statement_list (try_fin, &BIND_EXPR_BODY (bind));
+
+ /* Create the complete catch sequence. */
+ if (cur_try_context->catch_list)
+ {
+ tree caught_decl = objc_build_exc_ptr (ctcp);
+ catch_seq = build_stmt (input_location, BIND_EXPR, caught_decl, NULL, NULL);
+ TREE_SIDE_EFFECTS (catch_seq) = 1;
+
+ t = next_sjlj_build_exc_extract (ctcp, caught_decl);
+ append_to_statement_list (t, &BIND_EXPR_BODY (catch_seq));
+
+ t = next_sjlj_build_enter_and_setjmp (ctcp);
+ COND_EXPR_THEN (t) = next_sjlj_build_exc_extract (ctcp, rethrow_decl);
+ COND_EXPR_ELSE (t) = next_sjlj_build_catch_list (ctcp);
+ append_to_statement_list (t, &BIND_EXPR_BODY (catch_seq));
+ }
+ else
+ catch_seq = next_sjlj_build_exc_extract (ctcp, rethrow_decl);
+ SET_EXPR_LOCATION (catch_seq, cur_try_context->end_try_locus);
+
+ /* Build the main register-and-try if statement. */
+ t = next_sjlj_build_enter_and_setjmp (ctcp);
+ SET_EXPR_LOCATION (t, cur_try_context->try_locus);
+ COND_EXPR_THEN (t) = catch_seq;
+ COND_EXPR_ELSE (t) = cur_try_context->try_body;
+ TREE_OPERAND (try_fin, 0) = t;
+
+ /* Build the complete FINALLY statement list. */
+ t = next_sjlj_build_try_exit (ctcp);
+ t = build_stmt (input_location, COND_EXPR,
+ c_common_truthvalue_conversion
+ (input_location, rethrow_decl),
+ NULL, t);
+ SET_EXPR_LOCATION (t, cur_try_context->finally_locus);
+ append_to_statement_list (t, &TREE_OPERAND (try_fin, 1));
+
+ append_to_statement_list (cur_try_context->finally_body,
+ &TREE_OPERAND (try_fin, 1));
+
+ t = tree_cons (NULL, rethrow_decl, NULL);
+ t = build_function_call (input_location,
+ objc_exception_throw_decl, t);
+ t = build_stmt (input_location, COND_EXPR,
+ c_common_truthvalue_conversion (input_location,
+ rethrow_decl),
+ t, NULL);
+ SET_EXPR_LOCATION (t, cur_try_context->end_finally_locus);
+ append_to_statement_list (t, &TREE_OPERAND (try_fin, 1));
+
+ return bind;
+}
+
+/* We do not expect this to be used at the moment.
+ If (a) it is possible to implement unwinder exceptions.
+ (b) we do it... then it might be possibly useful.
+*/
+static GTY(()) tree objc_eh_personality_decl;
+
+static tree
+objc_eh_runtime_type (tree type)
+{
+ tree ident, eh_id, decl, str;
+
+ gcc_unreachable ();
+ if (type == error_mark_node)
+ {
+ /* Use 'ErrorMarkNode' as class name when error_mark_node is found
+ to prevent an ICE. Note that we know that the compiler will
+ terminate with an error and this 'ErrorMarkNode' class name will
+ never be actually used. */
+ ident = get_identifier ("ErrorMarkNode");
+ goto make_err_class;
+ }
+
+ if (POINTER_TYPE_P (type) && objc_is_object_id (TREE_TYPE (type)))
+ {
+ ident = get_identifier ("id");
+ goto make_err_class;
+ }
+
+ if (!POINTER_TYPE_P (type) || !TYPED_OBJECT (TREE_TYPE (type)))
+ {
+#ifdef OBJCPLUS
+ /* This routine is also called for c++'s catch clause; in which case,
+ we use c++'s typeinfo decl. */
+ return build_eh_type_type (type);
+#else
+ error ("non-objective-c type '%T' cannot be caught", type);
+ ident = get_identifier ("ErrorMarkNode");
+ goto make_err_class;
+#endif
+ }
+ else
+ ident = OBJC_TYPE_NAME (TREE_TYPE (type));
+
+make_err_class:
+ /* If this class was already referenced, then it will be output during
+ meta-data emission, so we don't need to do it here. */
+ decl = get_objc_string_decl (ident, class_names);
+ eh_id = add_objc_string (ident, class_names);
+ if (!decl)
+ {
+ /* Not found ... so we need to build it - from the freshly-entered id. */
+ decl = get_objc_string_decl (ident, class_names);
+ str = my_build_string (IDENTIFIER_LENGTH (ident) + 1,
+ IDENTIFIER_POINTER (ident));
+ /* We have to finalize this var here, because this might be called after
+ all the other metadata strings have been emitted. */
+ finish_var_decl (decl, str);
+ }
+ return eh_id;
+}
+
+/* For NeXT ABI 0 and 1, the personality routines are just those of the
+ underlying language. */
+
+static tree
+objc_eh_personality (void)
+{
+ if (!objc_eh_personality_decl)
+#ifndef OBJCPLUS
+ objc_eh_personality_decl = build_personality_function ("gcc");
+#else
+ objc_eh_personality_decl = build_personality_function ("gxx");
+#endif
+ return objc_eh_personality_decl;
+}
+
+/* --- interfaces --- */
+
+static tree
+build_throw_stmt (location_t loc, tree throw_expr, bool rethrown ATTRIBUTE_UNUSED)
+{
+ tree t;
+ VEC(tree, gc) *parms = VEC_alloc (tree, gc, 1);
+ /* A throw is just a call to the runtime throw function with the
+ object as a parameter. */
+ VEC_quick_push (tree, parms, throw_expr);
+ t = build_function_call_vec (loc, objc_exception_throw_decl, parms, NULL);
+ VEC_free (tree, gc, parms);
+ return add_stmt (t);
+}
+
+/* Build __builtin_eh_pointer, or the moral equivalent. In the case
+ of Darwin, we'll arrange for it to be initialized (and associated
+ with a binding) later. */
+
+static tree
+objc_build_exc_ptr (struct objc_try_context **cur_try_context)
+{
+ if (flag_objc_sjlj_exceptions)
+ {
+ tree var = (*cur_try_context)->caught_decl;
+ if (!var)
+ {
+ var = objc_create_temporary_var (objc_object_type, NULL);
+ (*cur_try_context)->caught_decl = var;
+ }
+ return var;
+ }
+ else
+ {
+ tree t;
+ t = built_in_decls[BUILT_IN_EH_POINTER];
+ t = build_call_expr (t, 1, integer_zero_node);
+ return fold_convert (objc_object_type, t);
+ }
+}
+
+static tree
+begin_catch (struct objc_try_context **cur_try_context, tree type,
+ tree decl, tree compound, bool ellipsis ATTRIBUTE_UNUSED)
+{
+ tree t;
+ /* Record the data for the catch in the try context so that we can
+ finalize it later. We treat ellipsis the same way as catching
+ with 'id xyz'. */
+ t = build_stmt (input_location, CATCH_EXPR, type, compound);
+ (*cur_try_context)->current_catch = t;
+
+ /* Initialize the decl from the EXC_PTR_EXPR we get from the runtime. */
+ t = objc_build_exc_ptr (cur_try_context);
+ t = convert (TREE_TYPE (decl), t);
+ return build2 (MODIFY_EXPR, void_type_node, decl, t);
+}
+
+static void
+finish_catch (struct objc_try_context **cur_try_context, tree current_catch)
+{
+ append_to_statement_list (current_catch, &((*cur_try_context)->catch_list));
+}
+
+static tree
+finish_try_stmt (struct objc_try_context **cur_try_context)
+{
+ tree stmt;
+ struct objc_try_context *c = *cur_try_context;
+ /* If we're doing Darwin setjmp exceptions, build the big nasty. */
+ if (flag_objc_sjlj_exceptions)
+ {
+ bool save = in_late_binary_op;
+ in_late_binary_op = true;
+ if (!c->finally_body)
+ {
+ c->finally_locus = input_location;
+ c->end_finally_locus = input_location;
+ }
+ stmt = next_sjlj_build_try_catch_finally (cur_try_context);
+ in_late_binary_op = save;
+ }
+ else
+ /* This doesn't happen at the moment... but maybe one day... */
+ {
+ /* Otherwise, nest the CATCH inside a FINALLY. */
+ stmt = c->try_body;
+ if (c->catch_list)
+ stmt = build_stmt (c->try_locus, TRY_CATCH_EXPR, stmt, c->catch_list);
+ if (c->finally_body)
+ stmt = build_stmt (c->try_locus, TRY_FINALLY_EXPR, stmt, c->finally_body);
+ }
+ return stmt;
+}
+
+#include "gt-objc-objc-next-runtime-abi-01.h"