--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/objc/objc-next-runtime-abi-02.c	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,3735 @@
+/* Next Runtime (ABI-2) private.
+   Copyright (C) 2011-2017 Free Software Foundation, Inc.
+
+   Contributed by Iain Sandoe and based, in part, on an implementation in
+   'branches/apple/trunk' contributed by Apple Computer Inc.
+
+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/>.  */
+
+/* The NeXT ABI2 is used for m64 implementations on Darwin/OSX machines.
+
+   This version is intended to match (logically) the output of Apple's
+   4.2.1 compiler.  */
+
+#include "config.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tree.h"
+#include "stringpool.h"
+#include "attribs.h"
+
+#ifdef OBJCPLUS
+#include "cp/cp-tree.h"
+#else
+#include "c/c-tree.h"
+#include "c/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 "target.h"
+#include "tree-iterator.h"
+
+#include "objc-runtime-hooks.h"
+#include "objc-runtime-shared-support.h"
+#include "objc-encoding.h"
+
+/* ABI 2 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"
+
+#define TAG_NEXT_EHVTABLE_NAME	"objc_ehtype_vtable"
+#define TAG_V2_EH_TYPE		"objc_ehtype_t"
+
+#define UTAG_V2_CLASS		"_class_t"
+#define UTAG_V2_CLASS_RO	"_class_ro_t"
+#define UTAG_V2_PROTOCOL	"_protocol_t"
+#define UTAG_V2_PROTOCOL_LIST	"_protocol_list_t"
+
+#define UTAG_V2_EH_TYPE		"_objc_ehtype_t"
+
+#define OBJC2_CLS_HAS_CXX_STRUCTORS	0x0004L
+
+enum objc_v2_tree_index
+{
+  /* Templates.  */
+  OCTI_V2_CLS_TEMPL,
+  OCTI_V2_CAT_TEMPL,
+  OCTI_V2_CLS_RO_TEMPL,
+  OCTI_V2_PROTO_TEMPL,
+  OCTI_V2_IVAR_TEMPL,
+  OCTI_V2_IVAR_LIST_TEMPL,
+  OCTI_V2_MESSAGE_REF_TEMPL,
+  OCTI_V2_SUPER_MESSAGE_REF_TEMPL,
+
+  OCTI_V2_MESSAGE_SELECTOR_TYPE,
+  OCTI_V2_SUPER_MESSAGE_SELECTOR_TYPE,
+  OCTI_V2_IMP_TYPE,
+  OCTI_V2_SUPER_IMP_TYPE,
+
+  OCTI_V2_CACHE_DECL,
+  OCTI_V2_VTABLE_DECL,
+
+  OCTI_V2_PROPERTY_TEMPL,
+
+  /* V2 messaging.  */
+  OCTI_V2_UMSG_FIXUP_DECL,
+  OCTI_V2_UMSG_STRET_FIXUP_DECL,
+  OCTI_V2_UMSG_ID_FIXUP_DECL,
+  OCTI_V2_UMSG_ID_STRET_FIXUP_DECL,
+  OCTI_V2_UMSG_SUPER2_FIXUP_DECL,
+  OCTI_V2_UMSG_SUPER2_STRET_FIXUP_DECL,
+
+  /* Exceptions - related.  */
+  OCTI_V2_BEGIN_CATCH_DECL,
+  OCTI_V2_END_CATCH_DECL,
+  OCTI_V2_RETHROW_DECL,
+
+  OCTI_V2_MAX
+};
+
+#define objc_v2_class_template	objc_v2_global_trees[OCTI_V2_CLS_TEMPL]
+#define objc_v2_class_ro_template \
+				objc_v2_global_trees[OCTI_V2_CLS_RO_TEMPL]
+#define objc_v2_category_template \
+				objc_v2_global_trees[OCTI_V2_CAT_TEMPL]
+#define objc_v2_protocol_template \
+				objc_v2_global_trees[OCTI_V2_PROTO_TEMPL]
+
+/* struct message_ref_t */
+#define objc_v2_message_ref_template \
+				objc_v2_global_trees[OCTI_V2_MESSAGE_REF_TEMPL]
+
+#define objc_v2_ivar_list_ptr	objc_v2_global_trees[OCTI_V2_IVAR_LIST_TEMPL]
+
+/* struct super_message_ref_t */
+#define objc_v2_super_message_ref_template \
+				objc_v2_global_trees[OCTI_V2_SUPER_MESSAGE_REF_TEMPL]
+
+/* struct message_ref_t* */
+#define objc_v2_selector_type	objc_v2_global_trees[OCTI_V2_MESSAGE_SELECTOR_TYPE]
+/* struct super_super_message_ref_t */
+#define objc_v2_super_selector_type \
+				objc_v2_global_trees[OCTI_V2_SUPER_MESSAGE_SELECTOR_TYPE]
+#define objc_v2_imp_type	objc_v2_global_trees[OCTI_V2_IMP_TYPE]
+#define objc_v2_super_imp_type	objc_v2_global_trees[OCTI_V2_SUPER_IMP_TYPE]
+
+#define UOBJC_V2_CACHE_decl	objc_v2_global_trees[OCTI_V2_CACHE_DECL]
+#define UOBJC_V2_VTABLE_decl	objc_v2_global_trees[OCTI_V2_VTABLE_DECL]
+
+#define objc_v2_ivar_template	objc_v2_global_trees[OCTI_V2_IVAR_TEMPL]
+#define objc_v2_property_template \
+				objc_v2_global_trees[OCTI_V2_PROPERTY_TEMPL]
+
+/* V2 Messaging */
+
+/* objc_msgSend_fixup_rtp */
+#define umsg_fixup_decl		objc_v2_global_trees[OCTI_V2_UMSG_FIXUP_DECL]
+/* objc_msgSend_stret_fixup_rtp */
+#define umsg_stret_fixup_decl	objc_v2_global_trees[OCTI_V2_UMSG_STRET_FIXUP_DECL]
+/* objc_msgSendId_fixup_rtp */
+#define umsg_id_fixup_decl	objc_v2_global_trees[OCTI_V2_UMSG_ID_FIXUP_DECL]
+/* objc_msgSendId_stret_fixup_rtp */
+#define umsg_id_stret_fixup_decl \
+				objc_v2_global_trees[OCTI_V2_UMSG_ID_STRET_FIXUP_DECL]
+/* objc_msgSendSuper2_fixup_rtp */
+#define umsg_id_super2_fixup_decl \
+				objc_v2_global_trees[OCTI_V2_UMSG_SUPER2_FIXUP_DECL]
+/* objc_msgSendSuper2_stret_fixup_rtp */
+#define umsg_id_super2_stret_fixup_decl \
+				objc_v2_global_trees[OCTI_V2_UMSG_SUPER2_STRET_FIXUP_DECL]
+
+#define objc2_begin_catch_decl	objc_v2_global_trees[OCTI_V2_BEGIN_CATCH_DECL]
+#define objc2_end_catch_decl	objc_v2_global_trees[OCTI_V2_END_CATCH_DECL]
+#define objc_rethrow_exception_decl \
+				objc_v2_global_trees[OCTI_V2_RETHROW_DECL]
+
+/* 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];
+
+/* The OCTI_V2_... enumeration itself is in above.  */
+static GTY(()) tree objc_v2_global_trees[OCTI_V2_MAX];
+
+static void next_runtime_02_initialize (void);
+
+static void build_v2_message_ref_templates (void);
+static void build_v2_class_templates (void);
+static void build_v2_super_template (void);
+static void build_v2_category_template (void);
+static void build_v2_protocol_template (void);
+
+static tree next_runtime_abi_02_super_superclassfield_id (void);
+
+static tree next_runtime_abi_02_class_decl (tree);
+static tree next_runtime_abi_02_metaclass_decl (tree);
+static tree next_runtime_abi_02_category_decl (tree);
+static tree next_runtime_abi_02_protocol_decl (tree);
+static tree next_runtime_abi_02_string_decl (tree, const char *, string_section);
+
+static tree next_runtime_abi_02_get_class_reference (tree);
+static tree next_runtime_abi_02_build_selector_reference (location_t, tree, tree);
+static tree next_runtime_abi_02_get_protocol_reference (location_t, tree);
+static tree next_runtime_abi_02_build_ivar_ref (location_t, tree, tree);
+static tree next_runtime_abi_02_get_class_super_ref (location_t, struct imp_entry *, bool);
+static tree next_runtime_abi_02_get_category_super_ref (location_t, struct imp_entry *, bool);
+
+static tree next_runtime_abi_02_receiver_is_class_object (tree);
+static void next_runtime_abi_02_get_arg_type_list_base (vec<tree, va_gc> **,
+							tree, int, int);
+static tree next_runtime_abi_02_build_objc_method_call (location_t, tree, tree,
+							tree, tree, tree, int);
+static bool next_runtime_abi_02_setup_const_string_class_decl (void);
+static tree next_runtime_abi_02_build_const_string_constructor (location_t, tree, int);
+
+static tree create_extern_decl (tree, const char *);
+
+static void objc_generate_v2_next_metadata (void);
+static bool objc2_objc_exception_attr (tree);
+
+/* void build_v2_protocol_reference (tree);*/
+static void build_v2_ehtype_template (void);
+static void build_v2_eh_catch_objects (void);
+static tree next_runtime_02_eh_type (tree);
+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 **);
+
+/* TODO: Use an objc-map.  */
+static GTY ((length ("SIZEHASHTABLE"))) hash *extern_names;
+
+bool
+objc_next_runtime_abi_02_init (objc_runtime_hooks *rthooks)
+{
+  extern_names = ggc_cleared_vec_alloc<hash> (SIZEHASHTABLE);
+
+  if (flag_objc_exceptions && flag_objc_sjlj_exceptions)
+    {
+      inform (UNKNOWN_LOCATION, "%<-fobjc-sjlj-exceptions%> is ignored for "
+				"%<-fnext-runtime%> when %<-fobjc-abi-version%> >= 2");
+      flag_objc_sjlj_exceptions = 0;
+    }
+
+  rthooks->initialize = next_runtime_02_initialize;
+  rthooks->default_constant_string_class_name = DEF_CONSTANT_STRING_CLASS_NAME;
+  rthooks->tag_getclass = TAG_GETCLASS;
+  rthooks->super_superclassfield_ident = next_runtime_abi_02_super_superclassfield_id;
+
+  rthooks->class_decl = next_runtime_abi_02_class_decl;
+  rthooks->metaclass_decl = next_runtime_abi_02_metaclass_decl;
+  rthooks->category_decl = next_runtime_abi_02_category_decl;
+  rthooks->protocol_decl = next_runtime_abi_02_protocol_decl;
+  rthooks->string_decl = next_runtime_abi_02_string_decl;
+
+  rthooks->get_class_reference = next_runtime_abi_02_get_class_reference;
+  rthooks->build_selector_reference = next_runtime_abi_02_build_selector_reference;
+  rthooks->get_protocol_reference = next_runtime_abi_02_get_protocol_reference;
+  rthooks->build_ivar_reference = next_runtime_abi_02_build_ivar_ref;
+  rthooks->get_class_super_ref = next_runtime_abi_02_get_class_super_ref;
+  rthooks->get_category_super_ref = next_runtime_abi_02_get_category_super_ref;
+
+  rthooks->receiver_is_class_object = next_runtime_abi_02_receiver_is_class_object;
+  rthooks->get_arg_type_list_base = next_runtime_abi_02_get_arg_type_list_base;
+  rthooks->build_objc_method_call = next_runtime_abi_02_build_objc_method_call;
+
+  rthooks->setup_const_string_class_decl =
+				next_runtime_abi_02_setup_const_string_class_decl;
+  rthooks->build_const_string_constructor =
+				next_runtime_abi_02_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_v2_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 when LTO is used with 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_02_init_metadata_attributes (void)
+{
+  if (!objc_meta)
+    objc_meta = get_identifier ("OBJC2META");
+
+  if (!meta_base)
+    meta_base = get_identifier ("V2_BASE");
+
+  meta_class = get_identifier ("G2_CLAS");
+  meta_metaclass = get_identifier ("G2_META");
+  meta_category =
+  meta_protocol = meta_base;
+
+  meta_clac_vars =
+  meta_clai_vars = meta_base;
+
+  meta_clac_meth =
+  meta_clai_meth =
+  meta_catc_meth =
+  meta_cati_meth =
+  meta_proto_cls_meth =
+  meta_proto_nst_meth = meta_base;
+
+  meta_clas_prot =
+  meta_catg_prot = meta_base;
+
+  meta_sel_refs = get_identifier ("V2_SRFS");
+
+  meta_class_name =
+  meta_meth_name =
+  meta_meth_type =
+  meta_prop_name_attr = get_identifier ("V2_STRG");
+
+  meta_mref = get_identifier ("V2_MREF");
+  meta_class_ref = get_identifier ("V2_CLRF");
+  meta_superclass_ref = get_identifier ("V2_SURF");
+
+  meta_label_classlist = get_identifier ("V2_CLAB");
+  meta_label_nonlazy_classlist = get_identifier ("V2_NLCL");
+  meta_label_categorylist = get_identifier ("V2_CALA");
+  meta_label_nonlazy_categorylist = get_identifier ("V2_NLCA");
+
+  meta_label_protocollist = get_identifier ("V2_PLST");
+  meta_proto_ref = get_identifier ("V2_PRFS");
+
+  meta_info = get_identifier ("V2_INFO");
+
+  meta_ehtype = get_identifier ("V2_EHTY");
+
+  meta_const_str = get_identifier ("V2_CSTR");
+}
+
+static void next_runtime_02_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_02_init_metadata_attributes ();
+
+  /* `struct objc_selector *' */
+  objc_selector_type = build_pointer_type (xref_tag (RECORD_TYPE,
+					   get_identifier (TAG_SELECTOR)));
+
+  /* IMP : id (*) (id, _message_ref_t*, ...)
+     SUPER_IMP : id (*) ( super_t*, _super_message_ref_t*, ...)
+     objc_v2_selector_type.  */
+  build_v2_message_ref_templates ();
+
+  objc_v2_ivar_list_ptr =
+		build_pointer_type (xref_tag (RECORD_TYPE,
+				    get_identifier ("_ivar_list_t")));
+
+  objc_prop_list_ptr =
+		build_pointer_type (xref_tag (RECORD_TYPE,
+				    get_identifier ("_prop_list_t")));
+
+  build_v2_class_templates ();
+  build_v2_super_template ();
+  build_v2_protocol_template ();
+  build_v2_category_template ();
+
+  /* id objc_msgSend_fixup_rtp (id, struct message_ref_t*, ...); */
+  type = build_varargs_function_type_list (objc_object_type,
+						   objc_object_type,
+						   objc_v2_selector_type,
+						   NULL_TREE);
+  umsg_fixup_decl =  add_builtin_function ("objc_msgSend_fixup",
+					   type, 0, NOT_BUILT_IN,
+					   NULL, NULL_TREE);
+  TREE_NOTHROW (umsg_fixup_decl) = 0;
+
+  /* id objc_msgSend_stret_fixup_rtp (id, struct message_ref_t*, ...); */
+  umsg_stret_fixup_decl = add_builtin_function ("objc_msgSend_stret_fixup",
+						type, 0, NOT_BUILT_IN,
+						NULL, NULL_TREE);
+  TREE_NOTHROW (umsg_stret_fixup_decl) = 0;
+
+  /* id objc_msgSendId_fixup_rtp (id, struct message_ref_t*, ...); */
+  umsg_id_fixup_decl = add_builtin_function ("objc_msgSendId_fixup",
+					     type, 0, NOT_BUILT_IN,
+					     NULL, NULL_TREE);
+  TREE_NOTHROW (umsg_id_fixup_decl) = 0;
+
+  /* id objc_msgSendId_stret_fixup_rtp
+			(id, struct message_ref_t*, ...); */
+  umsg_id_stret_fixup_decl = add_builtin_function ("objc_msgSendId_stret_fixup",
+						   type, 0, NOT_BUILT_IN,
+						   NULL, NULL_TREE);
+  TREE_NOTHROW (umsg_id_stret_fixup_decl) = 0;
+
+ /* id objc_msgSendSuper2_fixup_rtp
+			(struct objc_super *, struct message_ref_t*, ...); */
+  type = build_varargs_function_type_list (objc_object_type,
+					   objc_super_type,
+					   objc_v2_super_selector_type,
+					   NULL_TREE);
+  umsg_id_super2_fixup_decl = add_builtin_function ("objc_msgSendSuper2_fixup",
+						    type, 0, NOT_BUILT_IN,
+						    NULL, NULL_TREE);
+  TREE_NOTHROW (umsg_id_super2_fixup_decl) = 0;
+
+  /* id objc_msgSendSuper2_stret_fixup_rtp
+			(struct objc_super *, struct message_ref_t*, ...); */
+  umsg_id_super2_stret_fixup_decl =
+			add_builtin_function ("objc_msgSendSuper2_stret_fixup",
+					      type, 0, NOT_BUILT_IN,
+					      NULL, NULL_TREE);
+  TREE_NOTHROW (umsg_id_super2_stret_fixup_decl) = 0;
+
+  /* Present in the library, but unused by the FE.  */
+  /* Protocol *objc_getProtocol (const char *)
+  type = build_function_type_list (objc_protocol_type,
+				   const_string_type_node,
+				   NULL_TREE);
+  objc_v2_getprotocol_decl = add_builtin_function ("objc_getProtocol",
+						    type, 0, NOT_BUILT_IN,
+						    NULL, NULL_TREE);
+  TREE_NOTHROW (objc_v2_getprotocol_decl) = 0;*/
+
+  UOBJC_V2_CACHE_decl = create_extern_decl (ptr_type_node,
+					    "_objc_empty_cache");
+
+  UOBJC_V2_VTABLE_decl = create_extern_decl (objc_v2_imp_type,
+					     "_objc_empty_vtable");
+
+  /* id objc_getClass (const char *); */
+  type = build_function_type_list (objc_object_type,
+                                   const_string_type_node,
+                                   NULL_TREE);
+  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;
+
+  gcc_assert (!flag_objc_sjlj_exceptions);
+
+  /* Although we warn that fobjc-exceptions is required for exceptions
+     code, we carry on and create it anyway.  */
+
+  /* This can be required, even when exceptions code is not present,
+     when an __attribute__((objc_exception)) is applied to a
+     class.  */
+  build_v2_ehtype_template ();
+
+  /* void * objc_begin_catch (void *) */
+  type = build_function_type_list (ptr_type_node,
+				   ptr_type_node, NULL_TREE);
+
+  objc2_begin_catch_decl = add_builtin_function ("objc_begin_catch",
+						 type, 0, NOT_BUILT_IN,
+						 NULL, NULL_TREE);
+  TREE_NOTHROW (objc2_begin_catch_decl) = 0;
+
+  /* void objc_end_catch () */
+  type = build_function_type_list (void_type_node, NULL_TREE);
+  objc2_end_catch_decl = add_builtin_function ("objc_end_catch",
+						type, 0, NOT_BUILT_IN,
+						NULL, NULL_TREE);
+  TREE_NOTHROW (objc2_end_catch_decl) = 0;
+
+  /* void objc_exception_rethrow (void) */
+  objc_rethrow_exception_decl =
+			add_builtin_function ("objc_exception_rethrow",
+					      type, 0, NOT_BUILT_IN,
+					      NULL, NULL_TREE);
+  TREE_NOTHROW (objc_rethrow_exception_decl) = 0;
+  using_eh_for_cleanups ();
+  lang_hooks.eh_runtime_type = next_runtime_02_eh_type;
+  lang_hooks.eh_personality = objc_eh_personality;
+}
+
+/* NOTE --- templates --- */
+
+/* Set 'objc_v2_message_ref_template' to the data type node for
+   'struct _message_ref_t'.  This needs to be done just once per
+   compilation.  Also Set 'objc_v2_super_message_ref_template' to data
+   type node for 'struct _super_message_ref_t'.  */
+
+/* struct _message_ref_t
+   {
+     IMP messenger;
+     SEL name;
+   };
+   where IMP is: id (*) (id, _message_ref_t*, ...)
+*/
+
+/* struct _super_message_ref_t
+   {
+     SUPER_IMP messenger;
+     SEL name;
+   };
+   where SUPER_IMP is: id (*) ( super_t*, _super_message_ref_t*, ...)
+*/
+
+static void
+build_v2_message_ref_templates (void)
+{
+  tree ptr_message_ref_t;
+  tree decls, *chain = NULL;
+
+  /* struct _message_ref_t {...} */
+  objc_v2_message_ref_template =
+		objc_start_struct (get_identifier ("_message_ref_t"));
+
+  /* IMP messenger; */
+  ptr_message_ref_t =
+		build_pointer_type (xref_tag (RECORD_TYPE,
+				    get_identifier ("_message_ref_t")));
+
+  objc_v2_imp_type =
+		build_pointer_type (build_function_type_list
+					(objc_object_type,
+					 objc_object_type,
+					 ptr_message_ref_t,
+					 NULL_TREE));
+
+  decls = add_field_decl (objc_v2_imp_type, "messenger", &chain);
+
+  /* SEL name; */
+  add_field_decl (objc_selector_type, "name", &chain);
+
+  objc_finish_struct (objc_v2_message_ref_template, decls);
+
+  objc_v2_selector_type = build_pointer_type (objc_v2_message_ref_template);
+
+  chain = NULL;
+  /* struct _super_message_ref_t {...} */
+  objc_v2_super_message_ref_template =
+		objc_start_struct (get_identifier ("_super_message_ref_t"));
+
+  /* SUPER_IMP messenger; */
+  ptr_message_ref_t = build_pointer_type
+			(xref_tag (RECORD_TYPE,
+				   get_identifier ("_super_message_ref_t")));
+
+  objc_v2_super_imp_type =
+		build_pointer_type (build_function_type_list
+					(objc_object_type,
+					 objc_super_type,
+					 ptr_message_ref_t,
+					 NULL_TREE));
+
+  add_field_decl (objc_v2_super_imp_type, "messenger", &chain);
+
+  /* SEL name; */
+  add_field_decl (objc_selector_type, "name", &chain);
+
+  objc_finish_struct (objc_v2_super_message_ref_template, decls);
+  objc_v2_super_selector_type =
+		build_pointer_type (objc_v2_super_message_ref_template);
+}
+
+/* Build following types which represent each class implementation.
+
+struct class_ro_t
+{
+    uint32_t const flags;
+    uint32_t const instanceStart;
+    uint32_t const instanceSize;
+#ifdef __LP64__
+    uint32_t const reserved;
+#endif
+    const uint8_t * const ivarLayout;
+    const char *const name;
+    const struct method_list_t * const baseMethods;
+    const struct objc_protocol_list *const baseProtocols;
+    const struct ivar_list_t *const ivars;
+    const uint8_t * const weakIvarLayout;
+    const struct _prop_list_t * const properties;
+};
+
+struct class_t
+{
+    struct class_t *isa;
+    struct class_t *superclass;
+    void *cache;
+    IMP *vtable;
+
+    ...When this is active - it will point to a rw version, but
+       when we build the meta-data we point it to the ro...
+    struct class_ro_t *data;
+};
+
+*/
+
+static void
+build_v2_class_templates (void)
+{
+  tree cnst_strg_type;
+  tree decls, *chain = NULL;
+
+  /* struct class_ro_t {...} */
+  objc_v2_class_ro_template =
+	objc_start_struct (get_identifier (UTAG_V2_CLASS_RO));
+
+  /* uint32_t const flags; */
+  decls = add_field_decl (integer_type_node, "flags", &chain);
+
+  /* uint32_t const instanceStart; */
+  add_field_decl (integer_type_node, "instanceStart", &chain);
+
+  /* uint32_t const instanceSize; */
+  add_field_decl (integer_type_node, "instanceSize", &chain);
+
+  /* This ABI is currently only used on m64 NeXT.  We always
+     explicitly declare the alignment padding.  */
+  /* uint32_t const reserved; */
+  add_field_decl (integer_type_node, "reserved", &chain);
+
+  /* const uint8_t * const ivarLayout; */
+  cnst_strg_type = build_pointer_type (unsigned_char_type_node);
+  add_field_decl (cnst_strg_type, "ivarLayout", &chain);
+
+  /* const char *const name; */
+  add_field_decl (string_type_node, "name", &chain);
+
+  /* const struct method_list_t * const baseMethods; */
+  add_field_decl (objc_method_list_ptr, "baseMethods", &chain);
+
+  /* const struct objc_protocol_list *const baseProtocols; */
+  add_field_decl (build_pointer_type
+			(xref_tag (RECORD_TYPE,
+				   get_identifier (UTAG_V2_PROTOCOL_LIST))),
+				  "baseProtocols", &chain);
+
+  /* const struct ivar_list_t *const ivars; */
+  add_field_decl (objc_v2_ivar_list_ptr, "ivars", &chain);
+
+  /* const uint8_t * const weakIvarLayout; */
+  add_field_decl (cnst_strg_type, "weakIvarLayout",  &chain);
+
+  /* struct _prop_list_t * baseProperties; */
+  add_field_decl (objc_prop_list_ptr, "baseProperties", &chain);
+
+  objc_finish_struct (objc_v2_class_ro_template, decls);
+
+  chain = NULL;
+  /* struct class_t {...} */
+  objc_v2_class_template =
+	objc_start_struct (get_identifier (UTAG_V2_CLASS));
+
+  /* struct class_t *isa; */
+  decls = add_field_decl (build_pointer_type (objc_v2_class_template),
+			  "isa", &chain);
+
+  /* struct class_t * const superclass; */
+  add_field_decl (build_pointer_type (objc_v2_class_template),
+				      "superclass", &chain);
+
+  /* void *cache; */
+  add_field_decl (build_pointer_type (void_type_node), "cache", &chain);
+
+  /* IMP *vtable; */
+  add_field_decl (build_pointer_type (objc_v2_imp_type), "vtable", &chain);
+
+  /* struct class_ro_t *ro; */
+  add_field_decl (build_pointer_type (objc_v2_class_ro_template), "ro", &chain);
+
+  objc_finish_struct (objc_v2_class_template, decls);
+}
+
+/* struct _objc_super
+   {
+     struct _objc_object *self;
+     Class cls;
+   }; */
+void
+build_v2_super_template (void)
+{
+  tree decls, *chain = NULL;
+
+  objc_super_template = objc_start_struct (get_identifier (UTAG_SUPER));
+
+  /* struct _objc_object *self; */
+  decls = add_field_decl (objc_object_type, "self", &chain);
+
+  /* Class cls; */
+  add_field_decl (objc_class_type, "cls", &chain);
+
+  objc_finish_struct (objc_super_template, decls);
+}
+
+/* struct protocol_t
+  {
+     Class isa;
+     const char * const protocol_name;
+     const struct protocol_list_t * const protocol_list;
+     const struct method_list_t * const instance_methods;
+     const struct method_list_t * const class_methods;
+     const struct method_list_t * optionalInstanceMethods;
+     const struct method_list_t * optionalClassMethod
+     const struct _prop_list_t * const properties;
+     const uint32_t size;
+     const uint32_t flags;
+   }
+*/
+static void
+build_v2_protocol_template (void)
+{
+  tree decls, *chain = NULL;
+
+  objc_v2_protocol_template =
+	objc_start_struct (get_identifier (UTAG_V2_PROTOCOL));
+
+  /* Class isa; */
+  decls = add_field_decl (objc_object_type, "isa", &chain);
+
+  /* char *protocol_name; */
+  add_field_decl (string_type_node, "protocol_name", &chain);
+
+  /* const struct protocol_list_t * const protocol_list; */
+  add_field_decl (build_pointer_type (objc_v2_protocol_template),
+		  "protocol_list", &chain);
+
+  /* const struct method_list_t * const instance_methods; */
+  add_field_decl (objc_method_proto_list_ptr,  "instance_methods", &chain);
+
+  /* const struct method_list_t * const class_methods; */
+  add_field_decl (objc_method_proto_list_ptr, "class_methods", &chain);
+
+  /* const struct method_list_t * optionalInstanceMethods; */
+  add_field_decl (objc_method_proto_list_ptr, "optionalInstanceMethods", &chain);
+
+  /* const struct method_list_t * optionalClassMethods; */
+  add_field_decl (objc_method_proto_list_ptr, "optionalClassMethods", &chain);
+
+  /* struct _prop_list_t * properties; */
+  add_field_decl (objc_prop_list_ptr, "properties", &chain);
+
+  /* const uint32_t size; */
+  add_field_decl (integer_type_node, "size", &chain);
+
+  /* const uint32_t flags; */
+  add_field_decl (integer_type_node, "flags", &chain);
+
+  objc_finish_struct (objc_v2_protocol_template, decls);
+}
+
+/* Build type for a category:
+   struct category_t
+   {
+     const char * const name;
+     struct class_t *const cls;
+     const struct method_list_t * const instance_methods;
+     const struct method_list_t * const class_methods;
+     const struct protocol_list_t * const protocols;
+     const struct _prop_list_t * const properties;
+   }
+*/
+
+static void
+build_v2_category_template (void)
+{
+  tree decls, *chain = NULL;
+
+  objc_v2_category_template =
+	objc_start_struct (get_identifier ("_category_t"));
+
+  /* char *name; */
+  decls = add_field_decl (string_type_node, "name", &chain);
+
+  /* struct class_t *const cls; */
+  add_field_decl (build_pointer_type (objc_v2_class_template), "cls", &chain);
+
+  /* struct method_list_t *instance_methods; */
+  add_field_decl (objc_method_list_ptr, "instance_methods", &chain);
+
+  /* struct method_list_t *class_methods; */
+  add_field_decl (objc_method_list_ptr, "class_methods", &chain);
+
+  /* struct protocol_list_t *protocol_list; */
+  add_field_decl (build_pointer_type (objc_v2_protocol_template),
+                  "protocol_list", &chain );
+
+  /* struct _prop_list_t * properties; */
+  add_field_decl (objc_prop_list_ptr, "properties", &chain);
+
+  objc_finish_struct (objc_v2_category_template, decls);
+}
+
+/* NOTE --- Decls, Identifiers, Names etc. --- */
+
+/* This routine is given a name and returns a matching extern variable
+   if one is found.  */
+
+static tree
+hash_name_lookup (hash *hashlist, tree name)
+{
+  hash target;
+
+  target = hashlist[IDENTIFIER_HASH_VALUE (name) % SIZEHASHTABLE];
+
+  while (target)
+    {
+      if (name == DECL_NAME (target->key))
+	return target->key;
+
+      target = target->next;
+    }
+  return 0;
+}
+
+/* This routine is given an extern variable and enters it in its hash
+   table.  Note that hashing is done on its inner IDENTIFIER_NODE
+   node.  */
+
+static void
+hash_name_enter (hash *hashlist, tree id)
+{
+  hash obj;
+  int slot = IDENTIFIER_HASH_VALUE (DECL_NAME (id)) % SIZEHASHTABLE;
+
+  obj = ggc_alloc<hashed_entry> ();
+  obj->list = 0;
+  obj->next = hashlist[slot];
+  obj->key = id;
+
+  hashlist[slot] = obj;		/* append to front */
+}
+
+/* Create a declaration "extern <type> <name>;"
+   The var will need to be finalized (e.g. by calling finish_var_decl()).  */
+
+static tree
+create_extern_decl (tree type, const char *name)
+{
+  tree id = get_identifier (name);
+  tree var = hash_name_lookup (extern_names, id);
+  if (var)
+      return var;
+  /* New name. */
+  var = start_var_decl (type, name);
+  TREE_STATIC (var) = 0;
+  DECL_EXTERNAL (var) = 1;
+  TREE_PUBLIC (var) = 1;
+  hash_name_enter (extern_names, var);
+  return var;
+}
+
+/* Create a globally visible definition for variable NAME of a given TYPE. The
+   finish_var_decl() routine will need to be called on it afterwards.  */
+
+static tree
+create_global_decl (tree type, const char *name)
+{
+  tree id = get_identifier (name);
+  tree var = hash_name_lookup (extern_names, id);
+  if (var)
+    {
+      DECL_EXTERNAL (var) = 0;
+      TREE_STATIC (var) = 1;
+    }
+  else
+    {
+      var = start_var_decl (type, name);
+      hash_name_enter (extern_names, var);
+    }
+  TREE_PUBLIC (var) = 1;
+  return var;
+}
+
+/* Create a symbol with __attribute__ ((visibility ("hidden")))
+   attribute (private extern).  */
+
+static tree
+create_hidden_decl (tree type, const char *name)
+{
+    tree decl = create_global_decl (type, name);
+    DECL_VISIBILITY (decl) = VISIBILITY_HIDDEN;
+    DECL_VISIBILITY_SPECIFIED (decl) = 1;
+    return decl;
+}
+
+/* Irritatingly, we have a different superclass field name for ABI=2.  */
+/* PS/TODO: The field name does not matter, it is only used internally
+   by the compiler.  We can rename it to whatever we want. ;-) */
+
+static tree
+next_runtime_abi_02_super_superclassfield_id (void)
+{
+  /* TODO: Simplify.  Just always return get_identifier ("cls"), or at
+     most look it once at startup then always return it.  */
+  if (!super_superclassfield_id)
+    super_superclassfield_id = get_identifier ("cls");
+  return super_superclassfield_id;
+}
+
+static tree
+next_runtime_abi_02_class_decl (tree klass)
+{
+  tree decl;
+  char buf[BUFSIZE];
+  snprintf (buf, BUFSIZE, "OBJC_CLASS_$_%s",
+	    IDENTIFIER_POINTER (CLASS_NAME (klass)));
+  /* ObjC2 classes are extern visible.  */
+  decl = create_global_decl (objc_v2_class_template, buf);
+  OBJCMETA (decl, objc_meta, meta_class);
+  return decl;
+}
+
+static tree
+next_runtime_abi_02_metaclass_decl (tree klass)
+{
+  tree decl;
+  char buf[BUFSIZE];
+  snprintf (buf, BUFSIZE, "OBJC_METACLASS_$_%s",
+	    IDENTIFIER_POINTER (CLASS_NAME (klass)));
+  /* ObjC2 classes are extern visible.  */
+  decl = create_global_decl (objc_v2_class_template, buf);
+  OBJCMETA (decl, objc_meta, meta_metaclass);
+  return decl;
+}
+
+static tree
+next_runtime_abi_02_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_v2_category_template, buf);
+  OBJCMETA (decl, objc_meta, meta_category);
+  return decl;
+}
+
+static tree
+next_runtime_abi_02_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_v2_protocol_template, buf);
+  OBJCMETA (decl, objc_meta, meta_protocol);
+  return decl;
+}
+
+static tree
+next_runtime_abi_02_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;
+}
+
+/* NOTE --- entry --- */
+
+struct GTY(()) ident_data_tuple {
+  tree ident;
+  tree data;
+};
+
+/* This routine creates a file scope static variable of type 'Class'
+   to hold the address of a class.  */
+
+static tree
+build_v2_class_reference_decl (tree ident)
+{
+  tree decl;
+  char buf[BUFSIZE];
+
+  snprintf (buf, BUFSIZE, "_OBJC_ClassRef_%s", IDENTIFIER_POINTER (ident));
+  decl = start_var_decl (objc_class_type, buf);
+  OBJCMETA (decl, objc_meta, meta_class_ref);
+  return decl;
+}
+
+/* This routine builds a class refs entry for each class name used.
+   Initially, a (static-ref, IDENT) tuple is added to the list.  The
+   ident is replaced with address of the class metadata (of type
+   'Class') in the output routine.  */
+
+static GTY (()) vec<ident_data_tuple, va_gc> *classrefs;
+
+static tree
+objc_v2_get_class_reference (tree ident)
+{
+  tree decl;
+  ident_data_tuple e;
+  if (classrefs)
+    {
+      int count;
+      ident_data_tuple *ref;
+      FOR_EACH_VEC_ELT (*classrefs, count, ref)
+	{
+	  if (ref->ident == ident)
+	    {
+	      if (!ref->data)
+		ref->data = build_v2_class_reference_decl (ident);
+	      return ref->data;
+	    }
+	}
+    }
+  else
+    /* Somewhat arbitrary initial provision.  */
+    vec_alloc (classrefs, 16);
+
+  /* We come here if we don't find the entry - or if the table was yet
+     to be created.  */
+  decl = build_v2_class_reference_decl (ident);
+  e.ident = ident;
+  e.data = decl;
+  vec_safe_push (classrefs, e);
+  return decl;
+}
+
+static tree
+next_runtime_abi_02_get_class_reference (tree ident)
+{
+  if (!flag_zero_link)
+    return objc_v2_get_class_reference (ident);
+  else
+    {
+      /* We fall back to using objc_getClass ().  */
+      vec<tree, va_gc> *v;
+      vec_alloc (v, 1);
+      tree t;
+      /* ??? add_class_reference (ident); - is pointless, since the
+         system lib does not export the equivalent symbols.  Maybe we
+         need to build a class ref anyway.  */
+      t = my_build_string_pointer (IDENTIFIER_LENGTH (ident) + 1,
+				   IDENTIFIER_POINTER (ident));
+      v->quick_push (t);
+      t = build_function_call_vec (input_location, vNULL, objc_get_class_decl,
+				   v, 0);
+      vec_free (v);
+      return t;
+    }
+}
+
+/* Used by build_function_type_for_method.  Append the types for
+   receiver & _cmd at the start of a method argument list to ARGTYPES.
+   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 void
+next_runtime_abi_02_get_arg_type_list_base (vec<tree, va_gc> **argtypes,
+					    tree meth, int context,
+					    int superflag)
+{
+  tree receiver_type;
+
+  if (superflag)
+    receiver_type = objc_super_type;
+  else if (context == METHOD_DEF && TREE_CODE (meth) == INSTANCE_METHOD_DECL)
+    receiver_type = objc_instance_type;
+  else
+    receiver_type = objc_object_type;
+
+  vec_safe_push (*argtypes, receiver_type);
+  /* Selector type - will eventually change to `int'.  */
+  vec_safe_push (*argtypes,
+		 superflag ? objc_v2_super_selector_type
+		           : objc_v2_selector_type);
+}
+
+/* TODO: Merge this with the message refs.  */
+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_02_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;
+}
+
+/* Declare a variable of type 'struct message_ref_t'. */
+/* This will be finished in build_v2_message_ref_translation_table ().
+   We take an idea from LLVM in making the names a bit more connected
+   and thus the asm more readable.  */
+
+static tree
+build_v2_message_reference_decl (tree sel_name, tree message_func_ident)
+{
+  tree decl;
+  char buf[BUFSIZE], *t;
+  int offset = 12;
+
+  /* Skip past the objc_msgSend it's the same for all...  */
+  if (IDENTIFIER_POINTER (message_func_ident)[offset] == '_')
+    offset++;
+
+  snprintf (buf, BUFSIZE, "_OBJC_MsgRef_%s_%s",
+	    &(IDENTIFIER_POINTER (message_func_ident)[offset]),
+	    IDENTIFIER_POINTER (sel_name));
+  t = buf;
+  while (*t)
+    {
+      if (*t==':')
+        *t = '$'; /* Underscore would clash between foo:bar and foo_bar.  */
+      t++;
+    }
+  decl = start_var_decl (objc_v2_message_ref_template, buf);
+  OBJCMETA (decl, objc_meta, meta_mref);
+  return decl;
+}
+
+struct GTY(()) msgref_entry {
+  tree func;
+  tree selname;
+  tree refdecl;
+};
+
+static GTY (()) vec<msgref_entry, va_gc> *msgrefs;
+
+/* Build the list of (objc_msgSend_fixup_xxx, selector name), used
+   later on to initialize the table of 'struct message_ref_t'
+   elements.  */
+
+static tree
+build_v2_selector_messenger_reference (tree sel_name, tree message_func_decl)
+{
+  tree decl;
+  msgref_entry e;
+  if (msgrefs)
+    {
+      int count;
+      msgref_entry *ref;
+      FOR_EACH_VEC_ELT (*msgrefs, count, ref)
+	if (ref->func == message_func_decl && ref->selname == sel_name)
+	  return ref->refdecl;
+    }
+  else
+    /* Somewhat arbitrary initial provision.  */
+    vec_alloc (msgrefs, 32);
+
+  /* We come here if we don't find a match or at the start.  */
+  decl = build_v2_message_reference_decl (sel_name,
+					  DECL_NAME (message_func_decl));
+  e.func = message_func_decl;
+  e.selname = sel_name;
+  e.refdecl = decl;
+  vec_safe_push (msgrefs, e);
+  return decl;
+}
+
+static tree
+build_v2_protocollist_ref_decl (tree protocol)
+{
+  tree decl;
+  tree protocol_ident = PROTOCOL_NAME (protocol);
+  char buf[BUFSIZE];
+
+  snprintf (buf, BUFSIZE, "_OBJC_ProtocolRef_%s",
+	    IDENTIFIER_POINTER (protocol_ident));
+  /* TODO: other compiler versions make these hidden & weak.  */
+  decl = create_global_decl (objc_protocol_type, buf);
+  /* Let optimizer know that this decl is not removable.  */
+  DECL_PRESERVE_P (decl) = 1;
+  OBJCMETA (decl, objc_meta, meta_proto_ref);
+  return decl;
+}
+
+struct GTY(()) prot_list_entry {
+  tree id;
+  tree refdecl;
+};
+static GTY (()) vec<prot_list_entry, va_gc> *protrefs;
+
+static tree
+objc_v2_get_protocol_reference (tree ident)
+{
+  tree decl;
+  prot_list_entry e;
+  if (protrefs)
+    {
+      int count;
+      prot_list_entry *ref;
+      FOR_EACH_VEC_ELT (*protrefs, count, ref)
+	{
+	  if (ref->id == ident)
+	    {
+	      if (!ref->refdecl)
+		ref->refdecl = build_v2_protocollist_ref_decl (ident);
+	      return ref->refdecl;
+	    }
+	}
+    }
+  else
+    /* Somewhat arbitrary initial provision.  */
+    vec_alloc (protrefs, 32);
+
+  /* We come here if we don't find the entry - or if the table was yet
+     to be created.  */
+  decl = build_v2_protocollist_ref_decl (ident);
+  e.id = ident;
+  e.refdecl = decl;
+  vec_safe_push (protrefs, e);
+  return decl;
+}
+
+static tree
+next_runtime_abi_02_get_protocol_reference (location_t loc ATTRIBUTE_UNUSED,
+					    tree p)
+{
+  if (!PROTOCOL_FORWARD_DECL (p))
+    PROTOCOL_FORWARD_DECL (p) = next_runtime_abi_02_protocol_decl (p);
+
+  return objc_v2_get_protocol_reference (p);
+}
+
+/* This routine returns the ivar declaration, if component is a valid
+   ivar field; NULL_TREE otherwise. On finding an ivar, it also
+   returns the class name in CLASS.  */
+
+static tree
+objc_is_ivar (tree expr, tree component, tree *klass)
+{
+  tree field = NULL_TREE;
+  tree basetype = TYPE_MAIN_VARIANT (TREE_TYPE (expr));
+
+  if (TREE_CODE (basetype) == RECORD_TYPE
+      && TYPE_HAS_OBJC_INFO (basetype) && TYPE_OBJC_INTERFACE (basetype))
+    {
+      *klass = lookup_interface (OBJC_TYPE_NAME (basetype));
+      if (*klass)
+	{
+	  do
+	    {
+	      tree ivar_chain = CLASS_RAW_IVARS (*klass);
+	      if (ivar_chain)
+		{
+		  field = is_ivar (ivar_chain, component);
+		  if (field != NULL_TREE)
+		    break;
+	        }
+	      *klass = lookup_interface (CLASS_SUPER_NAME (*klass));
+	    }
+	  while (*klass);
+	}
+    }
+  return field;
+}
+
+static void
+create_ivar_offset_name (char *buf, tree class_name, tree field_decl)
+{
+  tree fname = DECL_NAME (field_decl);
+
+  sprintf (buf, "OBJC_IVAR_$_%s.%s", IDENTIFIER_POINTER (class_name),
+	   IDENTIFIER_POINTER (fname));
+  return;
+}
+
+/* This routine generates new abi's ivar reference tree.  It amounts
+   to generating *(TYPE*)((char*)pObj + OFFSET_IVAR) when we normally
+   generate pObj->IVAR.  OFFSET_IVAR is an 'extern' variable holding
+   the offset for 'IVAR' field.  TYPE is type of IVAR field.  */
+
+static tree
+objc_v2_build_ivar_ref (tree datum, tree component)
+{
+  tree field, ref, class_name, offset, ftype, expr;
+  char var_offset_name[512];
+
+  field = objc_is_ivar (datum, component, &class_name);
+  if (!field)
+    return NULL_TREE;
+
+  /* This routine only handles non-bitfield fields */
+  /* DECL_INITIAL macro is set to width of bitfield and can be relied
+     on to check for bitfield ivars.  Note that I cannot rely on
+     DECL_BIT_FIELD macro because it is only set when the whole struct
+     is seen (at finish_struct) and not when the ivar chain is
+     built.  */
+  if (DECL_INITIAL (field))
+    return NULL_TREE;
+
+  create_ivar_offset_name (var_offset_name, CLASS_NAME (class_name),  field);
+
+  offset = create_extern_decl (TREE_TYPE (size_zero_node), var_offset_name);
+
+  ftype = TREE_TYPE (field);
+
+  /* (char*)datum */
+  expr = build_c_cast (input_location,
+		       string_type_node, build_fold_addr_expr (datum));
+
+  /* (char*)datum + offset */
+  expr = fold_build_pointer_plus_loc (input_location, expr, offset);
+
+  /* (ftype*)((char*)datum + offset) */
+  expr = build_c_cast (input_location, build_pointer_type (ftype), expr);
+
+  /* Finally: *(ftype*)((char*)datum + offset) */
+  ref = build_indirect_ref (input_location, expr, RO_UNARY_STAR);
+
+  /* We must set type of the resulting expression to be the same as
+     the field type. This is because, build_indirect_ref (...)
+     rebuilds the type which may result in lost information; as in the
+     case of protocol-qualified types (id <protocol> ).  */
+  TREE_TYPE (ref) = ftype;
+
+  if (TREE_READONLY (datum) || TREE_READONLY (field))
+    TREE_READONLY (ref) = 1;
+
+  if (TREE_THIS_VOLATILE (datum) || TREE_THIS_VOLATILE (field))
+    TREE_THIS_VOLATILE (ref) = 1;
+
+  if (TREE_DEPRECATED (field))
+    warn_deprecated_use (field, NULL_TREE);
+
+  return ref;
+}
+
+/* IVAR refs are made via an externally referenceable offset and built
+   on the fly.  That is, unless they refer to (private) fields in  the
+   class structure.  */
+static tree
+next_runtime_abi_02_build_ivar_ref (location_t loc ATTRIBUTE_UNUSED,
+				   tree base, tree id)
+{
+  tree ivar;
+  if ((ivar = objc_v2_build_ivar_ref (base, id)))
+    return ivar;
+  return objc_build_component_ref (base, id);
+}
+
+/* [super ...] references are listed here (and built into a table at
+   meta -data emit time).  */
+static tree
+build_v2_superclass_ref_decl (tree ident, bool inst)
+{
+  tree decl;
+  char buf[BUFSIZE];
+
+  snprintf (buf, BUFSIZE, "_OBJC_%sSuperRef_%s", (inst?"":"Meta"),
+	    IDENTIFIER_POINTER (ident));
+  decl = start_var_decl (objc_class_type, buf);
+  OBJCMETA (decl, objc_meta, meta_superclass_ref);
+  return decl;
+}
+
+static GTY (()) vec<ident_data_tuple, va_gc> *class_super_refs;
+static GTY (()) vec<ident_data_tuple, va_gc> *metaclass_super_refs;
+
+static tree
+next_runtime_abi_02_get_class_super_ref (location_t loc ATTRIBUTE_UNUSED,
+					 struct imp_entry *imp, bool inst_meth)
+{
+  tree decl;
+  ident_data_tuple e;
+  tree id = CLASS_NAME (imp->imp_context);
+  vec<ident_data_tuple, va_gc> *list = inst_meth  ? class_super_refs
+						: metaclass_super_refs;
+
+  if (list)
+    {
+      int count;
+      ident_data_tuple *ref;
+      FOR_EACH_VEC_ELT (*list, count, ref)
+	{
+	  if (ref->ident == id)
+	    {
+	      if (!ref->data)
+		ref->data = build_v2_superclass_ref_decl (id, inst_meth);
+	      return ref->data;
+	    }
+	}
+    }
+  else
+    {
+      /* Somewhat arbitrary initial provision.  */
+      if (inst_meth)
+	{
+	  vec_alloc (class_super_refs, 16);
+	  list = class_super_refs;
+	}
+      else
+	{
+	  vec_alloc (metaclass_super_refs, 16);
+	  list = metaclass_super_refs;
+	}
+    }
+  /* We come here if we don't find the entry - or if the table was yet
+     to be created.  */
+  decl = build_v2_superclass_ref_decl (id, inst_meth);
+  e.ident = id;
+  e.data = decl;
+  vec_safe_push (list, e);
+  return decl;
+}
+
+static tree
+next_runtime_abi_02_get_category_super_ref (location_t loc ATTRIBUTE_UNUSED,
+					   struct imp_entry *imp, bool inst_meth)
+{
+  /* ??? is this OK when zero-link = true?  */
+  tree super_name = CLASS_SUPER_NAME (imp->imp_template);
+  tree super_class;
+
+  if (!flag_zero_link)
+    {
+      super_class = objc_get_class_reference (CLASS_NAME (imp->imp_template));
+
+      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;
+    }
+  /* ??? Do we need to add the class ref anway for zero-link?  */
+  /* else do it the slow way.  */
+  super_class = (inst_meth ? objc_get_class_decl : objc_get_meta_class_decl);
+  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 tree
+next_runtime_abi_02_receiver_is_class_object (tree receiver)
+{
+  if (TREE_CODE (receiver) == VAR_DECL
+      && IS_CLASS (TREE_TYPE (receiver))
+      && vec_safe_length (classrefs))
+    {
+      int count;
+      ident_data_tuple *ref;
+      /* The receiver is a variable created by build_class_reference_decl.  */
+      FOR_EACH_VEC_ELT (*classrefs, count, ref)
+	if (ref->data == receiver)
+	  return ref->ident;
+    }
+  return NULL_TREE;
+}
+
+/* Assign all arguments in VALUES which have side-effect to a temporary
+   and replaced that argument in VALUES list with the temporary. The
+   arguments will be passed to a function with FNTYPE.  */
+
+static tree
+objc_copy_to_temp_side_effect_params (tree fntype, tree values)
+{
+  tree valtail;
+  function_args_iterator iter;
+
+  /* Skip over receiver and the &_msf_ref types.  */
+  function_args_iter_init (&iter, fntype);
+  function_args_iter_next (&iter);
+  function_args_iter_next (&iter);
+
+  for (valtail = values; valtail;
+       valtail = TREE_CHAIN (valtail), function_args_iter_next (&iter))
+    {
+      tree value = TREE_VALUE (valtail);
+      tree type = function_args_iter_cond (&iter);
+      if (type == NULL_TREE)
+	break;
+      if (!TREE_SIDE_EFFECTS (value))
+	continue;
+      /* To prevent re-evaluation.  */
+      value = save_expr (value);
+      add_stmt (value);
+      TREE_VALUE (valtail) = value;
+    }
+  return values;
+}
+
+/* Build the new abi's messaging library call. It looks like:
+   (*_msg.messenger) (receiver, &_msg, ...) */
+
+static tree
+build_v2_build_objc_method_call (int super_flag, tree method_prototype,
+				 tree lookup_object, tree selector,
+				 tree method_params,
+				 bool check_for_nil)
+{
+  tree ret_val;
+  tree sender, rcv_p, t;
+  tree ret_type
+    = (method_prototype
+       ? TREE_VALUE (TREE_TYPE (method_prototype))
+       : objc_object_type);
+  tree ftype = build_function_type_for_method (ret_type, method_prototype,
+					       METHOD_REF, super_flag);
+  tree sender_cast;
+
+  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);
+
+  if (check_for_nil)
+    method_params = objc_copy_to_temp_side_effect_params (ftype,
+							  method_params);
+
+  /* Get &message_ref_t.messenger.  */
+  sender = build_c_cast (input_location,
+			 build_pointer_type (super_flag
+					     ? objc_v2_super_imp_type
+					     : objc_v2_imp_type),
+			 selector);
+
+  sender = build_indirect_ref (input_location, sender, RO_UNARY_STAR);
+
+  rcv_p = (super_flag ? objc_super_type : objc_object_type);
+
+  lookup_object = build_c_cast (input_location, rcv_p, lookup_object);
+
+  /* Use SAVE_EXPR to avoid evaluating the receiver twice.  */
+  lookup_object = save_expr (lookup_object);
+
+  method_params = tree_cons (NULL_TREE, lookup_object,
+                             tree_cons (NULL_TREE, selector,
+                                        method_params));
+  t = build3 (OBJ_TYPE_REF, sender_cast, sender, lookup_object, size_zero_node);
+  ret_val =  build_function_call (input_location, t, method_params);
+  if (check_for_nil)
+    {
+      /* receiver != nil ? ret_val : 0 */
+      tree ftree;
+      tree ifexp;
+
+      if (TREE_CODE (ret_type) == RECORD_TYPE
+	  || TREE_CODE (ret_type) == UNION_TYPE)
+	{
+	  vec<constructor_elt, va_gc> *rtt = NULL;
+	  /* ??? CHECKME. hmmm..... think we need something more
+	     here.  */
+	  CONSTRUCTOR_APPEND_ELT (rtt, NULL_TREE, NULL_TREE);
+	  ftree = objc_build_constructor (ret_type, rtt);
+	}
+      else
+	ftree = fold_convert (ret_type, integer_zero_node);
+
+      ifexp = build_binary_op (input_location, NE_EXPR,
+			       lookup_object,
+			       fold_convert (rcv_p, integer_zero_node), 1);
+
+#ifdef OBJCPLUS
+      ret_val = build_conditional_expr (input_location,
+					ifexp, ret_val, ftree,
+					tf_warning_or_error);
+#else
+     /* ??? CHECKME.   */
+      ret_val = build_conditional_expr (input_location,
+					ifexp, 1,
+					ret_val, NULL_TREE, input_location,
+					ftree, NULL_TREE, input_location);
+#endif
+    }
+  return ret_val;
+}
+
+static tree
+next_runtime_abi_02_build_objc_method_call (location_t loc,
+					    tree method_prototype,
+					    tree receiver,
+					    tree rtype,
+					    tree sel_name,
+					    tree method_params,
+					    int super)
+{
+  tree ret_type, selector;
+  tree message_func_decl;
+  bool check_for_nil = flag_objc_nilcheck;
+
+  ret_type = method_prototype
+	     ? TREE_VALUE (TREE_TYPE (method_prototype))
+	     : objc_object_type;
+
+  /* Do we need to check for nil receivers ? */
+  /* For now, message sent to classes need no nil check.  In the
+      future, class declaration marked as weak_import must be nil
+      checked.  */
+  if (super
+      || (TREE_CODE (receiver) == VAR_DECL
+	  && TREE_TYPE (receiver) == objc_class_type))
+    check_for_nil = false;
+
+  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))
+    {
+      if (super)
+	message_func_decl = umsg_id_super2_stret_fixup_decl;
+      else
+	message_func_decl = objc_is_id (rtype)
+			    ? umsg_id_stret_fixup_decl
+			    : umsg_stret_fixup_decl;
+    }
+  else
+    {
+      if (super)
+	message_func_decl = umsg_id_super2_fixup_decl;
+      else
+	message_func_decl = objc_is_id (rtype)
+			    ? umsg_id_fixup_decl
+			    : umsg_fixup_decl;
+    }
+
+  selector = build_v2_selector_messenger_reference (sel_name,
+						      message_func_decl);
+
+  /* selector = &_msg; */
+  selector = build_unary_op (loc, ADDR_EXPR, selector, 0);
+
+  selector = build_c_cast (loc, (super ? objc_v2_super_selector_type
+				       : objc_v2_selector_type),
+			   selector);
+
+  /* (*_msg.messenger) (receiver, &_msg, ...); */
+  return build_v2_build_objc_method_call (super, method_prototype,
+					  receiver, selector,
+					  method_params, check_for_nil);
+}
+
+/* NOTE --- Constant String Class Stuff --- */
+
+static bool
+next_runtime_abi_02_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, "OBJC_CLASS_$_%s", constant_string_class_name);
+      constant_string_global_id = get_identifier (buf);
+    }
+
+  string_class_decl = lookup_name (constant_string_global_id);
+
+  /* In OBJC2 abi, constant string class reference refers to class
+     name for NSConstantString class.  This declaration may not be
+     available yet (in fact it is not in most cases).  So, declare an
+     extern OBJC_CLASS_$_NSConstantString in its place. */
+  if (!string_class_decl)
+    string_class_decl =
+	create_extern_decl (objc_v2_class_template,
+			    IDENTIFIER_POINTER (constant_string_global_id));
+
+  return (string_class_decl != NULL_TREE);
+}
+
+static tree
+next_runtime_abi_02_build_const_string_constructor (location_t loc, tree string,
+						   int length)
+{
+  tree constructor, fields, var;
+  vec<constructor_elt, va_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;
+}
+
+/* NOTE --- NeXT V2 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 tree
+build_v2_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;
+}
+
+/* struct ivar_t
+   {
+     unsigned long int *offset;
+     char *name;
+     char *type;
+     uint32_t alignment;
+     uint32_t size;
+   };
+*/
+
+static tree
+build_v2_ivar_t_template (void)
+{
+  tree objc_ivar_id, objc_ivar_record;
+  tree decls, *chain = NULL;
+
+  objc_ivar_id = get_identifier ("_ivar_t");
+  objc_ivar_record = objc_start_struct (objc_ivar_id);
+
+  /* unsigned long int *offset; */
+  decls = add_field_decl (build_pointer_type
+			   (TREE_TYPE (size_zero_node)), "offset", &chain);
+
+  /* char *name; */
+  add_field_decl (string_type_node, "name", &chain);
+
+  /* char *type; */
+  add_field_decl (string_type_node, "type", &chain);
+
+  /* uint32_t alignment; */
+  add_field_decl (integer_type_node, "alignment", &chain);
+
+  /* uint32_t size; */
+  add_field_decl (integer_type_node, "size", &chain);
+
+  objc_finish_struct (objc_ivar_record, decls);
+  return objc_ivar_record;
+}
+
+static void
+build_metadata_templates (void)
+{
+
+  if (!objc_method_template)
+    objc_method_template = build_method_template ();
+
+  if (!objc_v2_property_template)
+    objc_v2_property_template = build_v2_property_template ();
+
+  if (!objc_v2_ivar_template)
+    objc_v2_ivar_template = build_v2_ivar_t_template ();
+
+}
+
+/* NOTE --- Output NeXT V2 Metadata --- */
+
+/* Routine builds name of Interface's main meta-data of type class_t. */
+
+static char *
+objc_build_internal_classname (tree ident, bool metaclass)
+{
+  static char string[512];
+  snprintf (string, 512, "%s_%s", metaclass ? "OBJC_METACLASS_$"
+					    : "OBJC_CLASS_$",
+	    IDENTIFIER_POINTER (ident));
+  return string;
+}
+
+/* Build the name for object of type struct class_ro_t */
+
+static const char *
+newabi_append_ro (const char *name)
+{
+  const char *dollar;
+  char *p;
+  static char string[BUFSIZE];
+  dollar = strchr (name, '$');
+  gcc_assert (dollar);
+  p = string;
+  *p = '_'; p++;
+  strncpy (p, name, (int)(dollar - name));
+  p += (int)(dollar - name);
+  sprintf (p, "RO_%s", dollar);
+  return string;
+}
+
+/* Build the struct message_ref_t msg =
+	       {objc_msgSend_fixup_xxx, @selector(func)}
+   table.  */
+
+static
+void build_v2_message_ref_translation_table (void)
+{
+  int count;
+  msgref_entry *ref;
+
+  if (!vec_safe_length (msgrefs))
+    return;
+
+  FOR_EACH_VEC_ELT (*msgrefs, count, ref)
+    {
+      vec<constructor_elt, va_gc> *initializer;
+      tree expr, constructor;
+      tree struct_type = TREE_TYPE (ref->refdecl);
+      location_t loc = DECL_SOURCE_LOCATION (ref->refdecl);
+
+      initializer = NULL;
+      /* First 'IMP messenger' field...  */
+      expr = build_unary_op (loc, ADDR_EXPR, ref->func, 0);
+      expr = convert (objc_v2_imp_type, expr);
+      CONSTRUCTOR_APPEND_ELT (initializer, NULL_TREE, expr);
+
+      /* ... then 'SEL name' field.  */
+      expr = build_selector (ref->selname);
+      CONSTRUCTOR_APPEND_ELT (initializer, NULL_TREE, expr);
+      constructor = objc_build_constructor (struct_type, initializer);
+      finish_var_decl (ref->refdecl, constructor);
+    }
+}
+
+/* Build decl = initializer; for each externally visible class
+   reference.  */
+
+static void
+build_v2_classrefs_table (void)
+{
+  int count;
+  ident_data_tuple *ref;
+
+  if (!vec_safe_length (classrefs))
+    return;
+
+  FOR_EACH_VEC_ELT (*classrefs, count, ref)
+    {
+      tree expr = ref->ident;
+      tree decl = ref->data;
+      /* Interface with no implementation and yet one of its messages
+	 has been used. Need to generate a full address-of tree for it
+	 here.  */
+      if (TREE_CODE (expr) == IDENTIFIER_NODE)
+        {
+          const char *name = objc_build_internal_classname (expr, false);
+          expr = create_extern_decl (objc_v2_class_template, name);
+	  expr = convert (objc_class_type, build_fold_addr_expr (expr));
+	}
+      /* The runtime wants this, even if it appears unused, so we must force the
+	 output.
+      DECL_PRESERVE_P (decl) = 1; */
+      finish_var_decl (decl, expr);
+    }
+}
+
+/* Build decl = initializer; for each externally visible super class
+   reference.  */
+
+static void
+build_v2_super_classrefs_table (bool metaclass)
+{
+  int count;
+  ident_data_tuple *ref;
+  vec<ident_data_tuple, va_gc> *list = metaclass  ? metaclass_super_refs
+						: class_super_refs;
+
+  if (!vec_safe_length (list))
+    return;
+
+  FOR_EACH_VEC_ELT (*list, count, ref)
+    {
+      tree expr = ref->ident;
+      tree decl = ref->data;
+      /* Interface with no implementation and yet one of its messages
+	 has been used. Need to generate a full address-of tree for it
+	 here.  */
+      if (TREE_CODE (expr) == IDENTIFIER_NODE)
+	{
+	  const char * name = objc_build_internal_classname (expr, metaclass);
+          expr = create_extern_decl (objc_v2_class_template, name);
+	  expr = convert (objc_class_type, build_fold_addr_expr (expr));
+	}
+      finish_var_decl (decl, expr);
+    }
+}
+
+/* Add the global class meta-data declaration to the list which later
+   on ends up in the __class_list section.  */
+
+static GTY(()) vec<tree, va_gc> *class_list;
+
+static void
+objc_v2_add_to_class_list (tree global_class_decl)
+{
+  vec_safe_push (class_list, global_class_decl);
+}
+
+static GTY(()) vec<tree, va_gc> *nonlazy_class_list;
+
+/* Add the global class meta-data declaration to the list which later
+   on ends up in the __nonlazy_class section.  */
+
+static void
+objc_v2_add_to_nonlazy_class_list (tree global_class_decl)
+{
+  vec_safe_push (nonlazy_class_list, global_class_decl);
+}
+
+static GTY(()) vec<tree, va_gc> *category_list;
+
+/* Add the category meta-data declaration to the list which later on
+   ends up in the __nonlazy_category section.  */
+
+static void
+objc_v2_add_to_category_list (tree decl)
+{
+  vec_safe_push (category_list, decl);
+}
+
+static GTY(()) vec<tree, va_gc> *nonlazy_category_list;
+
+/* Add the category meta-data declaration to the list which later on
+   ends up in the __category_list section.  */
+
+static void
+objc_v2_add_to_nonlazy_category_list (tree decl)
+{
+  vec_safe_push (nonlazy_category_list, decl);
+}
+
+static bool
+has_load_impl (tree clsmeth)
+{
+  while (clsmeth)
+    {
+      tree id = METHOD_SEL_NAME (clsmeth);
+      if (IDENTIFIER_LENGTH (id) == 4
+	  && strncmp (IDENTIFIER_POINTER (id), "load", 4) == 0)
+        return true;
+      clsmeth = DECL_CHAIN (clsmeth);
+    }
+
+  return false;
+}
+
+/* Build a __{class,category}_list section table containing address of
+   all @implemented {class,category} meta-data.  */
+
+static void
+build_v2_address_table (vec<tree, va_gc> *src, const char *nam, tree attr)
+{
+  int count=0;
+  tree type, decl, expr;
+  vec<constructor_elt, va_gc> *initlist = NULL;
+
+  if (!vec_safe_length (src))
+    return;
+
+  FOR_EACH_VEC_ELT (*src, count, decl)
+    {
+#ifndef OBJCPLUS
+      tree purpose = build_int_cst (NULL_TREE, count);
+#else
+      tree purpose = NULL_TREE;
+#endif
+      expr = convert (objc_class_type, build_fold_addr_expr (decl));
+      CONSTRUCTOR_APPEND_ELT (initlist, purpose, expr);
+    }
+  gcc_assert (count > 0);
+  type = build_array_type (objc_class_type,
+			   build_index_type (build_int_cst (NULL_TREE, count - 1)));
+  decl = start_var_decl (type, nam);
+  /* The runtime wants this, even if it appears unused, so we must
+     force the output.  */
+  DECL_PRESERVE_P (decl) = 1;
+  expr = objc_build_constructor (type, initlist);
+  OBJCMETA (decl, objc_meta, attr);
+  finish_var_decl (decl, expr);
+}
+
+/* Build decl = initializer; for each protocol referenced in
+   @protocol(MyProt) expression.  Refs as built in the entry section
+   above.  */
+
+static void
+build_v2_protocol_list_translation_table (void)
+{
+  int count;
+  prot_list_entry *ref;
+
+  if (!protrefs)
+    return;
+
+  FOR_EACH_VEC_ELT (*protrefs, count, ref)
+    {
+      char buf[BUFSIZE];
+      tree expr;
+      gcc_assert (TREE_CODE (ref->id) == PROTOCOL_INTERFACE_TYPE);
+      snprintf (buf, BUFSIZE, "_OBJC_Protocol_%s",
+		IDENTIFIER_POINTER (PROTOCOL_NAME (ref->id)));
+      expr = start_var_decl (objc_v2_protocol_template, buf);
+      expr = convert (objc_protocol_type, build_fold_addr_expr (expr));
+      finish_var_decl (ref->refdecl, expr);
+    }
+  /* TODO: Maybe we could explicitly delete the vec. now?  */
+}
+
+static GTY (()) vec<prot_list_entry, va_gc> *protlist;
+
+/* Add the local protocol meta-data declaration to the list which
+   later on ends up in the __protocol_list section.  */
+
+static void
+objc_add_to_protocol_list (tree protocol_interface_decl, tree protocol_decl)
+{
+  prot_list_entry e;
+  if (!protlist)
+    /* Arbitrary init count.  */
+    vec_alloc (protlist, 32);
+  e.id = protocol_interface_decl;
+  e.refdecl = protocol_decl;
+  vec_safe_push (protlist, e);
+}
+
+/* Build the __protocol_list section table containing address of all
+   generate protocol_t meta-data.  */
+
+static void
+build_v2_protocol_list_address_table (void)
+{
+  int count;
+  prot_list_entry *ref;
+  if (!vec_safe_length (protlist))
+    return;
+
+  FOR_EACH_VEC_ELT (*protlist, count, ref)
+    {
+      tree decl, expr;
+      char buf[BUFSIZE];
+      gcc_assert (ref->id && TREE_CODE (ref->id) == PROTOCOL_INTERFACE_TYPE);
+      snprintf (buf, BUFSIZE, "_OBJC_LabelProtocol_%s",
+		IDENTIFIER_POINTER (PROTOCOL_NAME (ref->id)));
+      decl = create_global_decl (objc_protocol_type, buf);
+      expr = convert (objc_protocol_type, build_fold_addr_expr (ref->refdecl));
+      OBJCMETA (decl, objc_meta, meta_label_protocollist);
+      finish_var_decl (decl, expr);
+    }
+
+    /* TODO: delete the vec.  */
+    /* TODO: upgrade to the clang/llvm hidden version.  */
+}
+
+/* This routine declares a variable to hold meta data for 'struct
+   protocol_list_t'.  */
+
+static tree
+generate_v2_protocol_list (tree i_or_p, tree klass_ctxt)
+{
+  tree refs_decl, lproto, e, plist, ptempl_p_t;
+  int size = 0;
+  vec<constructor_elt, va_gc> *initlist = NULL;
+  char buf[BUFSIZE];
+
+  if (TREE_CODE (i_or_p) == CLASS_INTERFACE_TYPE
+      || TREE_CODE (i_or_p) == CATEGORY_INTERFACE_TYPE)
+    plist = CLASS_PROTOCOL_LIST (i_or_p);
+  else if (TREE_CODE (i_or_p) == PROTOCOL_INTERFACE_TYPE)
+    plist = PROTOCOL_LIST (i_or_p);
+  else
+    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.  */
+
+  ptempl_p_t = build_pointer_type (objc_v2_protocol_template);
+  e = build_int_cst (ptempl_p_t, size);
+  CONSTRUCTOR_APPEND_ELT (initlist, 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 (initlist, NULL_TREE, e);
+	}
+    }
+
+  /* static struct protocol_list_t *list[size]; */
+
+  switch (TREE_CODE (i_or_p))
+    {
+    case PROTOCOL_INTERFACE_TYPE:
+      snprintf (buf, BUFSIZE, "_OBJC_ProtocolRefs_%s",
+		IDENTIFIER_POINTER (PROTOCOL_NAME (i_or_p)));
+      break;
+    case CLASS_INTERFACE_TYPE:
+      snprintf (buf, BUFSIZE, "_OBJC_ClassProtocols_%s",
+		IDENTIFIER_POINTER (CLASS_NAME (i_or_p)));
+      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)));
+      break;
+      default:
+	gcc_unreachable ();
+    }
+
+  refs_decl = start_var_decl (build_sized_array_type (ptempl_p_t, size+1),
+			      buf);
+  /* ObjC2 puts all these in the base section.  */
+  OBJCMETA (refs_decl, objc_meta, meta_base);
+  DECL_PRESERVE_P (refs_decl) = 1;
+  finish_var_decl (refs_decl,
+		   objc_build_constructor (TREE_TYPE (refs_decl),initlist));
+  return refs_decl;
+}
+
+/* This routine builds one 'struct method_t' initializer list. Note
+   that the old ABI is supposed to build 'struct objc_method' which
+   has 3 fields, but it does not build the initialization expression
+   for 'method_imp' which for protocols is NULL any way.  To be
+   consistent with declaration of 'struct method_t', in the new ABI we
+   set the method_t.imp to NULL.  */
+
+static tree
+build_v2_descriptor_table_initializer (tree type, tree entries)
+{
+  vec<constructor_elt, va_gc> *initlist = NULL;
+  do
+    {
+      vec<constructor_elt, va_gc> *eltlist = NULL;
+      CONSTRUCTOR_APPEND_ELT (eltlist, NULL_TREE,
+			      build_selector (METHOD_SEL_NAME (entries)));
+      CONSTRUCTOR_APPEND_ELT (eltlist, NULL_TREE,
+			      add_objc_string (METHOD_ENCODING (entries),
+						meth_var_types));
+      CONSTRUCTOR_APPEND_ELT (eltlist, NULL_TREE, null_pointer_node);
+
+      CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE,
+			      objc_build_constructor (type, eltlist));
+      entries = TREE_CHAIN (entries);
+    }
+  while (entries);
+
+  return objc_build_constructor (build_array_type (type, 0), initlist);
+}
+
+/* struct method_list_t
+  {
+     uint32_t entsize;
+     uint32_t method_count;
+     struct objc_method method_list[method_count];
+   }; */
+
+static tree
+build_v2_method_list_template (tree list_type, int size)
+{
+  tree method_list_t_record;
+  tree array_type, decls, *chain = NULL;
+
+  method_list_t_record = objc_start_struct (NULL_TREE);
+
+  /* uint32_t const entsize; */
+  decls = add_field_decl (integer_type_node, "entsize", &chain);
+
+  /* int method_count; */
+  add_field_decl (integer_type_node, "method_count", &chain);
+
+  /* struct objc_method method_list[]; */
+  array_type = build_sized_array_type (list_type, size);
+  add_field_decl (array_type, "method_list", &chain);
+
+  objc_finish_struct (method_list_t_record, decls);
+  return method_list_t_record;
+}
+
+/* Note, as above that we are building to the objc_method_template
+   which has the *imp field.  ABI0/1 build with
+   objc_method_prototype_template which is missing this field.  */
+static tree
+generate_v2_meth_descriptor_table (tree chain, tree protocol,
+				   const char *prefix, tree attr)
+{
+  tree method_list_template, initlist, decl, methods;
+  int size, entsize;
+  vec<constructor_elt, va_gc> *v = NULL;
+  char buf[BUFSIZE];
+
+  if (!chain || !prefix)
+    return NULL_TREE;
+
+  methods = chain;
+  size = 0;
+  while (methods)
+    {
+      if (! METHOD_ENCODING (methods))
+	METHOD_ENCODING (methods) = encode_method_prototype (methods);
+      methods = TREE_CHAIN (methods);
+      size++;
+    }
+
+  gcc_assert (size);
+  method_list_template = build_v2_method_list_template (objc_method_template,
+							size);
+  snprintf (buf, BUFSIZE, "%s_%s", prefix,
+	    IDENTIFIER_POINTER (PROTOCOL_NAME (protocol)));
+
+  decl = start_var_decl (method_list_template, buf);
+
+  entsize = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_method_template));
+  CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, entsize));
+  CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, size));
+  initlist =
+	build_v2_descriptor_table_initializer (objc_method_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;
+}
+
+/* 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_v2_property_table_initializer (tree type, tree context)
+{
+  tree x;
+  vec<constructor_elt, va_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, va_gc> *elemlist = NULL;
+      /* NOTE! sections where property name/attribute go MUST change
+	 later.  */
+      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 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_v2_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;
+}
+
+/* Top-level routine to generate property tables for each
+   implementation.  */
+
+static tree
+generate_v2_property_table (tree context, tree klass_ctxt)
+{
+  tree x, decl, initlist, property_list_template;
+  bool is_proto = false;
+  vec<constructor_elt, va_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;
+
+  property_list_template =
+	build_v2_property_list_template (objc_v2_property_template,
+					 size);
+
+  initlist = build_v2_property_table_initializer (objc_v2_property_template,
+						  is_proto ? context
+							   : klass_ctxt);
+
+  init_val = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_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);
+
+  OBJCMETA (decl, objc_meta, meta_base);
+  finish_var_decl (decl, objc_build_constructor (TREE_TYPE (decl), inits));
+  return decl;
+}
+
+static tree
+build_v2_protocol_initializer (tree type, tree protocol_name, tree protocol_list,
+			      tree inst_methods, tree class_methods,
+			      tree opt_ins_meth, tree opt_cls_meth,
+			      tree property_list)
+{
+  tree expr, ttyp;
+  location_t loc;
+  vec<constructor_elt, va_gc> *inits = NULL;
+
+  /* TODO: find a better representation of location from the inputs.  */
+  loc = UNKNOWN_LOCATION;
+
+  /*  This is NULL for the new ABI.  */
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE,
+			      convert (objc_object_type, null_pointer_node));
+
+  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);
+
+  if (opt_ins_meth)
+    expr = convert (ttyp, build_unary_op (loc, ADDR_EXPR, opt_ins_meth, 0));
+  else
+    expr = convert (ttyp, null_pointer_node);
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, expr);
+
+  if (opt_cls_meth)
+    expr = convert (ttyp, build_unary_op (loc, ADDR_EXPR, opt_cls_meth, 0));
+  else
+    expr = convert (ttyp, null_pointer_node);
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, expr);
+
+  ttyp = objc_prop_list_ptr;
+  if (property_list)
+    expr = convert (ttyp, build_unary_op (loc, ADDR_EXPR, property_list, 0));
+  else
+    expr = convert (ttyp, null_pointer_node);
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, expr);
+
+  /* const uint32_t size;  = sizeof(struct protocol_t) */
+  expr = build_int_cst (integer_type_node,
+	      TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_protocol_template)));
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, expr);
+  /* const uint32_t flags; = 0 */
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, integer_zero_node);
+
+  return objc_build_constructor (type, inits);
+}
+
+/* Main routine to build all meta data for all protocols used in a
+   translation unit.  */
+
+static void
+generate_v2_protocols (void)
+{
+  tree p ;
+  bool some = false;
+
+  if (!protocol_chain)
+    return ;
+
+  /* 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))
+    {
+      location_t loc;
+      tree inst_meth, class_meth, opt_inst_meth, opt_class_meth, props;
+      tree decl, initlist, protocol_name_expr, refs_decl, refs_expr;
+
+      /* If protocol wasn't referenced, don't generate any code.  */
+      decl = PROTOCOL_FORWARD_DECL (p);
+
+      if (!decl)
+	continue;
+
+      loc = DECL_SOURCE_LOCATION (decl);
+      some = true;
+
+      inst_meth =
+	generate_v2_meth_descriptor_table (PROTOCOL_NST_METHODS (p), p,
+					   "_OBJC_ProtocolInstanceMethods",
+					   meta_proto_nst_meth);
+
+      class_meth =
+	generate_v2_meth_descriptor_table (PROTOCOL_CLS_METHODS (p), p,
+					   "_OBJC_ProtocolClassMethods",
+					   meta_proto_cls_meth);
+
+      opt_inst_meth =
+	generate_v2_meth_descriptor_table (PROTOCOL_OPTIONAL_NST_METHODS (p), p,
+					   "_OBJC_OptProtocolInstMethods",
+					   meta_proto_nst_meth);
+
+      opt_class_meth =
+	generate_v2_meth_descriptor_table (PROTOCOL_OPTIONAL_CLS_METHODS (p), p,
+					   "_OBJC_OptProtocolClassMethods",
+					   meta_proto_cls_meth);
+
+      if (PROTOCOL_LIST (p))
+	refs_decl = generate_v2_protocol_list (p, NULL_TREE);
+      else
+	refs_decl = 0;
+
+      /* static struct objc_protocol _OBJC_Protocol_<mumble>; */
+      protocol_name_expr = add_objc_string (PROTOCOL_NAME (p), class_names);
+
+      if (refs_decl)
+	refs_expr = convert (build_pointer_type (objc_v2_protocol_template),
+			     build_unary_op (loc, ADDR_EXPR, refs_decl, 0));
+      else
+	refs_expr = build_int_cst (NULL_TREE, 0);
+
+      props = generate_v2_property_table (p, NULL_TREE);
+
+      initlist = build_v2_protocol_initializer (TREE_TYPE (decl),
+						protocol_name_expr, refs_expr,
+						inst_meth, class_meth,
+						opt_inst_meth, opt_class_meth,
+						props);
+      finish_var_decl (decl, initlist);
+      objc_add_to_protocol_list (p, decl);
+    }
+
+  if (some)
+    {
+      /* Make sure we get the Protocol class linked in - reference
+	 it...  */
+      p = objc_v2_get_class_reference (get_identifier (PROTOCOL_OBJECT_CLASS_NAME));
+      /* ... but since we don't specifically use the reference...  we
+         need to force it.  */
+      DECL_PRESERVE_P (p) = 1;
+    }
+}
+
+static tree
+generate_v2_dispatch_table (tree chain, const char *name, tree attr)
+{
+  tree decl, method_list_template, initlist;
+  vec<constructor_elt, va_gc> *v = NULL;
+  int size, init_val;
+
+  if (!chain || !name || !(size = list_length (chain)))
+    return NULL_TREE;
+
+  method_list_template
+	= build_v2_method_list_template (objc_method_template, size);
+  initlist
+	= build_dispatch_table_initializer (objc_method_template, chain);
+
+  decl = start_var_decl  (method_list_template, name);
+
+  init_val = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_method_template));
+  CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
+			  build_int_cst (integer_type_node, init_val));
+  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_v2_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, va_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 (objc_v2_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);
+
+  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 category_t _OBJC_CATEGORY_$_<name> = { ... }; */
+
+static void
+generate_v2_category (struct imp_entry *impent)
+{
+  tree initlist, cat_name_expr, class_name_expr;
+  tree protocol_decl, category, props, t;
+  tree inst_methods = NULL_TREE, class_methods = NULL_TREE;
+  tree cat = impent->imp_context;
+  tree cat_decl = impent->class_decl;
+  location_t loc;
+  char buf[BUFSIZE];
+
+  loc = DECL_SOURCE_LOCATION (cat_decl);
+
+  /* ??? not sure this is really necessary, the following references should
+     force appropriate linkage linkage...
+     -- but ... ensure a reference to the class...  */
+  t = objc_v2_get_class_reference (CLASS_NAME (cat));
+  /* ... which we ignore so force it out.. */
+  DECL_PRESERVE_P (t) = 1;
+
+  snprintf (buf, BUFSIZE, "OBJC_CLASS_$_%s", IDENTIFIER_POINTER (CLASS_NAME (cat)));
+  class_name_expr = create_extern_decl (objc_v2_class_template, buf);
+  class_name_expr = build_fold_addr_expr (class_name_expr);
+
+  cat_name_expr = add_objc_string (CLASS_SUPER_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_v2_protocol_list (category, cat);
+    }
+  else
+    protocol_decl = NULL_TREE;
+
+/* decl = update_var_decl(impent->class_decl); */
+
+  props = generate_v2_property_table (NULL_TREE, cat);
+
+  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_v2_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_v2_dispatch_table (CLASS_CLS_METHODS (cat), buf,
+						  meta_catc_meth);
+    }
+
+  initlist = build_v2_category_initializer (TREE_TYPE (cat_decl),
+					    cat_name_expr, class_name_expr,
+					    inst_methods, class_methods,
+					    protocol_decl, props, loc);
+
+  finish_var_decl (cat_decl, initlist);
+  impent->class_decl = cat_decl;
+
+  /* Add to list of pointers in __category_list section.  */
+  objc_v2_add_to_category_list (cat_decl);
+  if (has_load_impl (CLASS_CLS_METHODS (impent->imp_context)))
+    objc_v2_add_to_nonlazy_category_list (cat_decl);
+}
+
+/* This routine declares a variable to hold the offset for ivar
+   FIELD_DECL.  Variable name is .objc_ivar.ClassName.IvarName.  */
+
+struct GTY(()) ivarref_entry
+{
+  tree decl;
+  tree offset;
+};
+
+static GTY (()) vec<ivarref_entry, va_gc> *ivar_offset_refs;
+
+static tree
+ivar_offset_ref (tree class_name, tree field_decl)
+{
+  tree decl, field_decl_id;
+  ivarref_entry e;
+  bool global_var;
+  char buf[512];
+
+  create_ivar_offset_name (buf, class_name, field_decl);
+  field_decl_id = get_identifier (buf);
+
+  if (ivar_offset_refs)
+    {
+      int count;
+      ivarref_entry *ref;
+      FOR_EACH_VEC_ELT (*ivar_offset_refs, count, ref)
+	if (DECL_NAME (ref->decl) == field_decl_id)
+	  return ref->decl;
+    }
+  else
+    /* Somewhat arbitrary initial provision.  */
+    vec_alloc (ivar_offset_refs, 32);
+
+  /* We come here if we don't find a match or at the start.  */
+  global_var = (TREE_PUBLIC (field_decl) || TREE_PROTECTED (field_decl));
+  if (global_var)
+    decl = create_global_decl (TREE_TYPE (size_zero_node), buf);
+  else
+    decl = create_hidden_decl (TREE_TYPE (size_zero_node), buf);
+
+  /* Make sure it ends up in an ObjC section.  */
+  OBJCMETA (decl, objc_meta, meta_base);
+
+  e.decl = decl;
+  e.offset = byte_position (field_decl);
+  vec_safe_push (ivar_offset_refs, e);
+  return decl;
+}
+
+/* This routine builds initializer-list needed to initialize 'struct
+   ivar_t list[count] of 'struct ivar_list_t' meta data. TYPE is
+   'struct ivar_t' and FIELD_DECL is list of ivars for the target
+   class.  */
+
+static tree
+build_v2_ivar_list_initializer (tree class_name, tree type, tree field_decl)
+{
+  vec<constructor_elt, va_gc> *inits = NULL;
+
+  do
+    {
+      vec<constructor_elt, va_gc> *ivar = NULL;
+      int val;
+      tree id;
+
+      /* Unnamed bitfields are ignored.  */
+      if (!DECL_NAME (field_decl))
+	{
+	  field_decl = DECL_CHAIN (field_decl);
+	  continue;
+	}
+
+      /* Set offset.  */
+      CONSTRUCTOR_APPEND_ELT (ivar, NULL_TREE,
+			      build_unary_op (input_location,
+					      ADDR_EXPR,
+					      ivar_offset_ref (class_name,
+							       field_decl), 0));
+
+      /* Set name.  */
+      CONSTRUCTOR_APPEND_ELT (ivar, NULL_TREE,
+			      add_objc_string (DECL_NAME (field_decl),
+						meth_var_names));
+
+      /* Set type.  */
+      id = add_objc_string (encode_field_decl (field_decl),
+                            meth_var_types);
+      CONSTRUCTOR_APPEND_ELT (ivar, NULL_TREE, id);
+
+      /* Set alignment.  */
+      val = DECL_ALIGN_UNIT (field_decl);
+      val = exact_log2 (val);
+      CONSTRUCTOR_APPEND_ELT (ivar, NULL_TREE,
+			      build_int_cst (integer_type_node, val));
+
+      /* Set size.  */
+      val = TREE_INT_CST_LOW (DECL_SIZE_UNIT (field_decl));
+      CONSTRUCTOR_APPEND_ELT (ivar, NULL_TREE,
+			      build_int_cst (integer_type_node, val));
+
+      CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE,
+			      objc_build_constructor (type, ivar));
+
+      do
+	field_decl = DECL_CHAIN (field_decl);
+      while (field_decl && TREE_CODE (field_decl) != FIELD_DECL);
+    }
+  while (field_decl);
+
+  return objc_build_constructor (build_array_type (type, 0), inits);
+}
+
+/*
+  struct ivar_list_t
+  {
+    uint32 entsize;
+    uint32 count;
+    struct iver_t list[count];
+  };
+*/
+
+static tree
+build_v2_ivar_list_t_template (tree list_type, int size)
+{
+  tree objc_ivar_list_record;
+  tree decls, *chain = NULL;
+
+  /* Anonymous.  */
+  objc_ivar_list_record = objc_start_struct (NULL_TREE);
+
+  /* uint32 entsize; */
+  decls = add_field_decl (integer_type_node, "entsize", &chain);
+
+  /* uint32 count; */
+  add_field_decl (integer_type_node, "count", &chain);
+
+  /* struct objc_ivar ivar_list[]; */
+  add_field_decl (build_sized_array_type (list_type, size),
+			  "list", &chain);
+
+  objc_finish_struct (objc_ivar_list_record, decls);
+  return objc_ivar_list_record;
+}
+
+/* This routine declares a static variable of type 'struct
+   ivar_list_t' and initializes it.  chain is the source of the data,
+   name is the name for the var.  attr is the meta-data section tag
+   attribute.  templ is the implementation template for the class.  */
+
+static tree
+generate_v2_ivars_list (tree chain, const char *name, tree attr, tree templ)
+{
+  tree decl, initlist, ivar_list_template;
+  vec<constructor_elt, va_gc> *inits = NULL;
+  int size, ivar_t_size;
+
+  if (!chain || !name || !(size = ivar_list_length (chain)))
+    return NULL_TREE;
+
+  generating_instance_variables = 1;
+  ivar_list_template = build_v2_ivar_list_t_template (objc_v2_ivar_template,
+						      size);
+
+  initlist = build_v2_ivar_list_initializer (CLASS_NAME (templ),
+					     objc_v2_ivar_template, chain);
+  ivar_t_size = TREE_INT_CST_LOW  (TYPE_SIZE_UNIT (objc_v2_ivar_template));
+
+  decl = start_var_decl (ivar_list_template, name);
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE,
+			  build_int_cst (integer_type_node, ivar_t_size));
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE,
+			  build_int_cst (integer_type_node, size));
+  CONSTRUCTOR_APPEND_ELT (inits, NULL_TREE, initlist);
+  OBJCMETA (decl, objc_meta, attr);
+  finish_var_decl (decl, objc_build_constructor (TREE_TYPE (decl), inits));
+  generating_instance_variables = 0;
+  return decl;
+}
+
+/* Routine to build initializer list to initialize objects of type
+   struct class_t; */
+
+static tree
+build_v2_class_t_initializer (tree type, tree isa, tree superclass,
+			      tree ro, tree cache, tree vtable)
+{
+  vec<constructor_elt, va_gc> *initlist = NULL;
+
+  /* isa */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, isa);
+
+  /* superclass */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, superclass);
+
+  /* cache */
+  if (cache)
+    CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, cache);
+  else
+    CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, null_pointer_node);
+
+  /* vtable */
+  if (vtable)
+    CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, vtable);
+  else
+    CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, null_pointer_node);
+
+  /* ro */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, ro);
+
+  return objc_build_constructor (type, initlist);
+}
+
+/* Routine to build object of struct class_ro_t { ... }; */
+
+static tree
+build_v2_class_ro_t_initializer (tree type, tree name,
+			       unsigned int flags, unsigned int instanceStart,
+			       unsigned int instanceSize,
+			       tree ivarLayout,
+			       tree baseMethods, tree baseProtocols,
+			       tree ivars, tree property_list)
+{
+  tree expr, unsigned_char_star, ltyp;
+  location_t loc;
+  vec<constructor_elt, va_gc> *initlist = NULL;
+
+  /* TODO: fish out the real location from somewhere.  */
+  loc = UNKNOWN_LOCATION;
+
+  /* flags */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE,
+			  build_int_cst (integer_type_node, flags));
+
+  /* instanceStart */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE,
+			  build_int_cst (integer_type_node, instanceStart));
+
+  /* instanceSize */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE,
+			  build_int_cst (integer_type_node, instanceSize));
+
+  /* This ABI is currently only used on m64 NeXT.  We always
+     explicitly declare the alignment padding.  */
+  /* reserved, pads alignment.  */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE,
+			    build_int_cst (integer_type_node, 0));
+
+  /* ivarLayout */
+  unsigned_char_star = build_pointer_type (unsigned_char_type_node);
+  if (ivarLayout)
+    expr = ivarLayout;
+  else
+    expr = convert (unsigned_char_star, null_pointer_node);
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, expr);
+
+  /* name */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, default_conversion (name));
+
+  /* baseMethods */
+  ltyp = objc_method_list_ptr;
+  if (baseMethods)
+    expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, baseMethods, 0));
+  else
+    expr = convert (ltyp, null_pointer_node);
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, expr);
+
+  /* baseProtocols */
+  ltyp = build_pointer_type (xref_tag (RECORD_TYPE,
+			               get_identifier (UTAG_V2_PROTOCOL_LIST)));
+  if (baseProtocols)
+    expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, baseProtocols, 0));
+  else
+    expr = convert (ltyp, null_pointer_node);
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, expr);
+
+  /* ivars */
+  ltyp = objc_v2_ivar_list_ptr;
+  if (ivars)
+    expr = convert (ltyp, build_unary_op (loc, ADDR_EXPR, ivars, 0));
+  else
+    expr = convert (ltyp, null_pointer_node);
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, expr);
+
+  /* TODO: We don't yet have the weak/strong stuff...  */
+  /* weakIvarLayout */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE,
+			  convert (unsigned_char_star, null_pointer_node));
+
+  /* property list */
+  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 (initlist, NULL_TREE, expr);
+  return objc_build_constructor (type, initlist);
+}
+
+static GTY (()) vec<ident_data_tuple, va_gc> *ehtype_list;
+
+/* Record a name as needing a catcher.  */
+static void
+objc_v2_add_to_ehtype_list (tree name)
+{
+  ident_data_tuple e;
+  if (ehtype_list)
+    {
+      int count = 0;
+      ident_data_tuple *ref;
+
+      FOR_EACH_VEC_ELT (*ehtype_list, count, ref)
+	if (ref->ident == name)
+	  return; /* Already entered.  */
+     }
+  else
+    /* Arbitrary initial count.  */
+    vec_alloc (ehtype_list, 8);
+
+  /* Not found, or new list.  */
+  e.ident = name;
+  e.data = NULL_TREE;
+  vec_safe_push (ehtype_list, e);
+}
+
+static void
+generate_v2_class_structs (struct imp_entry *impent)
+{
+  tree decl, name_expr, initlist, protocol_decl, metaclass_decl, class_decl;
+  tree field, firstIvar, chain;
+  tree class_superclass_expr, metaclass_superclass_expr, props;
+  /* TODO: figure out how to compute this.  */
+  tree ivarLayout = NULL_TREE;
+  tree my_super_id = NULL_TREE, root_expr = NULL_TREE;
+  tree inst_methods = NULL_TREE, class_methods = NULL_TREE;
+  tree inst_ivars = NULL_TREE, class_ivars = NULL_TREE;
+  location_t loc;
+  char buf[BUFSIZE];
+  unsigned int instanceStart, instanceSize;
+  unsigned int flags = 0x01; /* RO_META */
+  int cls_flags = impent->has_cxx_cdtors ? OBJC2_CLS_HAS_CXX_STRUCTORS
+					 : 0 ;
+
+  class_decl = impent->class_decl;
+  metaclass_decl = impent->meta_decl;
+  loc = DECL_SOURCE_LOCATION (class_decl);
+
+  DECL_EXTERNAL (class_decl) = DECL_EXTERNAL (metaclass_decl) = 0;
+  TREE_PUBLIC (class_decl) = TREE_PUBLIC (metaclass_decl) = 1;
+#ifdef OBJCPLUS
+  gcc_assert (!CP_DECL_CONTEXT (class_decl) || CP_DECL_CONTEXT (class_decl) == global_namespace);
+  gcc_assert (!CP_DECL_CONTEXT (metaclass_decl) || CP_DECL_CONTEXT (metaclass_decl) == global_namespace);
+#endif
+
+  /* Generation of data for meta class.  */
+  my_super_id = CLASS_SUPER_NAME (impent->imp_template);
+  if (my_super_id)
+    {
+      /* Compute reference to root's name.  For a meta class, "isa" is
+	 a reference to the root class name. */
+      tree my_root_id = my_super_id;
+      tree my_root_int, interface;
+      do
+        {
+          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);
+
+      /* {extern} struct class_t OBJC_METACLASS_$_<my_root_int>
+         create extern if not already declared.  */
+      snprintf (buf, BUFSIZE, "OBJC_METACLASS_$_%s",
+		IDENTIFIER_POINTER (CLASS_NAME (my_root_int)));
+      root_expr = create_extern_decl (objc_v2_class_template, buf);
+      root_expr = build_fold_addr_expr (root_expr);
+
+      /* Install class `isa' and `super' pointers at runtime.  */
+      interface = lookup_interface (my_super_id);
+      gcc_assert (interface);
+      /* Similarly, for OBJC_CLASS_$_<interface>...  */
+      snprintf (buf, BUFSIZE, "OBJC_CLASS_$_%s",
+		IDENTIFIER_POINTER (CLASS_NAME (interface)));
+      class_superclass_expr = create_extern_decl (objc_v2_class_template, buf);
+      class_superclass_expr = build_fold_addr_expr (class_superclass_expr);
+      /* ... and for OBJC_METACLASS_$_<interface>.  */
+      snprintf (buf, BUFSIZE, "OBJC_METACLASS_$_%s",
+		IDENTIFIER_POINTER (CLASS_NAME (interface)));
+      metaclass_superclass_expr = create_extern_decl (objc_v2_class_template, buf);
+      metaclass_superclass_expr = build_fold_addr_expr (metaclass_superclass_expr);
+    }
+  else
+    {
+      /* Root class.  */
+      root_expr = build_unary_op (loc, ADDR_EXPR, metaclass_decl, 0);
+      metaclass_superclass_expr = build_unary_op (loc, ADDR_EXPR, class_decl, 0);
+      class_superclass_expr = build_int_cst (NULL_TREE, 0);
+      flags |= 0x02; /* RO_ROOT: it is also a root meta class.  */
+    }
+
+  if (CLASS_PROTOCOL_LIST (impent->imp_template))
+    {
+      generate_protocol_references (CLASS_PROTOCOL_LIST (impent->imp_template));
+      protocol_decl = generate_v2_protocol_list (impent->imp_template,
+						 impent->imp_context);
+    }
+  else
+    protocol_decl = 0;
+
+  name_expr = add_objc_string (CLASS_NAME (impent->imp_template),
+                               class_names);
+
+  if (CLASS_CLS_METHODS (impent->imp_context))
+    {
+      snprintf (buf, BUFSIZE, "_OBJC_ClassMethods_%s",
+		IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+      class_methods =
+	generate_v2_dispatch_table (CLASS_CLS_METHODS (impent->imp_context),
+				    buf, meta_clac_meth);
+    }
+
+  instanceStart = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_class_template));
+
+  /* Currently there are no class ivars and generation of class
+     variables for the root of the inheritance has been removed.  It
+     causes multiple defines if there are two root classes in the
+     link, because each will define its own identically-named offset
+     variable.  */
+
+  class_ivars = NULL_TREE;
+  /* TODO: Add total size of class variables when implemented. */
+  instanceSize = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (objc_v2_class_template));
+
+  /* So now build the META CLASS structs.  */
+  /* static struct class_ro_t  _OBJC_METACLASS_Foo = { ... }; */
+
+  decl = start_var_decl (objc_v2_class_ro_template,
+			 newabi_append_ro (IDENTIFIER_POINTER
+						(DECL_NAME (metaclass_decl))));
+
+  /* TODO: ivarLayout needs t be built.  */
+  initlist =
+	build_v2_class_ro_t_initializer (TREE_TYPE (decl), name_expr,
+					(flags | cls_flags), instanceStart,
+					instanceSize, ivarLayout,
+					class_methods, protocol_decl,
+					class_ivars, NULL_TREE);
+  /* The ROs sit in the default const section.  */
+  OBJCMETA (decl, objc_meta, meta_base);
+  finish_var_decl (decl, initlist);
+
+  /* static struct class_t _OBJC_METACLASS_Foo = { ... }; */
+  initlist =
+	build_v2_class_t_initializer (TREE_TYPE (metaclass_decl),
+				      root_expr,
+				      metaclass_superclass_expr,
+				      build_fold_addr_expr (decl),
+				      build_fold_addr_expr (UOBJC_V2_CACHE_decl),
+				      build_fold_addr_expr (UOBJC_V2_VTABLE_decl));
+  /* The class section attributes are set when they are created.  */
+  finish_var_decl (metaclass_decl, initlist);
+  impent->meta_decl = metaclass_decl;
+
+  /* So now build the CLASS structs.  */
+
+  flags = 0x0;		/* ... */
+  if (!my_super_id)
+    flags |= 0x02;	/* RO_ROOT: this is a root class */
+
+  if (DECL_VISIBILITY (class_decl) == VISIBILITY_HIDDEN)
+    flags |= 0x10;	/* RO_HIDDEN, OBJC2_CLS_HIDDEN; */
+
+  if (objc2_objc_exception_attr (impent->imp_template))
+    flags |= 0x20;	/* RO_EXCEPTION */
+
+  if (CLASS_NST_METHODS (impent->imp_context))
+    {
+      snprintf (buf, BUFSIZE, "_OBJC_InstanceMethods_%s",
+		IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+      inst_methods =
+	generate_v2_dispatch_table (CLASS_NST_METHODS (impent->imp_context),
+				    buf, meta_clai_meth);
+    }
+
+  /* Sort out the ivars before we try to compute the class sizes.  */
+  if ((chain = CLASS_IVARS (impent->imp_template)))
+    {
+      snprintf (buf, BUFSIZE, "_OBJC_InstanceIvars_%s",
+		IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context)));
+      inst_ivars = generate_v2_ivars_list (chain, buf, meta_clai_vars,
+					   impent->imp_template);
+    }
+
+  /* Compute instanceStart.  */
+  gcc_assert (CLASS_STATIC_TEMPLATE (impent->imp_template));
+  field = TYPE_FIELDS (CLASS_STATIC_TEMPLATE (impent->imp_template));
+  if (my_super_id && field && TREE_CHAIN (field))
+    field = TREE_CHAIN (field);
+
+  firstIvar = field;
+
+  while (firstIvar && TREE_CODE (firstIvar) != FIELD_DECL)
+    firstIvar = TREE_CHAIN (firstIvar);
+
+  gcc_assert (inst_ivars? (firstIvar != NULL_TREE): true);
+
+  /* Compute instanceSize.  */
+  while (field && TREE_CHAIN (field)
+         && TREE_CODE (TREE_CHAIN (field)) == FIELD_DECL)
+    field = TREE_CHAIN (field);
+
+  if (field && TREE_CODE (field) == FIELD_DECL)
+    instanceSize = int_byte_position (field) * BITS_PER_UNIT
+		   + tree_to_shwi (DECL_SIZE (field));
+  else
+    instanceSize = 0;
+  instanceSize /= BITS_PER_UNIT;
+
+  props = generate_v2_property_table (NULL_TREE, impent->imp_context);
+
+  /* If the class has no ivars, instanceStart should be set to the
+     superclass's instanceSize.  */
+  instanceStart =
+	(inst_ivars != NULL_TREE) ? (unsigned) int_byte_position (firstIvar)
+				  : instanceSize;
+
+  /* static struct class_ro_t  _OBJC_CLASS_Foo = { ... }; */
+  decl = start_var_decl (objc_v2_class_ro_template,
+			 newabi_append_ro (IDENTIFIER_POINTER
+						(DECL_NAME (class_decl))));
+
+  initlist =
+	build_v2_class_ro_t_initializer (TREE_TYPE (decl), name_expr,
+					 (flags | cls_flags), instanceStart,
+					 instanceSize, ivarLayout,
+					 inst_methods, protocol_decl,
+					 inst_ivars, props);
+  /* The ROs sit in the default const section.  */
+  OBJCMETA (decl, objc_meta, meta_base);
+  finish_var_decl (decl, initlist);
+
+  /* static struct class_t _OBJC_CLASS_Foo = { ... }; */
+  initlist = build_v2_class_t_initializer (TREE_TYPE (class_decl),
+					build_fold_addr_expr (metaclass_decl),
+					class_superclass_expr,
+					build_fold_addr_expr (decl),
+					build_fold_addr_expr (UOBJC_V2_CACHE_decl),
+					build_fold_addr_expr (UOBJC_V2_VTABLE_decl));
+
+  /* The class section attributes are set when they are created.  */
+  finish_var_decl (class_decl, initlist);
+  impent->class_decl = class_decl;
+
+  objc_v2_add_to_class_list (class_decl);
+  if (has_load_impl (CLASS_CLS_METHODS (impent->imp_context)))
+    objc_v2_add_to_nonlazy_class_list (class_decl);
+
+  if (flags & 0x20) /* RO_EXCEPTION */
+    objc_v2_add_to_ehtype_list (CLASS_NAME (impent->imp_template));
+}
+
+/* This routine outputs the (ivar_reference_offset, offset)
+   tuples.  */
+
+static void
+build_v2_ivar_offset_ref_table (void)
+{
+  int count;
+  ivarref_entry *ref;
+
+  if (!vec_safe_length (ivar_offset_refs))
+    return;
+
+  FOR_EACH_VEC_ELT (*ivar_offset_refs, count, ref)
+    finish_var_decl (ref->decl, ref->offset);
+}
+
+static void
+objc_generate_v2_next_metadata (void)
+{
+  struct imp_entry *impent;
+
+  /* FIXME: Make sure that we generate no metadata if there is nothing
+     to put into it.  */
+
+  gcc_assert (!objc_static_instances); /* Not for NeXT */
+
+  build_metadata_templates ();
+
+  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_v2_class_structs (impent);
+      else
+	generate_v2_category (impent);
+    }
+
+  build_next_selector_translation_table ();
+  build_v2_message_ref_translation_table ();
+
+  /* This will add "Protocol" to the class refs.  */
+  generate_v2_protocols ();
+
+  build_v2_classrefs_table ();
+  build_v2_super_classrefs_table (/*metaclass= */false);
+  build_v2_super_classrefs_table (/*metaclass= */true);
+
+  build_v2_ivar_offset_ref_table ();
+
+  build_v2_protocol_list_translation_table ();
+  build_v2_protocol_list_address_table ();
+
+  build_v2_address_table (class_list, "_OBJC_ClassList$",
+			  meta_label_classlist);
+  build_v2_address_table (category_list, "_OBJC_CategoryList$",
+			  meta_label_categorylist);
+  build_v2_address_table (nonlazy_class_list, "_OBJC_NonLazyClassList$",
+			  meta_label_nonlazy_classlist);
+  build_v2_address_table (nonlazy_category_list, "_OBJC_NonLazyCategoryList$",
+			  meta_label_nonlazy_categorylist);
+
+  /* Generate catch objects for eh, if any are needed.  */
+  build_v2_eh_catch_objects ();
+
+  /* Emit the string table last.  */
+  generate_strings ();
+}
+
+/* NOTE --- Output NeXT V2 Exceptions --- */
+
+static GTY(()) tree objc_v2_ehtype_template;
+static GTY(()) tree next_v2_ehvtable_decl;
+static GTY(()) tree next_v2_EHTYPE_id_decl;
+
+static void
+build_v2_ehtype_template (void)
+{
+  tree decls, *chain = NULL;
+  objc_v2_ehtype_template = objc_start_struct (get_identifier (UTAG_V2_EH_TYPE));
+
+  /* void *_objc_ehtype_vtable; */
+  decls = add_field_decl (ptr_type_node, "_objc_ehtype_vtable_ptr", &chain);
+
+  /* const char *className; */
+  add_field_decl (string_type_node, "className", &chain);
+
+  /* struct class_t *const cls; */
+  add_field_decl (build_pointer_type (objc_v2_class_template), "cls", &chain);
+
+  objc_finish_struct (objc_v2_ehtype_template, decls);
+}
+
+/* Template for the Objective-C family typeinfo type for ABI=2.  This
+   starts off the same as the gxx/cxx eh typeinfo.
+
+   struct _objc_ehtype_t
+   {
+     void *_objc_ehtype_vtable_ptr;	- as per c++
+     const char *className;		- as per c++
+     struct class_t *const cls;
+   }
+*/
+
+/* This routine builds initializer list for object of type struct _objc_ehtype_t.
+*/
+
+static tree
+objc2_build_ehtype_initializer (tree name, tree cls)
+{
+  vec<constructor_elt, va_gc> *initlist = NULL;
+  tree addr, offs;
+
+  /* This is done the same way as c++, missing the two first entries
+     in the parent vtable.  NOTE: there is a fix-me in the Apple/NeXT
+     runtime source about this so, perhaps, this will change at some
+     point.  */
+  /* _objc_ehtype_vtable + 2*sizeof(void*)  */
+  if (!next_v2_ehvtable_decl)
+    {
+      next_v2_ehvtable_decl =
+			start_var_decl (ptr_type_node, TAG_NEXT_EHVTABLE_NAME);
+      TREE_STATIC (next_v2_ehvtable_decl) = 0;
+      DECL_EXTERNAL (next_v2_ehvtable_decl) = 1;
+      TREE_PUBLIC (next_v2_ehvtable_decl) = 1;
+    }
+  addr = build_fold_addr_expr_with_type (next_v2_ehvtable_decl, ptr_type_node);
+  offs = size_int (2 * int_cst_value (TYPE_SIZE_UNIT (ptr_type_node)));
+  addr = fold_build_pointer_plus (addr, offs);
+
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, addr);
+
+  /* className */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, name);
+
+  /* cls */
+  CONSTRUCTOR_APPEND_ELT (initlist, NULL_TREE, cls);
+
+  return objc_build_constructor (objc_v2_ehtype_template, initlist);
+}
+
+static tree
+build_ehtype (tree name, const char *eh_name, bool weak)
+{
+  tree name_expr, class_name_expr, ehtype_decl, inits;
+
+  name_expr = add_objc_string (name, class_names);
+  /* Extern ref. for the class. ???  Maybe we can look this up
+     somewhere.  */
+  class_name_expr =
+	create_extern_decl (objc_v2_class_template,
+			    objc_build_internal_classname (name, false));
+  class_name_expr = build_fold_addr_expr (class_name_expr);
+  ehtype_decl = create_global_decl (objc_v2_ehtype_template, eh_name);
+  if (weak)
+    DECL_WEAK (ehtype_decl) = 1;
+  inits = objc2_build_ehtype_initializer (name_expr, class_name_expr);
+  OBJCMETA (ehtype_decl, objc_meta, meta_ehtype);
+  finish_var_decl (ehtype_decl, inits);
+  return ehtype_decl;
+}
+
+/* This routine returns TRUE if CLS or any of its super classes has
+   __attribute__ ((objc_exception)).  */
+
+static bool
+objc2_objc_exception_attr (tree cls)
+{
+  while (cls)
+    {
+      if (CLASS_HAS_EXCEPTION_ATTR (cls))
+	return true;
+      cls = lookup_interface (CLASS_SUPER_NAME (cls));
+    }
+
+  return false;
+}
+
+static bool
+is_implemented (tree name)
+{
+  struct imp_entry *t;
+  for (t = imp_list; t; t = t->next)
+    if (TREE_CODE (t->imp_context) == CLASS_IMPLEMENTATION_TYPE
+	&& CLASS_NAME (t->imp_template) == name)
+      return true;
+
+  return false;
+}
+
+/* We will build catch objects:
+     for any type  implemented here.
+     for any type used in a catch that has no exception attribute.  */
+static void build_v2_eh_catch_objects (void)
+{
+  int count=0;
+  ident_data_tuple *ref;
+
+  if (!vec_safe_length (ehtype_list))
+    return;
+
+  FOR_EACH_VEC_ELT (*ehtype_list, count, ref)
+    {
+      char buf[BUFSIZE];
+      bool impl = is_implemented (ref->ident);
+      bool excpt = objc2_objc_exception_attr (lookup_interface (ref->ident));
+      snprintf (buf, BUFSIZE, "OBJC_EHTYPE_$_%s", IDENTIFIER_POINTER (ref->ident));
+      if (!impl && excpt)
+	/* The User says this class has a catcher already.  */
+	ref->data = create_extern_decl (objc_v2_ehtype_template, buf);
+      else
+	/* Create a catcher, weak if it wasn't marked.  */
+	ref->data = build_ehtype (ref->ident, buf, !excpt);
+    }
+}
+
+static tree
+lookup_ehtype_ref (tree id)
+{
+  int count=0;
+  ident_data_tuple *ref;
+
+  if (!vec_safe_length (ehtype_list))
+    return NULL_TREE;
+
+  FOR_EACH_VEC_ELT (*ehtype_list, count, ref)
+    if (ref->ident == id)
+      return ref->data;
+  return NULL_TREE;
+}
+
+/* This hook, called via lang_eh_runtime_type, generates a runtime
+   object which is either the address of the 'OBJC_EHTYPE_$_class'
+   object or address of external OBJC_EHTYPE_id object.  */
+static tree
+next_runtime_02_eh_type (tree type)
+{
+  tree t;
+
+  if (type == error_mark_node
+      /*|| errorcount || sorrycount*/)
+    goto err_mark_in;
+
+  if (POINTER_TYPE_P (type) && objc_is_object_id (TREE_TYPE (type)))
+    {
+      if (!next_v2_EHTYPE_id_decl)
+	{
+	  /* This is provided by the Apple/NeXT libobjc.dylib so we
+	     need only to reference it.  */
+	  next_v2_EHTYPE_id_decl =
+		start_var_decl (objc_v2_ehtype_template, "OBJC_EHTYPE_id");
+	  DECL_EXTERNAL (next_v2_EHTYPE_id_decl) = 1;
+	  TREE_PUBLIC (next_v2_EHTYPE_id_decl) = 1;
+	  TREE_STATIC (next_v2_EHTYPE_id_decl) = 0;
+	}
+      return build_fold_addr_expr (next_v2_EHTYPE_id_decl);
+    }
+
+  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 %qT cannot be caught", type);
+      goto err_mark_in;
+#endif
+    }
+  else
+    t = OBJC_TYPE_NAME (TREE_TYPE (type));
+
+  /* We have to build a reference to the OBJC_EHTYPE_<Class>.  */
+  t = lookup_ehtype_ref (t);
+  if (!t)
+    goto err_mark_in;
+
+  return build_fold_addr_expr (t);
+
+err_mark_in:
+  return error_mark_node;
+}
+
+static GTY(()) tree objc_eh_personality_decl;
+
+static tree
+objc_eh_personality (void)
+{
+  if (!objc_eh_personality_decl)
+    objc_eh_personality_decl = build_personality_function  ("objc");
+  return objc_eh_personality_decl;
+}
+
+/* NOTE --- interfaces --- */
+
+static tree
+build_throw_stmt (location_t loc, tree throw_expr, bool rethrown)
+{
+  tree t;
+  if (rethrown)
+    /* We have a separate re-throw entry.  */
+    t = build_function_call_vec (loc, vNULL, objc_rethrow_exception_decl,
+				 NULL, NULL);
+  else
+    {
+      /* Throw like the others...  */
+      vec<tree, va_gc> *parms;
+      vec_alloc (parms, 1);
+      parms->quick_push (throw_expr);
+      t = build_function_call_vec (loc, vNULL, objc_exception_throw_decl,
+				   parms, 0);
+      vec_free (parms);
+    }
+  return add_stmt (t);
+}
+
+/* Build __builtin_eh_pointer.  */
+
+static tree
+objc_build_exc_ptr (struct objc_try_context **x ATTRIBUTE_UNUSED)
+{
+  tree t;
+  t = builtin_decl_explicit (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.  Ellipsis is signalled by a NULL entry.  */
+  if (ellipsis)
+    t = build_stmt (input_location, CATCH_EXPR, NULL_TREE, compound);
+  else
+    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);
+  /* FIXME: location.  */
+  if (type && type != error_mark_node)
+    {
+      t = build1(NOP_EXPR, ptr_type_node, t);
+      t = build_function_call (input_location, objc2_begin_catch_decl,
+			      tree_cons (NULL_TREE, t, NULL_TREE));
+
+      /* We might want to build a catch object for this (if it's not
+	 id).  */
+      if (POINTER_TYPE_P (type)
+	  && !objc_is_object_id (TREE_TYPE (type))
+	  && TYPED_OBJECT (TREE_TYPE (type)))
+	objc_v2_add_to_ehtype_list (OBJC_TYPE_NAME (TREE_TYPE (type)));
+    }
+  return build2 (MODIFY_EXPR, void_type_node, decl, t);
+}
+
+/* try { catch-body } finally { objc_end_catch (); } */
+static void
+finish_catch (struct objc_try_context **cur_try_context, tree curr_catch)
+{
+  struct objc_try_context *ct;
+  tree try_exp, func, *l, t ;
+  location_t loc = (*cur_try_context)->try_locus;
+
+  if (!curr_catch || curr_catch == error_mark_node)
+    return;
+
+  t = CATCH_BODY (curr_catch);
+  if (TREE_CODE (t) == BIND_EXPR)
+    {
+      /* Usual case of @catch (objc-expr).  */
+      objc_begin_try_stmt (loc, BIND_EXPR_BODY (t));
+      BIND_EXPR_BODY (t) = NULL_TREE;
+      l = &BIND_EXPR_BODY (t);
+    }
+  else
+    {
+      /* NULL entry, meaning @catch (...).  */
+      objc_begin_try_stmt (loc, t);
+      CATCH_BODY (curr_catch) = NULL_TREE;
+      l = &CATCH_BODY (curr_catch);
+    }
+
+  /* Pick up the new context we made in begin_try above...  */
+  ct = *cur_try_context;
+  func = build_function_call_vec (loc, vNULL, objc2_end_catch_decl, NULL,
+				  NULL);
+  append_to_statement_list (func, &ct->finally_body);
+  try_exp = build_stmt (loc, TRY_FINALLY_EXPR, ct->try_body, ct->finally_body);
+  *cur_try_context = ct->outer;
+  free (ct);
+  append_to_statement_list (try_exp, l);
+  append_to_statement_list (curr_catch, &((*cur_try_context)->catch_list));
+}
+
+static tree
+finish_try_stmt (struct objc_try_context **cur_try_context)
+{
+  struct objc_try_context *c = *cur_try_context;
+  tree 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-02.h"