Что делает cltq в сборке?

Ответ 1

cltq поддерживает int для int64. shl 3,% rax делает смещение к 64-битовому указателю (умножает все, что находится в rax на 8). то, что делает код, - это цикл через список указателей на переменные среды. когда он находит значение нуля, что конец, и он выпадает из цикла.

Ниже приведено представление о том, как Linux хранит переменные окружения в ОЗУ выше стека. Вы увидите указатели, начинающиеся с 0xbffff75c; что указывает на 0xbffff893, "TERM = rxvt".

[email protected]:/tmp$ gdb test
GNU gdb (GDB) 7.2-debian
Copyright (C) 2010 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "i486-linux-gnu".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /tmp/test...(no debugging symbols found)...done.
(gdb) break main
Breakpoint 1 at 0x80483e7
(gdb) run
Starting program: /tmp/test 

Breakpoint 1, 0x080483e7 in main ()
(gdb) info reg
eax            0xbffff754   -1073744044
ecx            0xe88ed1c    243854620
edx            0x1  1
ebx            0xb7fc5ff4   -1208197132
esp            0xbffff6a8   0xbffff6a8
ebp            0xbffff6a8   0xbffff6a8
esi            0x0  0
edi            0x0  0
eip            0x80483e7    0x80483e7 <main+3>
eflags         0x200246 [ PF ZF IF ID ]
cs             0x73 115
ss             0x7b 123
ds             0x7b 123
es             0x7b 123
fs             0x0  0
gs             0x33 51
(gdb) x/160x 0xbffff6a8
0xbffff6a8: 0xbffff728  0xb7e86e46  0x00000001  0xbffff754
0xbffff6b8: 0xbffff75c  0xb7fe2940  0xb7ff7351  0xffffffff
0xbffff6c8: 0xb7ffeff4  0x08048254  0x00000001  0xbffff710
0xbffff6d8: 0xb7ff0976  0xb7fffac0  0xb7fe2c38  0xb7fc5ff4
0xbffff6e8: 0x00000000  0x00000000  0xbffff728  0x21b99b0c
0xbffff6f8: 0x0e88ed1c  0x00000000  0x00000000  0x00000000
0xbffff708: 0x00000001  0x08048330  0x00000000  0xb7ff64f0
0xbffff718: 0xb7e86d6b  0xb7ffeff4  0x00000001  0x08048330
0xbffff728: 0x00000000  0x08048351  0x080483e4  0x00000001
0xbffff738: 0xbffff754  0x08048440  0x08048430  0xb7ff12f0
0xbffff748: 0xbffff74c  0xb7fff908  0x00000001  0xbffff889
0xbffff758: 0x00000000  0xbffff893  0xbffff89d  0xbffff8ad
0xbffff768: 0xbffff8fd  0xbffff90c  0xbffff91c  0xbffff92d
0xbffff778: 0xbffff93a  0xbffff94d  0xbffff97a  0xbffffe6a
0xbffff788: 0xbffffe75  0xbffffef7  0xbfffff0e  0xbfffff1d
0xbffff798: 0xbfffff26  0xbfffff30  0xbfffff41  0xbfffff6a
0xbffff7a8: 0xbfffff73  0xbfffff8a  0xbfffff9d  0xbfffffa5
0xbffff7b8: 0xbfffffbc  0xbfffffcc  0xbfffffdf  0x00000000
0xbffff7c8: 0x00000020  0xffffe420  0x00000021  0xffffe000
0xbffff7d8: 0x00000010  0x078bfbff  0x00000006  0x00001000
0xbffff7e8: 0x00000011  0x00000064  0x00000003  0x08048034
0xbffff7f8: 0x00000004  0x00000020  0x00000005  0x00000008
0xbffff808: 0x00000007  0xb7fe3000  0x00000008  0x00000000
---Type <return> to continue, or q <return> to quit---
0xbffff818: 0x00000009  0x08048330  0x0000000b  0x000003e8
0xbffff828: 0x0000000c  0x000003e8  0x0000000d  0x000003e8
0xbffff838: 0x0000000e  0x000003e8  0x00000017  0x00000000
0xbffff848: 0x00000019  0xbffff86b  0x0000001f  0xbffffff2
0xbffff858: 0x0000000f  0xbffff87b  0x00000000  0x00000000
0xbffff868: 0x50000000  0x7d410985  0x1539ef2a  0x7a3f5e9a
0xbffff878: 0x6964fe17  0x00363836  0x00000000  0x00000000
0xbffff888: 0x6d742f00  0x65742f70  0x54007473  0x3d4d5245
0xbffff898: 0x74767872  0x45485300  0x2f3d4c4c  0x2f6e6962
0xbffff8a8: 0x68736162  0x47445800  0x5345535f  0x4e4f4953
0xbffff8b8: 0x4f4f435f  0x3d45494b  0x37303534  0x66656135
0xbffff8c8: 0x32353131  0x63346334  0x30393436  0x35386331
0xbffff8d8: 0x39346134  0x37316135  0x3033312d  0x31383339
0xbffff8e8: 0x2e303736  0x31303832  0x382d3033  0x33323731
0xbffff8f8: 0x39373936  0x53494800  0x5a495354  0x30313d45
0xbffff908: 0x00303030  0x48535548  0x49474f4c  0x41463d4e
0xbffff918: 0x0045534c  0x444e4957  0x4449574f  0x3833383d
(gdb) x/20s 0xbffff888
0xbffff888:  ""
0xbffff889:  "/tmp/test"
0xbffff893:  "TERM=rxvt"
0xbffff89d:  "SHELL=/bin/bash"
0xbffff8ad:  "XDG_SESSION_COOKIE=45075aef11524c4c64901c854a495a17-1309381670.280130-817236979"
0xbffff8fd:  "HISTSIZE=10000"
0xbffff90c:  "HUSHLOGIN=FALSE"
0xbffff91c:  "WINDOWID=8388614"
0xbffff92d:  "USER=jcomeau"
0xbffff93a:  "HISTFILESIZE=10000"
0xbffff94d:  "LD_LIBRARY_PATH=/usr/src/jet/lib/x86/shared:"
0xbffff97a:  "LS_COLORS=rs=0:di=01;34:ln=01;36:mh=00:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31"...
0xbffffa42:  ":*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.tlz=01;31:*.txz=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.lz=01;31:*.xz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz=01;31:*.tbz2=01;31:*.tz=01;31:*.d"...
0xbffffb0a:  "eb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35"...
0xbffffbd2:  ":*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.svgz=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=---Type <return> to continue, or q <return> to quit---
01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4"...
0xbffffc9a:  "v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.flv=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*."...
0xbffffd62:  "yuv=01;35:*.cgm=01;35:*.emf=01;35:*.axv=01;35:*.anx=01;35:*.ogv=01;35:*.ogx=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;3"...
0xbffffe2a:  "6:*.wav=00;36:*.axa=00;36:*.oga=00;36:*.spx=00;36:*.xspf=00;36:"
0xbffffe6a:  "COLUMNS=80"
0xbffffe75:  "PATH=/usr/src/jet/bin:/usr/local/bin:/usr/bin:/bin:/usr/games:/home/jcomeau:/home/jcomeau/bin:/home/jcomeau/src:/sbin:/usr/sbin:."
(gdb) quit
A debugging session is active.

    Inferior 1 [process 10880] will be killed.

