Отрицательные числа, сдвиги, стек, подпрограммы invoke, массивы в MASM презентация

имеет о том, что такое знак числа.

Поэтому идут на соглашение – пусть старший бит в обозначает знак.

Если старший бит числа равен 1, то число считается отрицательным.

Если старший бит числа равен 0, то число считается положительным.

число и добавить к результату единицу.
110d (в двоичной системе это число 01101110b). Тогда

Сумма положительного и отрицательного даёт 0. Проверим:

число из al растянуть на весь ax (2 байта). Или 2-байтовое из ax растянуть на eax (4 байта). Эта операция называется расширением знака.

Для расширения положительного числа нужно старшие разряда заполнить нулями.

Для расширения отрицательного числа старшие разряды нужно заполнить единицами.

число в AL до AX.

CWDE (Convert Word to Doubleword) расширяет число в AX до EAX.

CWD (Convert Word to Doubleword) расширяет число в AX до DX:AX.

CDQ (Convert Doubleword to Quadword) раширяет EAX до EDX:EAX

Вышеперечисленные команды не имеют параметров и не выставляют флаги.

3 вида сдвигов:
Логический – просто сдвиг. Вдвигаемые (вносимые) разряды всегда нули;

Арифметический – сдвиг с охранением знака. При сдвиге вправо Вдвигаемые (вносимые) слева разряды равны значению знакового бита. Сдвиг влево аналогичен логическому сдвигу, то есть слева всегда вдвигаются (вносятся) нули;

Циклический – выталкиваемые разряды коварно вылезают с другой стороны числа. То есть те разряды, которые были выдвинуты справа, вдвигаются слева и наоборот;

исчезают.
SHL операнд, количество_сдвигов
SHR операнд, количество_сдвигов
SHL и SHR сдвигают биты операнда (регистр/память) влево или вправо соответственно на указанное число разрядов:

; al = 01011011 (двоичное)
shr al, 3 ; al= 00001011

Это означает: сдвиг всех битов регистра al на 3 разряда вправо. Так что al станет 00001011.

Биты слева заполняются нулями, а биты справа выдвигаются (исчезают). Последний выдвинутый бит, становится значением флага переноса CF.

операнд, количество_сдвигов
SAL и SAR сдвигают биты операнда (регистр/память) влево или вправо с сохранением знака соответственно на указанное число разрядов. С сохранением знака, то есть при сдвиге влево вдвигаются нули, а при сдвиге вправо, вдвигается значение старшего разряда (знаковый бит).

;al = 10100110
sar al, 3
;al = 11110100
sar al, 2
;al = 11111101
;bl = 00100110
sar bl, 3
;bl = 00000010

Последний выдвинутый бит, становится значением флага переноса CF.

другой стороны числа.

rol операнд, количество_сдвигов ; циклический сдвиг операнда влево

ror операнд, количество_сдвигов ; циклический сдвиг операнда вправо

rcl операнд, количество_сдвигов ; циклический сдвиг операнда влево через флаг переноса

rcr операнд, количество_сдвигов ; циклический сдвиг операнда вправо через флаг переноса

появляются с другой стороны числа. Последний выдвинутый бит оказывается в итоге во флаге CF.

RCL и RCR в отличии от ROL и ROF работаю хитрее. Они выполняют сдвиг через флаг CF. То есть выдвинутое значение попадает во флаг CF(это привычно), но не вдвигается с другой стороны числа. Однако одновременно при этом значение, уже лежавшее в CF, не пропадает, а вдвигается с другой стороны числа.
Флаг CF в данном случае работает как дополнительный разряд, приклеившийся к числу (для RCL – слева, для RCR - справа).

эффективным является сдвиг влево на требуемое число битов.

Умножение значения из ax на 2:
sal ax,1

Умножение значения из ax на 8:
sal ax,3

Деление значения из ax на 2:
sar ax,1

Деление значения из ax на 8:
sar ax,3

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

число помещает в AL
xor BL,BL ; обнулим регистр под результат
repeat:
rcr AL,1 ; выталкиваем правый бит во флаг CF
rcl BL,1 ; заталкиваем его из флага CF в результат
loop repeat ; и так четыре раза
mov [результат],BL ; ответ в переменную

Задача: дано некое однобайтное число. Нужно инвертировать его биты. То есть в итоге первый бит должен стать восьмым, второй – седьмым и так далее.

