GPMachine

La GPMachine est P-Machine sous la forme d'une application Java qui permet de charger un fichier contenant les instructions p-code, et d'exécuter ces instructions.

Les copyrights sur la GPMachine, développée au FUNDP sont les suivants :

• 2002-2004 Yves Bontemps
• 2006 Khvalenski Andrew
• 2004-2008 Hubert Toussaint

La GPMachine nous permet de visualiser à chaque instruction les données présentes dans la « pile » (en anglais, “stack”), les données du « tas » (en anglais, “heap”), les différentes valeurs des registres (PC, SP, EP, MP, ), la liste numérotée des instructions p-code du programme exécuté, et l'affichage sur le flux de sortie.

La GPMachine est une implémentation de la P-Machine décrite dans le livre de Reinhard Wilhelm^{ref 2} et Dieter Maurer^Livre, mais nous nous bornerons à n'utiliser qu'une partie des instructions.

Voici la liste d'instructions telles qu'elles figurent dans le fichier readme.txt fourni dans l'archive :

Il existe d'autres instructions p-code que vous pouvez afficher par ce lien, mais qui diffèrent de notre implémentation.

Contents Haut

Instructions p-code de la pile

Une série d'instructions p-code nous permettent de manipuler la pile. Nous pouvons placer des données au sommet de la pile (push), lire et retirer les données du sommet de la pile (pop), lire et remplacer des données, etc.

• lda (i|r|a|b) X Y : Charge une adresse.^{Détails sur lda}
• ldo (i|b) X : Ajout au sommet de la pile d'une valeur qui se trouve à l'adresse X.^{Détails sur ldo}
• ldc (i|r|a|b) X : Ajout au sommet de la pile la valeur constante X.^{Détails sur ldc}
• sro (i|b) X : Pop de la pile; Stocke la valeur à l'adresse X.^{Détails sur sro}
• pop : Supprime le sommet de la pile.^{Détails sur pop}
• ssp X : Modifie la taille de la pile.^{Détails sur ssp}

Contents Haut

Instructions p-code pour les opérations arirhmétiques et logiques

• Sur les entiers 
  • add (i|r|a) : Addition des deux valeurs du sommet de la pile.^{Détails sur add}
  • sub i : Soustraction entre les deux valeurs du sommet de la pile.^{Détails sur sub}
  • mul (i|r|a) : Multiplication entre les deux valeurs du sommet de la pile.^{Détails sur mul}
  • div i : Division entre les deux valeurs du sommet de la pile.^{Détails sur div}
  • neg (i|r|a) : Négation de la valeur du sommet de la pile.^{Détails sur neg}
• Sur les booléens :
  • not b : Négation de la valeur du sommet de la pile.^{Détails sur not}
  • and b : Conjonction des deux valeurs du sommet de la pile.^{Détails sur and}
  • or b : Disjonction des deux valeurs du sommet de la pile.^{Détails sur or}

Contents Haut

Instructions p-code de comparaisons

Une série d'instructions p-code nous permettent de comparer des valeurs de type entier entre elles.

• equ (i|b) : Comparaison d'égalité entre deux valeurs du sommet de la pile.^{Détails sur equ}
• neq (i|b) : Comparaison de non égalité entre deux valeurs du sommet de la pile.^{Détails sur neq}
• les (i|b) : Comparaison < entre deux valeurs du sommet de la pile.^{Détails sur les}
• leq i : Comparaison ≤ entre deux valeurs du sommet de la pile.^{Détails sur leq}
• grt i : Comparaison > entre deux valeurs du sommet de la pile.^{Détails sur grt}
• geq i : Comparaison ≥ entre deux valeurs du sommet de la pile.^{Détails sur geq}

Contents Haut

Instructions p-code de branchement

Une série d'instructions p-code nous permettent de rompre le flot d'exécution des instructions, pour des tests, boucles, itérations, énumérations, etc.

• define L : Définition d'une étiquette L.^{Détails sur define}
• ujp L : Saut vers une étiquette L.^{Détails sur ujp}
• fjp L : Saut conditionnel vers une étiquette L.^{Détails sur fjp}

Contents Haut

Instructions p-code d'entrées-sorties

Une série d'instructions p-code nous permettent des interactions avec le programme par les flux d'entrée et de sortie.

• prin : Affiche la valeur du sommet de la pile et la supprime de la pile.^{Détails sur prin}
• read : Lit une valeur et la stocke au sommet de la pile.^{Détails sur read}

Contents Haut

Instructions p-code diverses

• stp : Stoppe le programme.^{Détails sur stp}
• ; C : La chaîne de caractères C est un commentaire et sera ignorée.^{Détails sur semicolon}