Quit anyway? (y or n) y

Ваш компилятор, по-видимому, достаточно умен, чтобы оптимизировать просто отформатированный printf до puts. выборка строки окружения и постинкромент i, находятся в коде. Если вы не заметите этого, вы никогда не поймете этого. Просто "станьте" компьютером и пройдите через цикл, используя данные, которые я выгрузил для вас с помощью gdb, и все должно стать вам понятным.

Ответ 2

Мнемоник

cltq является gas мнемоником для Intel cdqe, как описано в: https://sourceware.org/binutils/docs/as/i386_002dMnemonics.html

Мнемоники:

• Преобразование длинного в квадрат (cltq): AT & T-style
• Преобразование Double to Quad Extend (cdqe): Intel

Терминология:

• quad == 8 байт
• long (Intel) == double (AT & T) == 4 байта

Это одна из немногих инструкций, имя GAS которых сильно отличается от версии Intel. as принимает либо мнемонику, но ассемблеры Intel-синтаксиса принимают имена Intel.

Эффект

Этот знак расширяет 4 байта на 8 байтов, что в 2-х дополнениях означает, что для:

• отрицательные числа, биты верхних 4 байтов должны быть установлены на 1
• положительные числа, они должны быть установлены на 0

В C, который обычно представляет листинг из подписанного int в long.

Пример:

mov $0123456700000001, %rax  # eax=1, high bytes of rax=garbage
cltq
# %rax == $0000 0000 0000 0001

mov $-1, %eax   # %rax = 0000 0000 FFFF FFFF
cltq
# %rax == $FFFF FFFF FFFF FFFF == qword $-1

Эта инструкция доступна только для 64-разрядных версий.

Также рассмотрите следующие инструкции:

• CWDE, CBW: меньшие версии cdqe, также присутствующие в 32-разрядном
• CQO, знак которого расширяет RAX на RDX:RAX
• MOVSX, которые оба знака расширяются и перемещаются: что делает инструкция movsbl?

Пример C

GCC 4.9.3 испускает его:

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv) {
    int i = strtol(argv[1], (char **)NULL, 16);;
    long int l = i;
    printf("%lx\n", l);
}

Скомпилировать и дизассемблировать:

gcc -ggdb3 -std=c99 -O0 a.c
objdump -S a.out

