c - 为什么GAS汇编语言可以不声明直接调用C语言的全局变量？

Question

这几天在学习linux启动代码，有个小问题困扰着我。

setup.c :

unsigned int __atags_pointer __initdata;

head-common.S

    .align  2
    .type   __mmap_switched_data, %object
__mmap_switched_data:
    .long   __data_loc                      @ r4
    .long   _sdata                          @ r5
    .long   __bss_start                     @ r6
    .long   _end                            @ r7
    .long   processor_id                    @ r4
    .long   __machine_arch_type             @ r5
    .long   __atags_pointer                 @ r6
    .long   cr_alignment                    @ r7
    .long   init_thread_union + THREAD_START_SP @ sp
    .size   __mmap_switched_data, . - __mmap_switched_data

head-common.S中的.long __atags_pointer@r6行调用了setup.c中的全局变量，没有任何声明,例如 .global __atags_pointer。为什么它有效？

Answer 1

我不这么认为:

.long  __atags_pointer

是一个电话。这是一个伪表达式。在这种情况下，我认为它会创建一个 4 字节的空间，并为链接器留下一个标记，以便在链接时用值填充该空间。来自气体手册:

'.long' is the same as '.int'. *Note '.int': Int.

7.44 '.int EXPRESSIONS'

Expect zero or more EXPRESSIONS, of any section, separated by commas. For each expression, emit a number that, at run time, is the value of that expression. The byte order and bit size of the number depends on what kind of target the assembly is for.

如果你单独编译文件得到一个.o，然后在上面运行objdump -D，我相信你会看到空格全是0。但是，在您链接之后，同一空间中将有一个实际数字。