/* Routines for C++ support for GCC for a Symbian OS targeted SH backend. Copyright (C) 2004, 2005, 2007, 2009 Free Software Foundation, Inc. Contributed by RedHat. Most of this code is stolen from i386/winnt.c. This file is part of GCC. GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version. GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see . */ #include "config.h" #include "system.h" #include "coretypes.h" #include "tm.h" #include "rtl.h" #include "output.h" #include "flags.h" #include "tree.h" #include "expr.h" #include "tm_p.h" #include "cp/cp-tree.h" /* We need access to the OVL_... macros. */ #include "toplev.h" #include "sh-symbian.h" /* Return the type that we should use to determine if DECL is imported or exported. */ tree sh_symbian_associated_type (tree decl) { tree t = NULL_TREE; if (TREE_CODE (TREE_TYPE (decl)) == METHOD_TYPE) /* Methods now inherit their dllimport/dllexport attributes correctly so there is no need to check their class. In fact it is wrong to check their class since a method can remain unexported from an exported class. */ return t; /* Otherwise we can just take the DECL_CONTEXT as normal. */ if (DECL_CONTEXT (decl) && TYPE_P (DECL_CONTEXT (decl))) t = DECL_CONTEXT (decl); return t; } /* Return nonzero if DECL is a dllimport'd object. */ bool sh_symbian_is_dllimported (tree decl) { tree imp; if ( TREE_CODE (decl) != VAR_DECL && TREE_CODE (decl) != FUNCTION_DECL) return false; imp = lookup_attribute ("dllimport", DECL_ATTRIBUTES (decl)); if (imp) return true; /* Class members get the dllimport status of their class. */ imp = sh_symbian_associated_type (decl); if (! imp) return false; imp = lookup_attribute ("dllimport", TYPE_ATTRIBUTES (imp)); if (!imp) return false; /* Don't mark defined functions as dllimport. If the definition itself was marked with dllimport, then sh_symbian_handle_dll_attribute reports an error. This handles the case when the definition overrides an earlier declaration. */ if (TREE_CODE (decl) == FUNCTION_DECL && DECL_INITIAL (decl) && ! DECL_DECLARED_INLINE_P (decl)) { /* Don't warn about artificial methods. */ if (!DECL_ARTIFICIAL (decl)) warning (OPT_Wattributes, "function %q+D is defined after prior " "declaration as dllimport: attribute ignored", decl); return false; } /* We ignore the dllimport attribute for inline member functions. This differs from MSVC behavior which treats it like GNUC 'extern inline' extension. */ else if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl)) { if (extra_warnings) warning (OPT_Wattributes, "inline function %q+D is declared as " "dllimport: attribute ignored", decl); return false; } /* Don't allow definitions of static data members in dllimport class. Just ignore the attribute for vtable data. */ else if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl) && TREE_PUBLIC (decl) && !DECL_EXTERNAL (decl)) { if (!DECL_VIRTUAL_P (decl)) error ("definition of static data member %q+D of dllimport'd class", decl); return false; } /* Since we can't treat a pointer to a dllimport'd symbol as a constant address, we turn off the attribute on C++ virtual methods to allow creation of vtables using thunks. Don't mark artificial methods either (in sh_symbian_associated_type, only COMDAT artificial method get import status from class context). */ else if (TREE_CODE (TREE_TYPE (decl)) == METHOD_TYPE && (DECL_VIRTUAL_P (decl) || DECL_ARTIFICIAL (decl))) return false; return true; } /* This code implements a specification for exporting the vtable and rtti of classes that have members with the dllexport or dllexport attributes. This specification is defined here: http://www.armdevzone.com/EABI/exported_class.txt Basically it says that a class's vtable and rtti should be exported if the following rules apply: - If it has any non-inline non-pure virtual functions, at least one of these need to be declared dllimport OR any of the constructors is declared dllimport. AND - The class has an inline constructor/destructor and a key-function (placement of vtable uniquely defined) that is defined in this translation unit. The specification also says that for classes which will have their vtables and rtti exported that their base class(es) might also need a similar exporting if: - Every base class needs to have its vtable & rtti exported as well, if the following the conditions hold true: + The base class has a non-inline declared non-pure virtual function + The base class is polymorphic (has or inherits any virtual functions) or the base class has any virtual base classes. */ /* Decide if a base class of a class should also have its vtable and rtti exported. */ static void sh_symbian_possibly_export_base_class (tree base_class) { VEC(tree,gc) *method_vec; int len; if (! (TYPE_CONTAINS_VPTR_P (base_class))) return; method_vec = CLASSTYPE_METHOD_VEC (base_class); len = method_vec ? VEC_length (tree, method_vec) : 0; for (;len --;) { tree member = VEC_index (tree, method_vec, len); if (! member) continue; for (member = OVL_CURRENT (member); member; member = OVL_NEXT (member)) { if (TREE_CODE (member) != FUNCTION_DECL) continue; if (DECL_CONSTRUCTOR_P (member) || DECL_DESTRUCTOR_P (member)) continue; if (! DECL_VIRTUAL_P (member)) continue; if (DECL_PURE_VIRTUAL_P (member)) continue; if (DECL_DECLARED_INLINE_P (member)) continue; break; } if (member) break; } if (len < 0) return; /* FIXME: According to the spec this base class should be exported, but a) how do we do this ? and b) it does not appear to be necessary for compliance with the Symbian OS which so far is the only consumer of this code. */ #if SYMBIAN_DEBUG print_node_brief (stderr, "", base_class, 0); fprintf (stderr, " EXPORTed [base class of exported class]\n"); #endif } /* Add the named attribute to the given node. Copes with both DECLs and TYPEs. Will only add the attribute if it is not already present. */ static void sh_symbian_add_attribute (tree node, const char *attr_name) { tree attrs; tree attr; attrs = DECL_P (node) ? DECL_ATTRIBUTES (node) : TYPE_ATTRIBUTES (node); if (lookup_attribute (attr_name, attrs) != NULL_TREE) return; attr = get_identifier (attr_name); if (DECL_P (node)) DECL_ATTRIBUTES (node) = tree_cons (attr, NULL_TREE, attrs); else TYPE_ATTRIBUTES (node) = tree_cons (attr, NULL_TREE, attrs); #if SYMBIAN_DEBUG fprintf (stderr, "propagate %s attribute", attr_name); print_node_brief (stderr, " to", node, 0); fprintf (stderr, "\n"); #endif } /* Add the named attribute to a class and its vtable and rtti. */ static void sh_symbian_add_attribute_to_class_vtable_and_rtti (tree ctype, const char *attr_name) { sh_symbian_add_attribute (ctype, attr_name); /* If the vtable exists then they need annotating as well. */ if (CLASSTYPE_VTABLES (ctype)) /* XXX - Do we need to annotate any vtables other than the primary ? */ sh_symbian_add_attribute (CLASSTYPE_VTABLES (ctype), attr_name); /* If the rtti exists then it needs annotating as well. */ if (TYPE_MAIN_VARIANT (ctype) && CLASSTYPE_TYPEINFO_VAR (TYPE_MAIN_VARIANT (ctype))) sh_symbian_add_attribute (CLASSTYPE_TYPEINFO_VAR (TYPE_MAIN_VARIANT (ctype)), attr_name); } /* Decide if a class needs to have an attribute because one of its member functions has the attribute. */ static bool sh_symbian_class_needs_attribute (tree ctype, const char *attribute_name) { VEC(tree,gc) *method_vec; method_vec = CLASSTYPE_METHOD_VEC (ctype); /* If the key function has the attribute then the class needs it too. */ if (TYPE_POLYMORPHIC_P (ctype) && method_vec && tree_contains_struct [TREE_CODE (ctype), TS_DECL_COMMON] == 1 && lookup_attribute (attribute_name, DECL_ATTRIBUTES (VEC_index (tree, method_vec, 0)))) return true; /* Check the class's member functions. */ if (TREE_CODE (ctype) == RECORD_TYPE) { unsigned int len; len = method_vec ? VEC_length (tree, method_vec) : 0; for (;len --;) { tree member = VEC_index (tree, method_vec, len); if (! member) continue; for (member = OVL_CURRENT (member); member; member = OVL_NEXT (member)) { if (TREE_CODE (member) != FUNCTION_DECL) continue; if (DECL_PURE_VIRTUAL_P (member)) continue; if (! DECL_VIRTUAL_P (member)) continue; if (lookup_attribute (attribute_name, DECL_ATTRIBUTES (member))) { #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " inherits %s because", attribute_name); print_node_brief (stderr, "", member, 0); fprintf (stderr, " has it.\n"); #endif return true; } } } } #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " does not inherit %s\n", attribute_name); #endif return false; } /* Decide if a class needs its vtable and rtti exporting. */ static bool symbian_export_vtable_and_rtti_p (tree ctype) { bool inline_ctor_dtor; bool dllimport_ctor_dtor; bool dllimport_member; tree binfo, base_binfo; VEC(tree,gc) *method_vec; tree key; int i; int len; /* Make sure that we are examining a class... */ if (TREE_CODE (ctype) != RECORD_TYPE) { #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " does NOT need to be EXPORTed [not a class]\n"); #endif return false; } /* If the class does not have a key function it does not need to have its vtable exported. */ if ((key = CLASSTYPE_KEY_METHOD (ctype)) == NULL_TREE) { #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " does NOT need to be EXPORTed [no key function]\n"); #endif return false; } /* If the key fn has not been defined then the class should not be exported. */ if (! TREE_ASM_WRITTEN (key)) { #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " does NOT need to be EXPORTed [key function not defined]\n"); #endif return false; } /* Check the class's member functions. */ inline_ctor_dtor = false; dllimport_ctor_dtor = false; dllimport_member = false; method_vec = CLASSTYPE_METHOD_VEC (ctype); len = method_vec ? VEC_length (tree, method_vec) : 0; for (;len --;) { tree member = VEC_index (tree, method_vec, len); if (! member) continue; for (member = OVL_CURRENT (member); member; member = OVL_NEXT (member)) { if (TREE_CODE (member) != FUNCTION_DECL) continue; if (DECL_CONSTRUCTOR_P (member) || DECL_DESTRUCTOR_P (member)) { if (DECL_DECLARED_INLINE_P (member) /* Ignore C++ backend created inline ctors/dtors. */ && ( DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P (member) || DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (member))) inline_ctor_dtor = true; if (lookup_attribute ("dllimport", DECL_ATTRIBUTES (member))) dllimport_ctor_dtor = true; } else { if (DECL_PURE_VIRTUAL_P (member)) continue; if (! DECL_VIRTUAL_P (member)) continue; if (DECL_DECLARED_INLINE_P (member)) continue; if (lookup_attribute ("dllimport", DECL_ATTRIBUTES (member))) dllimport_member = true; } } } if (! dllimport_member && ! dllimport_ctor_dtor) { #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " does NOT need to be EXPORTed [no non-pure virtuals or ctors/dtors with dllimport]\n"); #endif return false; } if (! inline_ctor_dtor) { #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " does NOT need to be EXPORTed [no inline ctor/dtor]\n"); #endif return false; } #if SYMBIAN_DEBUG print_node_brief (stderr, "", ctype, 0); fprintf (stderr, " DOES need to be EXPORTed\n"); #endif /* Now we must check and possibly export the base classes. */ for (i = 0, binfo = TYPE_BINFO (ctype); BINFO_BASE_ITERATE (binfo, i, base_binfo); i++) sh_symbian_possibly_export_base_class (BINFO_TYPE (base_binfo)); return true; } /* Possibly override the decision to export class TYPE. Upon entry IMPORT_EXPORT will contain 1 if the class is going to be exported, -1 if it is going to be imported and 0 otherwise. This function should return the modified value and perform any other actions necessary to support the backend's targeted operating system. */ int sh_symbian_import_export_class (tree ctype, int import_export) { const char *attr_name = NULL; /* If we are exporting the class but it does not have the dllexport attribute then we may need to add it. Similarly imported classes may need the dllimport attribute. */ switch (import_export) { case 1: attr_name = "dllexport"; break; case -1: attr_name = "dllimport"; break; default: break; } if (attr_name && ! lookup_attribute (attr_name, TYPE_ATTRIBUTES (ctype))) { if (sh_symbian_class_needs_attribute (ctype, attr_name)) sh_symbian_add_attribute_to_class_vtable_and_rtti (ctype, attr_name); /* Classes can be forced to export their vtable and rtti under certain conditions. */ if (symbian_export_vtable_and_rtti_p (ctype)) { sh_symbian_add_attribute_to_class_vtable_and_rtti (ctype, "dllexport"); /* Make sure that the class and its vtable are exported. */ import_export = 1; if (CLASSTYPE_VTABLES (ctype)) DECL_EXTERNAL (CLASSTYPE_VTABLES (ctype)) = 1; /* Check to make sure that if the class has a key method that it is now on the list of keyed classes. That way its vtable will be emitted. */ if (CLASSTYPE_KEY_METHOD (ctype)) { tree class; for (class = keyed_classes; class; class = TREE_CHAIN (class)) if (class == ctype) break; if (class == NULL_TREE) { #if SYMBIAN_DEBUG print_node_brief (stderr, "Add node", ctype, 0); fprintf (stderr, " to the keyed classes list\n"); #endif keyed_classes = tree_cons (NULL_TREE, ctype, keyed_classes); } } /* Make sure that the typeinfo will be emitted as well. */ if (CLASS_TYPE_P (ctype)) TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (CLASSTYPE_TYPEINFO_VAR (TYPE_MAIN_VARIANT (ctype)))) = 1; } } return import_export; } /* Handle a "dllimport" or "dllexport" attribute; arguments as in struct attribute_spec.handler. */ tree sh_symbian_handle_dll_attribute (tree *pnode, tree name, tree args, int flags, bool *no_add_attrs) { tree thunk; tree node = *pnode; const char *attr = IDENTIFIER_POINTER (name); /* These attributes may apply to structure and union types being created, but otherwise should pass to the declaration involved. */ if (!DECL_P (node)) { if (flags & ((int) ATTR_FLAG_DECL_NEXT | (int) ATTR_FLAG_FUNCTION_NEXT | (int) ATTR_FLAG_ARRAY_NEXT)) { warning (OPT_Wattributes, "%qs attribute ignored", attr); *no_add_attrs = true; return tree_cons (name, args, NULL_TREE); } if (TREE_CODE (node) != RECORD_TYPE && TREE_CODE (node) != UNION_TYPE) { warning (OPT_Wattributes, "%qs attribute ignored", attr); *no_add_attrs = true; } return NULL_TREE; } /* Report error on dllimport ambiguities seen now before they cause any damage. */ else if (is_attribute_p ("dllimport", name)) { if (TREE_CODE (node) == VAR_DECL) { if (DECL_INITIAL (node)) { error ("variable %q+D definition is marked dllimport", node); *no_add_attrs = true; } /* `extern' needn't be specified with dllimport. Specify `extern' now and hope for the best. Sigh. */ DECL_EXTERNAL (node) = 1; /* Also, implicitly give dllimport'd variables declared within a function global scope, unless declared static. */ if (current_function_decl != NULL_TREE && ! TREE_STATIC (node)) TREE_PUBLIC (node) = 1; } } /* If the node is an overloaded constructor or destructor, then we must make sure that the attribute is propagated along the overload chain, as it is these overloaded functions which will be emitted, rather than the user declared constructor itself. */ if (TREE_CODE (TREE_TYPE (node)) == METHOD_TYPE && (DECL_CONSTRUCTOR_P (node) || DECL_DESTRUCTOR_P (node))) { tree overload; for (overload = OVL_CHAIN (node); overload; overload = OVL_CHAIN (overload)) { tree node_args; tree func_args; tree function = OVL_CURRENT (overload); if (! function || ! DECL_P (function) || (DECL_CONSTRUCTOR_P (node) && ! DECL_CONSTRUCTOR_P (function)) || (DECL_DESTRUCTOR_P (node) && ! DECL_DESTRUCTOR_P (function))) continue; /* The arguments must match as well. */ for (node_args = DECL_ARGUMENTS (node), func_args = DECL_ARGUMENTS (function); node_args && func_args; node_args = TREE_CHAIN (node_args), func_args = TREE_CHAIN (func_args)) if (TREE_TYPE (node_args) != TREE_TYPE (func_args)) break; if (node_args || func_args) { /* We can ignore an extraneous __in_chrg arguments in the node. GCC generated destructors, for example, will have this. */ if ((node_args == NULL_TREE || func_args != NULL_TREE) && strcmp (IDENTIFIER_POINTER (DECL_NAME (node)), "__in_chrg") != 0) continue; } sh_symbian_add_attribute (function, attr); /* Propagate the attribute to any function thunks as well. */ for (thunk = DECL_THUNKS (function); thunk; thunk = TREE_CHAIN (thunk)) if (TREE_CODE (thunk) == FUNCTION_DECL) sh_symbian_add_attribute (thunk, attr); } } if (TREE_CODE (node) == FUNCTION_DECL && DECL_VIRTUAL_P (node)) { /* Propagate the attribute to any thunks of this function. */ for (thunk = DECL_THUNKS (node); thunk; thunk = TREE_CHAIN (thunk)) if (TREE_CODE (thunk) == FUNCTION_DECL) sh_symbian_add_attribute (thunk, attr); } /* Report error if symbol is not accessible at global scope. */ if (!TREE_PUBLIC (node) && ( TREE_CODE (node) == VAR_DECL || TREE_CODE (node) == FUNCTION_DECL)) { error ("external linkage required for symbol %q+D because of %qE attribute", node, name); *no_add_attrs = true; } #if SYMBIAN_DEBUG print_node_brief (stderr, "mark node", node, 0); fprintf (stderr, " as %s\n", attr); #endif return NULL_TREE; }