Runtime: JIT: boxing(x) == boxing(y)를 false로 최적화합니다.

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

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

Test 에 대한 Codegen:

; 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 정수
+--* BOX 참조
| --* 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 참조). .

카테고리:cq
테마:최적화
기술 수준:중급
비용:중간