Implementazione di una macchina virtuale basata su stack per un sottoinsieme di C

Question

Ciao a tutti Attualmente sto implementando un semplice linguaggio di programmazione per l'esperienza di apprendimento ma ho bisogno di qualche consiglio. Attualmente sto progettando il mio interprete e ho avuto un problema.

La mia lingua è un sottoinsieme di C e sto riscontrando un problema relativo all'implementazione dello stack stack. Nel linguaggio del seguente compilerà:

somefunc() 
{ 
    1 + 2; 
} 

main() 
{ 
    somefunc(); 
} 

Ora, questo va bene, ma quando "1 + 2" viene calcolato il risultato è spinto su una pila e quindi la funzione ritorna, ma c'è ancora un numero sullo stack, e non dovrebbe esserci. Come posso aggirare questo problema?

Ho pensato di salvare uno "stato" dello stack prima di una chiamata di funzione e di ripristinare lo "stato" dopo la chiamata di funzione. Ad esempio, salvando il numero di elementi sullo stack, quindi esegui il codice funzione, restituisci e poi fai un pop dallo stack finché non abbiamo lo stesso numero di elementi di prima (o forse +1 se la funzione ha restituito qualcosa).

Qualche idea? Grazie per eventuali suggerimenti!

Answer 1

Ottima domanda! Uno dei miei hobby è scrivere compilatori per linguaggi giocattolo, quindi complimenti per il tuo eccellente gusto di programmazione.

Una dichiarazione di espressione è quella in cui il codice nell'istruzione è semplicemente un'espressione. Questo significa qualsiasi cosa del formato <expression> ;, che include cose come assegnazioni e chiamate di funzione, ma non if s, while s o return s. Qualsiasi istruzione di espressione avrà un valore residuo in pila alla fine, che dovresti scartare.

1 + 2 è un'istruzione di espressione, ma lo sono anche questi:

• x = 5;
  L'assegnazione espressione lascia il valore 5 sullo stack in quanto il risultato di una cessione è il valore della sinistra operando a mano. Dopo la dichiarazione è finito si pop off il valore inutilizzato 5.

• printf("hello world!\n");
  printf() restituisce il numero di caratteri di output. Avrai questo valore rimasto in pila, quindi aprilo quando l'istruzione finisce.

efficacemente ogni affermazione espressione lascerà un valore sullo stack a meno che il tipo di espressione è void. In tal caso, si ottengono le dichiarazioni void per il caso speciale e non si esegue alcun pop-up successivo o si spinge un valore "vuoto" nella pila in modo da poter sempre inserire un valore.

Answer 2

Avrai bisogno di un parser più intelligente. Quando vedi un'espressione il cui valore non è in uso, devi emettere un POP.

Answer 3

Questa è un'importante opportunità per l'ottimizzazione dell'apprendimento. si dispone di una funzione che esegue numeri interi ma matematici, il risultato matematico int non viene nemmeno utilizzato in alcun modo, forma o forma.

Far sì che il compilatore ottimizzi la funzione in modo da ridurre un sacco di bytecode generato ed eseguito per nulla!