[JitDiff X64] [EgorBo] JIT: Fold redundant CHKCAST through VN-to-handle asse ...

[MihuBot]

Job completed in 2 minutes 25 seconds (remote runner delay: 0 seconds).
dotnet/runtime#127956

Main commit: dotnet/runtime@0fc4413
PR commit: EgorBo/runtime-1@628ad07

Diffs

Found 86 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46155607
Total bytes of diff: 46155312
Total bytes of delta: -295 (-0.00 % of base)
Total relative delta: -0.55
    diff is an improvement.
    relative diff is an improvement.


Top file improvements (bytes):
        -111 : System.Text.Json.dasm (-0.01 % of base)
        -105 : System.Private.CoreLib.dasm (-0.00 % of base)
         -79 : System.Data.Common.dasm (-0.00 % of base)

3 total files with Code Size differences (3 improved, 0 regressed), 257 unchanged.

Top method improvements (bytes):
        -105 (-13.89 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.Marshalling.ComVariant:As[System.__Canon]():System.__Canon:this (FullOpts)
         -79 (-0.42 % of base) : System.Data.Common.dasm - System.Data.BinaryNode:EvalBinaryOp(int,System.Data.ExpressionNode,System.Data.ExpressionNode,System.Data.DataRow,int,int[]):System.Object:this (FullOpts)
         -41 (-6.59 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValueOfJsonString:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
         -35 (-16.43 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValueOfJsonBool:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
         -35 (-17.33 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValueOfJsonNumber:TryGetValue[System.__Canon](byref):bool:this (FullOpts)

Top method improvements (percentages):
         -35 (-17.33 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValueOfJsonNumber:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
         -35 (-16.43 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValueOfJsonBool:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
        -105 (-13.89 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.Marshalling.ComVariant:As[System.__Canon]():System.__Canon:this (FullOpts)
         -41 (-6.59 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValueOfJsonString:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
         -79 (-0.42 % of base) : System.Data.Common.dasm - System.Data.BinaryNode:EvalBinaryOp(int,System.Data.ExpressionNode,System.Data.ExpressionNode,System.Data.DataRow,int,int[]):System.Object:this (FullOpts)

5 total methods with Code Size differences (5 improved, 0 regressed), 286910 unchanged.

--------------------------------------------------------------------------------

Artifacts:

• diff-frameworks.txt (2 KB)
• ShortDiffsImprovements.md (50 KB)
• LongDiffsImprovements.md (414 KB)
• jit-diffs-main.zip (158 MB)
• jit-diffs-pr.zip (158 MB)

[MihuBot]

Top method improvements

-105 (-13.89 % of base) - System.Runtime.InteropServices.Marshalling.ComVariant:As[System.__Canon]():System.__Canon:this

 ; Assembly listing for method System.Runtime.InteropServices.Marshalling.ComVariant:As[System.__Canon]():System.__Canon:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 7 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T01] ( 12,  5.75)   byref  ->  rbx         this single-def
+;  V00 this         [V00,T00] ( 12,  7.50)   byref  ->  rbx         this single-def
 ;  V01 TypeCtx      [V01,T02] (  4,  3.50)    long  ->  rsi         single-def
 ;* V02 loc0         [V02    ] (  0,  0   )     ref  ->  zero-ref    ld-addr-op class-hnd <System.__Canon>
 ;* V03 loc1         [V03    ] (  0,  0   )  struct (24) zero-ref    do-not-enreg[S] ld-addr-op <System.Runtime.InteropServices.Marshalling.ComVariant>
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V05 tmp1         [V05,T26] (  3,  0   )     ref  ->  rbx         class-hnd exact single-def "NewObj constructor temp" <System.ArgumentException>
-;  V06 tmp2         [V06,T14] (  3,  1.50)     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
-;  V07 tmp3         [V07,T11] (  4,  1.75)     ref  ->  rax         class-hnd exact single-def "NewObj constructor temp" <System.Runtime.InteropServices.ErrorWrapper>
-;  V08 tmp4         [V08,T05] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
-;  V09 tmp5         [V09,T15] (  3,  1.50)     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
-;  V10 tmp6         [V10,T12] (  4,  1.75)     ref  ->  r14         class-hnd exact single-def "NewObj constructor temp" <System.Runtime.InteropServices.BStrWrapper>
-;  V11 tmp7         [V11,T16] (  3,  1.50)     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
-;  V12 tmp8         [V12,T13] (  4,  1.75)     ref  ->  r14         class-hnd exact single-def "NewObj constructor temp" <System.Runtime.InteropServices.CurrencyWrapper>
-;  V13 tmp9         [V13,T25] (  2,  1   )  struct (16) [rbp-0x30]  do-not-enreg[SRM] multireg-ret multireg-dest "spilled call-like call argument" <System.Decimal>
-;  V14 tmp10        [V14,T17] (  3,  1.50)     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
+;  V05 tmp1         [V05,T18] (  3,  0   )     ref  ->  rbx         class-hnd exact single-def "NewObj constructor temp" <System.ArgumentException>
+;  V06 tmp2         [V06,T05] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
+;  V07 tmp3         [V07,T06] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "NewObj constructor temp" <System.Runtime.InteropServices.ErrorWrapper>
+;  V08 tmp4         [V08,T07] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
+;  V09 tmp5         [V09,T08] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
+;  V10 tmp6         [V10,T09] (  3,  3   )     ref  ->  r15         class-hnd exact single-def "NewObj constructor temp" <System.Runtime.InteropServices.BStrWrapper>
+;  V11 tmp7         [V11,T10] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
+;  V12 tmp8         [V12,T11] (  3,  3   )     ref  ->  r15         class-hnd exact single-def "NewObj constructor temp" <System.Runtime.InteropServices.CurrencyWrapper>
+;  V13 tmp9         [V13,T15] (  2,  2   )  struct (16) [rbp-0x28]  do-not-enreg[SRM] multireg-ret multireg-dest "spilled call-like call argument" <System.Decimal>
+;  V14 tmp10        [V14,T12] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "NewArr temp" <int[]>
 ;* V15 tmp11        [V15    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.String>
 ;* V16 tmp12        [V16    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V17 tmp13        [V17,T00] (  7,  8   )     ref  ->  rax         "Single return block return value"
-;  V18 tmp14        [V18,T27] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
-;  V19 tmp15        [V19,T10] (  3,  2.25)     ref  ->  rax         single-def "argument with side effect"
-;  V20 cse0         [V20,T03] ( 11,  4.25)    long  ->  r15         "CSE #02: aggressive"
-;  V21 cse1         [V21,T18] (  3,  1.50)    long  ->  rdi         "CSE #06: moderate"
-;  V22 rat0         [V22,T19] (  3,  1.25)     ref  ->  rsi         "Spilling to split statement for tree"
-;  V23 rat1         [V23,T06] (  4,  2.25)     ref  ->  rax         "replacement local"
-;  V24 rat2         [V24,T20] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
-;  V25 rat3         [V25,T07] (  4,  2.25)     ref  ->  rax         "replacement local"
-;  V26 rat4         [V26,T21] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
-;  V27 rat5         [V27,T08] (  4,  2.25)     ref  ->  rax         "replacement local"
-;  V28 rat6         [V28,T22] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
-;  V29 rat7         [V29,T04] (  5,  3.75)     ref  ->  registers   "replacement local"
-;  V30 rat8         [V30,T23] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
-;  V31 rat9         [V31,T09] (  4,  2.25)     ref  ->  registers   "replacement local"
-;  V32 rat10        [V32,T24] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
+;  V17 tmp13        [V17,T01] (  7,  8   )     ref  ->  rax         "Single return block return value"
+;  V18 tmp14        [V18,T19] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
+;  V19 tmp15        [V19,T13] (  3,  2.25)     ref  ->  rax         single-def "argument with side effect"
+;  V20 cse0         [V20,T04] (  7,  3.25)    long  ->  r15         "CSE #02: aggressive"
+;  V21 cse1         [V21,T16] (  3,  1.50)    long  ->  rdi         "CSE #06: moderate"
+;  V22 rat0         [V22,T14] (  2,  2   )     ref  ->  rax         "fgMakeTemp is creating a new local variable"
+;  V23 rat1         [V23,T03] (  5,  3.75)     ref  ->  registers   "replacement local"
+;  V24 rat2         [V24,T17] (  3,  1.25)    long  ->  r15         "CSE for expectedClsNode"
 ;
-; Lcl frame size = 24
+; Lcl frame size = 32
 
 G_M31085_IG01:
        push     rbp
        push     r15
-       push     r14
        push     rbx
-       sub      rsp, 24
+       sub      rsp, 32
        lea      rbp, [rsp+0x30]
-       mov      qword ptr [rbp-0x20], rsi
+       mov      qword ptr [rbp-0x18], rsi
        mov      rbx, rdi
-						;; size=22 bbWeight=1 PerfScore 6.00
+						;; size=20 bbWeight=1 PerfScore 5.00
 G_M31085_IG02:
        cmp      word  ptr [rbx], 0
-       je       G_M31085_IG20
+       je       G_M31085_IG11
 						;; size=10 bbWeight=1 PerfScore 3.00
 G_M31085_IG03:
        mov      rdi, qword ptr [rsi+0x18]
        mov      r15, qword ptr [rdi]
        mov      rdi, 0xD1FFAB1E      ; System.DBNull
        cmp      r15, rdi
-       je       G_M31085_IG17
+       je       G_M31085_IG10
        mov      rdi, 0xD1FFAB1E      ; System.Runtime.InteropServices.CurrencyWrapper
        cmp      r15, rdi
-       je       G_M31085_IG14
+       je       G_M31085_IG09
        mov      rdi, 0xD1FFAB1E      ; System.Runtime.InteropServices.BStrWrapper
        cmp      r15, rdi
-       je       G_M31085_IG11
+       je       G_M31085_IG08
        mov      rdi, 0xD1FFAB1E      ; System.String
        cmp      r15, rdi
-       je       SHORT G_M31085_IG07
+       je       SHORT G_M31085_IG04
        mov      rdi, 0xD1FFAB1E      ; System.Runtime.InteropServices.ErrorWrapper
        cmp      r15, rdi
-       jne      G_M31085_IG22
-						;; size=98 bbWeight=0.50 PerfScore 5.75
-G_M31085_IG04:
+       jne      G_M31085_IG13
        mov      rdi, 0xD1FFAB1E      ; int[]
        mov      esi, 1
        call     CORINFO_HELP_NEWARR_1_VC
        mov      dword ptr [rax+0x10], 10
        mov      rdi, rbx
        mov      rsi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        call     [rax]System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        mov      rdi, 0xD1FFAB1E      ; System.Runtime.InteropServices.ErrorWrapper
        call     CORINFO_HELP_NEWSFAST
        mov      edi, dword ptr [rbx+0x08]
        mov      dword ptr [rax+0x08], edi
-       mov      rcx, rax
-       mov      rdi, r15
-       cmp      qword ptr [rcx], rdi
-       je       SHORT G_M31085_IG06
-						;; size=77 bbWeight=0.25 PerfScore 3.50
-G_M31085_IG05:
-       mov      rsi, rax
-       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
-       call     [rax]CORINFO_HELP_CHKCASTANY
-       mov      rcx, rax
-						;; size=18 bbWeight=0.12 PerfScore 0.47
-G_M31085_IG06:
-       mov      rax, rcx
-       jmp      G_M31085_IG21
-						;; size=8 bbWeight=0.50 PerfScore 1.12
-G_M31085_IG07:
+       jmp      G_M31085_IG12
+						;; size=169 bbWeight=0.50 PerfScore 12.00
+G_M31085_IG04:
        mov      rdi, 0xD1FFAB1E      ; int[]
        mov      esi, 1
        call     CORINFO_HELP_NEWARR_1_VC
        mov      dword ptr [rax+0x10], 8
        mov      rdi, rbx
        mov      rsi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        call     [rax]System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        mov      rdi, qword ptr [rbx+0x08]
        test     rdi, rdi
-       je       G_M31085_IG20
+       je       G_M31085_IG11
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshal:PtrToStringBSTR(nint):System.String
        call     [rax]System.Runtime.InteropServices.Marshal:PtrToStringBSTR(nint):System.String
        mov      rcx, rax
        test     rcx, rcx
-       je       SHORT G_M31085_IG10
+       je       SHORT G_M31085_IG07
 						;; size=78 bbWeight=0.50 PerfScore 7.12
-G_M31085_IG08:
-       mov      rdi, r15
-       cmp      qword ptr [rcx], rdi
-       je       SHORT G_M31085_IG10
-						;; size=8 bbWeight=0.25 PerfScore 0.81
-G_M31085_IG09:
+G_M31085_IG05:
+       cmp      qword ptr [rcx], r15
+       je       SHORT G_M31085_IG07
+						;; size=5 bbWeight=0.25 PerfScore 0.75
+G_M31085_IG06:
        mov      rsi, rax
+       mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
        call     [rax]CORINFO_HELP_CHKCASTANY
        mov      rcx, rax
-						;; size=18 bbWeight=0.12 PerfScore 0.47
-G_M31085_IG10:
+						;; size=21 bbWeight=0.12 PerfScore 0.50
+G_M31085_IG07:
        mov      rax, rcx
-       jmp      G_M31085_IG21
+       jmp      G_M31085_IG12
 						;; size=8 bbWeight=0.50 PerfScore 1.12
-G_M31085_IG11:
+G_M31085_IG08:
        mov      rdi, 0xD1FFAB1E      ; int[]
        mov      esi, 1
        call     CORINFO_HELP_NEWARR_1_VC
        mov      dword ptr [rax+0x10], 8
        mov      rdi, rbx
        mov      rsi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        call     [rax]System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        mov      rdi, 0xD1FFAB1E      ; System.Runtime.InteropServices.BStrWrapper
        call     CORINFO_HELP_NEWSFAST
-       mov      r14, rax
+       mov      r15, rax
        mov      rdi, qword ptr [rbx+0x08]
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshal:PtrToStringBSTR(nint):System.String
        call     [rax]System.Runtime.InteropServices.Marshal:PtrToStringBSTR(nint):System.String
        mov      rsi, rax
-       lea      rdi, bword ptr [r14+0x08]
+       lea      rdi, bword ptr [r15+0x08]
        call     CORINFO_HELP_ASSIGN_REF
-       mov      rax, r14
-       mov      rdi, r15
-       cmp      qword ptr [rax], rdi
-       je       SHORT G_M31085_IG13
-						;; size=102 bbWeight=0.25 PerfScore 4.56
-G_M31085_IG12:
-       mov      rsi, r14
-       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
-       call     [rax]CORINFO_HELP_CHKCASTANY
-						;; size=15 bbWeight=0.12 PerfScore 0.44
-G_M31085_IG13:
-       jmp      G_M31085_IG21
-						;; size=5 bbWeight=0.50 PerfScore 1.00
-G_M31085_IG14:
+       mov      rax, r15
+       jmp      G_M31085_IG12
+						;; size=99 bbWeight=0.50 PerfScore 8.50
+G_M31085_IG09:
        mov      rdi, 0xD1FFAB1E      ; int[]
        mov      esi, 1
        call     CORINFO_HELP_NEWARR_1_VC
        mov      dword ptr [rax+0x10], 6
        mov      rdi, rbx
        mov      rsi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        call     [rax]System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        mov      rdi, 0xD1FFAB1E      ; System.Runtime.InteropServices.CurrencyWrapper
        call     CORINFO_HELP_NEWSFAST
-       mov      r14, rax
+       mov      r15, rax
        mov      rdi, qword ptr [rbx+0x08]
        mov      rax, 0xD1FFAB1E      ; code for System.Decimal:FromOACurrency(long):System.Decimal
        call     [rax]System.Decimal:FromOACurrency(long):System.Decimal
-       mov      qword ptr [rbp-0x30], rax
-       mov      qword ptr [rbp-0x28], rdx
-       vmovups  xmm0, xmmword ptr [rbp-0x30]
-       vmovups  xmmword ptr [r14+0x08], xmm0
-       mov      rax, r14
-       mov      rdi, r15
-       cmp      qword ptr [rax], rdi
-       je       SHORT G_M31085_IG16
-						;; size=109 bbWeight=0.25 PerfScore 5.12
-G_M31085_IG15:
-       mov      rsi, r14
-       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
-       call     [rax]CORINFO_HELP_CHKCASTANY
-						;; size=15 bbWeight=0.12 PerfScore 0.44
-G_M31085_IG16:
-       jmp      SHORT G_M31085_IG21
-						;; size=2 bbWeight=0.50 PerfScore 1.00
-G_M31085_IG17:
+       mov      qword ptr [rbp-0x28], rax
+       mov      qword ptr [rbp-0x20], rdx
+       vmovups  xmm0, xmmword ptr [rbp-0x28]
+       vmovups  xmmword ptr [r15+0x08], xmm0
+       mov      rax, r15
+       jmp      SHORT G_M31085_IG12
+						;; size=103 bbWeight=0.50 PerfScore 9.62
+G_M31085_IG10:
        mov      rdi, 0xD1FFAB1E      ; int[]
        mov      esi, 1
        call     CORINFO_HELP_NEWARR_1_VC
        mov      dword ptr [rax+0x10], 1
        mov      rdi, rbx
        mov      rsi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
        call     [rax]System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this
-       mov      rdi, 0xD1FFAB1E      ; const ptr
-       mov      rsi, gword ptr [rdi]
-       mov      rax, rsi
-       mov      rdi, r15
-       cmp      qword ptr [rax], rdi
-       je       SHORT G_M31085_IG19
-						;; size=69 bbWeight=0.25 PerfScore 3.00
-G_M31085_IG18:
-       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
-       call     [rax]CORINFO_HELP_CHKCASTANY
-						;; size=12 bbWeight=0.12 PerfScore 0.41
-G_M31085_IG19:
-       jmp      SHORT G_M31085_IG21
-						;; size=2 bbWeight=0.50 PerfScore 1.00
-G_M31085_IG20:
+       mov      rax, 0xD1FFAB1E      ; const ptr
+       mov      rax, gword ptr [rax]
+       jmp      SHORT G_M31085_IG12
+						;; size=60 bbWeight=0.50 PerfScore 5.25
+G_M31085_IG11:
        xor      rax, rax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
-G_M31085_IG21:
-       add      rsp, 24
+G_M31085_IG12:
+       add      rsp, 32
        pop      rbx
-       pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=11 bbWeight=1 PerfScore 3.25
-G_M31085_IG22:
+						;; size=9 bbWeight=1 PerfScore 2.75
+G_M31085_IG13:
        mov      rdi, 0xD1FFAB1E      ; System.ArgumentException
        call     CORINFO_HELP_NEWSFAST
        mov      rbx, rax
        mov      rax, 0xD1FFAB1E      ; code for System.SR:get_UnsupportedType():System.String
        call     [rax]System.SR:get_UnsupportedType():System.String
        mov      rsi, rax
        mov      rdi, rbx
        mov      rdx, 0xD1FFAB1E      ; 'T'
        mov      rax, 0xD1FFAB1E      ; code for System.ArgumentException:.ctor(System.String,System.String):this
        call     [rax]System.ArgumentException:.ctor(System.String,System.String):this
        mov      rdi, rbx
        call     CORINFO_HELP_THROW
        int3     
 						;; size=67 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 756, prolog size 19, PerfScore 49.72, instruction count 162, allocated bytes for code 756 (MethodHash=cee38692) for method System.Runtime.InteropServices.Marshalling.ComVariant:As[System.__Canon]():System.__Canon:this (FullOpts)
+; Total bytes of code 651, prolog size 17, PerfScore 55.75, instruction count 133, allocated bytes for code 651 (MethodHash=cee38692) for method System.Runtime.InteropServices.Marshalling.ComVariant:As[System.__Canon]():System.__Canon:this (FullOpts)
 ; ============================================================

-41 (-6.59 % of base) - System.Text.Json.Nodes.JsonValueOfJsonString:TryGetValue[System.__Canon](byref):bool:this

 ; Assembly listing for method System.Text.Json.Nodes.JsonValueOfJsonString:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 8 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T03] (  4,  3   )     ref  ->  rdi         this class-hnd single-def <System.Text.Json.Nodes.JsonValueOfJsonString>
 ;  V01 TypeCtx      [V01,T00] (  6,  4.60)    long  ->  rbx         single-def
 ;  V02 arg1         [V02,T01] (  5,  3.50)   byref  ->  r15         single-def
 ;* V03 loc0         [V03    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact <System.String>
 ;* V04 loc1         [V04    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op <System.DateTime>
 ;* V05 loc2         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.DateTimeOffset>
 ;* V06 loc3         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Guid>
 ;* V07 loc4         [V07    ] (  0,  0   )     ref  ->  zero-ref    class-hnd <System.String>
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V10 tmp2         [V10,T25] (  2,  2   )    long  ->  rdi         "spilling helperCall"
+;  V10 tmp2         [V10,T26] (  2,  2   )    long  ->  rdi         "spilling helperCall"
 ;  V11 tmp3         [V11,T22] (  2,  2   )     ref  ->  rdx         class-hnd exact single-def "dup spill" <System.Text.Json.JsonWriterHelper+WriteCallback`1[System.Text.Json.JsonElement]>
 ;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
 ;* V13 tmp5         [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def
 ;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;  V15 tmp7         [V15,T26] (  4,  1.75)     ref  ->  rdx        
+;  V15 tmp7         [V15,T19] (  4,  2   )     ref  ->  rdx        
 ;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    multireg-ret multireg-dest "Return value temp for multireg return" <System.Text.Json.JsonElement>
-;  V17 tmp9         [V17,T19] (  4,  2   )     ref  ->  r12         class-hnd exact single-def "Single-def Box Helper" <System.Text.Json.JsonElement>
+;  V17 tmp9         [V17,T04] (  4,  4   )     ref  ->  r13         class-hnd exact single-def "Single-def Box Helper" <System.Text.Json.JsonElement>
 ;* V18 tmp10        [V18,T39] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;  V19 tmp11        [V19,T02] (  5,  5   )     ref  ->  r12         class-hnd exact single-def "NewObj constructor temp" <System.Text.Json.JsonWriterHelper+WriteCallback`1[System.Text.Json.JsonElement]>
+;  V19 tmp11        [V19,T02] (  5,  5   )     ref  ->  r14         class-hnd exact single-def "NewObj constructor temp" <System.Text.Json.JsonWriterHelper+WriteCallback`1[System.Text.Json.JsonElement]>
 ;* V20 tmp12        [V20    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;  V21 tmp13        [V21,T15] (  6,  2.75)   byref  ->  r13         "Inline stloc first use temp"
-;  V22 tmp14        [V22,T16] (  6,  2.75)     int  ->  [rbp-0x34]  "Inline stloc first use temp"
-;  V23 tmp15        [V23,T04] (  4,  4   )   byref  ->  r12         single-def "Inlining Arg"
-;  V24 tmp16        [V24,T07] (  6,  3   )     ref  ->  rdi         class-hnd single-def "Inline stloc first use temp" <System.Object>
+;  V21 tmp13        [V21,T08] (  6,  3   )   byref  ->  r12         "Inline stloc first use temp"
+;  V22 tmp14        [V22,T12] (  6,  3   )     int  ->  r13         "Inline stloc first use temp"
+;  V23 tmp15        [V23,T05] (  4,  4   )   byref  ->  r14         single-def "Inlining Arg"
+;  V24 tmp16        [V24,T09] (  6,  3   )     ref  ->  rdi         class-hnd single-def "Inline stloc first use temp" <System.Object>
 ;* V25 tmp17        [V25    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V26 tmp18        [V26    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "updating class info" <System.Buffers.MemoryManager`1[byte]>
 ;* V27 tmp19        [V27    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBRM] multireg-ret multireg-dest "Return value temp for multireg return" <System.Span`1[byte]>
 ;* V28 tmp20        [V28    ] (  0,  0   )  struct (16) zero-ref    multireg-ret multireg-dest ld-addr-op "Inline stloc first use temp" <System.Span`1[byte]>
 ;  V29 tmp21        [V29,T27] (  3,  1.50)    long  ->  rdi         "Inline stloc first use temp"
 ;  V30 tmp22        [V30,T28] (  3,  1.50)     int  ->  rsi         "Inline stloc first use temp"
 ;* V31 tmp23        [V31    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <byte[]>
 ;* V32 tmp24        [V32    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "updating class info" <byte[]>
 ;  V33 tmp25        [V33,T23] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
 ;* V34 tmp26        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V35 tmp27        [V35,T13] (  3,  3   )     ref  ->  rsi         class-hnd exact single-def "Inlining Arg" <System.Text.Json.Nodes.JsonValueOfJsonString+<>c__6`1[System.__Canon]>
+;  V35 tmp27        [V35,T15] (  3,  3   )     ref  ->  rsi         class-hnd exact single-def "Inlining Arg" <System.Text.Json.Nodes.JsonValueOfJsonString+<>c__6`1[System.__Canon]>
 ;* V36 tmp28        [V36    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[byte]>
-;  V37 tmp29        [V37,T08] (  6,  3   )   byref  ->  rdi         "Inline stloc first use temp"
-;  V38 tmp30        [V38,T10] (  6,  3   )     int  ->  rsi         "Inline stloc first use temp"
-;  V39 tmp31        [V39,T05] (  4,  4   )   byref  ->  rbx         single-def "Inlining Arg"
-;  V40 tmp32        [V40,T09] (  6,  3   )     ref  ->  rax         class-hnd single-def "Inline stloc first use temp" <System.Object>
+;  V37 tmp29        [V37,T10] (  6,  3   )   byref  ->  rdi         "Inline stloc first use temp"
+;  V38 tmp30        [V38,T13] (  6,  3   )     int  ->  rsi         "Inline stloc first use temp"
+;  V39 tmp31        [V39,T06] (  4,  4   )   byref  ->  rbx         single-def "Inlining Arg"
+;  V40 tmp32        [V40,T11] (  6,  3   )     ref  ->  rax         class-hnd single-def "Inline stloc first use temp" <System.Object>
 ;* V41 tmp33        [V41    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V42 tmp34        [V42    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "updating class info" <System.Buffers.MemoryManager`1[byte]>
 ;* V43 tmp35        [V43    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBRM] multireg-ret multireg-dest "Return value temp for multireg return" <System.Span`1[byte]>
 ;* V44 tmp36        [V44    ] (  0,  0   )  struct (16) zero-ref    multireg-ret multireg-dest ld-addr-op "Inline stloc first use temp" <System.Span`1[byte]>
 ;  V45 tmp37        [V45,T29] (  3,  1.50)    long  ->  rax         "Inline stloc first use temp"
 ;  V46 tmp38        [V46,T30] (  3,  1.50)     int  ->  rcx         "Inline stloc first use temp"
 ;* V47 tmp39        [V47    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <byte[]>
 ;* V48 tmp40        [V48    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "updating class info" <byte[]>
 ;  V49 tmp41        [V49,T24] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
 ;* V50 tmp42        [V50    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V51 tmp43        [V51    ] (  0,  0   )    long  ->  zero-ref    "field V04._dateData (fldOffset=0x0)" P-INDEP
 ;* V52 tmp44        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V05._offsetMinutes (fldOffset=0x0)" P-INDEP
 ;* V53 tmp45        [V53    ] (  0,  0   )    long  ->  zero-ref    "field V05._dateTime (fldOffset=0x8)" P-INDEP
 ;* V54 tmp46        [V54    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
 ;* V55 tmp47        [V55    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;* V56 tmp48        [V56    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
 ;* V57 tmp49        [V57    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
 ;* V58 tmp50        [V58    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
 ;* V59 tmp51        [V59    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;  V60 tmp52        [V60,T40] (  2,  0.50)     ref  ->  rbx         "field V16._parent (fldOffset=0x0)" P-INDEP
-;  V61 tmp53        [V61,T41] (  2,  0.50)     int  ->  r13         "field V16._idx (fldOffset=0x8)" P-INDEP
+;  V60 tmp52        [V60,T33] (  2,  1   )     ref  ->  rbx         "field V16._parent (fldOffset=0x0)" P-INDEP
+;  V61 tmp53        [V61,T36] (  2,  1   )     int  ->  r14         "field V16._idx (fldOffset=0x8)" P-INDEP
 ;* V62 tmp54        [V62    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
 ;* V63 tmp55        [V63    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
 ;* V64 tmp56        [V64    ] (  0,  0   )   byref  ->  zero-ref    "field V27._reference (fldOffset=0x0)" P-DEP
 ;* V65 tmp57        [V65    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-DEP
-;  V66 tmp58        [V66,T35] (  2,  1   )   byref  ->  r13         "field V28._reference (fldOffset=0x0)" P-INDEP
-;  V67 tmp59        [V67,T37] (  2,  1   )     int  ->  rax         "field V28._length (fldOffset=0x8)" P-INDEP
+;  V66 tmp58        [V66,T34] (  2,  1   )   byref  ->  r12         "field V28._reference (fldOffset=0x0)" P-INDEP
+;  V67 tmp59        [V67,T37] (  2,  1   )     int  ->  r13         "field V28._length (fldOffset=0x8)" P-INDEP
 ;* V68 tmp60        [V68    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
 ;* V69 tmp61        [V69    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
 ;* V70 tmp62        [V70    ] (  0,  0   )   byref  ->  zero-ref    "field V36._reference (fldOffset=0x0)" P-INDEP
 ;* V71 tmp63        [V71    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
 ;* V72 tmp64        [V72    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
 ;* V73 tmp65        [V73    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
 ;* V74 tmp66        [V74    ] (  0,  0   )   byref  ->  zero-ref    "field V43._reference (fldOffset=0x0)" P-DEP
 ;* V75 tmp67        [V75    ] (  0,  0   )     int  ->  zero-ref    "field V43._length (fldOffset=0x8)" P-DEP
-;  V76 tmp68        [V76,T36] (  2,  1   )   byref  ->  rdi         "field V44._reference (fldOffset=0x0)" P-INDEP
+;  V76 tmp68        [V76,T35] (  2,  1   )   byref  ->  rdi         "field V44._reference (fldOffset=0x0)" P-INDEP
 ;  V77 tmp69        [V77,T38] (  2,  1   )     int  ->  rsi         "field V44._length (fldOffset=0x8)" P-INDEP
 ;* V78 tmp70        [V78    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
 ;* V79 tmp71        [V79    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
 ;  V80 tmp72        [V80,T18] (  3,  2.25)     ref  ->  rax         single-def "argument with side effect"
 ;  V81 cse0         [V81,T31] (  2,  1   )    long  ->  rdi         "CSE #02: moderate"
 ;  V82 cse1         [V82,T20] (  4,  2   )   byref  ->  rbx         "CSE #03: moderate"
-;  V83 cse2         [V83,T12] (  5,  3   )    long  ->  r14         "CSE #05: moderate"
-;  V84 cse3         [V84,T11] (  6,  3   )    long  ->  r13         multi-def "CSE #01: moderate"
-;  V85 rat0         [V85,T32] (  3,  1.25)     ref  ->  rsi         "Spilling to split statement for tree"
-;  V86 rat1         [V86,T17] (  4,  2.25)     ref  ->  rax         "replacement local"
-;  V87 rat2         [V87,T33] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
-;  V88 rat3         [V88,T06] (  5,  3.75)     ref  ->  rsi         "replacement local"
-;  V89 rat4         [V89,T34] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
-;  V90 rat5         [V90,T21] (  3,  2   )    long  ->  rdi         "runtime lookup"
-;  V91 rat6         [V91,T14] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
+;  V83 cse2         [V83,T17] (  4,  2.75)    long  ->  r14         "CSE #05: moderate"
+;  V84 cse3         [V84,T14] (  6,  3   )    long  ->  r13         multi-def "CSE #01: moderate"
+;  V85 rat0         [V85,T25] (  2,  2   )     ref  ->  rsi         "fgMakeTemp is creating a new local variable"
+;  V86 rat1         [V86,T07] (  5,  3.75)     ref  ->  rsi         "replacement local"
+;  V87 rat2         [V87,T32] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
+;  V88 rat3         [V88,T21] (  3,  2   )    long  ->  rdi         "runtime lookup"
+;  V89 rat4         [V89,T16] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
 ;
-; Lcl frame size = 24
+; Lcl frame size = 8
 
 G_M36869_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
-       sub      rsp, 24
-       lea      rbp, [rsp+0x40]
+       push     rax
+       lea      rbp, [rsp+0x30]
        mov      qword ptr [rbp-0x30], rsi
        mov      rbx, rsi
        mov      r15, rdx
-						;; size=29 bbWeight=1 PerfScore 8.25
+						;; size=26 bbWeight=1 PerfScore 9.00
 G_M36869_IG02:
        mov      rax, qword ptr [rbx+0x18]
        mov      r14, qword ptr [rax]
        mov      rax, 0xD1FFAB1E      ; System.Object
        cmp      r14, rax
        je       G_M36869_IG12
 						;; size=26 bbWeight=1 PerfScore 5.50
 G_M36869_IG03:
        mov      rax, 0xD1FFAB1E      ; System.String
        cmp      r14, rax
        je       SHORT G_M36869_IG05
        xor      rax, rax
        mov      gword ptr [r15], rax
 						;; size=20 bbWeight=0.50 PerfScore 1.38
 G_M36869_IG04:
-       add      rsp, 24
+       add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M36869_IG05:
        lea      rbx, bword ptr [rdi+0x18]
        xor      rdi, rdi
        xor      esi, esi
        mov      rax, gword ptr [rbx]
        test     rax, rax
        je       SHORT G_M36869_IG08
        mov      r13, qword ptr [rax]
        mov      rdi, r13
        test     dword ptr [rdi], 0xD1FFAB1E
        jne      SHORT G_M36869_IG06
        mov      rdi, rax
        mov      rax, qword ptr [r13+0x40]
        call     [rax+0x28]System.Buffers.MemoryManager`1[byte]:GetSpan():System.Span`1[byte]:this
        mov      rdi, rax
        mov      esi, edx
        jmp      SHORT G_M36869_IG07
 						;; size=47 bbWeight=0.50 PerfScore 8.62
 G_M36869_IG06:
        lea      rdi, bword ptr [rax+0x10]
        mov      esi, dword ptr [rax+0x08]
 						;; size=7 bbWeight=0.50 PerfScore 1.25
 G_M36869_IG07:
        mov      eax, dword ptr [rbx+0x08]
        and      eax, 0xD1FFAB1E
        mov      ecx, dword ptr [rbx+0x0C]
        mov      edx, ecx
        add      rdx, rax
        mov      esi, esi
        cmp      rdx, rsi
-       ja       G_M36869_IG25
+       ja       G_M36869_IG22
        add      rdi, rax
        mov      esi, ecx
 						;; size=32 bbWeight=0.50 PerfScore 3.38
 G_M36869_IG08:
        mov      rax, 0xD1FFAB1E      ; code for System.Text.Json.JsonReaderHelper:TranscodeHelper(System.ReadOnlySpan`1[byte]):System.String
        call     [rax]System.Text.Json.JsonReaderHelper:TranscodeHelper(System.ReadOnlySpan`1[byte]):System.String
        mov      rsi, rax
        test     rsi, rsi
        je       SHORT G_M36869_IG11
 						;; size=20 bbWeight=0.50 PerfScore 2.38
 G_M36869_IG09:
        mov      rdi, r14
        cmp      qword ptr [rsi], rdi
        je       SHORT G_M36869_IG11
 						;; size=8 bbWeight=0.25 PerfScore 0.81
 G_M36869_IG10:
        mov      rsi, rax
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
        call     [rax]CORINFO_HELP_CHKCASTANY
        mov      rsi, rax
 						;; size=18 bbWeight=0.12 PerfScore 0.47
 G_M36869_IG11:
        mov      rdi, r15
        call     CORINFO_HELP_CHECKED_ASSIGN_REF
-       jmp      G_M36869_IG21
+       jmp      G_M36869_IG18
 						;; size=13 bbWeight=0.50 PerfScore 1.62
 G_M36869_IG12:
-       lea      r12, bword ptr [rdi+0x18]
-       xor      r13, r13
-       xor      eax, eax
-       mov      rdi, gword ptr [r12]
+       lea      r14, bword ptr [rdi+0x18]
+       xor      r12, r12
+       xor      r13d, r13d
+       mov      rdi, gword ptr [r14]
        test     rdi, rdi
        je       SHORT G_M36869_IG15
        mov      r13, qword ptr [rdi]
        mov      rax, r13
        test     dword ptr [rax], 0xD1FFAB1E
        jne      SHORT G_M36869_IG13
        mov      rax, qword ptr [r13+0x40]
        call     [rax+0x28]System.Buffers.MemoryManager`1[byte]:GetSpan():System.Span`1[byte]:this
-       mov      r13, rax
-       mov      eax, edx
+       mov      r12, rax
+       mov      r13d, edx
        jmp      SHORT G_M36869_IG14
-						;; size=46 bbWeight=0.50 PerfScore 8.50
+						;; size=47 bbWeight=0.50 PerfScore 8.50
 G_M36869_IG13:
-       lea      r13, bword ptr [rdi+0x10]
-       mov      eax, dword ptr [rdi+0x08]
-						;; size=7 bbWeight=0.50 PerfScore 1.25
+       lea      r12, bword ptr [rdi+0x10]
+       mov      r13d, dword ptr [rdi+0x08]
+						;; size=8 bbWeight=0.50 PerfScore 1.25
 G_M36869_IG14:
-       mov      edi, dword ptr [r12+0x08]
+       mov      edi, dword ptr [r14+0x08]
        and      edi, 0xD1FFAB1E
-       mov      esi, dword ptr [r12+0x0C]
-       mov      ecx, esi
-       add      rcx, rdi
-       mov      eax, eax
-       cmp      rcx, rax
-       ja       G_M36869_IG25
-       add      r13, rdi
-       mov      dword ptr [rbp-0x34], esi
-       mov      eax, dword ptr [rbp-0x34]
-						;; size=41 bbWeight=0.50 PerfScore 4.25
+       mov      esi, dword ptr [r14+0x0C]
+       mov      eax, esi
+       add      rax, rdi
+       mov      ecx, r13d
+       cmp      rax, rcx
+       ja       G_M36869_IG22
+       add      r12, rdi
+       mov      r13d, esi
+						;; size=37 bbWeight=0.50 PerfScore 3.38
 G_M36869_IG15:
        mov      rdi, qword ptr [rbx+0x18]
        mov      rdi, qword ptr [rdi+0x10]
        test     rdi, rdi
-       je       G_M36869_IG23
+       je       G_M36869_IG20
 						;; size=17 bbWeight=0.50 PerfScore 2.62
 G_M36869_IG16:
-       mov      dword ptr [rbp-0x34], eax
-						;; size=3 bbWeight=0.40 PerfScore 0.40
-G_M36869_IG17:
-       mov      rcx, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
-       call     [rcx]CORINFO_HELP_GET_GCSTATIC_BASE
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
+       call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
        mov      rbx, rax
        mov      rdx, gword ptr [rbx+0x08]
        test     rdx, rdx
-       jne      SHORT G_M36869_IG18
+       jne      SHORT G_M36869_IG17
        mov      rdi, 0xD1FFAB1E      ; System.Text.Json.JsonWriterHelper+WriteCallback`1[System.Text.Json.JsonElement]
        call     CORINFO_HELP_NEWSFAST
-       mov      r12, rax
+       mov      r14, rax
        mov      rsi, gword ptr [rbx]
        test     rsi, rsi
-       je       G_M36869_IG24
-       lea      rdi, bword ptr [r12+0x08]
+       je       G_M36869_IG21
+       lea      rdi, bword ptr [r14+0x08]
        call     CORINFO_HELP_ASSIGN_REF
        mov      rdi, 0xD1FFAB1E      ; code for System.Text.Json.Nodes.JsonValueOfJsonString+<>c__6`1[System.__Canon]:<TryGetValue>b__6_0(System.ReadOnlySpan`1[byte]):System.Text.Json.JsonElement:this
-       mov      qword ptr [r12+0x18], rdi
+       mov      qword ptr [r14+0x18], rdi
        lea      rdi, bword ptr [rbx+0x08]
-       mov      rsi, r12
+       mov      rsi, r14
        call     CORINFO_HELP_ASSIGN_REF
-       mov      rdx, r12
-						;; size=94 bbWeight=0.50 PerfScore 8.12
-G_M36869_IG18:
-       mov      rdi, r13
-       mov      esi, dword ptr [rbp-0x34]
+       mov      rdx, r14
+						;; size=92 bbWeight=0.50 PerfScore 8.12
+G_M36869_IG17:
+       mov      rdi, r12
+       mov      esi, r13d
        mov      rax, 0xD1FFAB1E      ; code for System.Text.Json.JsonWriterHelper:WriteString[System.Text.Json.JsonElement](System.ReadOnlySpan`1[byte],System.Text.Json.JsonWriterHelper+WriteCallback`1[System.Text.Json.JsonElement]):System.Text.Json.JsonElement
        call     [rax]System.Text.Json.JsonWriterHelper:WriteString[System.Text.Json.JsonElement](System.ReadOnlySpan`1[byte],System.Text.Json.JsonWriterHelper+WriteCallback`1[System.Text.Json.JsonElement]):System.Text.Json.JsonElement
        mov      rbx, rax
-       mov      r13d, edx
+       mov      r14d, edx
        mov      rdi, 0xD1FFAB1E      ; System.Text.Json.JsonElement
        call     CORINFO_HELP_NEWSFAST
-       mov      r12, rax
-       lea      rdi, bword ptr [r12+0x08]
+       mov      r13, rax
+       lea      rdi, bword ptr [r13+0x08]
        mov      rsi, rbx
        call     CORINFO_HELP_ASSIGN_REF
-       mov      dword ptr [r12+0x10], r13d
-       mov      rsi, r12
-       mov      rax, rsi
-       mov      rdi, r14
-       cmp      qword ptr [rax], rdi
-       je       SHORT G_M36869_IG20
-						;; size=74 bbWeight=0.25 PerfScore 3.25
-G_M36869_IG19:
-       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
-       call     [rax]CORINFO_HELP_CHKCASTANY
-						;; size=12 bbWeight=0.12 PerfScore 0.41
-G_M36869_IG20:
+       mov      dword ptr [r13+0x10], r14d
+       mov      rsi, r13
        mov      rdi, r15
-       mov      rsi, rax
        call     CORINFO_HELP_CHECKED_ASSIGN_REF
-						;; size=11 bbWeight=0.50 PerfScore 0.75
-G_M36869_IG21:
+						;; size=69 bbWeight=0.50 PerfScore 5.00
+G_M36869_IG18:
        mov      eax, 1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
-G_M36869_IG22:
-       add      rsp, 24
+G_M36869_IG19:
+       add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
-G_M36869_IG23:
-       mov      dword ptr [rbp-0x34], eax
+G_M36869_IG20:
        mov      rdi, rbx
        mov      rsi, 0xD1FFAB1E      ; global ptr
-       mov      rcx, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       call     [rcx]CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      rdi, rax
-       jmp      G_M36869_IG17
-						;; size=36 bbWeight=0.10 PerfScore 0.70
-G_M36869_IG24:
+       jmp      G_M36869_IG16
+						;; size=33 bbWeight=0.10 PerfScore 0.60
+G_M36869_IG21:
        mov      rax, 0xD1FFAB1E      ; code for System.MulticastDelegate:ThrowNullThisInDelegateToInstance()
        call     [rax]System.MulticastDelegate:ThrowNullThisInDelegateToInstance()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M36869_IG25:
+G_M36869_IG22:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 622, prolog size 23, PerfScore 68.29, instruction count 170, allocated bytes for code 622 (MethodHash=fcfc6ffa) for method System.Text.Json.Nodes.JsonValueOfJsonString:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
+; Total bytes of code 581, prolog size 20, PerfScore 68.26, instruction count 160, allocated bytes for code 581 (MethodHash=fcfc6ffa) for method System.Text.Json.Nodes.JsonValueOfJsonString:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
 ; ============================================================

-35 (-16.43 % of base) - System.Text.Json.Nodes.JsonValueOfJsonBool:TryGetValue[System.__Canon](byref):bool:this

 ; Assembly listing for method System.Text.Json.Nodes.JsonValueOfJsonBool:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 5 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T02] (  3,  2.50)     ref  ->  rdi         this class-hnd single-def <System.Text.Json.Nodes.JsonValueOfJsonBool>
 ;  V01 TypeCtx      [V01,T00] (  4,  4   )    long  ->  rsi         single-def
 ;  V02 arg1         [V02,T01] (  4,  3   )   byref  ->  rbx         single-def
-;* V03 loc0         [V03,T11] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] ld-addr-op <System.Text.Json.JsonDocumentOptions>
+;* V03 loc0         [V03,T09] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] ld-addr-op <System.Text.Json.JsonDocumentOptions>
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def
 ;* V06 tmp2         [V06    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V07 tmp3         [V07    ] (  0,  0   )  struct (16) zero-ref    multireg-arg <System.ReadOnlySpan`1[byte]>
-;  V08 tmp4         [V08,T05] (  4,  2   )     ref  ->  r13         class-hnd exact single-def "Single-def Box Helper" <System.Text.Json.JsonElement>
+;  V08 tmp4         [V08,T03] (  4,  4   )     ref  ->  r14         class-hnd exact single-def "Single-def Box Helper" <System.Text.Json.JsonElement>
 ;* V09 tmp5         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V11 tmp7         [V11    ] (  0,  0   )  struct ( 8) zero-ref    "Inlining Arg" <System.Text.Json.JsonDocumentOptions>
-;  V12 tmp8         [V12,T06] (  3,  1.50)     ref  ->  r14         class-hnd exact single-def "Inlining Arg" <System.Text.Json.JsonDocument>
+;  V12 tmp8         [V12,T04] (  3,  3   )     ref  ->  r15         class-hnd exact single-def "Inlining Arg" <System.Text.Json.JsonDocument>
 ;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Text.Json.JsonElement>
-;  V14 tmp10        [V14,T07] (  3,  1.25)   byref  ->  rdi         "field V07._reference (fldOffset=0x0)" P-INDEP
-;  V15 tmp11        [V15,T09] (  3,  1.25)     int  ->  rsi         "field V07._length (fldOffset=0x8)" P-INDEP
+;  V14 tmp10        [V14,T07] (  3,  1.50)   byref  ->  rdi         "field V07._reference (fldOffset=0x0)" P-INDEP
+;  V15 tmp11        [V15,T08] (  3,  1.50)     int  ->  rsi         "field V07._length (fldOffset=0x8)" P-INDEP
 ;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
 ;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
 ;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;* V20 tmp16        [V20    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V13._parent (fldOffset=0x0)" P-INDEP
 ;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V13._idx (fldOffset=0x8)" P-INDEP
-;  V22 cse0         [V22,T04] (  3,  2.25)    long  ->  r15         "CSE #02: aggressive"
-;  V23 rat0         [V23,T08] (  3,  1.25)     ref  ->  rsi         "Spilling to split statement for tree"
-;  V24 rat1         [V24,T03] (  4,  2.25)     ref  ->  rax         "replacement local"
-;  V25 rat2         [V25,T10] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
+;  V22 cse0         [V22,T06] (  2,  2   )    long  ->  rax         "CSE #02: aggressive"
+;  V23 rat0         [V23,T05] (  2,  2   )     ref  ->  rsi         "fgMakeTemp is creating a new local variable"
 ;
-; Lcl frame size = 16
+; Lcl frame size = 8
 
 G_M3902_IG01:
        push     rbp
        push     r15
        push     r14
-       push     r13
        push     rbx
-       sub      rsp, 16
-       lea      rbp, [rsp+0x30]
-       mov      qword ptr [rbp-0x28], rsi
+       push     rax
+       lea      rbp, [rsp+0x20]
+       mov      qword ptr [rbp-0x20], rsi
        mov      rbx, rdx
-						;; size=24 bbWeight=1 PerfScore 7.00
+						;; size=19 bbWeight=1 PerfScore 6.75
 G_M3902_IG02:
        mov      rax, qword ptr [rsi+0x18]
-       mov      r15, qword ptr [rax]
-       mov      rax, 0xD1FFAB1E      ; System.Object
-       cmp      r15, rax
+       mov      rax, qword ptr [rax]
+       mov      rsi, 0xD1FFAB1E      ; System.Object
+       cmp      rax, rsi
        je       SHORT G_M3902_IG05
 						;; size=22 bbWeight=1 PerfScore 5.50
 G_M3902_IG03:
        xor      rax, rax
        mov      gword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M3902_IG04:
-       add      rsp, 16
+       add      rsp, 8
        pop      rbx
-       pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=13 bbWeight=0.50 PerfScore 1.88
+						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M3902_IG05:
        cmp      byte  ptr [rdi+0x12], 0
        je       SHORT G_M3902_IG06
        mov      rdi, 0xD1FFAB1E      ; static handle
        mov      esi, 4
        jmp      SHORT G_M3902_IG07
 						;; size=23 bbWeight=0.50 PerfScore 2.75
 G_M3902_IG06:
        mov      rdi, 0xD1FFAB1E      ; static handle
        mov      esi, 5
 						;; size=15 bbWeight=0.50 PerfScore 0.25
 G_M3902_IG07:
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Text.Json.JsonDocument:ParseValue(System.ReadOnlySpan`1[byte],System.Text.Json.JsonDocumentOptions):System.Text.Json.JsonDocument
        call     [rax]System.Text.Json.JsonDocument:ParseValue(System.ReadOnlySpan`1[byte],System.Text.Json.JsonDocumentOptions):System.Text.Json.JsonDocument
-       mov      r14, rax
-       cmp      byte  ptr [r14], r14b
+       mov      r15, rax
+       cmp      byte  ptr [r15], r15b
        mov      rdi, 0xD1FFAB1E      ; System.Text.Json.JsonElement
        call     CORINFO_HELP_NEWSFAST
-       mov      r13, rax
-       lea      rdi, bword ptr [r13+0x08]
-       mov      rsi, r14
+       mov      r14, rax
+       lea      rdi, bword ptr [r14+0x08]
+       mov      rsi, r15
        call     CORINFO_HELP_ASSIGN_REF
        xor      edi, edi
-       mov      dword ptr [r13+0x10], edi
-       mov      rsi, r13
-       mov      rax, rsi
-       mov      rdi, r15
-       cmp      qword ptr [rax], rdi
-       je       SHORT G_M3902_IG09
-						;; size=70 bbWeight=0.25 PerfScore 3.50
-G_M3902_IG08:
-       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTANY
-       call     [rax]CORINFO_HELP_CHKCASTANY
-						;; size=12 bbWeight=0.12 PerfScore 0.41
-G_M3902_IG09:
+       mov      dword ptr [r14+0x10], edi
+       mov      rsi, r14
        mov      rdi, rbx
-       mov      rsi, rax
        call     CORINFO_HELP_CHECKED_ASSIGN_REF
        mov      eax, 1
-						;; size=16 bbWeight=0.50 PerfScore 0.88
-G_M3902_IG10:
-       add      rsp, 16
+						;; size=72 bbWeight=0.50 PerfScore 6.00
+G_M3902_IG08:
+       add      rsp, 8
        pop      rbx
-       pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=13 bbWeight=0.50 PerfScore 1.88
+						;; size=11 bbWeight=0.50 PerfScore 1.62
 
-; Total bytes of code 213, prolog size 21, PerfScore 24.66, instruction count 61, allocated bytes for code 213 (MethodHash=2c63f0c1) for method System.Text.Json.Nodes.JsonValueOfJsonBool:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
+; Total bytes of code 178, prolog size 16, PerfScore 25.12, instruction count 51, allocated bytes for code 178 (MethodHash=2c63f0c1) for method System.Text.Json.Nodes.JsonValueOfJsonBool:TryGetValue[System.__Canon](byref):bool:this (FullOpts)
 ; ============================================================

Note: some changes were skipped as they were too large to fit into a comment.

Larger list of diffs: https://gist.github.com/MihuBot/77eeb01ae1470c3f6f4bb833106653d2

[MihuBot]

@EgorBo