🚀 go-pugleaf

Użytkownik "Bogdan (bogdro)" napisał:

> > > Jak powinny być zadeklarowane te linie? Uznałem je za bufory
> łańcuchowe.

>  Jak wskaźnik, to DD.

> QuotAdrs dd addr Quotient ; czy "offset" czy jak to tam jest.

W Masmie

zmienna dd ?

oznacza dworda, który może min. zawierać wskaźnik. Czy o to idzie?

>  To jest właśnie minus pamiętania typów. W NASMie by to nie przeszło.
> Trzeba byłoby jawnie napisać typ danych i człowiek by się zastanowił.
> Zapisz swoje zmienne jako tablice dwordów, nie bajtów:
>
> Remainder dd 4 dup(0)

Zrobiłem tak jak poniżej i efekt jest bez zmian tzn. błędny wynik.

Dividend1   dd ?
Dividend2   dd ?
Dividend3   dd ?
Dividend4   dd ?

Remainder1  dd ?
Remainder2  dd ?
Remainder3  dd ?
Remainder4  dd ?

Po obróbce te zmienne przerzucam do buforów łańcuchowych typu:

Quotient  db 128 dup (0)
Remainder db 128 dup (0)

To nie ma znaczenia w sumie, bo gdzie jest wynik widzę i potrafię go
pobrać. Chodzi o to, że jest błędny. Czegoś nie rozumiem. Póki co
działanie procedury wydaje mi się bezsensowne. Min. po pierwszym skoku
_true:

            mov eax, dword ptr [Divisor]
            sub dword ptr [Remainder], eax

            mov eax, dword ptr [Divisor+4]
            sbb dword ptr [Remainder+4], eax

            mov eax, dword ptr [Divisor+8]
            sbb dword ptr [Remainder+8], eax

            mov eax, dword ptr [Divisor+12]
            sbb dword ptr [Remainder+12], eax

pierwsze odejmowanie jest od zera i cały bufor oprócz pierwszych czterch
bajtów zapełnia się wartością:

........FFFFFFFFFFFFFFFFFFFFFFFF

A pierwsze cztery bajty zależą od tego co jest wpisane jako dzielnik.


>  Ponadto, blok _true, czyli "Remainder := Remainder - Divisor" źle
> przerobiłeś - to nie jest odejmowanie wielokrotnej precyzji, a w
> oryginale tak było.

Mea culpa. Nie wiem dlaczego? Sprawdzam sto razy i nie widzę takiego
poważnego błędu.

Spróbuję zainstalować HLA, skompilować i zobaczyć jak to działa.
Poprawioną procedurę wrzuciłem na swoją stronę.

Pozdrawiam  Remek