Instructions p-code W

Toutes les instructions p-code ont une mnémonique de 4 caractères. D'éventuels paramètres peuvent se trouver à la suite.
Les paramètres possibles sont :

Concernant la syntaxe assembleur, les paramètres ont la signification suivante :

Gestion des adresses et sauts.

Dans l'ordre de la traduction numérique de chaque instruction. La taille donne le nombre d'octets pris par chaque instruction.

Code Instruction Paramètres Taille Libellé Syntaxe assembleur
000 VERS d1 2 Ne fait rien, donne la version du compilé qui s'exécute VERS <num3>
001 JUMP d3 4 Saut a l'adresse d3, en relatif par rapport au début du bloc en cours : programme ou sub
002 DECL d1 string 2+d1 Déclare une variable dont le nom est <string> et de longueur <d1>. La longueur <d1> du nom de la variable est [1 , 24] DECL <string>
003 SRCL d3 4 Indique le début du code correspondant à la ligne <d3> du code source W, pour le fichier en cours (principal / include). Sert de point d'arrêt en mode debug. N° de ligne pris en compte dans le calcul de la couverture de code SRCL <num8>
004 BEXC d3 4 Donne l'adresse du bloc exception, juste après instruction EXCE, en relatif a partir de BEXC BEXC
005 EXCE 1 Marque la fin du bloc de traitement et le début du bloc exception, du programme ou sous-programme en cours. Si l'exécuteur de code arrive à cette instruction sans exception, cela force le retour à l'appelant EXCE
006 CATC 1 Efface l'exception en cours, dans le bloc exception uniquement, et force le retour à l'appelant CATC
007 THRW d3 4 Lève une exception de n° <d3>. Dans le bloc traitement, provoque le saut au début du bloc exception. Dans le bloc exception, remplace l'exception courante et force le retour à l'appelant THRW <num8>
008 PART d1 2 Définit le numéro de la portion de code en cours PART <num3>
009 RETN 1 Force le retour à l'appelant, valide dans le bloc de traitement et le bloc exception RETN
010 CALL d1 string 2+d1 TODO
011 PARM d1 string 2+d1 Dépile dans la call stack un pointeur et créé la variable PARAM correspondante dans la hash locale sur ce nom pour ce pointeur. A utiliser avec l'instruction de déclaration d'une sub SUBR PARM <string>
012 SUBR d1 string d3 5+d1 Déclaration d'une sub de nom <string> (remplace DECL pour les sub) et force un saut dans le code après le ENDS, en relatif par rapport à l'instruction SUBR SUBR <string>
013 COMP d1 2 Compare les 2 éléments de la pile, les dépile puis empile 1 si le résultat de la comparaison est vrai, 0 si faux. Les opérateurs de comparaisons sont, de 1 à 9 ⇒ = # < > <= >= and or not COMP <oper>
014 JMPF d3 4 Force un saut dans le code si la dernière comparaison était fausse ⇒ l'élément de la pile = 0. La valeur est dépilée. Le saut (d3) est en relatif par rapport au début du programme ou sous-programme en cours
015 JMPT d3 4 Force un saut dans le code si la dernière comparaison était vraie ⇒ même comportement sinon que JMPF
016 ADDN 1 Additionne les 2 éléments de la pile, dépile les 2 éléments et empile le résultat. Si une valeur Dynamic est empilée, un conversion numérique est essayée, avec levée d'exception si la conversion n'est pas possible (valeur non numérique) ADDN
017 SBCN 1 Soustrait les 2 éléments de la pile, comportement identique à ADDN SBCN
018 MULN 1 Multiplie les 2 éléments de la pile, comportement identique à ADDN MULN
019 DIVN 1 Divise les 2 éléments de la pile, comportement identique à ADDN, exception si diviseur nul DIVN
020 INTE 1 Prend la valeur entière de la pile, dépile et empile le résultat, conversion essayée si la valeur est un Dynamic INTE
021 FRAC 1 Prend la valeur fractionnaire de la pile, comportement identique à INTE FRAC
022 NEGN 1 Prend la valeur entière de la pile, comportement identique à INTE NEGN
023 ABSN 1 Prend la valeur entière de la pile, comportement identique à INTE ABSN
024 MODL d1 string 2+d1 Appel d'un module externe (dlfcn.h module.o ayant un seul point d'entrée), les paramètres sont pris de la call stack (maximum 3) ; la chaine doit être de la forme ⇒ module@fonction MODL <strmod>
025 PSHC d8 9 Pousse sur la pile la constante sur 64 bits d8 (en big endian) PSHC <number>
026 PSHV 1 Empile la variable en cours ad_var PSHV
027 POPV 1 Dépile dans la variable en cours ad_var POPV
028 PVAR d1 string 2+d1 Met dans ad_var l'adresse de la variable, soit de la hash locale soit de la hash globale (+ gestion mode “typeof”) PVAR <string>
029 PVAH d1 string 2+d1 Met dans ad_var l'adresse de la variable lue de la hashtable pointée elle aussi par ad_var (+ gestion mode “typeof”) PVAH <string>
030 WRIT 1 Ecrit dans la console (sortie standard) le contenu de la variable pointée par ad_var (Number ou Dynamic), ne fait rien si programme demon WRIT
031 WRLN 1 Identique à WRIT avec de plus un saut de ligne écrit à la fin WRLN
032 DSET d1 string 2+d1 Affecte la chaine <string> à la variable pointée par ad_var (maxi. 255 caractères) DSET <dquote>
033 DEXT d1 string 2+d1 Correspond à <ad_var>{pile,pile} : extrait de la chaine pointée par ad_var l'attribut issu de la pile, valeur issue de la pile. Si une valeur de pile vaut 0, le contenu complet calculé précédemment est gardé. Si <d1> = 0, le résultat est mis dans int_dynamic sinon dans la variable de nom <string> DEXT _
DEXT <string>
034 DCMP op d1 string 3+d1 Compare la chaine de la variable pointée par ad_var avec le contenu de la variable de nom <string> (op: = # < > <= >=, 1 a 6). Le résultat est empilé, 1 si condition vraie, 0 si fausse DCMP <operdyn> <string>
035 DSTO d1 string 2+d1 Correspond à <ad_var>{pile,pile} = variable <nom>. Si <d1> = 0, le contenu est lu de int_dynamic. Si une valeur de pile vaut 0, le contenu complet calculé précédemment est gardé. DSTO _
DSTO <string>
036 VLET d1 string 2+d1 Affectation simple de variable. La variable de nom <string> reçoit la valeur de celle pointée par ad_var. Si <d1> = 0, l'affectation va dans int_dynamic. VLET _
VLET <string>
037 DCAT d1 string 2+d1 Concaténation : à la variable de nom <string> est concaténée la valeur de celle pointée par ad_var. Si <d1> = 0, la concaténation se fait dans int_dynamic. DCAT _
DCAT <string>
038 DTON 1 Convertit la variable pointée par ad_var en numérique et l'empile DTON
039 NTOD 1 Dépile et convertit le nombre en chaine, mis dans ad_var. NTOD
040 DELE d1 string 2+d1 Supprime la variable de nom <string> de la hash locale/globale et effectue les libérations associées (sauf si objet/sub) DELE <string>
041 HLET 1 Affecte à la variable pointée par ad_var une hashtable vierge. Le modulo et séparateur sont dans la pile, si 0 une valeur par défaut est utilisée. HLET
042 CLAS d1 string 2+d1 Créé une classe globale de nom <string> héritée de la classe trouvée sur la pile (avec dépilage). TODO
043 NLET d1 string 2+d1 Instancie un objet, global, de la classe de nom <string>. La variable pointée par ad_var prend le type VAR_PARAM et pointe sur l'objet créé. NLET <string>
044 INCL d1 string 2+d1 Include dans le source W : indique un changement de fichier source en cours (utile au debugger). Si <d1> = 0, correspond à un retour d'include. INCL <string>
INCL
045 PNAM d1 string 2+d1 Nom du programme principal (PROG ou BACK). PNAM <string>
PNAM
046 PSH0 1 Empile la constante 0 PSH0
047 PSH1 1 Empile la constante 1 PSH1
048 PSH2 1 Empile la constante 2 PSH2
049 PSH3 1 Empile la constante 3 PSH3
050 PSH4 1 Empile la constante 4 PSH4
051 PSH5 1 Empile la constante 5 PSH5
052 PSH6 1 Empile la constante 6 PSH6
053 PSH7 1 Empile la constante 7 PSH7
054 PSH8 1 Empile la constante 8 PSH8
055 PSH9 1 Empile la constante 9 PSH9
056 PSHA d1 2 Empile la @VARSYS de code d1 PSHA <varsys>
057 PROG 1 Indique que le binaire est un programme, première instruction du binaire PROG
058 BACK 1 Indique un binaire exécutable en mode demon, première instruction en alternative à PROG BACK
059 CLIB d1 string 2+d1 Appel de la library de nom <string>. Les paramètres sont pris de la call stack. <string>.wp est le nom du fichier binaire qui est chargé en mémoire (binaire W) TODO
060 PVAI d1 string 2+d1 Met dans ad_var l'adresse de la variable lue de la hashtable pointée elle aussi par ad_var, mais via une indirection : la variable de nom <string> donne le vrai nom de la variable à chercher (+ gestion mode “typeof”) PVAI <string>
061 DIVE 1 Divise les 2 éléments de la pile en gardant la partie entière uniquement, comportement identique à ADDN, exception si diviseur nul DIVE
062 MODN 1 Divise les 2 éléments de la pile en gardant le reste uniquement (modulo), comportement identique à ADDN, exception si diviseur nul MODN
063 INPT 1 Réalise une saisie au clavier (entrée standard) et met le résultat dans la variable pointée par ad_var, convertie en chaine INPT
064 PVAT 1 Met dans le pointeur de variable ad_var l'adresse d'une variable temporaire _tmp999 automatique, pour accès immédiat dans l'instruction suivante PVAT
065 TYPO 1 Fait passer le programme en cours en mode typeof, pour ne pas générer d'exception si une variable est inconnue dans les syntaxes du type ?var.var2!var3. etc.. Renvoie le typeof. Attention : entre les instructions TYPO et PSHT ne doivent se trouver que des instructions PVAR et n fois PVAH/PVAI TYPO
066 PSHT 1 Empile le type de la variable pointée par ad_var (typeof), -1 si inconnu. Cette instruction annule le mode typeof (annulation a faire aussi quand exception autre que var inconnue) PSHT
067 CRAZ 1 Vide la call stack servant au passage des paramètres avant les instruction CALL CLIB MODL CRAZ
068 CPSH d1 string 2+d1 Empile dans la call stack la variable de nom <string>. A utiliser avant les instructions CALL CLIB MODL CPSH <string>
069 RETT 1 Dépile et si la valeur est # 0 (vrai), force le retour à l'appelant, valide dans le bloc de traitement et le bloc exception RETT
251 LIBR 1 Indique que le binaire est une library, pas un programme exécutable directement. Première instruction du binaire. LIBR
252 ENDL 1 Fin de library, avec libération des éléments locaux à la library uniquement TODO ENDL
253 TEST 1 Instruction permettant d'exécuter du code, utilisé dans le cadre du développement de W. Ne fait rien en fonctionnement normal TEST
254 ENDS 1 Fin du sous-programme en cours, avec libération des éléments locaux à la sub uniquement ENDS
255 ENDP 1 Fin du programme principale en cours, en effectuant toutes les libérations mémoires. Instruction appelée de manière forcée en cas d'erreur non gérable par une exception ENDP