仮想マシン

　オペランドに %obj.*name や %obj.%name の形式を持つものがありますが、これらはオブジェクトのメンバ参照を伴うものです。
　オペランドに %obj.*name の形式を持つものは直接参照を行うもので、レジスタ %obj で表されたオブジェクトから *name で表された名前をもったメンバを参照します。
　オペランドに %obj.%name の形式を持つものは間接参照を行うもので、レジスタ %obj で表されたオブジェクトから %name で表された名前をもったメンバを参照します。
　このような命令のニーモニックは d または pd (direct / property direct) や i または pi (indirect / property indirect) のサフィックスをもちます。
　サフィックスに p を持つ物は、対象レジスタのプロパティハンドラを動作させます (単項 '*' 演算子の動作をします)。

nop (no operation): 　何もしません。
const (copy constant value): 書式: const %dest, *src

　*src で示された定数領域の値を %dest で示されたレジスタにコピーします。
cp (copy register): 書式: cp %dest, %src

　%src で示されたレジスタの値を %dest で示されたレジスタにコピーします。
cl (clear register): 書式: cl %dest

　%dest で示されたレジスタを void にします。
ccl (clear register): 書式: ccl %low-%high

　%low で示されたレジスタから %high で示されたレジスタの範囲をすべて void にします。
tt (test true): 書式: tt %reg

　%reg で示されたレジスタが真を表していればフラグを真に、偽を表していればフラグを偽に設定します。
tf (test false): 書式: tf %reg

　tt と逆で、%reg で示されたレジスタが真を表していればフラグを偽に、偽を表していればフラグを真に設定します。
ceq (compare equal): 書式: ceq %reg1, %reg2

　%reg1 と %reg2 が通常比較 ( == 演算子の動作 ) で一致すればフラグを真、そうでなければ偽に設定します。
cdeq (compare distinct equal): 書式: cdeq %reg1, %reg2

　%reg1 と %reg2 が識別比較 ( === 演算子の動作 ) で一致すればフラグを真、そうでなければ偽に設定します。
clt (compare littler than): 書式: clt %reg1, %reg2

　%reg1 > %reg2 ならばフラグを真、そうでなければ偽に設定します。
cgt (compare greater than): 書式: cgt %reg1, %reg2

　%reg1 < %reg2 ならばフラグを真、そうでなければ偽に設定します。
setf (set flag): 書式: setf %dest

　フラグが真ならば %dest を真 (整数非0) に、偽ならば偽 (整数0) に設定します。
setnf (set not flag): 書式: setnf %dest

　setf と逆で、フラグが偽ならば %dest を真 (整数非0) に、真ならば偽 (整数0) に設定します。
lnot (logical not): 書式: lnot %reg

　%reg の真偽を逆にします。
nf (not flag): 書式: nf

　フラグの真偽を逆にします。
jf (jump if flag): 書式: jf ip

　フラグが真ならば ip にジャンプします。
jnf (jump if not flag): 書式: jnf ip

　フラグが偽ならば ip にジャンプします。
inc, incpd, incpi, incp (increment): 書式: inc %reg
書式: incpd %res, %obj.*name
書式: incpi %res, %obj.%name
書式: incp %res, %propobj

　%reg または %obj.*name または %obj.%name または %propobj をインクリメントします。
　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
dec, decpd, decpi, decp (decrement): 書式: dec %reg
書式: decpd %res, %obj.*name
書式: decpi %res, %obj.%name
書式: decp %res, %propobj

　%reg または %obj.*name または %obj.%name または %propobj をデクリメントします。
　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
lor, lorpd, lorpi, lorp (logical or): 書式: lor %dest, %src

　%dest と %src の論理和をとり、結果を %dest に格納します。

書式: lorpd %res, %obj.*name, %src

　%obj.*name と %src の論理和をとり、結果を %obj.*name に格納します。

書式: lorpi %res, %obj.%name, %src

　%obj.%name と %src の論理和をとり、結果を %obj.%name に格納します。

書式: lorp %res, %propobj, %src

　%propobj と %src の論理和をとり、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
land, landpd, landpi, landp (logical and): 書式: land %dest, %src

　%dest と %src の論理積をとり、結果を %dest に格納します。

書式: landpd %res, %obj.*name, %src

　%obj.*name と %src の論理積をとり、結果を %obj.*name に格納します。

書式: landpi %res, %obj.%name, %src

　%obj.%name と %src の論理積をとり、結果を %obj.%name に格納します。

