Блог

Будет ли следующий пустой if-блок оптимизирован?

 public class C 
{
    private bool foo = false;
    
    public void M() 
    {
        if(foo) {}
    }
}
 

SharpLab (master 5 декабря 2020 года, выпуск) указывает, что компилятор не оптимизирует if-блок:

 .method public hidebysig instance void M () cil managed 
{
    .maxstack 8

    IL_0000: ldarg.0
    IL_0001: ldfld bool C::foo
    IL_0006: pop
    IL_0007: ret
}
 

Должен ли компилятор не видеть, что ldfld followed by pop не имеет никакого эффекта, и три инструкции ( ldarg.0 тоже) не нужно отправлять?

Я не могу думать о возможных побочных эффектах, которые могли бы возникнуть при отсутствии излучения ldfld (как это может быть при вызове метода внутри if-блока).

Кроме того, JIT ASM, который генерирует SharpLab, также, похоже, не оптимизирует пустой if-блок:

 C.M()
    L0000: movzx eax, byte ptr [ecx 4]
    L0004: ret
 

Правильно ли я понимаю, что JIT все равно оптимизирует пустой if-блок?

• Если да, не могли бы вы, пожалуйста, объяснить, почему компилятор не может этого сделать?
• Если нет, то почему это не так?

Заранее благодарю вас!

Кроме того, JIT ASM, который генерирует SharpLab, также, похоже, не оптимизирует пустой if-блок:

 C.M()
    L0000: movzx eax, byte ptr [ecx 4]
    L0004: ret
 

Фактический if блок был оптимизирован, если бы он существовал, он выглядел бы сравнимо с этим:

 C.M()
    L0000: movzx eax, byte ptr [ecx 4]
    L0004: test eax, eax
    L0006: je short L0008
    L0008: ret
 

Но этого не произошло, JIT-компилятор, по-видимому, понял, что это будет бесполезно.

Все еще существует только загрузка логического поля.