Использование GCC для создания читаемой сборки?

Мне было интересно, как использовать GCC в исходном файле C для вывода мнемонической версии машинного кода, чтобы я мог видеть, во что компилируется мой код. Вы можете сделать это с Java, но я не смог найти способ с GCC.

Я пытаюсь переписать метод C на ассемблере и посмотреть, как это делает GCC, было бы очень полезно.

Если вы компилируете с символами отладки, вы можете использовать objdumpдля создания более читаемой разборки.

>objdump --help
[...]
-S, --source             Intermix source code with disassembly
-l, --line-numbers       Include line numbers and filenames in output

objdump -drwC -Mintel это мило:

• -rпоказывает имена символов при перемещениях (так вы увидите putsв callинструкции ниже)
• -R показывает динамическое связывание перемещений / имен символов (полезно для разделяемых библиотек)
• -C раскладывает имена символов C ++
• -w это "широкий" режим: он не переносит строки машинного кода
• -Mintel: используйте GAS / binutils MASM-подобный .intel_syntax noprefixсинтаксис вместо AT & T
• -S: чередовать исходные строки с разборкой.

Вы могли бы положить что-то вроде alias disas="objdump -drwCS -Mintel"в вашем~/.bashrc

Пример:

> gcc -g -c test.c
> objdump -d -M intel -S test.o

test.o:     file format elf32-i386


Disassembly of section .text:

00000000 <main>:
#include <stdio.h>

int main(void)
{
   0:   55                      push   ebp
   1:   89 e5                   mov    ebp,esp
   3:   83 e4 f0                and    esp,0xfffffff0
   6:   83 ec 10                sub    esp,0x10
    puts("test");
   9:   c7 04 24 00 00 00 00    mov    DWORD PTR [esp],0x0
  10:   e8 fc ff ff ff          call   11 <main+0x11>

    return 0;
  15:   b8 00 00 00 00          mov    eax,0x0
}
  1a:   c9                      leave  
  1b:   c3                      ret

Если вы дадите GCC флаг -fverbose-asm, он будет

Поместите дополнительную информацию комментариев в сгенерированный код сборки, чтобы сделать его более читабельным.

[...] Добавленные комментарии включают в себя:

• информация о версии компилятора и параметрах командной строки,
• строки исходного кода, связанные с инструкциями по сборке, в форме FILENAME: LINENUMBER: CONTENT OF LINE,
• подсказки, по которым высокоуровневые выражения соответствуют различным операндам инструкции по сборке.

Используйте ключ -S (примечание: заглавная S) для GCC, и он будет передавать код сборки в файл с расширением .s. Например, следующая команда:

gcc -O2 -S foo.c

оставит сгенерированный ассемблерный код в файле foo.s.

Разорвано прямо с http://www.delorie.com/djgpp/v2faq/faq8_20.html (но удаление ошибочное -c)

Использование -Sпереключателя на GCC в системах на базе x86 по умолчанию создает дамп синтаксиса AT & T, который можно указать с помощью -masm=attпереключателя, например:

gcc -S -masm=att code.c

Принимая во внимание, что если вы хотите создать дамп в синтаксисе Intel, вы можете использовать -masm=intelпереключатель следующим образом:

gcc -S -masm=intel code.c

(Оба производят дампы code.cв их различный синтаксис, в файл code.sсоответственно)

Чтобы создать аналогичные эффекты с помощью objdump, вы должны использовать пример с параметром --disassembler-options= intel/ attswitch (с дампами кода для иллюстрации различий в синтаксисе):

 $ objdump -d --disassembler-options=att code.c

 080483c4 <main>:
 80483c4:   8d 4c 24 04             lea    0x4(%esp),%ecx
 80483c8:   83 e4 f0                and    $0xfffffff0,%esp
 80483cb:   ff 71 fc                pushl  -0x4(%ecx)
 80483ce:   55                      push   %ebp
 80483cf:   89 e5                   mov    %esp,%ebp
 80483d1:   51                      push   %ecx
 80483d2:   83 ec 04                sub    $0x4,%esp
 80483d5:   c7 04 24 b0 84 04 08    movl   $0x80484b0,(%esp)
 80483dc:   e8 13 ff ff ff          call   80482f4 <puts@plt>
 80483e1:   b8 00 00 00 00          mov    $0x0,%eax
 80483e6:   83 c4 04                add    $0x4,%esp 
 80483e9:   59                      pop    %ecx
 80483ea:   5d                      pop    %ebp
 80483eb:   8d 61 fc                lea    -0x4(%ecx),%esp
 80483ee:   c3                      ret
 80483ef:   90                      nop

