由浅入深CIL系列.docxVIP

HYPERLINK /chengxingliang/archive/2011/06/28/2091696.html 由浅入深CIL系列:2.CIL的基本构成+CIL操作码速记表+CIL操作码大全速查 ??????? 一、CIL的基本构成? ??????? CIL由CIL指令(directive)、CIL特性(attribute)、CIL操作码(opcode)组成。 ????????? CIL指令 ??????? CIL指令是用于描述.NET程序集总体结构的标记，并且通知CIL编译器如何定义在程序集中用到的命名空间、类、成员的。它以（.）一个点号开头，例如：.namespace、.class、.property、.method等构成。 ????????? CIL特性 ????????CIL特性是由于CIL指令并不能完全说明.NET成员和类的情况下，针对CIL指令进行补充说明成员或者类的特性的。比如一个类 可能是公共的，集成的。它就需要用public特性、extends特性或者implements特性对类的.class指令进行修饰的补充说明。 ????????? CIL操作码 ????????CIL操作码是对于类或者方法的内部逻辑进行描述和操作的代码，例如Add(将两个值相加并将结果推送到计算堆栈上)、 Ldarg(将参数（由指定索引值引用）加载到堆栈上)Ldloc.0(将索引 0 处的局部变量加载到计算堆栈上)等其主要分为以下五大类操作：（数据）的压栈(ld)、弹出(st)、运算、转移、其他、 ??????? 二、CIL操作码速记表 ??????? 通过下面的速记表我们可以很容易的记忆CIL的指令：比如我们知道一个ldloc.0=ld(load)+loc(local)+.0(0位置的参数)=将索引 0 处的局部变量加载到计算堆栈上。 主要操作 操作数范围/条件 操作数类型 操作数 缩写 全称 含义 缩写 全称 含义 缩写 全称 含义 缩写 全称 含义 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 参见ld ** 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 th