Question

我试图了解IL循环中的while循环。我写了这个C＃函数：

    static void Brackets()
    {
        while (memory[pointer] > 0)
        {
            // Snipped body of the while loop, as it's not important
        }
    }

IL看起来像这样：

.method private hidebysig static void  Brackets() cil managed
{
  // Code size       37 (0x25)
  .maxstack  2
  .locals init ([0] bool CS$4$0000)
  IL_0000:  nop
  IL_0001:  br.s       IL_0012
  IL_0003:  nop
  // Snipped body of the while loop, as it's not important
  IL_0011:  nop
  IL_0012:  ldsfld     uint8[] BFHelloWorldCSharp.Program::memory
  IL_0017:  ldsfld     int16 BFHelloWorldCSharp.Program::pointer
  IL_001c:  ldelem.u1
  IL_001d:  ldc.i4.0
  IL_001e:  cgt
  IL_0020:  stloc.0
  IL_0021:  ldloc.0
  IL_0022:  brtrue.s   IL_0003
  IL_0024:  ret
} // end of method Program::Brackets

在大多数情况下，这非常简单，除了cgt之后的部分。

我不明白的是local [0]和stloc.0 / ldloc.0。据我所知，cgt将结果推送到堆栈，stloc.0将堆栈中的结果输入到局部变量中，ldloc.0再次将结果推送到堆栈，brtrue.s从堆栈中读取。

这样做的目的是什么？难道这不能简单地缩写为cgt后跟brtrue.s吗？

Answer 1

尝试使用优化进行编译。

Answer 2

这是一个调试版本（来自nop）。所有的赌注都已关闭，但看起来它只是简单地引入了一个bool变量：

    goto testforexit;
body:
    ..
testforexit:
    bool tmp = memory[pointer] > 0;
    if(tmp) goto body;

在启用了优化的版本中构建，应该删除这些变量。

在IL中循环 - 为什么stloc.0和ldloc.0？

2 个答案: