内联装配中的弱符号和自定义截面

weak symbols and custom sections in inline assembly

本文关键字：符号自定义截面更新时间：2023-10-16

我遇到了一个问题，由以下 g++ 代码说明：

frob.hpp：

template<typename T> T frob(T x);
template<> inline int frob<int>(int x) {
asm("1: nopn"
".pushsection "extra","a"n"
".quad 1bn"
".popsectionn");
return x+1;
}

foo.cpp：

#include "frob.hpp"
extern int bar();
int foo() { return frob(17); }
int main() { return foo() + bar(); }

酒吧.cpp：

#include "frob.hpp"
int bar() { return frob(42); }

我正在做这些古怪的自定义部分的事情，作为在 linux 内核中模仿机制的一种方式(但以用户空间和C++的方式)。

我的问题是frob<int>的实例化被识别为弱符号，这很好，并且两者中的一个最终被链接器省略，这也很好。除了链接器不会受到以下事实的干扰：extra节具有对该符号的引用(通过.quad 1b)，并且链接器希望在本地解析它们。我得到：

localhost /tmp $ g++ -O3 foo.cpp  bar.cpp 
localhost /tmp $ g++ -O0 foo.cpp  bar.cpp 
`.text._Z4frobIiET_S0_' referenced in section `extra' of /tmp/ccr5s7Zg.o: defined in discarded section `.text._Z4frobIiET_S0_[_Z4frobIiET_S0_]' of /tmp/ccr5s7Zg.o
collect2: error: ld returned 1 exit status

(-O3很好，因为没有完全发出符号)。

我不知道如何解决这个问题。

有没有办法告诉链接器也注意extra部分中的符号解析？
也许可以将本地标签换成.weak全局标签？例如：
```
asm(".weak exception_handler_%=n"
"exception_handler_%=: nopn"
".pushsection "extra","a"n"
".quad exception_handler_%=n"
".popsectionn"::);
```
但是，我担心如果我这样做，不同编译单元中的不同 asm 语句可能会通过这种机制获得相同的符号(他们可以吗？

有没有我忽略的方法？

g++(至少 5,6)编译一个带有外部链接的内联函数 - 例如template<> inline int frob<int>(int x)- 全球疲软 [COMDAT] [功能部分] 中的符号它自己的部分组。看：-

g++ -S -O0 bar.cpp

酒吧。

.file   "bar.cpp"
.section    .text._Z4frobIiET_S0_,"axG",@progbits,_Z4frobIiET_S0_,comdat
.weak   _Z4frobIiET_S0_
.type   _Z4frobIiET_S0_, @function
_Z4frobIiET_S0_:
.LFB0:
.cfi_startproc
pushq   %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq    %rsp, %rbp
.cfi_def_cfa_register 6
movl    %edi, -4(%rbp)
#APP
# 8 "frob.hpp" 1
1: nop
.pushsection "extra","a"
.quad 1b
.popsection
# 0 "" 2
#NO_APP
movl    -4(%rbp), %eax
addl    $1, %eax
popq    %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
...
...