montaż x86: Instrukcja INC i DEC oraz flaga przepełnienia

Intel® 64 i IA-32 Architectures Software Developer ' s Manuals

Spójrz na odpowiedni podręcznik Instrukcja zestawu odniesienia, A-M . Każda instrukcja jest dokładnie udokumentowana.

Tutaj znajduje się sekcja INC dotycząca dotkniętych FLAG:

Flaga CF nie jest naruszona. Flagi OF, SZ, ZF, AZ i PF są ustawiane zgodnie z wynikiem.

Spróbuj zmienić swój test, aby przejść w numerze, a nie na twardym kodzie, a następnie wykonaj pętlę, która próbuje wszystkich 256 liczb, aby znaleźć tę, która ma wpływ na flagę. Albo niech ASM wykona pętlę i zakończy działanie, gdy uderzy flagę i lub gdy zawija się do numeru, z którym się zaczęło (zacznij od czegoś innego niż 0x00, 0x7F, 0x80 lub 0xFF).

EDIT

.globl inc
inc:
    mov $33, %eax

top:
    inc %al
    jo done
    jmp top

done:
    ret

.globl dec
dec:
    mov $33, %eax

topx:
    dec %al
    jo donex
    jmp topx

donex:
    ret

Dodawanie przepełnia się, gdy przechodzi z 0x7F do 0x80. dec przepełnia się, gdy idzie z 0x80 do 0x7F, podejrzewam, że problem tkwi w sposobie, w jaki używasz wbudowanego asemblera.

Jak wiele innych odpowiedzi wskazało, INC i DEC nie wpływają na CF, podczas gdy ADD i SUB tak.

To, co jeszcze nie zostało powiedziane, jest jednak to, że może to zmienić wydajność. Nie, że zwykle przeszkadza ci to, chyba że próbujesz zoptymalizować rutynę, ale zasadniczo nie Ustawienie CF oznacza, że INC/DEC zapisuje się tylko do części rejestru flags, co może spowodować częściowy rejestr flags , Zobacz Intel 64 i IA-32 Architectures Optimization Reference Manual lub Agner Fog ' s optimization manuals .

Z wyjątkiem flagi carry inc Ustawia flagi w taki sam sposób, jak polecenie Add 1.

Fakt, że inc nie wpływa na flagę carry jest bardzo ważny.

Http://oopweb.com/Assembly/Documents/ArtOfAssembly/Volume/Chapter_6/CH06-2.html#HEADING2-117

To, co robi procesor, to ustawianie odpowiednich FLAG dla wyników tych instrukcji (add, adc, dec, inc, SBB, sub) zarówno dla przypadków podpisanych, jak i niepodpisanych, tj. dwa różne wyniki flag dla każdego op. alternatywą byłoby posiadanie dwóch zestawów instrukcji, gdzie jeden Ustawia flagi związane z podpisem, a drugi niepodpisane. Jeśli kompilator wydający polecenie używa zmiennych niepodpisanych w operacji, to testuje carry i zero (jc, jnc, jb, jbe itp.), Jeśli signed testuje przepełnienie, sign i zero (jo, jno, jg, jng, jl, jle itp.).

CPU / ALU jest w stanie obsłużyć tylko niepodpisane liczby binarne, a następnie używa, CF, AF, SF, ZF, itd., aby umożliwić Ci podjęcie decyzji, czy używać go jako numeru podpisanego (OF), numeru niepodpisanego (CF) czy numeru BCD (AF).

Jeśli chodzi o twój problem, pamiętaj, aby wziąć pod uwagę same liczby binarne, jako niepodpisane.

ponadto przepełnienie I OF wymagają 3 liczb: liczby wejściowej, drugiej liczby do użycia w arytmetyce i wyniku numer.

Przepełnienie jest aktywowane tylko wtedy, gdy pierwsza i druga liczba mają tę samą wartość dla bitu znaku (bit najbardziej znaczący), a wynik ma inny znak. jak w, dodanie 2 liczb ujemnych skutkowało liczbą dodatnią, lub dodanie 2 liczb dodatnich skutkowało liczbą ujemną:

if( (Sign_Num1==Sign_Num2) && (Sign_Result!=Sign_Num1) ) OF=1;
else OF=0;

W pierwszym problemie używasz -128 jako pierwszej liczby. Druga liczba to implicite -1, używana przez instrukcję DEC. Więc my naprawdę mają numery binarne 0x80 i 0xFF. Oba mają bit znakowy ustawiony na 1. Wynikiem jest 0x7F, która jest liczbą z bitem znaku ustawionym na 0. Mamy 2 liczby początkowe z tym samym znakiem, a wynik z innym znakiem, więc wskazujemy przepełnienie. -128-1 spowodowało 127 i dlatego flaga przepełnienia jest ustawiona tak, aby wskazywała nieprawidłowy wynik podpisu.

W drugim problemie używasz 255 jako pierwszej liczby. Druga liczba jest implicite 1, używany przez instrukcję INC. Więc naprawdę mamy liczby binarne 0xFF i 0x01. Oba mają inny bit znaku, więc nie jest możliwe uzyskanie przepełnienia (przepełnienie jest możliwe tylko wtedy, gdy zasadniczo dodajemy 2 liczby tego samego znaku, ale nigdy nie jest możliwe przepełnienie 2 liczbami innego znaku, ponieważ nigdy nie prowadzą do wyjścia poza możliwą wartość podpisaną). wynikiem jest 0x00 i nie ustawia znacznika przepełnienia, ponieważ 255+1, a dokładniej -1+1 daje 0, co jest oczywiście poprawne dla arytmetyki podpisanej.

Pamiętaj, że aby ustawić flagę przepełnienia, dodawane/odejmowane liczby muszą mieć bit znaku o tej samej wartości, a następnie wynik musi mieć bit znaku o innej wartości.