Runtime: JIT: оптимизировать бокс (x) == бокс (y) до false.

static bool Generic<T1, T2>(T1 a, T2 b)
{
    return (object)a == (object)b;
}

static bool Test()
{
    return Generic(42, 3.14);
}

Codegen для Test :

; Method Program:Test():bool
G_M11853_IG01:
       push     rsi
       sub      rsp, 32
       vzeroupper 
G_M11853_IG02:
       mov      rcx, 0xD1FFAB1E
       call     CORINFO_HELP_NEWSFAST
       mov      rsi, rax
       mov      dword ptr [rsi+8], 42
       mov      rcx, 0xD1FFAB1E
       call     CORINFO_HELP_NEWSFAST
       vmovsd   xmm0, qword ptr [reloc @RWD00]
       vmovsd   qword ptr [rax+8], xmm0
       cmp      rsi, rax
       sete     al
       movzx    rax, al
G_M11853_IG03:
       add      rsp, 32
       pop      rsi
       ret      
RWD00  dq   40091EB851EB851Fh

```
--* EQ\NE целое
+--* КОРОБКА ref
| --* LCL_VAR ссылка V03 tmp1
--* КОРОБКА №
--* LCL_VAR ссылка V04 tmp2

Expected codegen:
```asm
; Method Program:Test():bool
       xor      eax, eax  ; return false 
       ret     

Однако не уверен, что люди действительно используют этот шаблон. Но должно быть простое исправление, потому что CoreCLR уже оптимизирует бокс для подобных случаев (например, boxing(x) == null до false и т. д., см. https://github.com/mono/mono/issues/17858 для ссылок) .

категория:кк
тема:оптимизация
уровень мастерства: средний
стоимость:средняя