Я пытаюсь понять, как цикл while выглядит в IL. Я написал эту функцию 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.
Чего я не понимаю, так это локального [0] и stloc.0 / ldloc.0. Насколько я понимаю, cgt помещает результат в стек, stloc.0 возвращает результат из стека в локальную переменную, ldloc.0 снова возвращает результат в стек, а brtrue.s читает из стека. *
Какова цель сделать это? Разве это не может быть сокращено до cgt, за которым следует brtrue.s?