如何在使用手寫編譯器生成字節碼時處理範圍

Question

我已經爲簡單的堆棧機器編寫了一個小型編譯器。它只能通過大量的虛擬機黑客來組裝和處理範圍/功能。那是我在字節碼本身中定義了作用域和範圍變量定義。

我可以得到一些關於如何處理範圍的指示。

我面臨的問題主要是，我如何讓它知道什麼時候以及何時不用覆蓋外部變量的變量以及類似的內容。字節碼是可變的，我寧願改變它。

其他問題包括如何在返回後保留外部變量。所以變量仍然有其價值。我可以將它推入堆棧，但我可能有很多變量。

我認爲有一些編譯工作是爲了檢查這些事情，但我想不出做什麼需要做。

Answer 1

一種方法是rename variables at compile time to ensure there is no masking.所以：

{ 
    declare foo; 
    foo = assignment; 
    { 
    declare foo; 

    foo = another_assignment; 
    another_use = foo; 
    } 
    use = foo; 
} 

等同於：

{ 
    declare foo_0; 
    foo_0 = assignment; 
    { 
    declare foo_1; 

    foo_1 = another_assignment; 
    another_use = foo_1; 
    } 
    use = foo_0; 
} 

在編譯時，你保持一個 '重命名棧' 每個變量。並且：

1. 無論何時您看到一個聲明，都會生成一個新名稱並將其推送到相應變量的重命名堆棧。

2. 當您看到作業/用法時，將名稱替換爲堆棧頂部的任何名稱。

3. 當您離開作用域時，將其從堆棧中彈出。