P-Code
Autre jeu d'instructions p-code
Steven Pemberton et Martin Danielsref 3 proposent une implémentation Pascal du P-code comme le montre le tableau suivant :
| Instruction | Opération sur la pile | Param | Description | |
| Avant | Après | |||
| ABI | (i) | i | Absolute value of integer | |
| ABR | (r) | r | Absolute value of real | |
| ADI | (i,i) | i | Adds two integers on the top of the stack and leaves an integer result | |
| ADR | (r,r) | r | Adds two reals on the top of the stack and leaves a real result | |
| CHKc | No change | PQ | Checks value is between upper and lower bounds | |
| CHR | (i) | c | Converts integer to character | |
| CSP | Special | Q | Call standard procedure | |
| CUP | Special | PQ | Call user procedure | |
| DECc | (x) | x | Q | Decrement |
| DIF | (s, s) | s | Set difference | |
| DVI | (i,i) | i | Integer division | |
| DVR | (r,r) | r | Real division | |
| ENT | Special | PQ | Enter block | |
| EOF | (a) | b | Test on end of file | |
| EQUc | (x,x) | b | Q | Compare on equal |
| FJP | (b) | False jump | ||
| FLO | (i,r) | r,r | Float next to the top | |
| FLT | (i) | r | Float top of the stack | |
| GEQc | (x,x) | b | Q | Compare on greater or equal |
| INCc | (x) | x | Q | Increment |
| INDc | (a) | x | Q | Indexed fetch |
| INN | (i,s) | b | Test set membership | |
| INT | (s,s) | s | Set intersection | |
| IOR | (b,b) | b | Boolean inciusive OR | |
| IXA | (a,i) | a | Q | Compute indexed address |
| LAO | a | Q | Load base level address | |
| LCA | a | Q | Load address of constant | |
| LCI | x | PQ | Load constant indirect - assembler generated | |
| LDA | a | PQ | Load address with level P | |
| LDCc | x | Q | Load constant | |
| LDOc | x | Q | Load contents of base level address | |
| LEQc | (x,x) | b | Q | Compare on less than or equal |
| LESc | (x,x) | b | Q | Compare on less than |
| LODc | x | PQ | Load contents of address | |
| MOD | (i,i) | i | Modulo | |
| MOV | (a,a) | Q | Move | |
| MPI | (i,i) | i | Integer multiplication | |
| MPR | (r,r) | r | Real multiplication | |
| MST | Special | P | Mark stack | |
| NEQc | (x,x) | b | Q | Compare on not equal |
| NGI | (i) | i | Integer sign inversion | |
| NGR | (r) | r | Real sign inversion | |
| NOT | (b) | b | Boolean not | |
| ODD | (i) | b | Test on odd | |
| ORDc | (x) | i | Convert to integer | |
| RETc | Special | Return from block | ||
| SBI | (i,i) | i | Integer subtraction | |
| SBR | (r,r) | r | Real subtraction | |
| SGS | (i) | s | Generate singleton set | |
| SQI | (i) | i | Squareinteger | |
| SQR | (r) | r | Square real | |
| SROc | (x) | Q | Store at base level address | |
| STOc | (a,x) | Store at base level address | ||
| STP | No effect | Stop | ||
| STRc | (x) | PQ | Store at level P | |
| TRC | (r) | i | Truncate | |
| UJC | No effect | Error in case statement | ||
| UJP | No effect | Q | Unconditional jump | |
| UNI | (s, s) | s | Set union | |
| XJP | (i) | Q | Indexed jump | |
Types à utiliser dans la pile:
a address
b boolean
c character
i integer
r real
s set
x un des types qui précèdent
Deutsche Übersetzung
Sie haben gebeten, diese Seite auf Deutsch zu besuchen. Momentan ist nur die Oberfläche übersetzt, aber noch nicht der gesamte Inhalt.Wenn Sie mir bei Übersetzungen helfen wollen, ist Ihr Beitrag willkommen. Alles, was Sie tun müssen, ist, sich auf der Website zu registrieren und mir eine Nachricht zu schicken, in der Sie gebeten werden, Sie der Gruppe der Übersetzer hinzuzufügen, die Ihnen die Möglichkeit gibt, die gewünschten Seiten zu übersetzen. Ein Link am Ende jeder übersetzten Seite zeigt an, dass Sie der Übersetzer sind und einen Link zu Ihrem Profil haben.
Vielen Dank im Voraus.
Dokument erstellt 31/07/2010, zuletzt geändert 21/03/2020
Quelle des gedruckten Dokuments:https://www.gaudry.be/de/langages-pcode-rf-autres.html
Die Infobro ist eine persönliche Seite, deren Inhalt in meiner alleinigen Verantwortung liegt. Der Text ist unter der CreativeCommons-Lizenz (BY-NC-SA) verfügbar. Weitere Informationen auf die Nutzungsbedingungen und dem Autor.
Nützliche Links
GPMachine : Télécharger la dernière version
Compiler Design : R. Wilhelm, et D. Maurer ISDN-10 : 0201422905
Referenzen
IHDCB332 - Théorie des langages : Syntaxe et sémantique : PY Schobbens, Syntaxe et sémantique
(January 2010)
Prof. Dr. Dr. h.c. mult. Reinhard Wilhelm : Compiler Design Lab
(version 30/07/10)- The P4 Compiler and Interpreter : Steven Pemberton, Martin Daniels,
Pascal Implementation
(version 30/07/10)
Diese Verweise und Links verweisen auf Dokumente, die während des Schreibens dieser Seite konsultiert wurden, oder die zusätzliche Informationen liefern können, aber die Autoren dieser Quellen können nicht für den Inhalt dieser Seite verantwortlich gemacht werden.
Der Autor Diese Website ist allein dafür verantwortlich, wie die verschiedenen Konzepte und Freiheiten, die mit den Nachschlagewerken gemacht werden, hier dargestellt werden. Denken Sie daran, dass Sie mehrere Quellinformationen austauschen müssen, um das Risiko von Fehlern zu reduzieren.
