gcc - 如何让 GNAT 生成程序列表？

Question

让它看起来像 tasm 生成的列表）

Answer 1

使用“-S”作为参数之一调用“gnatmake”：

$ cat hello_world.adb
with Ada.Text_IO;

procedure Hello_World is
begin
   Ada.Text_IO.Put_Line ("Hello world!");
end Hello_World;
$ gnatmake -S hello_world
[...]
$ head hello_world.s
        .file       "hello_world.adb"
        .section    .rodata
.LC1:
        .ascii      "Hello world!"
        .align 4
.LC0:
        .long       1
        .long       12
        .text
        .globl      _ada_hello_world

Answer 2

根据文档，

任何不是 gnatmake 开关的大写或多字符开关都会传递给 gcc（例如 -O、-gnato 等）

，因此您可能会以与 gcc 完全相同的方式执行此操作。

我不知道您所指的确切格式，但-gnatl看起来很有趣。