書式: landp %res, %propobj, %src

　%propobj と %src の論理積をとり、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
bor, borpd, borpi, borp (bitwise or): 書式: bor %dest, %src

　%dest と %src のビットごとの論理和をとり、結果を %dest に格納します。

書式: borpd %res, %obj.*name, %src

　%obj.*name と %src のビットごとの論理和をとり、結果を %obj.*name に格納します。

書式: borpi %res, %obj.%name, %src

　%obj.%name と %src のビットごとの論理和をとり、結果を %obj.%name に格納します。

書式: borp %res, %propobj, %src

　%propobj と %src のビットごとの論理和をとり、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
bxor, bxorpd, bxorpi, bxorp (bitwise xor): 書式: bxor %dest, %src

　%dest と %src のビットごとの排他的論理和をとり、結果を %dest に格納します。

書式: bxorpd %res, %obj.*name, %src

　%obj.*name と %src のビットごとの排他的論理和をとり、結果を %obj.*name に格納します。

書式: bxorpi %res, %obj.%name, %src

　%obj.%name と %src のビットごとの排他的論理和をとり、結果を %obj.%name に格納します。

書式: bxorp %res, %propobj, %src

　%propobj と %src のビットごとの排他的論理和をとり、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
band, bandpd, bandpi, bandp (bitwise and): 書式: band %dest, %src

　%dest と %src のビットごとの論理積をとり、結果を %dest に格納します。

書式: bandpd %res, %obj.*name, %src

　%obj.*name と %src のビットごとの論理積をとり、結果を %obj.*name に格納します。

書式: bandpi %res, %obj.%name, %src

　%obj.%name と %src のビットごとの論理積をとり、結果を %obj.%name に格納します。

書式: bandp %res, %propobj, %src

　%propobj と %src のビットごとの論理積をとり、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
sar, sarpd, sarpi, sarp (shift arithmetic right): 書式: sar %dest, %src

　%dest を %src で表された回数分算術右シフトを行った結果を %dest に格納します。

書式: sarpd %res, %obj.*name, %src

　%obj.*name を %src で表された回数分算術右シフトを行った結果を %obj.*name に格納します。

書式: sarpi %res, %obj.%name, %src

　%obj.%name を %src で表された回数分算術右シフトを行った結果を %obj.%name に格納します。

書式: sarp %res, %propobj, %src

　%propobj を %src で表された回数分算術右シフトを行った結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
sal, salpd, salpi, salp (shift arithmetic left): 書式: sal %dest, %src

　%dest を %src で表された回数分算術左シフトを行った結果を %dest に格納します。

書式: salpd %res, %obj.*name, %src

　%obj.*name を %src で表された回数分算術左シフトを行った結果を %obj.*name に格納します。

書式: salpi %res, %obj.%name, %src

　%obj.%name を %src で表された回数分算術左シフトを行った結果を %obj.%name に格納します。

書式: salp %res, %propobj, %src

　%propobj を %src で表された回数分算術左シフトを行った結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
sr, srpd, srpi, srp (shift bitwise right): 書式: sr %dest, %src

　%dest を %src で表された回数分ビット右シフトを行った結果を %dest に格納します。

書式: srpd %res, %obj.*name, %src

　%obj.*name を %src で表された回数分ビット右シフトを行った結果を %obj.*name に格納します。

書式: srpi %res, %obj.%name, %src

　%obj.%name を %src で表された回数分ビット右シフトを行った結果を %obj.%name に格納します。

書式: srp %res, %propobj, %src

　%propobj を %src で表された回数分ビット右シフトを行った結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
add, addpd, addpi, addp (add): 書式: add %dest, %src

　%dest に %src を加算し、結果を %dest に格納します。

書式: addpd %res, %obj.*name, %src

　%obj.*name に %src を加算し、結果を %obj.*name に格納します。

書式: addpi %res, %obj.%name, %src

　%obj.%name に %src を加算し、結果を %obj.%name に格納します。

書式: addp %res, %propobj, %src

　%propobj に %src を加算し、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
sub, subpd, subpi, subp (subtract): 書式: sub %dest, %src

　%dest から %src を減算し、結果を %dest に格納します。

書式: subpd %res, %obj.*name, %src

　%obj.*name から %src を減算し、結果を %obj.*name に格納します。

書式: subpi %res, %obj.%name, %src

　%obj.%name から %src を減算し、結果を %obj.%name に格納します。

