[c++] typeinfo for target types

Message ID	alpine.DEB.2.02.1404131018180.27848@stedding.saclay.inria.fr
State	New
Headers	show Return-Path: <gcc-patches-return-364913-incoming=patchwork.ozlabs.org@gcc.gnu.org> DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:cc:subject:message-id:mime-version:content-type; q=dns; s=default; b=TzDfpjA9sIVxSoHBtqNZVrjLQW5tlDqEo4Z6cgAgXcJRxHir3y Se6LKfsDTx8DNxc8GsSFPjjDlqkJPezwUzzoaIhlhaHzMiwJv66osnI/xC6JLbdg x/qJKZR0xr6mze6EjIRYXw+9m5cSQyD2KRcuF/0Gsr7bdXjjBSdxxll+Q= Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk Sender: gcc-patches-owner@gcc.gnu.org Date: Sun, 13 Apr 2014 10:41:42 +0200 (CEST) From: Marc Glisse <marc.glisse@inria.fr> To: gcc-patches@gcc.gnu.org cc: jason@redhat.com Subject: [c++] typeinfo for target types Message-ID: <alpine.DEB.2.02.1404131018180.27848@stedding.saclay.inria.fr> User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-763891392-1397378502=:27848"

Index: gcc/c-family/c-common.c =================================================================== --- gcc/c-family/c-common.c (revision 209345) +++ gcc/c-family/c-common.c (working copy) @@ -3462,21 +3462,21 @@ c_common_fixed_point_type_for_size (unsi "fixed-point types that have too many integral and " "fractional bits together"); return 0; } return c_common_type_for_mode (mode, satp); } /* Used for communication between c_common_type_for_mode and c_register_builtin_type. */ -static GTY(()) tree registered_builtin_types; +tree registered_builtin_types; /* Return a data type that has machine mode MODE. If the mode is an integer, then UNSIGNEDP selects between signed and unsigned types. If the mode is a fixed-point mode, then UNSIGNEDP selects between saturating and nonsaturating types. */ tree c_common_type_for_mode (enum machine_mode mode, int unsignedp) { Index: gcc/c-family/c-common.h =================================================================== --- gcc/c-family/c-common.h (revision 209345) +++ gcc/c-family/c-common.h (working copy) @@ -1006,20 +1006,24 @@ extern void do_warn_double_promotion (tr extern void set_underlying_type (tree); extern void record_locally_defined_typedef (tree); extern void maybe_record_typedef_use (tree); extern void maybe_warn_unused_local_typedefs (void); extern vec<tree, va_gc> *make_tree_vector (void); extern void release_tree_vector (vec<tree, va_gc> *); extern vec<tree, va_gc> *make_tree_vector_single (tree); extern vec<tree, va_gc> *make_tree_vector_from_list (tree); extern vec<tree, va_gc> *make_tree_vector_copy (const vec<tree, va_gc> *); +/* Used for communication between c_common_type_for_mode and + c_register_builtin_type. */ +extern GTY(()) tree registered_builtin_types; + /* In c-gimplify.c */ extern void c_genericize (tree); extern int c_gimplify_expr (tree *, gimple_seq *, gimple_seq *); extern tree c_build_bind_expr (location_t, tree, tree); /* In c-pch.c */ extern void pch_init (void); extern void pch_cpp_save_state (void); extern int c_common_valid_pch (cpp_reader *pfile, const char *name, int fd); extern void c_common_read_pch (cpp_reader *pfile, const char *name, int fd, Index: gcc/cp/rtti.c =================================================================== --- gcc/cp/rtti.c (revision 209345) +++ gcc/cp/rtti.c (working copy) @@ -1458,20 +1458,58 @@ create_tinfo_types (void) FIELD_DECL, NULL_TREE, integer_type_node), build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE, type_info_ptr_type), build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE, type_info_ptr_type), NULL); pop_abi_namespace (); } +/* Helper for emit_support_tinfos. Emits the type_info descriptor of + a single type. */ + +void +emit_support_tinfo_1 (tree bltn) +{ + tree types[3]; + + if (bltn == NULL_TREE) + return; + types[0] = bltn; + types[1] = build_pointer_type (bltn); + types[2] = build_pointer_type (cp_build_qualified_type (bltn, + TYPE_QUAL_CONST)); + + for (int i = 0; i < 3; ++i) + { + tree tinfo = get_tinfo_decl (types[i]); + TREE_USED (tinfo) = 1; + mark_needed (tinfo); + /* The C++ ABI requires that these objects be COMDAT. But, + On systems without weak symbols, initialized COMDAT + objects are emitted with internal linkage. (See + comdat_linkage for details.) Since we want these objects + to have external linkage so that copies do not have to be + emitted in code outside the runtime library, we make them + non-COMDAT here. + + It might also not be necessary to follow this detail of the + ABI. */ + if (!flag_weak || ! targetm.cxx.library_rtti_comdat ()) + { + gcc_assert (TREE_PUBLIC (tinfo) && !DECL_COMDAT (tinfo)); + DECL_INTERFACE_KNOWN (tinfo) = 1; + } + } +} + /* Emit the type_info descriptors which are guaranteed to be in the runtime support. Generating them here guarantees consistency with the other structures. We use the following heuristic to determine when the runtime is being generated. If std::__fundamental_type_info is defined, and its destructor is defined, then the runtime is being built. */ void emit_support_tinfos (void) { /* Dummy static variable so we can put nullptr in the array; it will be @@ -1500,56 +1538,23 @@ emit_support_tinfos (void) get_identifier ("__fundamental_type_info"), /*tag_scope=*/ts_current, false); pop_abi_namespace (); if (!COMPLETE_TYPE_P (bltn_type)) return; dtor = CLASSTYPE_DESTRUCTORS (bltn_type); if (!dtor || DECL_EXTERNAL (dtor)) return; doing_runtime = 1; for (ix = 0; fundamentals[ix]; ix++) - { - tree bltn = *fundamentals[ix]; - tree types[3]; - int i; - - if (bltn == NULL_TREE) - continue; - types[0] = bltn; - types[1] = build_pointer_type (bltn); - types[2] = build_pointer_type (cp_build_qualified_type (bltn, - TYPE_QUAL_CONST)); - - for (i = 0; i < 3; ++i) - { - tree tinfo; - - tinfo = get_tinfo_decl (types[i]); - TREE_USED (tinfo) = 1; - mark_needed (tinfo); - /* The C++ ABI requires that these objects be COMDAT. But, - On systems without weak symbols, initialized COMDAT - objects are emitted with internal linkage. (See - comdat_linkage for details.) Since we want these objects - to have external linkage so that copies do not have to be - emitted in code outside the runtime library, we make them - non-COMDAT here. - - It might also not be necessary to follow this detail of the - ABI. */ - if (!flag_weak || ! targetm.cxx.library_rtti_comdat ()) - { - gcc_assert (TREE_PUBLIC (tinfo) && !DECL_COMDAT (tinfo)); - DECL_INTERFACE_KNOWN (tinfo) = 1; - } - } - } + emit_support_tinfo_1 (*fundamentals[ix]); + for (tree t = registered_builtin_types; t; t = TREE_CHAIN (t)) + emit_support_tinfo_1 (TREE_VALUE (t)); } /* Finish a type info decl. DECL_PTR is a pointer to an unemitted tinfo decl. Determine whether it needs emitting, and if so generate the initializer. */ bool emit_tinfo_decl (tree decl) { tree type = TREE_TYPE (DECL_NAME (decl));

[c++] typeinfo for target types

Commit Message

Comments

Patch