Comment gérer la portée lors de la génération de bytecode avec un compilateur manuscrit

Question

J'ai écrit un petit compilateur pour une machine à pile simple. Il peut assembler et gérer l'étendue/les fonctions via un nombre de hacks de machine virtuelle uniquement. C'est-à-dire que j'ai défini la portée et les définitions des variables de portée dans le bytecode lui-même.

Puis-je obtenir quelques conseils sur la façon dont je transportera plus étendue.

Les problèmes que je rencontre sont surtout, comment puis-je le faire savoir quand et quand ne pas écraser une variable en dehors d'une variable à l'intérieur, et similaire. Le bytecode est mutable et je préférerais le changer.

D'autres problèmes incluent comment conserver les variables à l'extérieur après le retour. Alors qu'une variable a encore sa valeur. Je peux le pousser à empiler, mais je pourrais avoir beaucoup de variables.

Je pense qu'il ya un travail de compilateur fait pour vérifier ces choses, mais je ne peux pas penser à ce qu'il faudrait faire pour le faire.

Answer 1

Une façon serait de rename variables at compile time to ensure there is no masking. donc:

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

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

équivaut à:

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

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

Lors de la compilation, vous maintenez un 'renommer pile' par variable. Et:

1. Chaque fois que vous voyez une déclaration, vous générez un nouveau nom et l'exposez à la pile de renommer de la variable correspondante.

2. Quand vous voyez une cession/utilisation, vous remplacez le nom avec tout ce qui est sur le dessus de la pile.

3. Lorsque vous quittez une portée, vous pop de la pile.