`testl` eax против eax?

Пытаюсь разобраться в какой-то сборке.

Сборка следующая, интересует testlлинейка:

000319df  8b4508        movl   0x08(%ebp), %eax  
000319e2  8b4004        movl   0x04(%eax), %eax  
000319e5  85c0          testl  %eax, %eax  
000319e7  7407          je     0x000319f0  

Я пытаюсь понять точку testlмежду %eaxи %eax? Я думаю, что особенности этого кода не важны, я просто пытаюсь разобраться в тесте с самим собой - не всегда ли значение будет истинным?

Он проверяет, eaxравен ли 0, больше или меньше. В этом случае прыжок выполняется, если он eaxравен 0.

Смысл в testтом, чтобы объединить аргументы И и проверить результат на ноль. Таким образом, этот код проверяет, равен ли EAX нулю. jeпрыгнет, если ноль.

Кстати, это генерирует меньшую инструкцию, чем cmp eax, 0по этой причине компиляторы обычно делают это таким образом.

Команда тестирования выполняет логическую операцию И между операндами, но не записывает результат обратно в регистр. Обновляются только флаги.

В вашем примере тестовый eax, eax установит нулевой флаг, если eax равен нулю, знак-флаг, если установлен самый высокий бит, а также некоторые другие флаги.

Команда Перейти, если равно (je) перескакивает, если установлен нулевой флаг.

Вы можете перевести код в более читаемый код следующим образом:

cmp eax, 0
je  somewhere

Это имеет ту же функциональность, но требует на несколько байтов больше места для кода. Вот почему компилятор выдал тест вместо сравнения.

