子程序如何在不被调用的情况下执行？

Question

我对汇编（x86_64）非常陌生，并且遇到了一个教程，该教程提供了一个简单的程序来打印具有未定义长度的字符串。程序如下：

section .data
        text db "Hello, World!",10,0

section .text
        global _start

_start:
    mov rax, text
    call _print

    mov rax, 60
    mov rdi, 0
    syscall

_print:
        push rax
        mov rbx, 0

_printLoop:
        inc rax
        inc rbx
        mov cl, [rax]
        cmp cl, 0
        jne _printLoop

        mov rax, 1
        mov rdi, 1
        pop rsi
        mov rdx, rbx
        syscall

        ret

我理解它的逻辑，除了一件事，_printLoop子例程在根本没有被调用的情况下是如何执行的？是不是因为_print没有ret声明而失败？标签不就是封装吗？预先感谢您的任何解释！

Answer 1

正如@ped7g所指出的，执行例程的原因是因为它从打印例程中失败。

在汇编中，call指令将返回地址保存到内存（在堆栈上），并且在遇到语句之前不会将其弹出（即返回到所述点）ret。执行始终继续到下一条指令，除非存在某种跳转（call/ret/jmp），无论标签如何。

至于标签，它们只是某些内存位置的“昵称”，以便程序员更轻松地编写汇编代码。您无需记住十六进制地址并跳转到它，只需使用标签来引用它即可。这是它们唯一的功能；这种连接（十六进制地址和标签之间）是由汇编器（以及当前文件外部标签的链接器，或者绝对引用而不是相对引用）完成的。