Question Implémenter le Lanugage de typage dynamique à l'aide de LLVM IR [fermé]


J'essaie d'implémenter un langage de jeu avec le typage dynamique, c'est-à-dire que les variables n'ont pas de types, seules les valeurs, et chaque variable doit être déclarée avant d'être utilisée. Par exemple, le code peut ressembler à var x; x = 3; x = 'a';. De plus, je veux compiler cette langue de jouet en code natif au lieu de l'exécuter sur une machine virtuelle.

Actuellement, j'ai généré un AST et je vais compiler l'AST en LLVM IR en utilisant les API C ++ de LLVM. La question est la suivante: quel type de RI dois-je générer pour

  1. Déclaration de variable (avec ou sans valeur initiale, comme var x; ou var y = 3.4;
  2. Accès variable (comme a dans c = a + 1)

10
2017-09-03 13:07


origine


Réponses: