Flash ActionScript3コンパイラが不要なコードを発行するのはなぜですか？

Question

私は最近、AVM2/AS3用の逆コンパイラを作っています。私は、Flashコンパイラが多くの不必要なコードを出す傾向があることに気付きました。たとえば、特定のアプリケーションでは、コードの10％を削除して機能性を損なうことはありませんでした。これは、条件付きオペコードや例外処理ブロックによって参照されていない確かにデッドコードです。

また、このスニペットを見て：まあ、もちろんこれも死んでいるので、（コードベースの膨満感のを除く）任意の悪影響を引き起こすことはありません、無効なコード、

... 
    313  setproperty   y 
    315  getlocal   12 
317 returnvalue 318 jump L9 

    L3: 
    322  getlocal   8 
    324  returnvalue   

    L9: 
325 jump L10 ; L10 (opcode #331) does not ever exist. 
            ; Technically, it is a jump beyond 
            ; the end of function. This is invalid code! 

    L2: 
    329  pushnull    
    330  returnvalue   

です。しかし、なぜこのコードを発行するのですか？そしてなぜ検証者はそれを受け入れますか？

Answer 1

ASCまたはcompcは最適化されません。これは残念ですが、JITがすべての最適化作業を行うという理論です。 2つの定数を追加するなど、さらに悪い例を考え出すことができます。答えは：申し訳ありませんが、最適化されていません。将来的にはより良いコンパイラがあるかもしれません。今では、実行時に最適化作業を行うためにAS3 JITに頼らざるを得ません（これはまともな仕事です）！あるいは別のコンパイラを使用しなければなりません。