x86減算の代わりにXORを使用する比較命令

Question

x86比較命令：cmp x, yが減算を行い、結果に基づいてさまざまなフラグが設定されていると聞いたことがあります。

ここで、2つのオペランドが等しいかどうかをテストするだけですか？減算の代わりに排他的論理和演算をするのははるかに高速ですか？私の質問は、2つのオペランドが等しいかどうかを知るためにXORとの比較を行う命令があるかどうかです。おそらく、次のようになります：cmpeq x, yまたはcmpxor x, y。

cmpxorを使用すると、減算を行うcmpよりも高速であることがわかります。 cmpxorのようなスピードアップを与えるような指示はありますか？

私はxorがzero flagに設定されていることを認識しています。しかし、xor x, yを実行すると、xが変更されます。私はそれを望んでいない。両方のオペランドだけを残す比較命令が必要です。

Answer 1

XOR、SUB、CMP、TESTなどの基本的な機械操作はすべて簡単に操作できるので、すべてが非常に高速に動作します。また、同じ条件コードビットを設定します。 compare-for-equalの観点から、これらはすべてZビットを同じ方法で設定します。これらの演算が異なる結果を計算するため、他のビットは異なるように設定されます。

x86 CPUの場合、チップ全体で同一の経路を使用するため、x86 CPUの場合、実行時間に差はありません。その結果、あなたが望む答えを計算するところで、パフォーマンスペナルティなしでそれらのどれかを使うことができます。 （技術的には、SUBはXORよりも時間がかかるはずです。なぜなら、キャリーはすべてのビットを「リップル」させる必要がありますが、XORはビットごとに並列です.CPUの設計者は、非常に高速なキャリー・コンピューティング・ロジックを構築し、時差は重要ではありません。コンピュータの大半は「追加」されているため、大きな動機があります）。

2つの（機械語サイズの）値を比較していると思われる場合は、考えていることをコードの読者に伝えるため、おそらくCMP命令を使用するべきです。そして、それはオペランドの1つを破壊しないという利点があります。あなたが十分なコードを書いたならば、XORの代わりにそれを使用するための究極的に説得力のある議論を見つけるでしょう。 （TESTにはこの素敵なプロパティがあり、ビットをチェックするのにも便利です）。

浮動小数点比較、文字列比較、ベクトルレジスタ比較など他のx86命令の方が優れている他の種類の値の比較があります。これらの命令は基本的な演算とは異なる時間を要します。複数のデータワードを比較する）。