]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
c++: Adjust module initializer calling emission
authorNathan Sidwell <nathan@acm.org>
Fri, 10 Jun 2022 12:22:21 +0000 (05:22 -0700)
committerNathan Sidwell <nathan@acm.org>
Fri, 10 Jun 2022 16:27:40 +0000 (09:27 -0700)
We special-case emitting the calls of module initializer functions.  It's
simpler to just emit a static fn do do that, and add it onto the front of
the global init fn chain.  We can also move the calculation of the set of
initializers to call to the point of use.

gcc/cp/
* cp-tree.h (module_has_import_init): Rename to ...
(module_determined_import_inits): ... here.
* decl2.cc (start_objects): Do not handle module initializers
here.
(c_parse_final_cleanups): Generate a separate module
initializer calling function and add it to the list.  Shrink
the c-lang region.
* module.cc (num_init_calls_needed): Delete.
 (module_has_import_init): Rename to ...
(module_determined_import_inits): ... here. Do the
calculation here ...
(finish_module_processing): ... rather than here.
(module_add_import_initializers): Reformat.

gcc/testsuite/
* g++.dg/modules/init-3_a.C: New.
* g++.dg/modules/init-3_b.C: New.
* g++.dg/modules/init-3_c.C: New.

gcc/cp/cp-tree.h
gcc/cp/decl2.cc
gcc/cp/module.cc
gcc/testsuite/g++.dg/modules/init-3_a.C [new file with mode: 0644]
gcc/testsuite/g++.dg/modules/init-3_b.C [new file with mode: 0644]
gcc/testsuite/g++.dg/modules/init-3_c.C [new file with mode: 0644]

index a5d932821676fa1177c60ef89ad35bdd7aa7d228..f1294dac7d5b6a254582fcf572606015136e41a2 100644 (file)
@@ -7180,7 +7180,7 @@ extern module_state *get_module (tree name, module_state *parent = NULL,
 extern bool module_may_redeclare (tree decl);
 
 extern bool module_global_init_needed ();
-extern bool module_has_import_inits ();
+extern bool module_determine_import_inits ();
 extern void module_add_import_initializers ();
 
 /* Where the namespace-scope decl was originally declared.  */
index 9de9a7a4f8a8671f55f2bcc330a6ab6bc40c9969..ff1c36745cf4a48170353cdff2bff7c4f64e1a10 100644 (file)
@@ -3903,8 +3903,7 @@ start_objects (bool initp, unsigned priority, bool has_body)
 
   tree body = begin_compound_stmt (BCS_FN_BODY);
 
-  bool has_import_inits = default_init && module_has_import_inits ();
-  if (is_module_init && (has_import_inits || has_body))
+  if (is_module_init && has_body)
     {
       // If the function is going to be empty, don't emit idempotency.
       // 'static bool __in_chrg = false;
@@ -3930,9 +3929,6 @@ start_objects (bool initp, unsigned priority, bool has_body)
       finish_expr_stmt (assign);
     }
 
-  if (has_import_inits)
-    module_add_import_initializers ();
-
   return body;
 }
 
@@ -5195,6 +5191,12 @@ c_parse_final_cleanups (void)
 
   maybe_warn_sized_delete ();
 