в оперативной памяти

push – поместить значение (2 или 4 байта) в стек
pop – достать значение из стека (2 или 4 байта)

Стек растёт в сторону уменьшения адресов памяти.

Значение, помещенное в стек последним,
извлекается первым.

Регистр ESP хранит адрес вершины стека.

Стек используется для хранения параметров процедур
И их локальных переменных.

Естественно, вы можете использовать стек в своих целях,
но вы отвечаете за его содержимое

pop

push

в действительности это не так, как здесь). ESP стоит в том месте, на которое он указывает)

mov ax, 4560h
push ax

mov ax, 0FFFFh
push ax

теперь равно 4560FFFF

Обратите внимание, что команда pop не чистит стек

а endp конец процедуры. Вот пример объявления
процедуры:

SomeProc proc
...ещё код...
Ret ; обязательно
SomeProc endp

Вызов процедуры

Call SomeProc

Параметры процедуры должны быть выложены в стек перед её вызовом в обратном порядке.

:DWORD, :DWORD, :DWORD

STDCALL указывать необязательно. DWORD тип. Возможны типы, например WORD, BYTE и т. д..
Вызов процедуры:

Invoke testproc, 1d, 2d, 3d,

При этом ещё на этапе компиляции будут проверено количество параметров и их тип, что подстрахует вас от ошибок.

Для этого нужно сначала объявить прототип:

Invoke <функция>, <параметр1>, <параметр2>, <параметр3>

mov eax, dword ptr [esp+4]
mov ecx, dword ptr [esp+8]
ret
MySimpleProc endp


MyProc proc myparam1:DWORD, myparam2:DWORD
LOCAL var1:DWORD ; локальная переменная 1
LOCAL var2:BYTE,var3:WORD ; локальные переменные 2 и 3
mov eax,myparam1
mov ecx,myparam2
ret
MyProc endp

start:
xor eax,eax
xor ecx,ecx
push 2h
push 1h
call MySimpleProc
invoke MyProc ,1h,2h
invoke ExitProcess, NULL; Завершить процесс
end start

MyProc proc myparam1:DWORD, myparam2:DWORD
LOCAL var1,var2:DWORD ; локальные переменные 1 и 2
mov eax,myparam1
mov ecx,myparam2
mov var1,eax
mov var2,ecx
ret
MyProc endp

start:
xor eax,eax
xor ecx,ecx
…
invoke MyProc ,1h,2h
invoke ExitProcess, NULL; Завершить процесс
end start

MyProc proc myparam1:DWORD, myparam2:DWORD
push ebp
mov ebp, esp
add esp, -8h; = LOCAL var1,var2:DWORD ;
mov eax, DWORD PTR [EBP+8]; = mov eax,myparam1
mov ecx, DWORD PTR [EBP+0C]; = mov ecx,myparam2
mov DWORD PTR [EBP-4],eax; = mov var1,eax
mov DWORD PTR [EBP-8],ecx; = mov var2,ecx
Leave; = mov esp,ebp
; pop ebp
ret; pop eip
MyProc endp

start:
xor eax,eax
xor ecx,ecx
…
push 2h
push 1h
call MyProc;= invoke MyProc ,1h,2h
invoke ExitProcess, NULL; Завершить процесс
end start

ebp+8,esp →

ebp →

ebp +8

ebp +0C

ebp +4

→

с стек в обратном порядке;
Вызывается call для процедуры. В этот момент в стек заносится значение EIP (это и будет адресом возврата).

Внутри процедуры происходит следующее:
В стек помещается содержимое EBP;
Содержимое ESP помещается в EBP;
В стек записываются локальные переменные в порядке следования;
Выполняется основная часть процедуры

Перед выходом из процедуры происходит следующее:
Вызывается команда Leave. Она эквивалента помещению значения EBP в ESP (в этот момент вершина стека уходит за локальные переменные). Затем из стека выталкивается сохранённое значение EBP в EBP.
Вызывается команда ret в ходе работы которой вершина стека отодвигается за передаваемые параметры и происходит извлечения адреса возврата из стека и помещение его в EIP.

похожа на mov. Однако она используется исключительно для помещения адреса в указанный регистр.

Приемник – регистр, куда помещается адрес. Именно регистр.

Источник – источник адреса (то есть у чего берем адрес). Под источником подразумевается память.