- IL操作指令
主要操作 | 操作数范围/条件 | 操作数类型 | 操作数 | |||||||||
缩写 | 全称 | 含义 | 缩写 | 全称 | 含义 | 缩写 | 全称 | 含义 | 缩写 | 全称 | 含义 | |
ld | load | 把操作数推到堆栈中,相当于: push ax | arg | argument | 参数 | ? | ? | 操作数中的数值 | .0 | ? | 第零个参数 | |
.1 | ? | 第一个参数 | ||||||||||
.2 | ? | 第二个参数 | ||||||||||
.3 | ? | 第三个参数 | ||||||||||
.s xx | (short) | 参数xx | ||||||||||
a | address | 操作数的地址 | 只有 .s xx,参见ldarg.s | |||||||||
loc | local | 局部变量 | 参见ldarg | |||||||||
fld | field | 字段(类的全局变量) | 参见ldarg | xx | ? | xx字段,eg: ldfld xx | ||||||
c | const | 常量 | .i4 | int 4 bytes | C#里面的int,其他的类型例如short需要通过conv转换 | .m1 | minus 1 | -1 | ||||
.0 | ? | 0 | ||||||||||
.1 | ? | 1 | ||||||||||
…… | ||||||||||||
.8 | 8 | |||||||||||
.s | (short) | 后面跟一个字节以内的整型数值(有符号的) | ||||||||||
? | ? | 后面跟四个字节的整型数值 | ||||||||||
.i8 | int 8 bytes | C#里面的long | ? | ? | 后面跟八个字节的整型数值 | |||||||
.r4 | real 4 bytes | C#里面的float | ? | ? | 后面跟四个字节的浮点数值 | |||||||
.r8 | real 8 bytes | C#里面的double | ? | ? | 后面跟八个字节的浮点数值 | |||||||
null | null | 空值(也就是0) | ? | ? | ? | ? | ? | ? | ||||
st | store | 将操作数从堆栈中弹出,相当于: pop ax | arg | argument | 参数 | ? | ? | 操作数中的数值 | .0 | ? | 第零个参数 | |
.1 | ? | 第一个参数 | ||||||||||
.2 | ? | 第二个参数 | ||||||||||
.3 | ? | 第三个参数 | ||||||||||
.s xx | (short) | 参数xx | ||||||||||
a | address | 操作数的地址 | 只有 .s xx,参见ldarg.s | |||||||||
loc | local | 局部变量 | 参见ldarg | |||||||||
fld | field | 字段(类的全局变量) | 参见ldarg | xx | ? | xx字段,eg: ldfld xx | ||||||
c | const | 常量 | .i4 | int 4 bytes | C#里面的int,其他的类型例如short需要通过conv转换 | .m1 | minus 1 | -1 | ||||
.0 | ? | 0 | ||||||||||
.1 | ? | 1 | ||||||||||
…… | ||||||||||||
.8 | 8 | |||||||||||
.s | (short) | 后面跟一个字节以内的整型数值(有符号的) | ||||||||||
? | ? | 后面跟四个字节的整型数值 | ||||||||||
.i8 | int 8 bytes | C#里面的long | ? | ? | 后面跟八个字节的整型数值 | |||||||
.r4 | real 4 bytes | C#里面的float | ? | ? | 后面跟四个字节的浮点数值 | |||||||
.r8 | real 8 bytes | C#里面的double | ? | ? | 后面跟八个字节的浮点数值 | |||||||
null | null | 空值(也就是0) | ? | ? | ? | ? | ? | ? | ||||
conv | convert | 数值类型转换,仅仅用纯粹的数值类型间的转换,例如int/float等 | ? | ? | ? | .i1 | int 1 bytes | C#里面的sbyte | ? | ? | ? | |
.i2 | int 2 bytes | C#里面的short | ||||||||||
.i4 | int 4 bytes | C#里面的int | ||||||||||
.i8 | int 8 bytes | C#里面的long | ||||||||||
.r4 | real 4 bytes | C#里面的float | ||||||||||
.r8 | real 8 bytes | C#里面的double | ||||||||||
.u4 | uint 4 bytes | C#里面的uint | ||||||||||
.u8 | uint 8 bytes | C#里面的ulong | ||||||||||
b/br | branch | 条件和无条件跳转,相当于: jmp/jxx label_jump | br | ? | ? | 无条件跳转 | ? | ? | ? | ? | ? | 后面跟四个字节的偏移量(有符号) |
.s | (short) | 后面跟一个字节的偏移量(有符号) | ||||||||||
false | false | 值为零的时候跳转 | ? | ? | ? | 参见br | ||||||
true | true | 值不为零的时候跳转 | ? | ? | ? | |||||||
b | eq | equal to | 相等 | ? | ? | ? | ||||||
ne | not equal to | 不相等 | un | unsigned or unordered | 无氟好的(对于整数)或者无序的(对于浮点) | |||||||
gt | greater than | 大于 | ||||||||||
lt | less than | 小于 | ||||||||||
ge | greater than or equal to | 大于等于 | ||||||||||
le | less than or equal to | 小于等于 | ||||||||||
call | call | 调用 | ? | ? | ? | ? | ? | (非虚函数) | ? | |||
? | ? | ? | virt | virtual | 虚函数 |
- IL详细指令
名称 | 说明 |
Add | 将两个值相加并将结果推送到计算堆栈上。 |
Add.Ovf | 将两个整数相加,执行溢出检查,并且将结果推送到计算堆栈上。 |
Add.Ovf.Un | 将两个无符号整数值相加,执行溢出检查,并且将结果推送到计算堆栈上。 |
And | 计算两个值的按位“与”并将结果推送到计算堆栈上。 |
Arglist | 返回指向当前方法的参数列表的非托管指针。 |
Beq | 如果两个值相等,则将控制转移到目标指令。 |
Beq.S | 如果两个值相等,则将控制转移到目标指令(短格式)。 |
Bge | 如果第一个值大于或等于第二个值,则将控制转移到目标指令。 |
Bge.S | 如果第一个值大于或等于第二个值,则将控制转移到目标指令(短格式)。 |
Bge.Un | 当比较无符号整数值或不可排序的浮点型值时,如果第一个值大于第二个值,则将控制转移到目标指令。 |
Bge.Un.S | 当比较无符号整数值或不可排序的浮点型值时,如果第一个值大于第二个值,则将控制转移到目标指令(短格式)。 |
Bgt | 如果第一个值大于第二个值,则将控制转移到目标指令。 |
Bgt.S | 如果第一个值大于第二个值,则将控制转移到目标指令(短格式)。 |
Bgt.Un | 当比较无符号整数值或不可排序的浮点型值时,如果第一个值大于第二个值,则将控制转移到目标指令。 |
Bgt.Un.S | 当比较无符号整数值或不可排序的浮点型值时,如果第一个值大于第二个值,则将控制转移到目标指令(短格式)。 |
Ble | 如果第一个值小于或等于第二个值,则将控制转移到目标指令。 |
Ble.S | 如果第一个值小于或等于第二个值,则将控制转移到目标指令(短格式)。 |
Ble.Un | 当比较无符号整数值或不可排序的浮点型值时,如果第一个值小于或等于第二个值,则将控制转移到目标指令。 |
Ble.Un.S | 当比较无符号整数值或不可排序的浮点值时,如果第一个值小于或等于第二个值,则将控制权转移到目标指令(短格式)。 |
Blt | 如果第一个值小于第二个值,则将控制转移到目标指令。 |
Blt.S | 如果第一个值小于第二个值,则将控制转移到目标指令(短格式)。 |
Blt.Un | 当比较无符号整数值或不可排序的浮点型值时,如果第一个值小于第二个值,则将控制转移到目标指令。 |
Blt.Un.S | 当比较无符号整数值或不可排序的浮点型值时,如果第一个值小于第二个值,则将控制转移到目标指令(短格式)。 |
Bne.Un | 当两个无符号整数值或不可排序的浮点型值不相等时,将控制转移到目标指令。 |
Bne.Un.S | 当两个无符号整数值或不可排序的浮点型值不相等时,将控制转移到目标指令(短格式)。 |
Box | 将值类转换为对象引用(O 类型)。 |
Br | 无条件地将控制转移到目标指令。 |
Br.S | 无条件地将控制转移到目标指令(短格式)。 |
Break | 向公共语言结构 (CLI) 发出信号以通知调试器已撞上了一个断点。 |
Brfalse | 如果 value 为 false、空引用(Visual Basic 中的 Nothing)或零,则将控制转移到目标指令。 |
Brfalse.S | 如果 value 为 false、空引用或零,则将控制转移到目标指令。 |
Brtrue | 如果 value 为 true、非空或非零,则将控制转移到目标指令。 |
Brtrue.S | 如果 value 为 true、非空或非零,则将控制转移到目标指令(短格式)。 |
Call | 调用由传递的方法说明符指示的方法。 |
Calli | 通过调用约定描述的参数调用在计算堆栈上指示的方法(作为指向入口点的指针)。 |
Callvirt | 对对象调用后期绑定方法,并且将返回值推送到计算堆栈上。 |
Castclass | 尝试将引用传递的对象转换为指定的类。 |
Ceq | 比较两个值。如果这两个值相等,则将整数值 1 (int32) 推送到计算堆栈上;否则,将 0 (int32) 推送到计算堆栈上。 |
Cgt | 比较两个值。如果第一个值大于第二个值,则将整数值 1 (int32) 推送到计算堆栈上;反之,将 0 (int32) 推送到计算堆栈上。 |
Cgt.Un | 比较两个无符号的或不可排序的值。如果第一个值大于第二个值,则将整数值 1 (int32) 推送到计算堆栈上;反之,将 0 (int32) 推送到计算堆栈上。 |
Ckfinite | 如果值不是有限数,则引发 ArithmeticException。 |
Clt | 比较两个值。如果第一个值小于第二个值,则将整数值 1 (int32) 推送到计算堆栈上;反之,将 0 (int32) 推送到计算堆栈上。 |
Clt.Un | 比较无符号的或不可排序的值 value1 和 value2。如果 value1 小于 value2,则将整数值 1 (int32 ) 推送到计算堆栈上;反之,将 0 ( int32 ) 推送到计算堆栈上。 |
Constrained | 约束要对其进行虚方法调用的类型。 |
Conv.I | 将位于计算堆栈顶部的值转换为 native int。 |
Conv.I1 | 将位于计算堆栈顶部的值转换为 int8,然后将其扩展(填充)为 int32。 |
Conv.I2 | 将位于计算堆栈顶部的值转换为 int16,然后将其扩展(填充)为 int32。 |
Conv.I4 | 将位于计算堆栈顶部的值转换为 int32。 |
Conv.I8 | 将位于计算堆栈顶部的值转换为 int64。 |
Conv.Ovf.I | 将位于计算堆栈顶部的有符号值转换为有符号 native int,并在溢出时引发 OverflowException。 |
Conv.Ovf.I.Un | 将位于计算堆栈顶部的无符号值转换为有符号 native int,并在溢出时引发 OverflowException。 |
Conv.Ovf.I1 | 将位于计算堆栈顶部的有符号值转换为有符号 int8 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.I1.Un | 将位于计算堆栈顶部的无符号值转换为有符号 int8 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.I2 | 将位于计算堆栈顶部的有符号值转换为有符号 int16 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.I2.Un | 将位于计算堆栈顶部的无符号值转换为有符号 int16 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.I4 | 将位于计算堆栈顶部的有符号值转换为有符号 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.I4.Un | 将位于计算堆栈顶部的无符号值转换为有符号 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.I8 | 将位于计算堆栈顶部的有符号值转换为有符号 int64,并在溢出时引发 OverflowException。 |
Conv.Ovf.I8.Un | 将位于计算堆栈顶部的无符号值转换为有符号 int64,并在溢出时引发 OverflowException。 |
Conv.Ovf.U | 将位于计算堆栈顶部的有符号值转换为 unsigned native int,并在溢出时引发 OverflowException。 |
Conv.Ovf.U.Un | 将位于计算堆栈顶部的无符号值转换为 unsigned native int,并在溢出时引发 OverflowException。 |
Conv.Ovf.U1 | 将位于计算堆栈顶部的有符号值转换为 unsigned int8 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.U1.Un | 将位于计算堆栈顶部的无符号值转换为 unsigned int8 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.U2 | 将位于计算堆栈顶部的有符号值转换为 unsigned int16 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.U2.Un | 将位于计算堆栈顶部的无符号值转换为 unsigned int16 并将其扩展为 int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.U4 | 将位于计算堆栈顶部的有符号值转换为 unsigned int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.U4.Un | 将位于计算堆栈顶部的无符号值转换为 unsigned int32,并在溢出时引发 OverflowException。 |
Conv.Ovf.U8 | 将位于计算堆栈顶部的有符号值转换为 unsigned int64,并在溢出时引发 OverflowException。 |
Conv.Ovf.U8.Un | 将位于计算堆栈顶部的无符号值转换为 unsigned int64,并在溢出时引发 OverflowException。 |
Conv.R.Un | 将位于计算堆栈顶部的无符号整数值转换为 float32。 |
Conv.R4 | 将位于计算堆栈顶部的值转换为 float32。 |
Conv.R8 | 将位于计算堆栈顶部的值转换为 float64。 |
Conv.U | 将位于计算堆栈顶部的值转换为 unsigned native int,然后将其扩展为 native int。 |
Conv.U1 | 将位于计算堆栈顶部的值转换为 unsigned int8,然后将其扩展为 int32。 |
Conv.U2 | 将位于计算堆栈顶部的值转换为 unsigned int16,然后将其扩展为 int32。 |
Conv.U4 | 将位于计算堆栈顶部的值转换为 unsigned int32,然后将其扩展为 int32。 |
Conv.U8 | 将位于计算堆栈顶部的值转换为 unsigned int64,然后将其扩展为 int64。 |
Cpblk | 将指定数目的字节从源地址复制到目标地址。 |
Cpobj | 将位于对象(&、* 或 native int 类型)地址的值类型复制到目标对象(&、* 或 native int 类型)的地址。 |
Div | 将两个值相除并将结果作为浮点(F 类型)或商(int32 类型)推送到计算堆栈上。 |
Div.Un | 两个无符号整数值相除并将结果 ( int32 ) 推送到计算堆栈上。 |
Dup | 复制计算堆栈上当前最顶端的值,然后将副本推送到计算堆栈上。 |
Endfilter | 将控制从异常的 filter 子句转移回公共语言结构 (CLI) 异常处理程序。 |
Endfinally | 将控制从异常块的 fault 或 finally 子句转移回公共语言结构 (CLI) 异常处理程序。 |
Initblk | 将位于特定地址的内存的指定块初始化为给定大小和初始值。 |
Initobj | 将位于指定地址的值类型的每个字段初始化为空引用或适当的基元类型的 0。 |
Isinst | 测试对象引用(O 类型)是否为特定类的实例。 |
Jmp | 退出当前方法并跳至指定方法。 |
Ldarg | 将参数(由指定索引值引用)加载到堆栈上。 |
Ldarg.0 | 将索引为 0 的参数加载到计算堆栈上。 |
Ldarg.1 | 将索引为 1 的参数加载到计算堆栈上。 |
Ldarg.2 | 将索引为 2 的参数加载到计算堆栈上。 |
Ldarg.3 | 将索引为 3 的参数加载到计算堆栈上。 |
Ldarg.S | 将参数(由指定的短格式索引引用)加载到计算堆栈上。 |
Ldarga | 将参数地址加载到计算堆栈上。 |
Ldarga.S | 以短格式将参数地址加载到计算堆栈上。 |
Ldc.I4 | 将所提供的 int32 类型的值作为 int32 推送到计算堆栈上。 |
Ldc.I4.0 | 将整数值 0 作为 int32 推送到计算堆栈上。 |
Ldc.I4.1 | 将整数值 1 作为 int32 推送到计算堆栈上。 |
Ldc.I4.2 | 将整数值 2 作为 int32 推送到计算堆栈上。 |
Ldc.I4.3 | 将整数值 3 作为 int32 推送到计算堆栈上。 |
Ldc.I4.4 | 将整数值 4 作为 int32 推送到计算堆栈上。 |
Ldc.I4.5 | 将整数值 5 作为 int32 推送到计算堆栈上。 |
Ldc.I4.6 | 将整数值 6 作为 int32 推送到计算堆栈上。 |
Ldc.I4.7 | 将整数值 7 作为 int32 推送到计算堆栈上。 |
Ldc.I4.8 | 将整数值 8 作为 int32 推送到计算堆栈上。 |
Ldc.I4.M1 | 将整数值 -1 作为 int32 推送到计算堆栈上。 |
Ldc.I4.S | 将提供的 int8 值作为 int32 推送到计算堆栈上(短格式)。 |
Ldc.I8 | 将所提供的 int64 类型的值作为 int64 推送到计算堆栈上。 |
Ldc.R4 | 将所提供的 float32 类型的值作为 F (float) 类型推送到计算堆栈上。 |
Ldc.R8 | 将所提供的 float64 类型的值作为 F (float) 类型推送到计算堆栈上。 |
Ldelem | 按照指令中指定的类型,将指定数组索引中的元素加载到计算堆栈的顶部。 |
Ldelem.I | 将位于指定数组索引处的 native int 类型的元素作为 native int 加载到计算堆栈的顶部。 |
Ldelem.I1 | 将位于指定数组索引处的 int8 类型的元素作为 int32 加载到计算堆栈的顶部。 |
Ldelem.I2 | 将位于指定数组索引处的 int16 类型的元素作为 int32 加载到计算堆栈的顶部。 |
Ldelem.I4 | 将位于指定数组索引处的 int32 类型的元素作为 int32 加载到计算堆栈的顶部。 |
Ldelem.I8 | 将位于指定数组索引处的 int64 类型的元素作为 int64 加载到计算堆栈的顶部。 |
Ldelem.R4 | 将位于指定数组索引处的 float32 类型的元素作为 F 类型(浮点型)加载到计算堆栈的顶部。 |
Ldelem.R8 | 将位于指定数组索引处的 float64 类型的元素作为 F 类型(浮点型)加载到计算堆栈的顶部。 |
Ldelem.Ref | 将位于指定数组索引处的包含对象引用的元素作为 O 类型(对象引用)加载到计算堆栈的顶部。 |
Ldelem.U1 | 将位于指定数组索引处的 unsigned int8 类型的元素作为 int32 加载到计算堆栈的顶部。 |
Ldelem.U2 | 将位于指定数组索引处的 unsigned int16 类型的元素作为 int32 加载到计算堆栈的顶部。 |
Ldelem.U4 | 将位于指定数组索引处的 unsigned int32 类型的元素作为 int32 加载到计算堆栈的顶部。 |
Ldelema | 将位于指定数组索引的数组元素的地址作为 & 类型(托管指针)加载到计算堆栈的顶部。 |
Ldfld | 查找对象中其引用当前位于计算堆栈的字段的值。 |
Ldflda | 查找对象中其引用当前位于计算堆栈的字段的地址。 |
Ldftn | 将指向实现特定方法的本机代码的非托管指针(native int 类型)推送到计算堆栈上。 |
Ldind.I | 将 native int 类型的值作为 native int 间接加载到计算堆栈上。 |
Ldind.I1 | 将 int8 类型的值作为 int32 间接加载到计算堆栈上。 |
Ldind.I2 | 将 int16 类型的值作为 int32 间接加载到计算堆栈上。 |
Ldind.I4 | 将 int32 类型的值作为 int32 间接加载到计算堆栈上。 |
Ldind.I8 | 将 int64 类型的值作为 int64 间接加载到计算堆栈上。 |
Ldind.R4 | 将 float32 类型的值作为 F (float) 类型间接加载到计算堆栈上。 |
Ldind.R8 | 将 float64 类型的值作为 F (float) 类型间接加载到计算堆栈上。 |
Ldind.Ref | 将对象引用作为 O(对象引用)类型间接加载到计算堆栈上。 |
Ldind.U1 | 将 unsigned int8 类型的值作为 int32 间接加载到计算堆栈上。 |
Ldind.U2 | 将 unsigned int16 类型的值作为 int32 间接加载到计算堆栈上。 |
Ldind.U4 | 将 unsigned int32 类型的值作为 int32 间接加载到计算堆栈上。 |
Ldlen | 将从零开始的、一维数组的元素的数目推送到计算堆栈上。 |
Ldloc | 将指定索引处的局部变量加载到计算堆栈上。 |
Ldloc.0 | 将索引 0 处的局部变量加载到计算堆栈上。 |
Ldloc.1 | 将索引 1 处的局部变量加载到计算堆栈上。 |
Ldloc.2 | 将索引 2 处的局部变量加载到计算堆栈上。 |
Ldloc.3 | 将索引 3 处的局部变量加载到计算堆栈上。 |
Ldloc.S | 将特定索引处的局部变量加载到计算堆栈上(短格式)。 |
Ldloca | 将位于特定索引处的局部变量的地址加载到计算堆栈上。 |
Ldloca.S | 将位于特定索引处的局部变量的地址加载到计算堆栈上(短格式)。 |
Ldnull | 将空引用(O 类型)推送到计算堆栈上。 |
Ldobj | 将地址指向的值类型对象复制到计算堆栈的顶部。 |
Ldsfld | 将静态字段的值推送到计算堆栈上。 |
Ldsflda | 将静态字段的地址推送到计算堆栈上。 |
Ldstr | 推送对元数据中存储的字符串的新对象引用。 |
Ldtoken | 将元数据标记转换为其运行时表示形式,并将其推送到计算堆栈上。 |
Ldvirtftn | 将指向实现与指定对象关联的特定虚方法的本机代码的非托管指针(native int 类型)推送到计算堆栈上。 |
Leave | 退出受保护的代码区域,无条件将控制转移到特定目标指令。 |
Leave.S | 退出受保护的代码区域,无条件将控制转移到目标指令(缩写形式)。 |
Localloc | 从本地动态内存池分配特定数目的字节并将第一个分配的字节的地址(瞬态指针,* 类型)推送到计算堆栈上。 |
Mkrefany | 将对特定类型实例的类型化引用推送到计算堆栈上。 |
Mul | 将两个值相乘并将结果推送到计算堆栈上。 |
Mul.Ovf | 将两个整数值相乘,执行溢出检查,并将结果推送到计算堆栈上。 |
Mul.Ovf.Un | 将两个无符号整数值相乘,执行溢出检查,并将结果推送到计算堆栈上。 |
Neg | 对一个值执行求反并将结果推送到计算堆栈上。 |
Newarr | 将对新的从零开始的一维数组(其元素属于特定类型)的对象引用推送到计算堆栈上。 |
Newobj | 创建一个值类型的新对象或新实例,并将对象引用(O 类型)推送到计算堆栈上。 |
Nop | 如果修补操作码,则填充空间。尽管可能消耗处理周期,但未执行任何有意义的操作。 |
Not | 计算堆栈顶部整数值的按位求补并将结果作为相同的类型推送到计算堆栈上。 |
Or | 计算位于堆栈顶部的两个整数值的按位求补并将结果推送到计算堆栈上。 |
Pop | 移除当前位于计算堆栈顶部的值。 |
Prefix1 | 基础结构。此指令为保留指令。 |
Prefix2 | 基础结构。此指令为保留指令。 |
Prefix3 | 基础结构。此指令为保留指令。 |
Prefix4 | 基础结构。此指令为保留指令。 |
Prefix5 | 基础结构。此指令为保留指令。 |
Prefix6 | 基础结构。此指令为保留指令。 |
Prefix7 | 基础结构。此指令为保留指令。 |
Prefixref | 基础结构。此指令为保留指令。 |
Readonly | 指定后面的数组地址操作在运行时不执行类型检查,并且返回可变性受限的托管指针。 |
Refanytype | 检索嵌入在类型化引用内的类型标记。 |
Refanyval | 检索嵌入在类型化引用内的地址(& 类型)。 |
Rem | 将两个值相除并将余数推送到计算堆栈上。 |
Rem.Un | 将两个无符号值相除并将余数推送到计算堆栈上。 |
Ret | 从当前方法返回,并将返回值(如果存在)从调用方的计算堆栈推送到被调用方的计算堆栈上。 |
Rethrow | 再次引发当前异常。 |
Shl | 将整数值左移(用零填充)指定的位数,并将结果推送到计算堆栈上。 |
Shr | 将整数值右移(保留符号)指定的位数,并将结果推送到计算堆栈上。 |
Shr.Un | 将无符号整数值右移(用零填充)指定的位数,并将结果推送到计算堆栈上。 |
Sizeof | 将提供的值类型的大小(以字节为单位)推送到计算堆栈上。 |
Starg | 将位于计算堆栈顶部的值存储到位于指定索引的参数槽中。 |
Starg.S | 将位于计算堆栈顶部的值存储在参数槽中的指定索引处(短格式)。 |
Stelem | 用计算堆栈中的值替换给定索引处的数组元素,其类型在指令中指定。 |
Stelem.I | 用计算堆栈上的 native int 值替换给定索引处的数组元素。 |
Stelem.I1 | 用计算堆栈上的 int8 值替换给定索引处的数组元素。 |
Stelem.I2 | 用计算堆栈上的 int16 值替换给定索引处的数组元素。 |
Stelem.I4 | 用计算堆栈上的 int32 值替换给定索引处的数组元素。 |
Stelem.I8 | 用计算堆栈上的 int64 值替换给定索引处的数组元素。 |
Stelem.R4 | 用计算堆栈上的 float32 值替换给定索引处的数组元素。 |
Stelem.R8 | 用计算堆栈上的 float64 值替换给定索引处的数组元素。 |
Stelem.Ref | 用计算堆栈上的对象 ref 值(O 类型)替换给定索引处的数组元素。 |
Stfld | 用新值替换在对象引用或指针的字段中存储的值。 |
Stind.I | 在所提供的地址存储 native int 类型的值。 |
Stind.I1 | 在所提供的地址存储 int8 类型的值。 |
Stind.I2 | 在所提供的地址存储 int16 类型的值。 |
Stind.I4 | 在所提供的地址存储 int32 类型的值。 |
Stind.I8 | 在所提供的地址存储 int64 类型的值。 |
Stind.R4 | 在所提供的地址存储 float32 类型的值。 |
Stind.R8 | 在所提供的地址存储 float64 类型的值。 |
Stind.Ref | 存储所提供地址处的对象引用值。 |
Stloc | 从计算堆栈的顶部弹出当前值并将其存储到指定索引处的局部变量列表中。 |
Stloc.0 | 从计算堆栈的顶部弹出当前值并将其存储到索引 0 处的局部变量列表中。 |
Stloc.1 | 从计算堆栈的顶部弹出当前值并将其存储到索引 1 处的局部变量列表中。 |
Stloc.2 | 从计算堆栈的顶部弹出当前值并将其存储到索引 2 处的局部变量列表中。 |
Stloc.3 | 从计算堆栈的顶部弹出当前值并将其存储到索引 3 处的局部变量列表中。 |
Stloc.S | 从计算堆栈的顶部弹出当前值并将其存储在局部变量列表中的 index 处(短格式)。 |
Stobj | 将指定类型的值从计算堆栈复制到所提供的内存地址中。 |
Stsfld | 用来自计算堆栈的值替换静态字段的值。 |
Sub | 从其他值中减去一个值并将结果推送到计算堆栈上。 |
Sub.Ovf | 从另一值中减去一个整数值,执行溢出检查,并且将结果推送到计算堆栈上。 |
Sub.Ovf.Un | 从另一值中减去一个无符号整数值,执行溢出检查,并且将结果推送到计算堆栈上。 |
Switch | 实现跳转表。 |
Tailcall | 执行后缀的方法调用指令,以便在执行实际调用指令前移除当前方法的堆栈帧。 |
Throw | 引发当前位于计算堆栈上的异常对象。 |
Unaligned | 指示当前位于计算堆栈上的地址可能没有与紧接的 ldind、stind、ldfld、stfld、ldobj、stobj、initblk 或 cpblk 指令的自然大小对齐。 |
Unbox | 将值类型的已装箱的表示形式转换为其未装箱的形式。 |
Unbox.Any | 将指令中指定类型的已装箱的表示形式转换成未装箱形式。 |
Volatile | 指定当前位于计算堆栈顶部的地址可以是易失的,并且读取该位置的结果不能被缓存,或者对该地址的多个存储区不能被取消。 |
Xor | 计算位于计算堆栈顶部的两个值的按位异或,并且将结果推送到计算堆栈上。 |
- IL实例分析
1、报警器
public class Baojingqi { public string Baojing(int wendu) { return string.Format("警报:滴滴滴,现在温度{0}摄氏度", wendu); } }
构造函数.ctor
.method public hidebysig specialname rtspecialname instance void .ctor() cil managed { // 代码大小 7 (0x7) .maxstack 8 IL_0000: ldarg.0 //加载参数0,每个非static类,参数0均表示this IL_0001: call instance void [mscorlib]System.Object::.ctor() //调用object的够着函数 IL_0006: ret //返回 } // end of method Baojingqi::.ctor
方法Baojing
.method public hidebysig instance string Baojing(int32 wendu) cil managed { // 代码大小 22 (0x16) .maxstack 2 .locals init ([0] string CS$1$0000) //方法中需要用到的变量(这里面的变量CS$1$0000并没有在方法中直接定义,这种变量个人称之为临时变量) IL_0000: nop IL_0001: ldstr bytearray (66 8B A5 62 1A FF F4 6E F4 6E F4 6E 0C FF B0 73 // f..b...n.n.n...s 28 57 29 6E A6 5E 7B 00 30 00 7D 00 44 64 0F 6C // (W)n.^{.0.}.Dd.l A6 5E ) // .^ <span style="white-space:pre"> </span>//加载字符串 IL_0006: ldarg.1 //加载参数1,即wendu,那我的参数0去哪里了?这里上面说过非static类参数0位this,故其他参数从1开始计 IL_0007: box [mscorlib]System.Int32 //装箱,因为String.Format的2个参数是string和object类型的,int转object为装箱操作 IL_000c: call string [mscorlib]System.String::Format(string,object) //调用String.Format方法 IL_0011: stloc.0 //将调用的方法返回值存储局部变量0中,这里就是上述所说的临时变量 IL_0012: br.s IL_0014 //跳转 IL_0014: ldloc.0 //加载局部变量0 IL_0015: ret<span style="white-space:pre"> </span> //返回 } // end of method Baojingqi::Baojing
2、显示器IL同上
3、加热器
public class Jiareqi { public int Wendu; public delegate string ShowDelegate(int wendu); public ShowDelegate MyDelegate; public event ShowDelegate BoilEvent; public void Jiare() { for (int i = 0; i < 100; i++) { Wendu = i; if (i > 96) { BoilEvent(i); } } } }
方法Jiare
.method public hidebysig instance void Jiare() cil managed { // 代码大小 55 (0x37) .maxstack 2 .locals init ([0] int32 i, [1] bool CS$4$0000) IL_0000: nop IL_0001: ldc.i4.0 //加载常量0 IL_0002: stloc.0 //存储变量0,即i IL_0003: br.s IL_002d //跳转 IL_0005: nop IL_0006: ldarg.0 //加载参数0,this IL_0007: ldloc.0 //加载变量0,i IL_0008: stfld int32 ReShuiQi.Jiareqi::Wendu //存储字段,Wendu = i IL_000d: ldloc.0<span style="white-space:pre"> </span> //加载变量0,i IL_000e: ldc.i4.s 96 //加载常量96 IL_0010: cgt //如果变量0 > 常量96,则为1,反之为0 IL_0012: ldc.i4.0 //加载常量0 IL_0013: ceq<span style="white-space:pre"> </span> //比较前2个值是否相等,相等为1,反之为0 IL_0015: stloc.1 //将上述值存到本地变量1中 IL_0016: ldloc.1 //加载本地变量1 IL_0017: brtrue.s IL_0028 //如果为true,则跳转,即不执行if中的语句 IL_0019: nop IL_001a: ldarg.0 //加载参数0,this IL_001b: ldfld class ReShuiQi.Jiareqi/ShowDelegate ReShuiQi.Jiareqi::BoilEvent //加载字段BoilEvent,与上一句结合理解为this.BoilEvent,在编码过程中当字段前面不加this时,编译会自动添加 IL_0020: ldloc.0 //加载变量0,i IL_0021: callvirt instance string ReShuiQi.Jiareqi/ShowDelegate::Invoke(int32) //调用方法Invoke IL_0026: pop //移除当前位于计算堆栈顶部的值 IL_0027: nop IL_0028: nop IL_0029: ldloc.0 //加载局部变量0,i IL_002a: ldc.i4.1 //加载常量1 IL_002b: add //上述2个值相加 IL_002c: stloc.0 //将值存储到局部变量0中,i IL_002d: ldloc.0 //加载局部变量0,i IL_002e: ldc.i4.s 100 //加载常量100 IL_0030: clt //如果局部变量0<100,则为1,反之为0 IL_0032: stloc.1 //将上述比较结果存储到局部变量1中 IL_0033: ldloc.1 //加载局部变量1 IL_0034: brtrue.s IL_0005 //判断是否为true,跳转 IL_0036: ret } // end of method Jiareqi::Jiare