「共通中間言語」の版間の差分
ナビゲーションに移動
検索に移動
imported>Administrator |
imported>Administrator |
||
944行目: | 944行目: | ||
|- | |- | ||
|} | |} | ||
+ | |||
+ | == 関連ツール == | ||
+ | * [[monodis]] | ||
== 関連項目 == | == 関連項目 == |
2012年4月27日 (金) 09:17時点における版
共通中間言語(きょうつうちゅうかんげんご、Common Intermediate Language、CIL)とは、Monoおよび.NET Frameworkで用いられるアセンブリ言語、および共通言語基盤(CLI、.NETの仮想マシン)が理解できる架空の機械語のことである。.NET Frameworkがベータ版だったころまでは「Microsoft Intermediate Language」(MSIL)として知られており、今なおMSILと呼ぶひとは多い。
一般的に「中間言語」と言えばバイナリ形式だが、「共通中間言語」という言葉自体は、アセンブリ言語(テキスト)としての意味も、マシン語(バイナリ)としての意味もあり、非常に曖昧な表現となっている。どちらを表しているかは文脈から読み取る必要がある。紛らわしいのでバイナリ形式のことを「マネージドコード」もしくは「ピュアマネージドコード」と呼ぶひともいる。このページではアセンブリ言語としての共通中間言語について記載する。
CILは、オブジェクト指向なアセンブリ言語であり、かつ完全にスタックベースの言語である。
.NET系のプログラミング言語で書かれたソースコードはコンパイルされてCILに変換される。CIL自体はプラットフォームに依存しない(特定CPUに依存しない)命令セットで構成されている。そのためCILは、理論上は直接ネイティブコードに変換することも(Monoでは実験的に可能)、.NET Frameworkの仮想マシンである共通言語基盤(CLI)で実行することもできる。
MonoDevelopではこのアセンブリ言語を使ったプロジェクトを作れる。誰得。
使用例
CILによる「Hello, world」プログラムの例。
.method public static void Main() cil managed
{
.entrypoint
.maxstack 1
ldstr "hello, world"
call void [mscorlib]System.Console::WriteLine(string)
ret
}
CILの命令セット
コード | 命令 | 概要 |
---|---|---|
0x58 | add
|
2つの値を加算し、新しい値を返す |
0xD6 | add.ovf
|
2つの符号付き整数値を加算し、かつオーバーフローのチェックを行い、新しい値を返す。 |
0xD7 | add.ovf.un
|
2つの符号なし整数値を加算し、かつオーバーフローのチェックを行い、新しい値を返す。 |
0x5F | and
|
2つの値のビットごとのANDを計算し、新しい値を返す。 |
0xFE 0x00 | arglist
|
現在のメソッドの引数リストのハンドル(アンマネージポインター)を返す。 |
0x3B <int32> | beq target
|
2つの値が等しいときに、targetへ処理を移す。 |
0x2E <int8> | beq.s target
|
2つの値が等しいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x3C <int32> | bge target
|
値1が値2より大きいまたは等しいときに、targetへ処理を移す。 |
0x2E <int8> | bge.s target
|
値1が値2より大きいまたは等しいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x41 <int32> | bge.un target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より大きいまたは等しいときに、targetへ処理を移す。 |
0x34 <int8> | bge.un.s target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より大きいまたは等しいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x3D <int32> | bgt target)
|
値1が値2より大きいときに、targetへ処理を移す。 |
0x30 <int8> | bgt.s target
|
値1が値2より大きいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x42 <int32> | bgt.un target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より大きいときに、targetへ処理を移す。 |
0x35 <int8> | bgt.un.s target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より大きいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x3E <int32> | ble target
|
値1が値2より小さいまたは等しいときに、targetへ処理を移す。 |
0x31 <int8> | ble.s target
|
値1が値2より小さいまたは等しいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x43 <int32> | ble.un target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より小さいまたは等しいときに、targetへ処理を移す。 |
0x36 <int8> | ble.un.s target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より小さいまたは等しいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x3F <int32> | blt target
|
値1が値2より小さいときに、targetへ処理を移す。 |
0x32 <int8> | blt.s target
|
値1が値2より小さいときに、targetへ処理を移す。。飛び先がint8の範囲内のとき用。 |
0x44 <int32> | blt.un target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より小さいときに、targetへ処理を移す。 |
0x37 <int8> | blt.un.s target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1が値2より小さいときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x40 <int32> | bne.un target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1と値2が等しくないときに、targetへ処理を移す。 |
0x33 <int8> | bne.un.s target
|
符号なし整数値または順序なし(浮動小数点)を比較し、値1と値2が等しくないときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x8C <T> | box <valTypeToken>
|
値型をオブジェクト参照に変換する。 |
0x38 <int32> | br target
|
無条件で、targetへ処理を移す。 |
0x2B <int8> | br.s target
|
無条件で、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x01 | break
|
ブレイクポイントに達したことをデバッガーに通知する。 |
0x39 <int32> | brfalse target
|
値がfalseまたはnullまたはゼロのときに、targetへ処理を移す。 |
0x2C <int8> | brfalse.s target
|
値がfalseまたはnullまたはゼロのときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x3A <int32> | brinst target
|
値がnullでもゼロでもないときに、targetへ処理を移す。(brtrueの別名) |
0x2D <int8> | brinst.s target
|
値がnullでもゼロでもないときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。(brtrue.sの別名) |
0x39 <int32> | brnull target
|
値がnullのときに、targetへ処理を移す。 |
0x2C <int8> | brnull.s target
|
値がnullのときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x3A <int32> | brtrue target
|
値がnullでもゼロでもないときに、targetへ処理を移す。 |
0x2D <int8> | brtrue.s target
|
値がnullでもゼロでもないときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。 |
0x39 <int32> | brzero target
|
値がfalseまたはnullまたはゼロのときに、targetへ処理を移す。(brfalseの別名) |
0x2C <int8> | brzero.s target
|
値がfalseまたはnullまたはゼロのときに、targetへ処理を移す。飛び先がint8の範囲内のとき用。(brfalse.sの別名) |
0x28 <T> | call methodDesc
|
methodDescに書かれたメソッドを呼び出す。 |
0x29 <T> | calli callSiteDescr
|
callSiteDescrで引数の型を指定し、事前にftnで指定したメソッド(評価スタックに積まれてる関数ポインタ)を呼び出す。 |
0x6F <T> | callvirt method
|
オブジェクトの遅延評価メソッドを呼び出し、戻り値を評価スタックに積む。 |
0x74 <T> | castclass class
|
|
0xFE 0x01 | ceq
|
|
0xFE 0x02 | cgt
|
|
0xFE 0x03 | cgt.un
|
|
0xC3 | ckfinite
|
|
0xFE 0x04 | clt
|
|
0xFE 0x05 | clt.un
|
|
0xFE 0x16 <T> | constrained. thisType
|
|
0xD3 | conv.i
|
|
0x67 | conv.i1
|
|
0x68 | conv.i2
|
|
0x69 | conv.i4
|
|
0x6A | conv.i8
|
|
0xD4 | conv.ovf.i
|
|
0x8A | conv.ovf.i.un
|
|
0xB3 | conv.ovf.i1
|
|
0x82 | conv.ovf.i1.un
|
|
0xB5 | conv.ovf.i2
|
|
0x83 | conv.ovf.i2.un
|
|
0xB7 | conv.ovf.i4
|
|
0x84 | conv.ovf.i4.un
|
|
0xB9 | conv.ovf.i8
|
|
0x85 | conv.ovf.i8.un
|
|
0xD5 | conv.ovf.u
|
|
0x8B | conv.ovf.u.un
|
|
0xB4 | conv.ovf.u1
|
|
0x86 | conv.ovf.u1.un
|
|
0xB6 | conv.ovf.u2
|
|
0x87 | conv.ovf.u2.un
|
|
0xB8 | conv.ovf.u4
|
|
0x88 | conv.ovf.u4.un
|
|
0xBA | conv.ovf.u8
|
|
0x89 | conv.ovf.u8.un
|
|
0x76 | conv.r.un
|
|
0x6B | conv.r4
|
|
0x6C | conv.r8
|
|
0xE0 | conv.u
|
|
0xD2 | conv.u1
|
|
0xD1 | conv.u2
|
|
0x6D | conv.u4
|
|
0x6E | conv.u8
|
|
0xFE 0x17 | cpblk
|
|
0x70 <T> | cpobj classTok
|
|
0x5B | div
|
|
0x5C | div.un
|
|
0x25 | dup
|
|
0xDC | endfault
|
|
0xFE 0X11 | endfilter
|
|
0xDC | endfinally
|
|
0x4C | idind.u8
|
|
0xFE 0x18 | initblk
|
|
0xFE 0x15 <T> | initobj typeTok
|
|
0x75 <T> | isinst class
|
|
0x27 <T> | jmp method
|
|
0xFE 0x09 <uint16> | ldarg index
|
|
0x02 | ldarg.0
|
|
0x03 | ldarg.1
|
|
0x04 | ldarg.2
|
|
0x05 | ldarg.3
|
|
0x0E <uint8> | ldarg.s index
|
|
0xFE 0x0A <uint16> | ldarga index
|
|
0x0F <uint8> | ldarga.s index
|
|
0x20 <int32> | ldc.i4 num
|
|
0x16 | ldc.i4.0
|
|
0x17 | ldc.i4.1
|
|
0x18 | ldc.i4.2
|
|
0x19 | ldc.i4.3
|
|
0x1A | ldc.i4.4
|
|
0x1B | ldc.i4.5
|
|
0x1C | ldc.i4.6
|
|
0x1D | ldc.i4.7
|
|
0x1E | ldc.i4.8
|
|
0x15 | ldc.i4.m1
|
|
0x1F <int8> | ldc.i4.s num
|
|
0x21 <int64> | ldc.i8 num
|
|
0x22 <float32> | ldc.r4 num
|
|
0x23 <float64> | ldc.r8 num
|
|
0xA3 <T> | ldelem <typeTok>
|
|
0x97 | ldelem.i
|
|
0x90 | ldelem.i1
|
|
0x92 | ldelem.i2
|
|
0x94 | ldelem.i4
|
|
0x96 | ldelem.i8
|
|
0x98 | ldelem.r4
|
|
0x99 | ldelem.r8
|
|
0x9A | ldelem.ref
|
|
0x91 | ldelem.u1
|
|
0x93 | ldelem.u2
|
|
0x95 | ldelem.u4
|
|
0x96 | ldelem.u8
|
|
0x8F <T> | ldelema class
|
|
0x7B <T> | ldfld field
|
|
0x7C <T> | ldflda field
|
|
0xFE 0x06 <T> | ldftn method
|
|
0x4D | ldind.i
|
|
0x46 | ldind.i1
|
|
0x48 | ldind.i2
|
|
0x4A | ldind.i4
|
|
0x4C | ldind.i8
|
|
0x4E | ldind.r4
|
|
0x4F | ldind.r8
|
|
0x50 | ldind.ref
|
|
0x47 | ldind.u1
|
|
0x49 | ldind.u2
|
|
0x4B | ldind.u4
|
|
0x8E | ldlen
|
|
0xFE 0x0C <uint16> | ldloc index
|
|
0x06 | ldloc.0
|
|
0x07 | ldloc.1
|
|
0x08 | ldloc.2
|
|
0x09 | ldloc.3
|
|
0x11 <uint8> | ldloc.s indx
|
|
0xFE 0x0D <uint16> | ldloca index
|
|
0x12 <uint8> | ldloca.s index
|
|
0x14 | ldnull
|
|
0x71 <T> | ldobj typeTok
|
|
0x7E <T> | ldsfld field
|
|
0x7F <T> | ldsflda field
|
|
0x72 <T> | ldstr mdToken
|
|
0xD0 <T> | ldtoken token
|
|
0xFE 0x07 <T> | ldvirtftn method
|
|
0xDD <int32> | leave target
|
|
0xDE <int8> | leave.s target
|
|
0xFE 0x0F | localloc
|
|
0xC6 <T> | mkrefany class
|
|
0x5A | mul
|
|
0xD8 | mul.ovf
|
|
0xD9 | mul.ovf.un
|
|
0x65 | neg
|
|
0x8D <T> | newarr etype
|
|
0x73 <T> | newobj ctor
|
|
0xFE 0x19 | no. { typecheck , rangecheck , nullcheck } [prefix]
|
|
0x00 | nop
|
|
0x66 | not
|
|
0x60 | or
|
|
0x26 | pop
|
|
0xFE 0x1E | readonly.
|
|
0xFE 0x1D | refanytype
|
|
0xC2 <T> | refanyval type
|
|
0x5D | rem
|
|
0x5E | rem.un
|
|
0x2A | ret
|
|
0xFE 0x1A | rethrow
|
|
0x62 | shl
|
|
0x63 | shr
|
|
0x64 | shr.un
|
|
0xFE 0x1C <T> | sizeof valType
|
|
0xFE 0x0B <uint16> | starg num
|
|
0x10 <uint8> | starg.s num
|
|
0xA4 <T> | stelem typeTok
|
|
0x9B | stelem.i
|
|
0x9C | stelem.i1
|
|
0x9D | stelem.i2
|
|
0x9E | stelem.i4
|
|
0x9F | stelem.i8
|
|
0xA0 | stelem.r4
|
|
0xA1 | stelem.r8
|
|
0xA2 | stelem.ref
|
|
0x7D <T> | stfld field
|
|
0xDF | stind.i
|
|
0x52 | stind.i1
|
|
0x53 | stind.i2
|
|
0x54 | stind.i4
|
|
0x55 | stind.i8
|
|
0x56 | stind.r4
|
|
0x57 | stind.r8
|
|
0x51 | stind.ref
|
|
0xFE 0x0E <uint16> | stloc index
|
|
0x0A | stloc.0
|
|
0x0B | stloc.1
|
|
0x0C | stloc.2
|
|
0x0D | stloc.3
|
|
0x13 <uint8> | stloc.s index
|
|
0x81 <T> | stobj class
|
|
0x80 <T> | stsfld field
|
|
0x59 | sub
|
|
0xDA | sub.ovf
|
|
0xDB | sub.ovf.un
|
|
0x45 <uint32> <int32> ... <int32> | switch N, t1...tN
|
|
0xFE 0x14 | tail.
|
|
0x7A | throw
|
|
0xFE 0x12 <uint8> | unaligned. alignment
|
|
0x79 <T> | unbox valType
|
|
0xA5 <T> | unbox.any typeTok
|
|
0xFE 0x13 | volatile.
|
|
0x61 | xor
|