トップ «前の日記(2010-06-14) 最新 次の日記(2010-06-16)» 編集

日々の破片

Subscribe with livedoor Reader
著作一覧

2010-06-15

_ test

while (0 < i) {
  ...
}

が、

test bx, bx
jl   $label

とコンパイルされて、はて、なぜこうなるんだ? とちょっと悩む。

cmp $0, bx  #ちょっと嘘かも。
jge $label

なら、わかるんだけど。cmpだし(最適化しないとこうなるのだが、それは別の話)。

で、testはANDの結果をフラグに設定するということをWikipedia(インストラクションレベルでページがあるんだね)を軽く読んで(固有の単語がいっぱい並んでいるので読む気が失せたのだった)理解したので、0はまあ良いとする。

0 and 0は、0だからzフラグが立つし、1 and 1は1だからzフラグはクリアされる。

で、再びWikipediaを眺めるとMSBという文字が見えたので、ああ、と理解できた。0xffffffff and 0xffffffffは0xffffffffだからMSBが立つ。testはどうやら算術テストのようだからそれは負値でつまりLとみなされるということなのだろう。

久々にアセンブリリスト眺めるとおもしろいな。

x86アセンブラ入門―PC/ATなどで使われている80x86のアセンブラを習得 (TECHI―Processor)(大貫 広幸)

Windowsのお勧めは32ビットアプリケーションだということは、まだ当分、このタイプも役に立つんだろうなぁ(おれは買わないんだけど、まだ必要かどうかはとても悩ましい)。


2003|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|

ジェズイットを見習え