Estaba tratando de ver cómo Roslyn optimiza el siguiente fragmento:
código
public int F(int n) { ++n; ++n; ++n; ++n; return n; }Asm
CF(Int32) L0000: inc edx L0002: inc edx L0004: inc edx L0006: inc edx L0008: mov eax, edx L000a: ret ¿Por qué Roslyn no lo optimiza como un compilador de C anticipado como MSVC? 4 x INC es más lento (latencia de 4 ciclos frente a 1, incluso suponiendo eliminación de movimiento, y 4 uops más de las necesarias para el rendimiento; https://agner.org/optimize/ ).
C "equivalente" de ella:
int f(void *dummy_this, int n) { ++n; ++n; ++n; ++n; return n; } asm de MSVC o GCC con __attribute__((ms_abi)) para usar la misma convención de llamadas de Windows x64 que C# asm: https://godbolt.org/z/sK6h7KKcn
f: lea eax, [rdx+4] retEl compilador optimiza. Sin embargo, n es un parámetro, por lo que no se puede modificar. El compilador JIT debe modificar una copia del valor del parámetro.
Si el valor se asigna a una variable antes de incrementar, el compilador de Roslyn eliminará los incrementos. De este fragmento de Sharplab.io , este código C#:
public int F(int i) { var n=i; ++n; ++n; ++n; ++n; return n; }será traducido a
public int F(int i) { return i + 1 + 1 + 1 + 1; }Y eventualmente compilado a este código ensamblador:
CF(Int32) L0000: lea eax, [edx+4] L0003: ret