c - tcc:在汇编代码中使用 C 标准函数

Question

我有由 NASM 创建的简单程序集文件。我想将它们与 tcc 链接。为了调试，我想在汇编代码中使用 printf() 。但是当我这样做时，tcc 失败，并显示 tcc: undefined symbol 'printf'。

这是重现错误的最小示例代码:

extern printf
hello: db "Hello world!",0

global main
main:
    push hello
    call printf
    pop eax
ret

控制台:

nasm -felf hello.asm
tcc hello.o

tcc: undefined symbol 'printf'

当我使用 gcc hello.o 时，一切正常，因此它必须是 tcc 特定的问题。我如何让它与 tcc 一起工作？

编辑:我正在使用 Windows 版本的 NASM 和 TCC 来生成 32 位 Windows 可执行文件。

Answer 1

看来TCC需要有关外部链接函数(例如printf)的特定类型信息。默认情况下，NASM 在ELF 对象中创建对具有NOTYPE 属性的符号的引用。这似乎让 TCC 感到困惑，因为它似乎期望外部函数符号用 FUNCTION 类型标记。

---

我通过简单的C程序发现了这一点:

#include <stdio.h>
int main()
{
    printf ("hello\n");
}

并将其编译为目标文件(TCC默认使用ELF对象)，命令如下:

tcc -c simple.c 

这会生成simple.o。我碰巧使用 OBJDUMP 来显示汇编代码和 ELF header 。我在代码中没有看到任何异常，但标题中的符号表显示出差异。如果您使用程序READELF，您可以获得符号的详细转储。

readelf -s simple.o

Symbol table '.symtab' contains 5 entries:
   Num:    Value  Size Type    Bind   Vis      Ndx Name
     0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND
     1: 00000000     0 FILE    LOCAL  DEFAULT  ABS simple.c
     2: 00000000     7 OBJECT  LOCAL  DEFAULT    2 L.0
     3: 00000000    26 FUNC    GLOBAL DEFAULT    1 main
     4: 00000000     0 FUNC    GLOBAL DEFAULT  UND printf

特别令人感兴趣的是 printf 的符号表条目:

    4: 00000000     0 FUNC    GLOBAL DEFAULT  UND printf

如果您要转储 hello.o 对象的 ELF header ，您会看到类似于以下内容的内容:

readelf -s hello.o

Symbol table '.symtab' contains 6 entries:
   Num:    Value  Size Type    Bind   Vis      Ndx Name
     0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND
     1: 00000000     0 FILE    LOCAL  DEFAULT  ABS hello.asm
     2: 00000000     0 SECTION LOCAL  DEFAULT    1
     3: 00000000     0 NOTYPE  LOCAL  DEFAULT    1 hello
     4: 00000000     0 NOTYPE  GLOBAL DEFAULT  UND printf
     5: 0000000d     0 NOTYPE  GLOBAL DEFAULT    1 main

请注意 hello.o 中的符号 printf 与上面 simple.o 中的符号有何不同。 NASM 默认使用 NOTYPE 属性而不是 FUNCTION 定义标签。

---

使用 YASM 而不是 NASM

我不知道有什么方法可以解决NASM中的问题，因为我不知道如何强制它使用FUNCTION类型而不是< em>NOTYPE 位于定义为 extern 的符号上。我在十六进制编辑器中更改了类型，它按预期链接并运行。

另一种选择是download YASM (NASM 的重写)。对于大部分部分来说，NASM 和YASM 的工作方式相同。 YASM 的命令行大部分与 NASM 兼容，因此您应该能够使用它作为直接替代品。 YASM 有一个额外的功能，允许您使用 type directive 指定符号的类型。 :

9.3.3. TYPE: Set symbol type

ELF’s symbol table has the capability of indicating whether a symbol is a
function or data. While this can be specified directly in the GLOBAL
directive (see Section 9.4), the TYPE directive allows specifying the
symbol type for any symbol, including local symbols.

The directive takes two parameters; the first parameter is the symbol
name, and the second is the symbol type. The symbol type must be either
function or object. An unrecognized type will cause a warning to be
generated. Example of use:

func:
        ret
type func function
section .data
var dd 4
type var object

您只需为您使用的每个外部函数在汇编代码中添加一行额外的类型信息。您的汇编代码可以修改为如下所示:

extern printf
type printf function

hello: db "Hello world!",0

global main
main:
    push hello
    call printf
    pop eax
ret 

它应该编译并链接如下:

yasm -felf hello.asm -o hello.o
tcc hello.o -o hello.exe