a
楽園松本
Чтобы она работала
Да
Size: a a a
2020 March 02
楽
assembler программист
Да
А как работает твоя ОС? Что она делает?
2020 March 03
AB
int add_overflows(int lhs, int rhs) {
return lhs + rhs > lhs;
}add_overflows:
xor eax, eax
test esi, esi
setg al
ret
Не понимаю кодген. При каком условии сработает
setg?𝐦
Artöm Bakri Al-Sarmini
int add_overflows(int lhs, int rhs) {
return lhs + rhs > lhs;
}add_overflows:
xor eax, eax
test esi, esi
setg al
ret
Не понимаю кодген. При каком условии сработает
setg?A
Artöm Bakri Al-Sarmini
int add_overflows(int lhs, int rhs) {
return lhs + rhs > lhs;
}add_overflows:
xor eax, eax
test esi, esi
setg al
ret
Не понимаю кодген. При каком условии сработает
setg?а какие вообще есть условия для срабатывания?
A
SETG r/m8
Установить байт, если больше (ZF=0 и SF=OF)
Установить байт, если больше (ZF=0 и SF=OF)
AB
test ставит of в 0
AB
sf будет 1, если and esi, esi будет иметь знаковый старший бит 1
AB
Куда edi делся?
AB
Artöm Bakri Al-Sarmini
sf будет 1, если and esi, esi будет иметь знаковый старший бит 1
То есть если esi отрицательное
AB
AB
esi второй аргумент. От его знака зависит результат сравнения и только от него. Все понятно
AB
Я слишком пожал пример и не сразу понял, че происходит
楽
Artöm Bakri Al-Sarmini
int add_overflows(int lhs, int rhs) {
return lhs + rhs > lhs;
}add_overflows:
xor eax, eax
test esi, esi
setg al
ret
Не понимаю кодген. При каком условии сработает
setg?Ты реверсишь?
AB
Нет, я делал пример кода, где проверка на переполнение через сравнение постфактум выбрасывается компилем, ибо в си переполнение знакового уб
楽
Artöm Bakri Al-Sarmini
Нет, я делал пример кода, где проверка на переполнение через сравнение постфактум выбрасывается компилем, ибо в си переполнение знакового уб
Ты обратил внимание, зачем 'xor eax, eax' стоит?
AB
Зануление
楽
А зачем оно?