これはいつまでも間違っていますか？ x86のeflag

Question

私はいくつかのアセンブリを読んでいて、論理的に不可能な/死んでいるコードがあると確信しています。ここにあります：

shr  %eax 
test  %eax, %eax 
jns  0x[something] 
[if body] 
[something] 

if-bodyが実行されることはいつでも可能ですか？私は答えがノーだと感じますが、コンパイラがこれを最適化しないでしょうか？

コード内の曖昧さを謝罪し、質問文脈を与えるために必要以上にコードを追加したくありませんでした。より多くの情報が役立つかどうか教えてください。

Answer 1

他の場所からif-bodyに直接分岐しない限り、jnsで到達できない可能性があります。 shr（論理シフト右）命令は、常に0の高いビット（符号ビット）をもたらすので、eaxで始まってもtestとjnsは常に同じ動作をします。彼らが到達可能なら、それらの命令はまだデッドコードではないかもしれないので、他の場所コードで検索すると何がtestに、またはjnzに、または[if body]にジャンプするかどうかを確認するために価値があるだろう、と述べた

別の方法。