Как работать с отрицательными числами в Ассемблере?

Question

[Alrond2198]

Цель: вычислить (2*a/b-1)/(a-28+c) в ассемблерной функции, вызываемой из С++ файла.
Проблема: ассемблерная функция время от времени какое-то число воспринимает не как отрицательное в дополнительном коде или как его там, а как положительное.
Вот как объявлены параметры в С++ файле:

extern "C"
{
    signed __int8 a = 0, b = 1, c = 29;
    signed __int8 numerator = 0;
    signed __int16 denominator = 0;
    signed __int8 result = 0;
    void ASM_count();
}

Вот так выглядит ассемблерный файл:

;.586
;.model large, C
.data
extern a:sbyte 
extern b:sbyte
extern c:sbyte
extern numerator:sword
extern denominator:sbyte
extern result:sword
;(2*a/b-1)/(a-28+c)
.code
	ASM_count PROC
;///////////////////////////////numerator///////////////////////////////
xor eax, eax
mov al, 2
imul a
;cbw
idiv b
dec ax
mov numerator, ax

;///////////////////////////////denominator///////////////////////////////
xor eax, eax
mov al, a
sub al, 28
add al, c
mov denominator, al
;///////////////////////////////result///////////////////////////////
xor eax, eax
mov ax, numerator
idiv denominator
mov result, ax
ret
	ASM_count endp
end

Так проявляется проблема:
считаются числа правильно, но выводятся неправильно



Причем неправильно выводится может любое значение из трех.

Answer 1

[jcmvbkbc]

signed __int8 numerator = 0;
signed __int16 denominator = 0;

extern numerator:sword
extern denominator:sbyte
...
mov denominator, al

Ты видишь, что типы в C и в ассемблере не совпадают?
По-хорошему надо заменить __int8 numerator на __int16 numerator, extern denominator:sbyte на extern denominator:sword а mov denominator, al на mov denominator, ax, чтобы стало как надо.
В остальном всё выглядит хорошо.

Comments

[Alrond2198]

К сожалению, не помогло. Что-то стало нормально считаться, но при значениях, например, -10 1 19 проблема с числителем все также возникает.

[jcmvbkbc]

проблема с числителем все также возникает

А, да, я проглядел. idiv делящий на байт помещает в ah остаток от деления, что нарушает идиллию.
Правильно будет так:

extern "C"
{
    signed __int8 a = 0, b = 1, c = 29;
    signed __int16 numerator = 0;
    signed __int8 denominator = 0;
    signed __int8 result = 0;
    void ASM_count();
}

;.586
;.model large, C
.data
extern a:sbyte 
extern b:sbyte
extern c:sbyte
extern numerator:sword
extern denominator:sbyte
extern result:sbyte
;(2*a/b-1)/(a-28+c)
.code
  ASM_count PROC
;///////////////////////////////numerator///////////////////////////////
xor eax, eax
mov al, 2
imul a
idiv b
cbw
dec ax
mov numerator, ax

;///////////////////////////////denominator///////////////////////////////
xor eax, eax
mov al, a
sub al, 28
add al, c
mov denominator, al
;///////////////////////////////result///////////////////////////////
xor eax, eax
mov ax, numerator
idiv denominator
mov result, al
ret
  ASM_count endp
end

Кроме того, надо следить, чтобы промежуточные результаты не выходили за пределы диапазона значений использованного типа данных, т.е. числитель должен получиться -32768...32767, знаменатель и частное -- -128...127.

[Alrond2198]

jcmvbkbc, Спасибо, оказалось, я еще и не так понял смысл команд cbw и cwd.