CIL分支

Question

关于CIL我有个问题。在CIL中，beq (分支要瞄准，如果相等)命令是为了什么？

我在这里读到过：CIL指令列表

Answer 1

如果堆栈上的前两个值相等，beq target指令将控制(“跳转”)转移到目标。这与ceq指令和brtrue target指令相同。给定方法：

static int BranchTest(int value1, int value2)
{
    if (value1 == value2)
    {
        return SomeMethod(0);
    }
    else
    {
        return SomeMethod(1);    
    }
}

它可以(但这只是一个示例代码)被翻译成：

.method private hidebysig static 
    int32 BranchTest (
        int32 value1,
        int32 value2
    ) cil managed 
{
    // ...

    IL_0000: ldarg.0      // load value1 on stack
    IL_0001: ldarg.1      // load value2 on stack
    IL_0002: beq IL_000b  // compare and jump conditionaly

    IL_0004: ldc.i4.1
    IL_0005: call int32 ConsoleLeak.Program::SomeMethod(int32)
    IL_000a: ret

    IL_000b: ldc.i4.0
    IL_000c: call int32 ConsoleLeak.Program::SomeMethod(int32)
    IL_0011: ret
}