アセンブリSFフラグ

Question

私は2つのレジスタを持っています。eaxは0xDEADC0DEを保持し、ebxは0x1337CA5Eを保持します。

最初の数値が2番目の数値よりも大きい。ただし、cmp命令の後：cmp eax, ebxSF（符号フラグ）が設定されています。どうして ？

結果が肯定的（eax-ebx）の場合、なぜですか？

Answer 1

cmpはsubを実行します（結果は保持しません）。

の手で同じことをやってみましょう：次のように

reg  hex value binary value  

eax = 0xdeadc0de ‭11011110101011011100000011011110‬ 
ebx = 0x1337ca5e ‭00010011001101111100101001011110‬ 
    - ---------- 
res 0xCB75F680 11001011011101011111011010000000 

のフラグが設定されている：

OF (overflow) : did bit 31 change  -> no 
SF (sign)  : is bit 31 set   -> yes 
CF (carry) : is abs(ebx) < abs(eax) -> no 
ZF (zero)  : is result zero   -> no 
PF (parity) : is parity of LSB even -> no (archaic) 
AF (Adjust) : overflow in bits-> archaic, for BCD only. 

あなたが見ることができるように、結果は31ビットセットを持っていますので、それが負です。
-3-1 = -4（それでも負の場合）と同じです。
EBX > EAXであるかどうかを判断するのに、SF（符号フラグ）を使用することはできません。符号付き数値の場合はOF（オーバーフローフラグ）、符号なし数値の場合はCF（キャリーフラグ）を使用する必要があります。

正または負のCPUは数が正または負であるかを知っている（または気）しません。知っている唯一の人はあなたです。 SFとOFをテストする場合は、番号を署名済みとして扱います。 CFのみをテストする場合は、番号を符号なしとして扱います。
プロセッサがすべてのフラグを一度に追跡できるようにするためです。どのフラグをテストするかを決めると、数字を解釈する方法が決まります。