Emit基础学习-选择分支

 

 

C#代码

int sum = 0;
if (num1 > 0)
{
     sum = num1 + 100;
}

 

IL代码

 

    .maxstack 2
    .locals init (
        [0] int32 num,
        [1] bool flag)
    L_0000: ldc.i4.0 
    L_0001: stloc.0 
    L_0002: ldc.i4.0 
    L_0003: stloc.1 
    L_0004: ldarg.0 
    L_0005: ldc.i4.0 
    L_0006: cgt 
    L_0008: ldc.i4.0 
    L_0009: ceq 
    L_000b: stloc.1 
    L_000c: ldloc.1 
    L_000d: brtrue.s L_0017
    L_000f: ldarg.0 
    L_0010: ldc.i4 100
    L_0015: add 
    L_0016: stloc.0 
    L_0017: ret 

 

 

Emit代码

_Method = _TypeBuilder.DefineMethod("Dotest4",
          MethodAttributes.Public |MethodAttributes.Static,
          null,new Type[] { typeof(int) });
_MethodIL = _Method.GetILGenerator();
l1 = _MethodIL.DefineLabel();
// l2 = _MethodIL.DefineLabel();
//int _Sum=0;
LocalBuilder _v1 = _MethodIL.DeclareLocal(typeof(int));
_MethodIL.Emit(OpCodes.Ldc_I4_0);
_MethodIL.Emit(OpCodes.Stloc_0);

LocalBuilder _v2 = _MethodIL.DeclareLocal(typeof(bool));
_MethodIL.Emit(OpCodes.Ldc_I4_0);
_MethodIL.Emit(OpCodes.Stloc_1);

_MethodIL.Emit(OpCodes.Ldarg_0);
_MethodIL.Emit(OpCodes.Ldc_I4_0);
_MethodIL.Emit(OpCodes.Cgt);

_MethodIL.Emit(OpCodes.Ldc_I4_0);
_MethodIL.Emit(OpCodes.Ceq);

_MethodIL.Emit(OpCodes.Stloc_1);

_MethodIL.Emit(OpCodes.Ldloc_1);

_MethodIL.Emit(OpCodes.Brtrue_S, l1);
//_sum=pNum+100;
_MethodIL.Emit(OpCodes.Ldarg_0);
_MethodIL.Emit(OpCodes.Ldc_I4, 100);
_MethodIL.Emit(OpCodes.Add);
_MethodIL.Emit(OpCodes.Stloc_0);

_MethodIL.MarkLabel(l1);
_MethodIL.Emit(OpCodes.Ret);

 

 

 

C#代码—条件表达式
使用Emit生成IL后反射的C#代码

return ((num1 > 100) ? -1 : 0);

 
手工编写的代码

return ((num > 100) ? -1 : 0);

 

IL代码
使用Emit生成的IL代码

.maxstack 3
L_0000: ldarg.0
L_0001: ldc.i4.s 100
L_0003: nop
L_0004: nop
L_0005: nop
L_0006: bgt.s L_000b
L_0008: ldc.i4.0
L_0009: br.s L_000c
L_000b: ldc.i4.m1
L_000c: ret

手工编写的代生成的IL代码

    .maxstack 2
    .locals init (
        [0] int32 CS$1$0000)
    L_0000: nop 
    L_0001: ldarg.0 
    L_0002: ldc.i4.s 100
    L_0004: bgt.s L_0009
    L_0006: ldc.i4.0 
    L_0007: br.s L_000a
    L_0009: ldc.i4.m1 
    L_000a: stloc.0 
    L_000b: br.s L_000d
    L_000d: ldloc.0 
    L_000e: ret

Emit代码

_Method = _TypeBuilder.DefineMethod("Dotest1",MethodAttributes.Public | MethodAttributes.Static,
    typeof(int), new Type[] { typeof(int) });

_MethodIL = _Method.GetILGenerator();
failed = _MethodIL.DefineLabel();
endOfMthd = _MethodIL.DefineLabel();

//生成代码 
//if (num1 > 100)
//将索引为 0 的参数加载到计算堆栈上。
_MethodIL.Emit(OpCodes.Ldarg_0);
//将提供的 int8 值作为 int32 推送到计算堆栈上
_MethodIL.Emit(OpCodes.Ldc_I4_S, 100);
//如果第一个值大于第二个值，则将控制转移到目标指令
_MethodIL.Emit(OpCodes.Bgt_S, failed);


_MethodIL.Emit(OpCodes.Ldc_I4_0);
_MethodIL.Emit(OpCodes.Br_S, endOfMthd);

_MethodIL.MarkLabel(failed);
_MethodIL.Emit(OpCodes.Ldc_I4_M1);


_MethodIL.MarkLabel(endOfMthd);

_MethodIL.Emit(OpCodes.Ret);

 

 

Switch分支

C#代码

switch (num1)
{
    case 4:
        return 30;

    case 7:
        return 0x1f;

    case 8:
        return 0x1d;
}
return 0x1c;

 

生成的IL代码