содержит:

    int main(int argc, char **argv) {
  ...
    long int l2 = i;
  400545:       8b 45 fc                mov    -0x4(%rbp),%eax
  400548:       48 98                   cltq   
  40054a:       48 89 45 f0             mov    %rax,-0x10(%rbp)

и поведение:

$ ./a.out 0x80000000
ffffffff80000000
$ ./a.out 0x40000000
40000000

Ответ 3

Если ваша ОС 64 бит, если вы не объявляете, что функция находится в другом файле, но вы хотите использовать ее в этом файле. По умолчанию GCC полагает, что эта функция будет 32 бит. Таким образом, cltq будет использовать только 32-битное RAX (возвращаемое значение), 32-битное значение будет заполнено 1 или 0. надеюсь, что эта сеть поможет вам http://www.mystone7.com/2012/05/23/cltq/

Ответ 4

cltq sign-extends EAX в RAX. Это короткая форма movslq %eax, %rax, сохраняющая байты кода. Он существует из-за того, как x86-64 развился с 8086 до 386 на AMD64.

Он копирует знаковый бит EAX ко всем верхним битам более широкого регистра, потому что это то, как работает 2 дополнения. Мнемоника коротка для Convert Long to Quad.

Синтаксис AT & T (используемый GNU as/objdump) использует некоторые мнемоники, чем Intel, для некоторых инструкций (см. официальные документы). Вы можете использовать objdump -drwC -Mintel или gcc -masm=intel -S, чтобы получить синтаксис Intel, используя мнемонику, которую Intel и AMD документируют в своих инструкциях по эксплуатации (см. Ссылки в x86 tag wiki. (Забавный факт: в качестве входного газа принимается газ либо мнемонический в любом режиме).

machine    mnemonics:                MOVSX equivalent
code         AT&T    Intel           AT&T               Intel

 66 98       cbtw    cbw             movsbw %al,%ax     movsx  ax,al
 98          cwtl    cwde            movswl %ax,%eax    movsx  eax,ax
 48 98       cltq    cdqe            movslq %eax,%rax   movsxd rax,eax

Intel insn ref ручной ввод для этих 3 insns.

cltq/cdqe, очевидно, доступен только в 64-битном режиме, но два других доступны во всех режимах. movsx и movzx были введены только с 386, что упростило/повысило регистрацию/нулевое расширение регистров, отличных от al/ax, или для подписи/нулевого значения на лету во время загрузки.

Подумайте о cltq/cdqe как о сокращении кодировки movslq %eax,%rax в специальном случае. Он работает так же быстро. Но единственным преимуществом является сохранение пары байтов кода, поэтому не стоит жертвовать чем-либо другим, чтобы использовать его вместо movsxd/movzx.

Связанная группа команд копирует знаковый бит [e/r] ax во все биты [e/r] dx. Расширение знака eax в edx:eax полезно до idiv или просто перед возвратом широкого целого в пару регистров.

             AT&T   /  Intel  mnemonic                 effect
 66 99       cwtd      cwd     word->doubleword        dx = signbit(ax)
 99          cltd      cdq     doubleword->quadword   edx = signbit(eax)
 48 99       cqto      cqo     quadword->octword      rdx = signbit(rax)

У них нет эквивалента с одной инструкцией, но вы можете сделать это в двух инструкциях: например. mov %eax, %edx/sar $32, %edx.

Вспоминая мнемонику

Мнемоника Intel для расширения внутри rax заканчивается на e, за исключением исходного 8086 cbw. Вы можете вспомнить этот случай, потому что даже 8086 обработали 16-битные целые числа в одном регистре, поэтому не нужно было устанавливать dl знаковый бит al. div r8 и idiv r8 читать дивиденд от ax, а не от dl:al. Итак, cbw sign-extends al в ax.

Мнемоники AT & T не имеют очевидного намека, чтобы помочь вам вспомнить, какой из них является. Некоторые из тех, которые пишут *dx, заканчиваются на d (для dx?) Вместо обычного l для long. cqto разбивает этот шаблон, но октавное слово - 128b и, следовательно, должно быть конкатенацией rdx:rax.

IMO мнемосхемы Intel легче запомнить, а Intel-синтаксис легче читать вообще. (Сначала я изучил синтаксис AT & T, но привык к Intel, потому что чтение руководств Intel/AMD полезно!)

Обратите внимание, что для zero-extension, mov %edi,%edi zero-extends %edi в %rdi, потому что любая запись в 32-битный регистр нули верхних 32 бит. (Но на практике попробуйте mov в другой регистр (например, mov %eax, %ecx), потому что тот же самый, побеждает исключение mov в процессорах Intel. сгенерированный компилятором asm для функций с 32-разрядными аргументами без знака, используйте mov для нулевого расширения и, к сожалению, часто с тем же регистром, что и src и destination.

Для 8 или 16 от 32 до 32 (или неявно 64), and $0xff, %eax работает так же, как и movzbl %al, %eax. (Или лучше, movzbl %al, %ecx, поэтому удаление mov может сделать его нулевой латентностью на процессорах, где movzx).