и

$ objdump -d --disassembler-options=intel code.c

 080483c4 <main>:
 80483c4:   8d 4c 24 04             lea    ecx,[esp+0x4]
 80483c8:   83 e4 f0                and    esp,0xfffffff0
 80483cb:   ff 71 fc                push   DWORD PTR [ecx-0x4]
 80483ce:   55                      push   ebp
 80483cf:   89 e5                   mov    ebp,esp
 80483d1:   51                      push   ecx
 80483d2:   83 ec 04                sub    esp,0x4
 80483d5:   c7 04 24 b0 84 04 08    mov    DWORD PTR [esp],0x80484b0
 80483dc:   e8 13 ff ff ff          call   80482f4 <puts@plt>
 80483e1:   b8 00 00 00 00          mov    eax,0x0
 80483e6:   83 c4 04                add    esp,0x4
 80483e9:   59                      pop    ecx
 80483ea:   5d                      pop    ebp
 80483eb:   8d 61 fc                lea    esp,[ecx-0x4]
 80483ee:   c3                      ret    
 80483ef:   90                      nop

godbolt - очень полезный инструмент, в их списке есть только компиляторы C ++, но вы можете использовать -x cфлаг, чтобы заставить его обрабатывать код как C. Затем он сгенерирует листинг сборки для вашего кода рядом, и вы можете использовать Colouriseопцию для генерации цветные полосы, чтобы визуально указать, какой исходный код отображается на сгенерированную сборку. Например, следующий код:

#include <stdio.h>

void func()
{
  printf( "hello world\n" ) ;
}

используя следующую командную строку:

-x c -std=c99 -O3

и Colouriseбудет генерировать следующее:

Вы пробовали gcc -S -fverbose-asm -O source.cтогда посмотреть в сгенерированный source.sфайл ассемблера?

Сгенерированный ассемблерный код входит в source.s(вы можете переопределить это с помощью имени -o ассемблера ); -fverbose-asmопция задает компилятор испускать некоторые ассемблерные комментарии «объясняющие» сгенерированный код на ассемблере. -OОпция задает компилятор для оптимизации немного (это может оптимизировать больше с -O2или -O3).

Если вы хотите понять, что gccпроисходит, попробуйте передать, -fdump-tree-allно будьте осторожны: вы получите сотни файлов дампа.

Кстати, GCC расширяется через плагины или с помощью MELT (высокоуровневый язык, специфичный для домена, для расширения GCC; от которого я отказался в 2017 году)

Вы можете использовать GDB для этого, как objdump.

Этот отрывок взят из http://sources.redhat.com/gdb/current/onlinedocs/gdb_9.html#SEC64

Вот пример, показывающий смешанный источник + сборка для Intel x86:

  (gdb) disas / m main
Дамп кода ассемблера для функции main:
5 {
0x08048330: push% ebp
0x08048331: mov% esp,% ebp
0x08048333: суб $ 0x8,% esp
0x08048336: и $ 0xfffffff0,% esp
0x08048339: суб $ 0x10,% esp

6 printf («Привет. \ N»);
0x0804833c: movl $ 0x8048440, (% esp)
0x08048343: звонок 0x8048284 

7 вернуть 0;
8}
0x08048348: mov $ 0x0,% eax
0x0804834d: оставить
0x0804834e: ret

Конец ассемблерной свалки.

Используйте ключ -S (примечание: заглавная S) для GCC, и он будет передавать код сборки в файл с расширением .s. Например, следующая команда:

gcc -O2 -S -c foo.c

Я не дал выстрел в GCC, но в случае G ++. Команда ниже работает для меня. -g для отладочной сборки и -Wa, -adhln передается ассемблеру для перечисления с исходным кодом

g ++ -g -Wa, -adhln src.cpp

используйте -Wa, -adhln в качестве опции на gcc или g ++ для вывода вывода списка на стандартный вывод.

-Wa, ... для параметров командной строки для ассемблера (выполняется в gcc / g ++ после компиляции C / ++). Он вызывается как внутренне (as.exe в Windows). Видеть

> как --help

в командной строке, чтобы увидеть больше помощи для инструмента ассемблера внутри gcc