[AIX] Handle LinkOnceODRLinkage and AppendingLinkage for static init gloabl arrays

[Xiangling_L]

Summary

(1)LinkOnceODRLinkage:

emit .weak for the symbol;

(2) AppendingLinkage of llvm.global_ctors, llvm.global_dtors:
omit emitting anything from these two global arrays until we support -qtwolink similar behavior on AIX.

[hubert.reinterpretcast]

llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp

1952

As it stands, users can pass in IR with such linkage. This should be report_fatal_error because this is indeed reachable without being a clear bug elsewhere.

As for the text, it should say something like "There is no mapping that implements AppendingLinkage for XCOFF."

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

1589

This list does not match AsmPrinter::EmitSpecialLLVMGlobal. I do not believe this function as it is named and implemented is okay.

[Xiangling_L]

llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp

1952

Thank you, I will update it.

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

1589

Thank you for pointing this out.

This list does not match AsmPrinter::EmitSpecialLLVMGlobal

This is because I am thinking to limit the scope of current AppendingLinkage work to LNT test, where all AppendingLinkagefailures are related to static init related llvm.global_ctors global array. Do you prefer to cover all AppendingLinkage related global arrays in this patch instead?

I do not believe this function as it is named and implemented is okay.

Yes, you are right. Probably the isSpecialLLVMGlobal is misleading, cuz this function doesn't cover all LLVM global symbols. Would isSpecialStaticInitGlobalArrays or isSpecialAIXStaticInitGlobalArrays be better? Or do you have any other suggestions?

As for the implementation, general LLVM implementation of AsmPrinter::EmitSpecialLLVMGlobal doesn't emit what we want for llvm.global_ctors and llvm.global_dtors on AIX. Since our initial patch of static init doesn't support -qtwolink similar behavior, we don't need to emit anything from these two arrays.

[stevewan]

llvm/test/CodeGen/PowerPC/aix-AppendingLinkage.ll

23

As a reminder, if you are to change llvm_unreachable("Should never emit it."); to something else, this check will need to be updated as well.

[hubert.reinterpretcast]

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

1589

I agree that we should limit the cases where we skip generating code for symbols to cases that we are tracking.

Suggestion for the function name: isSpecialLLVMGlobalArrayForStaticInit.

[hubert.reinterpretcast]

llvm/test/CodeGen/PowerPC/aix-AppendingLinkage.ll

23

The message will cause a non-zero return code. We do not need this check; if we did, we should probably be piping the stderr to FileCheck.

[Xiangling_L]

Update the func name and the testcase;
Change llvm_unreachable to report_fatal_error;

[hubert.reinterpretcast]

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

1596

Should there be a comment indicating why we are not emitting these? Would this be the place where we would add code to handle these instead of emitting them as arrays? In other words, should the comment be a TODO?

[Xiangling_L]

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

1596

Good point. A TODO is necessary.

Would this be the place where we would add code to handle these instead of emitting them as arrays?

Based on what I have in mind so far, my own answer is yes. But the final implementation is open to be discussed for sure.

So I am thinking when we support .ref directive in the future for static init, based on the llvm.global_ctors/llvm.global_dtors array, this would be the place to add some code to document the relationship (using something like map )between object and the sinit/sterm function. And then later when we emit the .data object[e.g. t], we can easily query do we need to and how do we emit .ref info for t.

[Xiangling_L]

Add a TODO comment for global arrays of static init;

[hubert.reinterpretcast]

LGTM with minor comment.

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

1597

Suggestion to add a second sentence:
Otherwise, we can skip these arrays, because the AIX linker collects these functions simply based on their name.

llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp

XCOFF::StorageClass TargetLoweringObjectFileXCOFF::getStorageClassForGlobal(
   switch (GO->getLinkage()) {
   case GlobalValue::InternalLinkage:
   case GlobalValue::PrivateLinkage:
     return XCOFF::C_HIDEXT;
   case GlobalValue::ExternalLinkage:
   case GlobalValue::CommonLinkage:
     return XCOFF::C_EXT;
   case GlobalValue::ExternalWeakLinkage:
+  case GlobalValue::LinkOnceODRLinkage:
     return XCOFF::C_WEAKEXT;
+  case GlobalValue::AppendingLinkage:
+    report_fatal_error(
+        "There is no mapping that implements AppendingLinkage for XCOFF.");
   default:
     report_fatal_error(
         "Unhandled linkage when mapping linkage to StorageClass.");
   }
 }
 
 MCSection *TargetLoweringObjectFileXCOFF::getSectionForFunctionDescriptor(
     const MCSymbol *FuncSym) const {

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

if (!FSym->hasContainingCsect()) {
       FSym->setContainingCsect(Csect);
     }
     return MCSymbolRefExpr::create(
         FSym->getContainingCsect()->getQualNameSymbol(), OutContext);
   }
   return PPCAsmPrinter::lowerConstant(CV);
 }
 
+static bool isSpecialLLVMGlobalArrayForStaticInit(const GlobalVariable *GV) {
+  return StringSwitch<bool>(GV->getName())
+      .Cases("llvm.global_ctors", "llvm.global_dtors", true)
+      .Default(false);
+}
+
 void PPCAIXAsmPrinter::emitGlobalVariable(const GlobalVariable *GV) {
   ValidateGV(GV);
 
+  if (isSpecialLLVMGlobalArrayForStaticInit(GV))
+    return;
+
   // Create the symbol, set its storage class.
   MCSymbolXCOFF *GVSym = cast<MCSymbolXCOFF>(getSymbol(GV));
   GVSym->setStorageClass(
       TargetLoweringObjectFileXCOFF::getStorageClassForGlobal(GV));
 
   SectionKind GVKind;
 
   // Create the containing csect and set it. We set it for externals as well,

llvm/test/CodeGen/PowerPC/aix-AppendingLinkage.ll

+; RUN: llc -verify-machineinstrs -mcpu=pwr4 -mtriple powerpc-ibm-aix-xcoff < \
+; RUN: %s | FileCheck %s
+
+; RUN: llc -verify-machineinstrs -mcpu=pwr4 -mtriple powerpc64-ibm-aix-xcoff < \
+; RUN: %s | FileCheck %s
+
[e-mail]_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @foo, i8* null }]
[e-mail]_dtors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @bar, i8* null }]
+
+define dso_local void @foo() {
+entry:
+  ret void
+}
+
+define dso_local void @bar() {
+entry:
+  ret void
+}
+
+; CHECK-NOT: llvm.global_ctors
+; CHECK-NOT: llvm.global_dtors

llvm/test/CodeGen/PowerPC/aix-LinkOnceODRLinkage.ll

+; RUN: llc -mtriple powerpc-ibm-aix-xcoff < %s | \
+; RUN: FileCheck %s
+
+; RUN: llc -mtriple powerpc64-ibm-aix-xcoff < %s | \
+; RUN: FileCheck %s
+
+define linkonce_odr void @_Z3fooIiEvT_() {
+entry:
+  ret void
+}
+
+; CHECK: .weak   _Z3fooIiEvT_
+; CHECK: .weak   ._Z3fooIiEvT_