stack-machine

    7

    2答えて

    私はかなり標準的なスタックマシンのためのコンパイラを書いています。ガベージコレクタを追加します。私は、どのアクティビティレコードがgcルーツであるかを知るための何らかの「スタックマップ」を生成できることがわかります。しかし、実行中にスタックにプッシュされた中間値をどのように処理するかはわかりません。私がコンパイルしている言語はPascalのようなものなので、必要はありません。他のデータ型のポインタ

    9

    1答えて

    私はスタックマシン用のコンパイラ(特にCIL)を開発しており、コードを基本ブロックのグラフに解析しました。ここからは、SSAをメソッドに適用することを検討していますが、それほどうまくいきません。私の最初の試み(グラフではなくフラットなリストを使って作業している間)は、コードを反復してSSA idsのスタックを保持していました(割り当てターゲットの場合)。彼らは使用されています。これは単一の基本ブロ