CLR IL指令说明.docx

CLR IL指令说明.docx

《CLR IL指令说明.docx》由会员分享，可在线阅读，更多相关《CLR IL指令说明.docx（18页珍藏版）》请在冰豆网上搜索。

CLRIL指令说明

名称

说明

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、空引用（VisualBasic中的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

将位于计算堆栈顶部的值转换为nativeint。

Conv.I1

将位于计算堆栈顶部的值转换为int8，然后将其扩展（填充）为int32。

Conv.I2

将位于计算堆栈顶部的值转换为int16，然后将其扩展（填充）为int32。

Conv.I4

将位于计算堆栈顶部的值转换为int32。

Conv.I8

将位于计算堆栈顶部的值转换为int64。

Conv.Ovf.I

将位于计算堆栈顶部的有符号值转换为有符号nativeint，并在溢出时引发OverflowException。

Conv.Ovf.I.Un

将位于计算堆栈顶部的无符号值转换为有符号nativeint，并在溢出时引发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

将位于计算堆栈顶部的有符号值转换为unsignednativeint，并在溢出时引发OverflowException。

Conv.Ovf.U.Un

将位于计算堆栈顶部的无符号值转换为unsignednativeint，并在溢出时引发OverflowException。

Conv.Ovf.U1

将位于计算堆栈顶部的有符号值转换为unsignedint8并将其扩展为int32，并在溢出时引发OverflowException。

Conv.Ovf.U1.Un

将位于计算堆栈顶部的无符号值转换为unsignedint8并将其扩展为int32，并在溢出时引发OverflowException。

Conv.Ovf.U2

将位于计算堆栈顶部的有符号值转换为unsignedint16并将其扩展为int32，并在溢出时引发OverflowException。

Conv.Ovf.U2.Un

将位于计算堆栈顶部的无符号值转换为unsignedint16并将其扩展为int32，并在溢出时引发OverflowException。

Conv.Ovf.U4

将位于计算堆栈顶部的有符号值转换为unsignedint32，并在溢出时引发OverflowException。

Conv.Ovf.U4.Un

将位于计算堆栈顶部的无符号值转换为unsignedint32，并在溢出时引发OverflowException。

Conv.Ovf.U8

将位于计算堆栈顶部的有符号值转换为unsignedint64，并在溢出时引发OverflowException。

Conv.Ovf.U8.Un

将位于计算堆栈顶部的无符号值转换为unsignedint64，并在溢出时引发OverflowException。

Conv.R.Un

将位于计算堆栈顶部的无符号整数值转换为float32。

Conv.R4

将位于计算堆栈顶部的值转换为float32。

Conv.R8

将位于计算堆栈顶部的值转换为float64。

Conv.U

将位于计算堆栈顶部的值转换为unsignednativeint，然后将其扩展为nativeint。

Conv.U1

将位于计算堆栈顶部的值转换为unsignedint8，然后将其扩展为int32。

Conv.U2

将位于计算堆栈顶部的值转换为unsignedint16，然后将其扩展为int32。

Conv.U4

将位于计算堆栈顶部的值转换为unsignedint32，然后将其扩展为int32。

Conv.U8

将位于计算堆栈顶部的值转换为unsignedint64，然后将其扩展为int64。

Cpblk

将指定数目的字节从源地址复制到目标地址。

Cpobj

将位于对象（&、*或nativeint类型）地址的值类型复制到目标对象（&、*或nativeint类型）的地址。

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

将位于指定数组索引处的nativeint类型的元素作为nativeint加载到计算堆栈的顶部。

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

将位于指定数组索引处的unsignedint8类型的元素作为int32加载到计算堆栈的顶部。

Ldelem.U2

将位于指定数组索引处的unsignedint16类型的元素作为int32加载到计算堆栈的顶部。

Ldelem.U4

将位于指定数组索引处的unsignedint32类型的元素作为int32加载到计算堆栈的顶部。

Ldelema

将位于指定数组索引的数组元素的地址作为&类型（托管指针）加载到计算堆栈的顶部。

Ldfld

查找对象中其引用当前位于计算堆栈的字段的值。

Ldflda

查找对象中其引用当前位于计算堆栈的字段的地址。

Ldftn

将指向实现特定方法的本机代码的非托管指针（nativeint类型）推送到计算堆栈上。

Ldind.I

将nativeint类型的值作为nativeint间接加载到计算堆栈上。

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

将unsignedint8类型的值作为int32间接加载到计算堆栈上。

Ldind.U2

将unsignedint16类型的值作为int32间接加载到计算堆栈上。

Ldind.U4

将unsignedint32类型的值作为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

将指向实现与指定对象关联的特定虚方法的本机代码的非托管指针（nativeint类型）推送到计算堆栈上。

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

用计算堆栈上的nativeint值替换给定索引处的数组元素。

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

在所提供的地址存储nativeint类型的值。

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

引发当前位于计