🚀 go-pugleaf

Witam

Na stronie Bogdana jest min. procedura odejmowania:


 mov eax, [arg1]
 sub eax, [arg2]     ; odejmujemy 2 pierwsze części
 mov [wynik], eax    ; i zapisujemy wynik
                     ; flaga CF mówi, czy była pożyczka

 mov eax, [arg1+4]
 sbb eax, [arg2+4]   ; odejmujemy razem z pożyczk? (CF),
                     ; jeśli w poprzednim odejmowaniu
                     ; musieli?my co? pożyczać

 mov [wynik+4], eax  ; wynik: [arg1+4]-[arg2+4]-pożyczka
                     ; z pierwszego odejmowania
                     ; CF teraz zawiera pożyczkę z SBB
                     ; podobnie reszta działania:

 mov eax, [arg1+8]
 sbb eax, [arg2+8]
 mov [wynik+8], eax

 mov eax, [arg1+12]
 sbb eax, [arg2+12]
 mov [wynik+12], eax

 jc arg1_mniejszy_od_arg2

Moja implementacja wygląda tak:

odejmij PROC

 push esi
 push edi
 push ebx
 push ebp


 mov eax, [arg1]
 sub eax, [arg2]     ; odejmujemy 2 pierwsze części
 mov [wynik], eax    ; i zapisujemy wynik
                     ; flaga CF mówi, czy była pożyczka

 mov eax, [arg1+4]
 sbb eax, [arg2+4]   ; odejmujemy razem z pożyczk? (CF),
                     ; jeśli w poprzednim odejmowaniu
                     ; musieli?my co? pożyczać

 mov [wynik+4], eax  ; wynik: [arg1+4]-[arg2+4]-pożyczka
                     ; z pierwszego odejmowania
                     ; CF teraz zawiera pożyczkę z SBB
                     ; podobnie reszta działania:

 mov eax, [arg1+8]
 sbb eax, [arg2+8]
 mov [wynik+8], eax

 mov eax, [arg1+12]
 sbb eax, [arg2+12]
 mov [wynik+12], eax

 jc arg1_mniejszy_od_arg2

arg1_mniejszy_od_arg2:

 pop ebp
 pop ebx
 pop edi
 pop esi

   ret

odejmij endp

mam następujące pytania:

- Co sie stanie w razie wystąpienia sytuacji spełniącej warunek skoku jc?
  Czy linia  mov [wynik+12], eax się wykona? Jaki będzie wynik?

- co się stanie kiedy już w peerwszych argumentach będzie  arg1 < arg2
- cfzy jc nie powinno być po każdym odejmowaniu?

Pozdrawiam