.method public static int32 Dotest5(int32) cil managed
{
    .maxstack 7
    .locals init (
        [0] int32 num,
        [1] int32 num2,
        [2] int32 num3)
    L_0000: nop 
    L_0001: ldc.i4.0 
    L_0002: stloc.0 
    L_0003: ldarg.0 
    L_0004: stloc.2 
    L_0005: ldloc.2 
    L_0006: ldc.i4.4 
    L_0007: beq.s L_0013
    L_0009: ldloc.2 
    L_000a: ldc.i4.7 
    L_000b: beq.s L_001b
    L_000d: ldloc.2 
    L_000e: ldc.i4.8 
    L_000f: beq.s L_0023
    L_0011: br.s L_002b
    L_0013: ldc.i4.s 30
    L_0015: nop 
    L_0016: nop 
    L_0017: nop 
    L_0018: stloc.0 
    L_0019: br.s L_0033
    L_001b: ldc.i4.s 0x1f
    L_001d: nop 
    L_001e: nop 
    L_001f: nop 
    L_0020: stloc.0 
    L_0021: br.s L_0033
    L_0023: ldc.i4.s 0x1d
    L_0025: nop 
    L_0026: nop 
    L_0027: nop 
    L_0028: stloc.0 
    L_0029: br.s L_0033
    L_002b: ldc.i4.s 0x1c
    L_002d: nop 
    L_002e: nop 
    L_002f: nop 
    L_0030: stloc.0 
    L_0031: br.s L_0033
    L_0033: ldloc.0 
    L_0034: ret 
}

 

Emit生成代码

  _Method = _TypeBuilder.DefineMethod("Dotest5",
  MethodAttributes.Public | MethodAttributes.Static,
  typeof(int), new Type[] { typeof(int) });

  _MethodIL = _Method.GetILGenerator();


  Label[] _Lbls = new Label[3];
  //默认(switch语句的default节点)
  Label _defaultLabel = _MethodIL.DefineLabel();
  //endswitch
  Label _endswitch = _MethodIL.DefineLabel();
  Label _endswitch2 = _MethodIL.DefineLabel();

  for (int i = 0; i < _Lbls.Length; i++)
  {
      _Lbls[i] = _MethodIL.DefineLabel();
  }
  //声明变量 
  //int result=0;
  LocalBuilder _result = _MethodIL.DeclareLocal(typeof(int));
  LocalBuilder _num1 = _MethodIL.DeclareLocal(typeof(int));
  LocalBuilder _num2 = _MethodIL.DeclareLocal(typeof(int));
  _MethodIL.Emit(OpCodes.Nop);

  _MethodIL.Emit(OpCodes.Ldc_I4_0);
  _MethodIL.Emit(OpCodes.Stloc_0);



  _MethodIL.Emit(OpCodes.Ldarg_0);
  _MethodIL.Emit(OpCodes.Stloc_2);

  //_MethodIL.Emit(OpCodes.Switch, _Lbls);


  //            L_0005: ldloc.2 
  //L_0006: ldc.i4.4 
  //L_0007: beq.s L_000f  //如果两个值相等，则将控制转移到目标指令。
  _MethodIL.Emit(OpCodes.Ldloc_2);
  _MethodIL.Emit(OpCodes.Ldc_I4_4);
  _MethodIL.Emit(OpCodes.Beq_S, _Lbls[0]);

  _MethodIL.Emit(OpCodes.Ldloc_2);
  _MethodIL.Emit(OpCodes.Ldc_I4_7);
  _MethodIL.Emit(OpCodes.Beq_S, _Lbls[1]);

  _MethodIL.Emit(OpCodes.Ldloc_2);
  _MethodIL.Emit(OpCodes.Ldc_I4_8);
  _MethodIL.Emit(OpCodes.Beq_S, _Lbls[2]);

  _MethodIL.Emit(OpCodes.Br_S, _defaultLabel);


  _MethodIL.MarkLabel(_Lbls[0]);
  _MethodIL.Emit(OpCodes.Ldc_I4_S, 30);
  _MethodIL.Emit(OpCodes.Stloc_0);
  _MethodIL.Emit(OpCodes.Br_S, _endswitch);

  _MethodIL.MarkLabel(_Lbls[1]);
  _MethodIL.Emit(OpCodes.Ldc_I4_S, 31);
  _MethodIL.Emit(OpCodes.Stloc_0);
  _MethodIL.Emit(OpCodes.Br_S, _endswitch);

  _MethodIL.MarkLabel(_Lbls[2]);
  _MethodIL.Emit(OpCodes.Ldc_I4_S, 29);
  _MethodIL.Emit(OpCodes.Stloc_0);
  _MethodIL.Emit(OpCodes.Br_S, _endswitch);


  _MethodIL.MarkLabel(_defaultLabel);
  _MethodIL.Emit(OpCodes.Ldc_I4_S, 28);
  _MethodIL.Emit(OpCodes.Stloc_0);
  _MethodIL.Emit(OpCodes.Br_S, _endswitch);


  _MethodIL.MarkLabel(_endswitch);

  _MethodIL.Emit(OpCodes.Ldloc_0);

  _MethodIL.Emit(OpCodes.Ret);