testподобен and, за исключением того, что он записывает только FLAGS, оставляя оба входа неизмененными. С двумя разными входами это полезно для проверки, все ли некоторые биты равны нулю или установлен хотя бы один. (например, test al, 3устанавливает ZF, если EAX кратно 4 (и, таким образом, оба младших бита обнулены).

test eax,eaxустанавливает все флаги точно так же, как если cmp eax, 0бы :

• CF и OF очищены (AND / TEST всегда делает это; вычитание нуля никогда не приводит к переносу)
• ZF, SF и PF в соответствии со значением в EAX. ( a = a&a = a-0).
  (PF, как обычно, устанавливается только в соответствии с младшими 8 битами )

За исключением устаревшего AF (флаг вспомогательного переноса, используемый инструкциями ASCII / BCD). TEST оставляет его неопределенным , но CMP устанавливает его «в соответствии с результатом» . Поскольку вычитание нуля не может привести к переносу с 4-го на 5-й бит, CMP всегда должен очищать AF.

ТЕСТ меньше (не сразу), а иногда и быстрее (может макрослиться в муп сравнения и ветвления на большем количестве процессоров в большем количестве случаев, чем CMP). Это делает testпредпочтительную идиому для сравнения регистра с нулем . Это оптимизация на глазок cmp reg,0, которую можно использовать независимо от семантического значения.

Единственная распространенная причина использования CMP с немедленным 0 - это когда вы хотите сравнить с операндом памяти. Например, cmpb $0, (%esi)чтобы проверить завершающий нулевой байт в конце строки C-стиля неявной длины.

AVX512F добавляетkortestw k1, k2 и добавляет AVX512DQ / BW (Skylake-X, но не KNL) ktestb/w/d/q k1, k2, которые работают с регистрами маски AVX512 (k0..k7), но по-прежнему устанавливают обычные ФЛАГИ, как это testделается, точно так же, как это делают целые числа ORили ANDинструкции. (Что-то вроде SSE4 ptestили SSE ucomiss: входы в домен SIMD и результат целочисленные флаги.)

kortestw k1,k1- это идиоматический способ ветвления / cmovcc / setcc на основе результата сравнения AVX512, заменяющий SSE / AVX2 (v)pmovmskb/ps/pd+ testили cmp.

Использование jzvs. jeможет сбивать с толку.

jzи jeпредставляют собой буквально одну и ту же инструкцию , то есть один и тот же код операции в машинном коде. Они делают то же самое, но имеют разное смысловое значение для людей . Дизассемблеры (и обычно вывод asm из компиляторов) будут всегда использовать только один, поэтому семантическое различие теряется.

cmpи subустановите ZF, когда их два входа равны (т.е. результат вычитания равен 0). je(переход, если равно) - семантически значимый синоним.

test %eax,%eax/ and %eax,%eaxснова устанавливает ZF, когда результат равен нулю, но нет проверки на «равенство». ZF после теста не сообщает вам, равны ли два операнда. Итак jz(переход, если ноль) - это семантически значимый синоним.

Этот фрагмент кода взят из подпрограммы, которой был дан указатель на что-то, возможно, на какую-то структуру или объект. Вторая строка разыменовывает этот указатель, извлекая значение из этой вещи - возможно, это указатель или, может быть, просто int, хранящийся как его второй член (смещение +4). Третья и четвертая строки проверяют это значение на ноль (NULL, если это указатель) и пропускают следующие несколько операций (не показаны), если оно равно нулю.

Тест на ноль иногда кодируется как сравнение с непосредственным буквальным нулевым значением, но компилятор (или человек?), Который написал это, мог подумать, что testl op будет работать быстрее - принимая во внимание все современные вещи процессора, такие как конвейерная обработка и регистр переименование. Это из того же набора уловок, в котором заключена идея очистки реестра с помощью XOR EAX, EAX (который я видел на чьем-то номерном знаке в Колорадо!), А не очевидного, но, возможно, более медленного MOV EAX, # 0 (я использую более старую нотацию. ).

В asm, как и в perl, TMTOWTDI.

Если eax равен нулю, он выполнит условный переход, в противном случае он продолжит выполнение на 319e9.

В некоторых программах их можно использовать для проверки переполнения буфера. В самом верху выделенного места ставится 0. После ввода данных в стек он ищет 0 в самом начале выделенного пространства, чтобы убедиться, что выделенное пространство не переполнено.

Он использовался в упражнении stack0 для эксплойтов-упражнений, чтобы проверить, не было ли он переполнен, и если его нет и там был ноль, он отобразил бы "Попробуйте снова"

0x080483f4 <main+0>:    push   ebp
0x080483f5 <main+1>:    mov    ebp,esp
0x080483f7 <main+3>:    and    esp,0xfffffff0
0x080483fa <main+6>:    sub    esp,0x60                     
0x080483fd <main+9>:    mov    DWORD PTR [esp+0x5c],0x0 ;puts a zero on stack
0x08048405 <main+17>:   lea    eax,[esp+0x1c]
0x08048409 <main+21>:   mov    DWORD PTR [esp],eax
0x0804840c <main+24>:   call   0x804830c <gets@plt>
0x08048411 <main+29>:   mov    eax,DWORD PTR [esp+0x5c] 
0x08048415 <main+33>:   test   eax,eax                  ; checks if its zero
0x08048417 <main+35>:   je     0x8048427 <main+51>
0x08048419 <main+37>:   mov    DWORD PTR [esp],0x8048500 
0x08048420 <main+44>:   call   0x804832c <puts@plt>
0x08048425 <main+49>:   jmp    0x8048433 <main+63>
0x08048427 <main+51>:   mov    DWORD PTR [esp],0x8048529
0x0804842e <main+58>:   call   0x804832c <puts@plt>
0x08048433 <main+63>:   leave
0x08048434 <main+64>:   ret

мы могли бы увидеть JG , JLE Если testl %edx,%edx. jle .L3мы могли бы легко найти JLE костюм (SF^OF)|ZF, если% EDX равен нулю, ZF = 1, но если% EDX не равен нулю и -1, после testl, то OF = 0 и SF = 1, поэтому флаг = true, который реализует прыжок. Извините, мой английский плохой