在CIL中分支

Question

我有一個關於CIL的問題。在CIL中，beq（Branch to target if equal）命令是什麼？

我讀過有關它在這裏：List of CIL instructions

Answer 1

的beq target指令傳輸控制（「跳躍」）的目標，如果堆頂兩個值相等。這與ceq指令後跟brtrue target相同。鑑於方法：

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

它可以（但這只是一個examplatory碼）翻譯成：

.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 
}