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
Nederlandse vertaling
U hebt gevraagd om deze site in het Nederlands te bezoeken. Voor nu wordt alleen de interface vertaald, maar nog niet alle inhoud.Als je me wilt helpen met vertalingen, is je bijdrage welkom. Het enige dat u hoeft te doen, is u op de site registreren en mij een bericht sturen waarin u wordt gevraagd om u toe te voegen aan de groep vertalers, zodat u de gewenste pagina's kunt vertalen. Een link onderaan elke vertaalde pagina geeft aan dat u de vertaler bent en heeft een link naar uw profiel.
Bij voorbaat dank.
Document heeft de 31/07/2010 gemaakt, de laatste keer de 21/03/2020 gewijzigd
Bron van het afgedrukte document:https://www.gaudry.be/nl/langages-pcode-rf-autres.html
De infobrol is een persoonlijke site waarvan de inhoud uitsluitend mijn verantwoordelijkheid is. De tekst is beschikbaar onder CreativeCommons-licentie (BY-NC-SA). Meer info op de gebruiksvoorwaarden en de auteur.
Handige links
GPMachine : Télécharger la dernière version
Compiler Design : R. Wilhelm, et D. Maurer ISDN-10 : 0201422905
Referenties
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)
Deze verwijzingen en links verwijzen naar documenten die geraadpleegd zijn tijdens het schrijven van deze pagina, of die aanvullende informatie kunnen geven, maar de auteurs van deze bronnen kunnen niet verantwoordelijk worden gehouden voor de inhoud van deze pagina.
De auteur Deze site is als enige verantwoordelijk voor de manier waarop de verschillende concepten, en de vrijheden die met de referentiewerken worden genomen, hier worden gepresenteerd. Vergeet niet dat u meerdere broninformatie moet doorgeven om het risico op fouten te verkleinen.