書式: subp %res, %propobj, %src

　%propobj から %src を減算し、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
mod, modpd, modpi, modp (modulo): 書式: mod %dest, %src

　%dest を %src で割ったあまりを %dest に格納します。

書式: modpd %res, %obj.*name, %src

　%obj.*name を %src で割ったあまりを %obj.*name に格納します。

書式: modpi %res, %obj.%name, %src

　%obj.%name を %src で割ったあまりを %obj.%name に格納します。

書式: modp %res, %propobj, %src

　%propobj を %src で割ったあまりを %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
div, divpd, divpi, divp (real divide): 書式: div %dest, %src

　%dest を %src で実数除算し、結果を %dest に格納します。

書式: divpd %res, %obj.*name, %src

　%obj.*name を %src で実数除算し、結果を %obj.*name に格納します。

書式: divpi %res, %obj.%name, %src

　%obj.%name を %src で実数除算し、結果を %obj.%name に格納します。

書式: divp %res, %propobj, %src

　%propobj を %src で実数除算し、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
idiv, idivpd, idivpi, idivp (integer divide): 書式: idiv %dest, %src

　%dest を %src で整数除算し、結果を %dest に格納します。

書式: idivpd %res, %obj.*name, %src

　%obj.*name を %src で整数除算し、結果を %obj.*name に格納します。

書式: idivpi %res, %obj.%name, %src

　%obj.%name を %src で整数除算し、結果を %obj.%name に格納します。

書式: divp %res, %propobj, %src

　%propobj を %src で整数除算し、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
mul, mulpd, mulpi, mulp (multiply): 書式: mul %dest, %src

　%dest に %src を乗算し、結果を %dest に格納します。

書式: mulpd %res, %obj.*name, %src

　%obj.*name に %src を乗算し、結果を %obj.*name に格納します。

書式: mulpi %res, %obj.%name, %src

　%obj.%name に %src を乗算し、結果を %obj.%name に格納します。

書式: mulp %res, %propobj, %src

　%propobj に %src を乗算し、結果を %propobj に格納します。

　上記の命令の中で、%res をパラメータに持つ物は、res が 0 で無ければ結果を %res にも格納します。
bnot (bitwise not): 書式: bnot %reg

　%reg をビットごとの真偽を逆にし、%reg に再び格納します。
asc (make ascii string): 書式: asc %reg

　%reg で表された数値に相当する１文字を作成し、それを再び %reg に格納します。
chr (cheracter code): 書式: chr %reg

　%reg で表された文字列の最初の一文字の文字コードを %reg に格納します。
num (number): 書式: num %reg

　%reg で表されたレジスタを数値に変換します。
chs (change sign): 書式: chs %reg

　%reg で表されたレジスタの数値の正負を逆にします。
inv (invalidate): 書式: inv %reg

　%reg で表されたオブジェクトを無効化します。
chkinv (invalidate): 書式: chkinv %reg

　%reg で表されたオブジェクトが無効化されていなければ %reg を真に、そうでなければ偽に設定します。
int (convert to integer): 書式: int %reg

　%reg で表されたレジスタを整数に変換します。
real (convert to real): 書式: real %reg

　%reg で表されたレジスタを実数に変換します。
string (convert to string): 書式: string %reg

　%reg で表されたレジスタを文字列に変換します。
octet (convert to octet): 書式: octet %reg

　%reg で表されたレジスタをオクテット列に変換します。
typeof, typeofd, typeofi (check type): 書式: typeof %reg
書式: typeofd %obj.*name
書式: typeofi %obj.%name

　%reg または %obj.*name または %obj.%name の型を調べ、その型を表す文字列を再び %reg または %obj.*name または %obj.%name に格納します。
eval (evaluate expression): 書式: eval %reg

　%reg で表された文字列を式として実行し、その結果を再び %reg に格納します。
eexp (execute expression): 書式: eexp %reg

　%reg で表された文字列を式として実行し、結果を捨てます。
chkins (check instance): 書式: chkins %reg, %classname

　%reg で表されたオブジェクトが、%classname で表されたクラス名のクラスのインスタンスであれば %reg に真を、そうでなければ偽を格納します。
call, calld, calli (function call): 書式: call %dest, %func(%arg1, %arg2, %arg3, ...)
書式: calld %dest, %obj.*name(%arg1, %arg2, %arg3, ...)
書式: calli %dest, %obj.%name(%arg1, %arg2, %arg3, ...)

