SpiderMonkeyのdis

http://steps.dodgson.org/?date=20081117
便利だが、Fxで使えないのが。SipidermonkeyでもDEBUGビルドじゃないと使えなさげ。
これによって(型の制約などを追加することで?)ちまちま最適化できそう。bytecodeのニーモニックの一覧ってどっかにないのかなぁ。
あと、最後の例が気になった。処理順序どうなってるんだっけか。関数リテラルの場合は? LLVM的な最適化って行われないんだっけか? SipidermonkeyのDEBUGビルドとRELEASEビルドで結果が変わることは無いのか?
解説待ち+あとで調べる。