diff --git a/clang/lib/Driver/ToolChains/CommonArgs.cpp b/clang/lib/Driver/ToolChains/CommonArgs.cpp --- a/clang/lib/Driver/ToolChains/CommonArgs.cpp +++ b/clang/lib/Driver/ToolChains/CommonArgs.cpp @@ -567,14 +567,16 @@ isUseSeparateSections(ToolChain.getEffectiveTriple()); if (Args.hasFlag(options::OPT_ffunction_sections, - options::OPT_fno_function_sections, UseSeparateSections)) { - CmdArgs.push_back("-plugin-opt=-function-sections"); - } + options::OPT_fno_function_sections, UseSeparateSections)) + CmdArgs.push_back("-plugin-opt=-function-sections=1"); + else if (Args.hasArg(options::OPT_fno_function_sections)) + CmdArgs.push_back("-plugin-opt=-function-sections=0"); if (Args.hasFlag(options::OPT_fdata_sections, options::OPT_fno_data_sections, - UseSeparateSections)) { - CmdArgs.push_back("-plugin-opt=-data-sections"); - } + UseSeparateSections)) + CmdArgs.push_back("-plugin-opt=-data-sections=1"); + else if (Args.hasArg(options::OPT_fno_data_sections)) + CmdArgs.push_back("-plugin-opt=-data-sections=0"); // Pass an option to enable split machine functions. if (auto *A = Args.getLastArg(options::OPT_fsplit_machine_functions, diff --git a/clang/test/Driver/forwarding-sections-liblto.c b/clang/test/Driver/forwarding-sections-liblto.c new file mode 100644 --- /dev/null +++ b/clang/test/Driver/forwarding-sections-liblto.c @@ -0,0 +1,15 @@ +// RUN: touch %t.o +// RUN: %clang %t.o -### -flto 2>&1 | FileCheck %s +// RUN: %clang %t.o -### -flto 2>&1 -ffunction-sections -fdata-sections | \ +// RUN: FileCheck %s --check-prefix=CHECK-SECTIONS +// RUN: %clang %t.o -### -flto 2>&1 -fno-function-sections -fno-data-sections \ +// RUN: | FileCheck %s --check-prefix=CHECK-NO-SECTIONS + +// CHECK-NOT: "-plugin-opt=-function-sections=1" +// CHECK-NOT: "-plugin-opt=-function-sections=0" +// CHECK-NOT: "-plugin-opt=-data-sections=1" +// CHECK-NOT: "-plugin-opt=-data-sections=0" +// CHECK-SECTIONS: "-plugin-opt=-function-sections=1" +// CHECK-SECTIONS: "-plugin-opt=-data-sections=1" +// CHECK-NO-SECTIONS: "-plugin-opt=-function-sections=0" +// CHECK-NO-SECTIONS: "-plugin-opt=-data-sections=0" diff --git a/clang/test/Driver/gold-lto-sections.c b/clang/test/Driver/gold-lto-sections.c --- a/clang/test/Driver/gold-lto-sections.c +++ b/clang/test/Driver/gold-lto-sections.c @@ -4,5 +4,5 @@ // RUN: -Wl,-plugin-opt=foo -O3 \ // RUN: -ffunction-sections -fdata-sections \ // RUN: | FileCheck %s -// CHECK: "-plugin-opt=-function-sections" -// CHECK: "-plugin-opt=-data-sections" +// CHECK: "-plugin-opt=-function-sections=1" +// CHECK: "-plugin-opt=-data-sections=1" diff --git a/llvm/lib/LTO/LTOCodeGenerator.cpp b/llvm/lib/LTO/LTOCodeGenerator.cpp --- a/llvm/lib/LTO/LTOCodeGenerator.cpp +++ b/llvm/lib/LTO/LTOCodeGenerator.cpp @@ -19,6 +19,7 @@ #include "llvm/Analysis/TargetLibraryInfo.h" #include "llvm/Analysis/TargetTransformInfo.h" #include "llvm/Bitcode/BitcodeWriter.h" +#include "llvm/CodeGen/CommandFlags.h" #include "llvm/CodeGen/ParallelCG.h" #include "llvm/CodeGen/TargetSubtargetInfo.h" #include "llvm/Config/config.h" @@ -344,6 +345,11 @@ Config.CPU = "cyclone"; } + // If data-sections is not explicitly set or unset, set data-sections by + // default to match the behaviour of lld and gold plugin. + if (!codegen::getExplicitDataSections()) + Config.Options.DataSections = true; + TargetMach = createTargetMachine(); assert(TargetMach && "Unable to create target machine"); diff --git a/llvm/test/LTO/PowerPC/data-sections-aix.ll b/llvm/test/LTO/PowerPC/data-sections-aix.ll new file mode 100644 --- /dev/null +++ b/llvm/test/LTO/PowerPC/data-sections-aix.ll @@ -0,0 +1,25 @@ +; RUN: rm -rf %t +; RUN: mkdir %t +; RUN: llvm-as %s -o %t/bc.bc +; RUN: llvm-lto -exported-symbol var -O0 %t/bc.bc -o %t/default.o +; RUN: llvm-lto -exported-symbol var -O0 --data-sections=1 %t/bc.bc -o \ +; RUN: %t/data-sections.o +; RUN: llvm-lto -exported-symbol var -O0 --data-sections=0 %t/bc.bc -o \ +; RUN: %t/no-data-sections.o +; RUN: llvm-objdump -t %t/default.o | FileCheck %s +; RUN: llvm-objdump -t %t/data-sections.o | FileCheck %s +; RUN: llvm-objdump -t %t/no-data-sections.o | FileCheck --check-prefix \ +; RUN: CHECK-NO-DATA-SECTIONS %s + +target triple = "powerpc-ibm-aix7.2.0.0" + +@var = global i32 0 + +; CHECK: SYMBOL TABLE: +; CHECK: .data +; CHECK-NOT: (csect: .data) +; CHECK-SAME: var + +; CHECK-NO-DATA-SECTIONS: SYMBOL TABLE: +; CHECK-NO-DATA-SECTIONS: .data (csect: .data) +; CHECK-NO-DATA-SECTIONS-SAME: var diff --git a/llvm/test/LTO/PowerPC/data-sections-linux.ll b/llvm/test/LTO/PowerPC/data-sections-linux.ll new file mode 100644 --- /dev/null +++ b/llvm/test/LTO/PowerPC/data-sections-linux.ll @@ -0,0 +1,25 @@ +; RUN: rm -rf %t +; RUN: mkdir %t +; RUN: llvm-as %s -o %t/bc.bc +; RUN: llvm-lto -exported-symbol var -O0 %t/bc.bc -o %t/default.o +; RUN: llvm-lto -exported-symbol var -O0 --data-sections=1 %t/bc.bc -o \ +; RUN: %t/data-sections.o +; RUN: llvm-lto -exported-symbol var -O0 --data-sections=0 %t/bc.bc -o \ +; RUN: %t/no-data-sections.o +; RUN: llvm-objdump -t %t/default.o | FileCheck %s +; RUN: llvm-objdump -t %t/data-sections.o | FileCheck %s +; RUN: llvm-objdump -t %t/no-data-sections.o | FileCheck --check-prefix \ +; RUN: CHECK-NO-DATA-SECTIONS %s + +target triple = "powerpc64le-unknown-linux-gnu" + +@var = global i32 0 + +; CHECK: SYMBOL TABLE: +; CHECK: .bss.var +; CHECK-SAME: var + +; CHECK-NO-DATA-SECTIONS: SYMBOL TABLE: +; CHECK-NO-DATA-SECTIONS: .bss +; CHECK-NO-DATA-SECTIONS-NOT: .var +; CHECK-NO-DATA-SECTIONS-SAME: var