XOR на ассемблере, связанном с C++
Проблема связана с функцией шифрования строки гамма-последовательностью.
Вызов функции:
cout << "\ncipher with code: ";
for (register int i = 0; i < str.length(); i++) {
str[i] = fun_cipher_gamma(str[i], gamma[i]);
cout << str[i];
}
cout << endl;
Сама функция:
char fun_cipher_gamma(register char simbol, register char gamma)
{
char result = ' ';
funct();
return result;
}
Код сборки:
.MODEL FLAT, C
.STACK 256
.DATA
.CODE
EXTRN gamma : BYTE
EXTRN simbol : BYTE
EXTRN result : BYTE
PUBLIC funct
funct PROC far
mov al, simbol
mov bl, gamma
xor al, bl
mov result, al
retn
funct ENDP
END
С помощью отладчика я понял, что функция на ассемблере не возвращает результат, но как это исправить я не понимаю.
Я предполагаю, что мне нужно использовать push, но я не уверен, и я потерялся, так как мои навыки языка ассемблера почти отсутствуют
Эта функция успешно работала на C++, и мне нужно переделать ее логику на ассемблере:
return btowc(simbol) ^ btowc(gamma);
UPD: В .cpp добавил вот эти экстерны:
extern "C" char funct(void);
extern "C" unsigned char gamma = ' ';
extern "C" unsigned char simbol = ' ';
extern "C" unsigned char result = ' ';
Кроме того, ваш ассемблер модифицирует EBX, который сохраняется при вызове. Используйте cl вместо bl, чтобы не наступать на ноги звонящему. (Но главная проблема заключается в том, что, как сказал Крис, ваша функция не смотрит на свои аргументы. См. сгенерированный компилятором asm на godbolt.org с MSVC /O2, чтобы увидеть, как компилятор реализует функцию, которая выполняет XOR двух байтов. аргументы.)
Ответы 1
Как упомянул @Chris Dodd, вы не используете глобальные переменные в сборке! И лучше использовать соглашение о вызовах вместо использования глобальных переменных в качестве параметра. Это улучшает читаемость и облегчает понимание.
extern "C" char funct(unsigned char symbol, unsigned char gamma);
char fun_cipher_gamma(unsigned char symbol, unsigned char gamma)
{
return funct(symbol, gamma);
}
; in C calling convention:
; Caller passes Parameters via stack and all arguments are pushed to stack as dwords (4 byte)
; Callee should preserve EBX, ESI, EDI, EBP, and ESP
; and use EAX to return a value
push ebp ; Callee should preserver old value of EBP
mov ebp, esp ; set the base pointer to stack pointer
; sub esp, 8 ; make room for 8 byte of variables (commented out because we aren't using it)
; push any other registers that you'll use HERE
; ...
; [ebp - 12] = local variable #3
; [ebp - 8] = local variable #2
; [ebp - 4] = local variable #1
; [ebp + 0] = old EBP the we pushed
; [ebp + 4] = return address
; [ebp + 8] = parameter #1
; [ebp + 12] = parameter #2
; [ebp + 16] = parameter #3
; [ebp + 20] = parameter #4
; ...
; so this means "symbol" is at [ebp + 8] and gamma is at [ebp + 12]
; [ebp + 8] = symbol
; [ebp + 12] = gamma
mov eax, [ebp + 8]
xor eax, [ebp + 12]
; pop saved registers HERE
mov esp, ebp ; restore ESP to its original value
pop ebp ; restore EBP's value
ret
Но обратите внимание, что в настоящее время использование ассемблера не улучшит производительность вашей программы (на самом деле вы можете потерять производительность), компиляторы пишут ассемблеры быстрее, чем мы.
Может быть возможно написать более быструю сборку, чем компилятор, если они не оптимизируют, но как только вы включите оптимизацию, они напишут более быструю сборку, чем вы.
MSVC19 скомпилировал это:
char funct(unsigned char symbol, unsigned char gamma) {
return symbol^gamma;
}
к этому:
xor cl, dl
mov al, cl
ret 0
которая использует меньше места, но работает быстрее, чем наша реализация (она использует fastcall соглашение о вызовах).
Для получения дополнительной информации о соглашениях о вызовах: https://www.dyncall.org/docs/manual/manualse11.html
Обратите внимание, что соглашения о вызовах зависят от компилятора и/или платформы.
Основная проблема заключается в том, что ваш ассемблерный код использует внешние глобальные переменные для ввода и вывода, а ваш код C++ - нет.