+  // Place the init fns in the right order.  We need to do this now,
+  // so that any module init will go at the start.
+  if (static_init_fini_fns[true])
+    for (auto iter : *static_init_fini_fns[true])
+      iter.second = nreverse (iter.second);
+  
   /* Then, do the Objective-C stuff.  This is where all the
      Objective-C module stuff gets generated (symtab,
      class/protocol/selector lists etc).  This must be done after C++
@@ -5203,11 +5205,18 @@ c_parse_final_cleanups (void)
   if (c_dialect_objc ())
     objc_write_global_declarations ();
 
-  /* We give C linkage to static constructors and destructors.  */
-  push_lang_context (lang_name_c);
+  if (module_determine_import_inits ())
+    {
+      input_location = locus_at_end_of_parsing;
+      tree body = start_partial_init_fini_fn (true, DEFAULT_INIT_PRIORITY,
+                                             ssdf_count++);
+      module_add_import_initializers ();
+      input_location = locus_at_end_of_parsing;
+      finish_partial_init_fini_fn (body);
+    }
 
   if ((c_dialect_objc () && objc_static_init_needed_p ())
-      || module_global_init_needed () || module_has_import_inits ())
+      || module_global_init_needed ())
     {
       // Make sure there's a default priority entry.
       if (!static_init_fini_fns[true])
@@ -5216,32 +5225,24 @@ c_parse_final_cleanups (void)
     } 
 
   /* Generate initialization and destruction functions for all
-     priorities for which they are required.  */
+     priorities for which they are required.  They have C-language
+     linkage.  */
+  push_lang_context (lang_name_c);
   for (unsigned initp = 2; initp--;)
     if (static_init_fini_fns[initp])
       {
        for (auto iter : *static_init_fini_fns[initp])
-         {
-           tree fns = iter.second;
-           // The list of functions was constructed in reverse
-           // order, which we only want for dtors.
-           if (initp)
-             fns = nreverse (fns);
-           generate_ctor_or_dtor_function (initp, iter.first, fns,
-                                           locus_at_end_of_parsing);
-         }
+         generate_ctor_or_dtor_function (initp, iter.first, iter.second,
+                                         locus_at_end_of_parsing);
        static_init_fini_fns[initp] = nullptr;
       }
-  
+  pop_lang_context ();
+
   fini_modules ();
 
   /* Generate any missing aliases.  */
   maybe_apply_pending_pragma_weaks ();
 
-  /* We're done with static constructors, so we can go back to "C++"
-     linkage now.  */
-  pop_lang_context ();
-
   if (flag_vtable_verify)
     {
       vtv_recover_class_info ();
index 7e36996c0fc06336efe914b6900461820df5e677..2b1877ea82e3c30fa8297df3b6a65d5046470844 100644 (file)
@@ -3783,9 +3783,6 @@ static unsigned loaded_clusters;
 /* What the current TU is.  */
 unsigned module_kind;
 
-/* Number of global init calls needed.  */
-unsigned num_init_calls_needed = 0;
-
 /* Global trees.  */
 static const std::pair<tree *, unsigned> global_tree_arys[] =
   {
@@ -19035,12 +19032,43 @@ module_global_init_needed ()
   return module_has_cmi_p () && !header_module_p ();
 }
 
-/* Return true IFF we have import global inits to call.  */
+/* Calculate which, if any, import initializers need calling.  */
 
 bool
-module_has_import_inits ()
+module_determine_import_inits ()
 {
-  return bool (num_init_calls_needed);
+  if (!modules || header_module_p ())
+    return false;
+
+  /* Determine call_init_p.  We need the same bitmap allocation
+     scheme as for the imports member.  */
+  function_depth++; /* Disable GC.  */
+  bitmap indirect_imports (BITMAP_GGC_ALLOC ());
+
+  bool any = false;
+
+  /* Because indirect imports are before their direct import, and
+     we're scanning the array backwards, we only need one pass!  */
+  for (unsigned ix = modules->length (); --ix;)
+    {
+      module_state *import = (*modules)[ix];
+
+      if (!import->is_header ()
+         && !bitmap_bit_p (indirect_imports, ix))
+       {
+         /* Everything this imports is therefore indirectly
+            imported.  */
+         bitmap_ior_into (indirect_imports, import->imports);
+         /* We don't have to worry about the self-import bit,
+            because of the single pass.  */
+
+         import->call_init_p = true;
+         any = true;
+       }
+    }
+  function_depth--;
+
+  return any;
 }
 
 /* Emit calls to each direct import's global initializer.  Including
@@ -19054,35 +19082,30 @@ module_has_import_inits ()
 void
 module_add_import_initializers ()
 {
-  unsigned calls = 0;
-  if (modules)
-    {
-      tree fntype = build_function_type (void_type_node, void_list_node);
-      releasing_vec args;  // There are no args
+  if (!modules || header_module_p ())
+    return;
 
-      for (unsigned ix = modules->length (); --ix;)
+  tree fntype = build_function_type (void_type_node, void_list_node);
+  releasing_vec args;  // There are no args
+
+  for (unsigned ix = modules->length (); --ix;)
+    {
+      module_state *import = (*modules)[ix];
+      if (import->call_init_p)
        {
-         module_state *import = (*modules)[ix];
-         if (import->call_init_p)
-           {
-             tree name = mangle_module_global_init (ix);
-             tree fndecl = build_lang_decl (FUNCTION_DECL, name, fntype);
+         tree name = mangle_module_global_init (ix);
+         tree fndecl = build_lang_decl (FUNCTION_DECL, name, fntype);
 
-             DECL_CONTEXT (fndecl) = FROB_CONTEXT (global_namespace);
-             SET_DECL_ASSEMBLER_NAME (fndecl, name);
-             TREE_PUBLIC (fndecl) = true;
-             determine_visibility (fndecl);
+         DECL_CONTEXT (fndecl) = FROB_CONTEXT (global_namespace);
+         SET_DECL_ASSEMBLER_NAME (fndecl, name);
+         TREE_PUBLIC (fndecl) = true;
+         determine_visibility (fndecl);
 
-             tree call = cp_build_function_call_vec (fndecl, &args,
-                                                     tf_warning_or_error);
-             finish_expr_stmt (call);
-             
-             calls++;
-           }
+         tree call = cp_build_function_call_vec (fndecl, &args,
+                                                 tf_warning_or_error);
+         finish_expr_stmt (call);
        }
     }
-
-  gcc_checking_assert (calls == num_init_calls_needed);
 }
 
 /* NAME & LEN are a preprocessed header name, possibly including the
@@ -19951,35 +19974,6 @@ finish_module_processing (cpp_reader *reader)
                       (available_clusters + !available_clusters));
       dump.pop (n);
     }
-
-  if (modules && !header_module_p ())
-    {
-      /* Determine call_init_p.  We need the same bitmap allocation
-         scheme as for the imports member.  */
-      function_depth++; /* Disable GC.  */
-      bitmap indirect_imports (BITMAP_GGC_ALLOC ());
-
-      /* Because indirect imports are before their direct import, and
-        we're scanning the array backwards, we only need one pass!  */
-      for (unsigned ix = modules->length (); --ix;)
-       {
-         module_state *import = (*modules)[ix];
-
-         if (!import->is_header ()
-             && !bitmap_bit_p (indirect_imports, ix))
-           {
-             /* Everything this imports is therefore indirectly
-                imported.  */
-             bitmap_ior_into (indirect_imports, import->imports);
-             /* We don't have to worry about the self-import bit,
-                because of the single pass.  */
-
-             import->call_init_p = true;
-             num_init_calls_needed++;
-           }
-       }
-      function_depth--;
-    }
 }
 
 void
