首藤です。

> 　ささだです。

> 　命令ハンドラ中に分岐がある場合、gcc だとブロックを明後日の場所において
    ^^^^^^^^^^^^ 「VM命令のインスタンス」ですよね?
> しまうことがあるので、追うのが大変なんですよね。だから dynamic
> superinstruction (selective inlining) も出来ない。なんとかする方法はある
> んだろうか。

1つの VM 命令インスタンスが 方々にバラまかれてしまったら、
dynamic だけじゃなくて static superinstructions もかなり困難ではないかと。
制御フローを解析して、かき集めて、ジャンプ先の解決をする??????????
なんとかバラまかれないようにできればいいのですが、
別の関数に閉じ込める (→空間コストが unacceptable)、くらいしか
方法が思い付きません。

VM 命令インスタンスを C 言語で記述することで割と高い移植性が得られる
わけだけど、上記の点とか、
変数のレジスタへの割り当てが自由にならないなどの残念な点もあるわけで。

Ertl 先生の研究では、TOS (top of stack) (や PC?) の
レジスタへの割り当てはどう制御してるんでしょうか?
vmgen がうまいことやってくれるんでしょうか。

Kazuyuki Shudo/首藤一幸   私をたばねないで あらせいとうの花のように
  shudo computer.org   http://www.shudo.net/

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml