[flang-commits] [flang] [flang] Rely on global initialization for simpler derived types (PR #114002)

[via flang-commits]

================
@@ -793,11 +794,35 @@ void Fortran::lower::defaultInitializeAtRuntime(
         })
         .end();
   } else {
-    mlir::Value box = builder.createBox(loc, exv);
-    fir::runtime::genDerivedTypeInitialize(builder, loc, box);
+    /// For "simpler" types, relying on "_FortranAInitialize"
+    /// leads to poor runtime performance. Hence optimize
+    /// the same.
+    const Fortran::semantics::DeclTypeSpec *declTy = sym.GetType();
+    mlir::Type symTy = converter.genType(var);
+    if (!var.isAlias() && !hasAllocatableDirectComponent(sym) &&
+        declTy->category() ==
+            Fortran::semantics::DeclTypeSpec::Category::TypeDerived &&
+        !mlir::isa<fir::SequenceType>(symTy) &&
+        !sym.test(Fortran::semantics::Symbol::Flag::OmpPrivate) &&
+        !sym.test(Fortran::semantics::Symbol::Flag::OmpFirstPrivate)) {
+      std::string globalName = converter.mangleName(sym) + "_globalinit";
+      mlir::Location loc = genLocation(converter, sym);
+      mlir::StringAttr linkage = getLinkageAttribute(builder, var);
----------------
jeanPerier wrote:

Using the variable linkage here will most likely lead to complaints about symbols being defined in several compilation units.

I would advise using internal linkage. There is no need to export these symbols, and linkonce is probably overkill since these are smalls, and will prevent LLVM from pruning them if not needed anymore. They should also be made read-only so that LLVM can optimize the load/store from global memory when possible.

https://github.com/llvm/llvm-project/pull/114002