diff --git a/gcc/testsuite/g++.dg/modules/init-3_a.C b/gcc/testsuite/g++.dg/modules/init-3_a.C
new file mode 100644 (file)
index 0000000..f0e27ec
--- /dev/null
@@ -0,0 +1,17 @@
+// { dg-module-do run }
+// { dg-additional-options {-fmodules-ts -Wno-pedantic} }
+module;
+# 5 __FILE__ 1
+extern int counter;
+# 7 "" 2
+export module One;
+
+export class Dyn
+{
+  int i;
+public:
+  Dyn () : i (++counter) {}
+  operator int () const { return i; }
+};
+
+export Dyn one;
diff --git a/gcc/testsuite/g++.dg/modules/init-3_b.C b/gcc/testsuite/g++.dg/modules/init-3_b.C
new file mode 100644 (file)
index 0000000..a4e0036
--- /dev/null
@@ -0,0 +1,6 @@
+// { dg-additional-options {-fmodules-ts -Wno-pedantic} }
+
+export module Two;
+import One;
+
+export Dyn two;
diff --git a/gcc/testsuite/g++.dg/modules/init-3_c.C b/gcc/testsuite/g++.dg/modules/init-3_c.C
new file mode 100644 (file)
index 0000000..bb4635a
--- /dev/null
@@ -0,0 +1,17 @@
+// { dg-additional-options {-fmodules-ts -Wno-pedantic} }
+
+import One;
+int counter = 0;
+Dyn three;
+import Two;
+
+int main ()
+{
+  if (one != 1)
+    return 1;
+  if (two != 2)
+    return 2;
+  if (three != 3)
+    return 3;
+  return 0;
+}