（！A &&！B）が単一のTEST命令に最適化されないのはなぜですか？

Question

if(!A && !B)それは

mov eax, dword ptr[esp + A_offset] 
test eax, dword ptr[esp + B_offset] 
jne ~~~~~~~~~~ 

---

にコンパイルする必要がありますように、ここで

8B 45 F8    mov   eax,dword ptr [b] 
83 7D FC 00   cmp   dword ptr [a],0 
75 04    jne   main+32h (0A71072h) 
85 C0    test  eax,eax 
75 00    jne   main+32h (0A71072h) 

なぜそれが単一TEST命令を使用していないダンプコンパイラが実際に

mov eax, dword ptr[esp + A_offset] 
test eax, eax 
jne ~~~~~~~~~~ 
mov eax, dword ptr[esp + B_offset] 
test eax, eax 
jne ~~~~~~~~~~ 

参照を生成しそうです支店や指示を保存するには？

Answer 1

。

if(!A && !B) 

上記のコードに注意してください。

Aが真実（0でない）である場合、!A && !Bは0(FALSE)になります。 右、Bの値をチェックする必要はありません。 if文のコードブロックをスキップ（ジャンプ）する必要があります。

mov eax, dword ptr[esp + A_offset] 
test eax, eax ; If `A & A` 
jne ~~~~~~~~~~ ; is not 0(If A is not 0), skip this if-codeblock. 
mov eax, dword ptr[esp + B_offset] ; Otherwise, 
test eax, eax ; If `B & B` 
jne ~~~~~~~~~~ ; is not 0(If B is not 0), skip this if-codeblock. 
......   ; Both A and B are 0, and `!A && !B` is `1(TRUE)`! Run the if-codeblock. 

プラス：

あなたのコードが間違っているようですか..？

mov eax, dword ptr[esp + A_offset] 
mov ebx, dword ptr[esp + B_offset] 
test eax, ebx ; `A & B` 
jne ~~~~~~~~~~ ; If `A & B != 0`, skip this code-block for the if statement. 
...... ; In other words, this code-block will be run when `A & B == 0`, 
     ; which will be `TRUE` when A is 1(0b00000001) and B is 2(0b00000010). 

Answer 2

No. test命令は、結果に応じてオペランドとセットフラグのビット単位の論理積を実行します。https://en.wikipedia.org/wiki/TEST_(x86_instruction)を参照してください。

ので、コンパイラによって生成されたコードは正しいです。そのためshort-circuit evaluationの