This drops a GNU gold workaround and reverts the revert commit rL366708.
Before binutils 2.34, gold -O2 and above did not correctly handle R_386_GOTOFF to
SHF_MERGE|SHF_STRINGS sections: https://sourceware.org/bugzilla/show_bug.cgi?id=16794
From the original review:
... it reduced the size of a big ARM-32 debug image by 33%. It contained ~68M
of relocations symbols out of total ~71M symbols (96% of symbols table was
generated for relocations with symbol).
-Wl,-O2 (and -Wl,-O3) is so rare that we should just lower the
optimization level for LLVM_LINKER_IS_GOLD rather than pessimizing all users.
# Pass -O3 to the linker. This enabled different optimizations on different
# linkers.
if(NOT (${CMAKE_SYSTEM_NAME} MATCHES "Darwin|SunOS|AIX" OR WIN32))
- set_property(TARGET ${target_name} APPEND_STRING PROPERTY
- LINK_FLAGS " -Wl,-O3")
+ # Before binutils 2.34, gold -O2 and above did not correctly handle R_386_GOTOFF to
+ # SHF_MERGE|SHF_STRINGS sections: https://sourceware.org/bugzilla/show_bug.cgi?id=16794
+ if(LLVM_LINKER_IS_GOLD)
+ set_property(TARGET ${target_name} APPEND_STRING PROPERTY LINK_FLAGS " -Wl,-O1")
+ else()
+ set_property(TARGET ${target_name} APPEND_STRING PROPERTY LINK_FLAGS " -Wl,-O3")
+ endif()
endif()
if(LLVM_LINKER_IS_GOLD)
if (Flags & ELF::SHF_MERGE) {
if (C != 0)
return true;
-
- // It looks like gold has a bug (http://sourceware.org/PR16794) and can
- // only handle section relocations to mergeable sections if using RELA.
- if (!hasRelocationAddend())
- return true;
}
// Most TLS relocations use a got, so they need the symbol. Even those that
// CHECK: Relocations [
// CHECK: Section {{.*}} .rel.text {
-// CHECK: 0x6 R_386_32 .L.str1
+// CHECK: 0x6 R_386_32 .rodata.str1.1 0x0
// CHECK: 0xB R_386_PC32 puts
-// CHECK: 0x12 R_386_32 .L.str2
+// CHECK: 0x12 R_386_32 .rodata.str1.1 0x0
// CHECK: 0x17 R_386_PC32 puts
// CHECK: }
// CHECK: ]
// In x86 32 bit named symbols are used for temporary symbols in merge
// sections, so make sure we handle symbols inside compressed sections
-// 386-SYMBOLS-GNU: Name: .Linfo_string0
+// 386-SYMBOLS-GNU: Name: .zdebug_str
// 386-SYMBOLS-GNU-NOT: }
// 386-SYMBOLS-GNU: Section: .zdebug_str
// ZLIB-STYLE-FLAGS32-NEXT: AddressAlignment: 4
// ZLIB-STYLE-FLAGS64-NEXT: AddressAlignment: 8
-// 386-SYMBOLS-ZLIB: Name: .Linfo_string0
+// 386-SYMBOLS-ZLIB: Name: .debug_str
// 386-SYMBOLS-ZLIB-NOT: }
// 386-SYMBOLS-ZLIB: Section: .debug_str
// I386: Format: elf32-i386
// CHECK: Relocations [
// CHECK-NEXT: Section {{.*}} .rel.text {
-// CHECK-NEXT: 0x2 R_386_GOTOFF .Lfoo 0x0
+// CHECK-NEXT: 0x2 R_386_GOTOFF .rodata.str1.16 0x0
// CHECK-NEXT: 0x{{[^ ]+}} R_386_PLT32 bar2 0x0
// CHECK-NEXT: 0x{{[^ ]+}} R_386_GOTPC _GLOBAL_OFFSET_TABLE_ 0x0
// Relocation 3 (bar3@GOTOFF) is done with symbol 7 (bss)
// CHECK: Symbols [
// CHECK: Symbol {
-// CHECK: Name: $.str
+// CHECK: Name: .rodata.cst8
// CHECK: }
// CHECK: Symbol {
-// CHECK: Name: $.str1
-// CHECK: }
-// CHECK: Symbol {
-// CHECK: Name: $CPI0_0
-// CHECK: }
-// CHECK: Symbol {
-// CHECK: Name: $CPI0_1
+// CHECK: Name: .rodata.str1.1
// CHECK: }
// CHECK: ]
// CHECK: 0x1C R_MIPS_GOT_LO16 ext_1
// CHECK: 0x24 R_MIPS_CALL_HI16 printf
// CHECK: 0x30 R_MIPS_CALL_LO16 printf
-// CHECK: 0x2C R_MIPS_GOT16 $.str
-// CHECK: 0x38 R_MIPS_LO16 $.str
+// CHECK: 0x2C R_MIPS_GOT16 .rodata.str1.1 0x0
+// CHECK: 0x38 R_MIPS_LO16 .rodata.str1.1 0x0
// CHECK: ]
.text