　%func または %obj.*name または %obj.%name で表された関数オブジェクトを、%arg1, %arg2, %arg3 ... の引数で呼び出し、結果を %dest に格納します。%dest が %0 の場合は結果は ( %0 には格納されずに ) 捨てられます。
new (create new): 書式: new %dest, %func(%arg1, %arg2, %arg3, ...)

　%func で表されたクラスオブジェクトを、%arg1, %arg2, %arg3 ... の引数で構築し、結果を %dest に格納します。
gpd, gpds (get property direct): 書式: gpd %dest, %obj.*name
書式: gpds %dest, %obj.*name

　%obj で表されたオブジェクトから *name で表されたメンバを参照し、その値を %dest にコピーします。
　gpd はプロパティハンドラの呼び出しを伴いますが、gpds はプロパティハンドラを呼び出さず、プロパティオブジェクト自体を取得します。
gpi, gpis (get property indirect): 書式: gpi %dest, %obj.%name
書式: gpis %dest, %obj.%name

　%obj で表されたオブジェクトから %name で表されたメンバを参照し、その値を %dest にコピーします。
　gpi はプロパティハンドラの呼び出しを伴いますが、gpis はプロパティハンドラを呼び出さず、プロパティオブジェクト自体を取得します。
spd, spde, spdeh, spds (set property direct): 書式: spd %obj.*name
書式: spde %obj.*name
書式: spdeh %obj.*name
書式: spds %obj.*name

　%obj で表されたオブジェクトの *name で表されたメンバに、%src の値を代入します。
　spd は通常のアクセスを行いますが、メンバが存在しない場合は例外が発生します。
　spde はメンバが存在しなければメンバを新規に作成します。
　spdeh はメンバを隠しメンバとして設定します。現バージョンでは意味を持ちません。
　spds はプロパティハンドラを呼び出さず、プロパティオブジェクト自体を置き換えます。
spi, spie, spis (set property indirect): 書式: spi %obj.%name
書式: spie %obj.%name
書式: spis %obj.%name

　%obj で表されたオブジェクトの %name で表されたメンバに、%src の値を代入します。
　spi は通常のアクセスを行いますが、メンバが存在しない場合は例外が発生します。
　spie はメンバが存在しなければメンバを新規に作成します。
　spis はプロパティハンドラを呼び出さず、プロパティオブジェクト自体を置き換えます。
getp: 書式: getp %reg, %propobj

　%propobj で表されたプロパティオブジェクトの getter を動作させ、プロパティの値を得て、%reg に代入します。単項 '*' 演算子の動作を行います。
setp: 書式: setp %propobj, %reg

　%propobj で表されたプロパティオブジェクトの setter を動作させ、%reg の値を設定します。単項 '*' 演算子の動作を行います。
deld, deli (delete member): 書式: deld %reg, %obj.*name
書式: deli %reg, %obj.%name

　%obj で表されたオブジェクトの *name または %name で表されたメンバを削除します。
　削除が成功したかどうかの真偽を %reg に格納しますが、%reg が %0 の場合は結果を捨てます。
srv (set result value): 書式: srv %reg

　%reg の値を関数の戻り値とします ( 関数の戻り値は %reg で表された値になります )。
ret (return): 書式: ret

　呼び出し元に戻ります。
entry (enter try block): 書式: entry ip, %reg

　例外保護されたブロックに入ります。例外が発生した場合、ip にジャンプし、例外オブジェクトを %reg に設定します。
extry (exit from try block): 書式: extry

　例外保護されたブロックから出ます。
throw (throw exception object): 書式: throw %reg

　%reg で表されたオブジェクトを例外オブジェクトとして投げます。
chgthis (change this): 書式: chgthis %dest, %src

　%dest で表されたオブジェクトのクロージャ部分を、%src で示されたオブジェクトに変更します。
global (get global object): 書式: global %dest

　グローバルオブジェクトを %dest に格納します。
addci (add class instance information): 書式: addci %dest, %info

　%dest で表されるオブジェクトのクラスインスタンス情報に %info を追加します。
regmember (register members): 書式: regmember

　クラスのメンバを "this" オブジェクトに登録します。内部的に用いられます。
debugger (call debugger): 書式: debugger

　実行を中断し、デバッガを呼び出します。現バージョンの実装では、TJS2デバッガではなく、ネイティブなデバッガを呼び出します。

TJS2 VM

命令コード

レジスタ

フラグ

定数領域

VM ニーモニック一覧