[JitDiff X64] xtqqczze/dotnet-runtime/ReplaceComparer

[MihuBot]

Job completed in 17 minutes 3 seconds (remote runner delay: 49 seconds).

Using arguments: -NoPRLink

Diffs

Diffs

Found 84 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 41693259
Total bytes of diff: 41691507
Total bytes of delta: -1752 (-0.00 % of base)
Total relative delta: -6.49
    diff is an improvement.
    relative diff is an improvement.


Top file improvements (bytes):
       -1752 : System.Private.CoreLib.dasm (-0.02 % of base)

1 total files with Code Size differences (1 improved, 0 regressed), 259 unchanged.

Top method improvements (bytes):
        -156 (-59.77 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int]) (FullOpts)
        -147 (-40.05 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]) (FullOpts)
        -139 (-36.68 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon) (FullOpts)
        -131 (-30.25 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon]) (FullOpts)
        -125 (-36.02 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[short](System.ReadOnlySpan`1[short],System.Span`1[short],short,short,System.Collections.Generic.IEqualityComparer`1[short]) (FullOpts)
        -121 (-35.80 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[long](System.ReadOnlySpan`1[long],System.Span`1[long],long,long,System.Collections.Generic.IEqualityComparer`1[long]) (FullOpts)
        -119 (-27.80 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:Replace[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]) (FullOpts)
        -116 (-34.83 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[int](System.ReadOnlySpan`1[int],System.Span`1[int],int,int,System.Collections.Generic.IEqualityComparer`1[int]) (FullOpts)
        -114 (-32.66 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.Numerics.Vector`1[float]](System.ReadOnlySpan`1[System.Numerics.Vector`1[float]],System.Span`1[System.Numerics.Vector`1[float]],System.Numerics.Vector`1[float],System.Numerics.Vector`1[float],System.Collections.Generic.IEqualityComparer`1[System.Numerics.Vector`1[float]]) (FullOpts)
        -103 (-30.38 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[byte](System.ReadOnlySpan`1[byte],System.Span`1[byte],byte,byte,System.Collections.Generic.IEqualityComparer`1[byte]) (FullOpts)
        -103 (-47.91 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.Numerics.Vector`1[float]](System.ReadOnlySpan`1[System.Numerics.Vector`1[float]],System.Span`1[System.Numerics.Vector`1[float]],System.Numerics.Vector`1[float],System.Numerics.Vector`1[float]) (FullOpts)
         -94 (-28.92 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[double](System.ReadOnlySpan`1[double],System.Span`1[double],double,double,System.Collections.Generic.IEqualityComparer`1[double]) (FullOpts)
         -77 (-46.11 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[double](System.ReadOnlySpan`1[double],System.Span`1[double],double,double) (FullOpts)
         -46 (-12.81 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:Replace[double](System.ReadOnlySpan`1[double],System.Span`1[double],double,double,System.Collections.Generic.IEqualityComparer`1[double]) (FullOpts)
         -43 (-36.13 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[byte](System.ReadOnlySpan`1[byte],System.Span`1[byte],byte,byte) (FullOpts)
         -39 (-33.62 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[short](System.ReadOnlySpan`1[short],System.Span`1[short],short,short) (FullOpts)
         -37 (-39.78 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[int](System.ReadOnlySpan`1[int],System.Span`1[int],int,int) (FullOpts)
         -35 (-37.63 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[long](System.ReadOnlySpan`1[long],System.Span`1[long],long,long) (FullOpts)
          -7 (-1.87 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:Replace[System.Numerics.Vector`1[float]](System.ReadOnlySpan`1[System.Numerics.Vector`1[float]],System.Span`1[System.Numerics.Vector`1[float]],System.Numerics.Vector`1[float],System.Numerics.Vector`1[float],System.Collections.Generic.IEqualityComparer`1[System.Numerics.Vector`1[float]]) (FullOpts)

Top method improvements (percentages):
        -156 (-59.77 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int]) (FullOpts)
        -103 (-47.91 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.Numerics.Vector`1[float]](System.ReadOnlySpan`1[System.Numerics.Vector`1[float]],System.Span`1[System.Numerics.Vector`1[float]],System.Numerics.Vector`1[float],System.Numerics.Vector`1[float]) (FullOpts)
         -77 (-46.11 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[double](System.ReadOnlySpan`1[double],System.Span`1[double],double,double) (FullOpts)
        -147 (-40.05 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]) (FullOpts)
         -37 (-39.78 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[int](System.ReadOnlySpan`1[int],System.Span`1[int],int,int) (FullOpts)
         -35 (-37.63 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[long](System.ReadOnlySpan`1[long],System.Span`1[long],long,long) (FullOpts)
        -139 (-36.68 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon) (FullOpts)
         -43 (-36.13 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[byte](System.ReadOnlySpan`1[byte],System.Span`1[byte],byte,byte) (FullOpts)
        -125 (-36.02 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[short](System.ReadOnlySpan`1[short],System.Span`1[short],short,short,System.Collections.Generic.IEqualityComparer`1[short]) (FullOpts)
        -121 (-35.80 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[long](System.ReadOnlySpan`1[long],System.Span`1[long],long,long,System.Collections.Generic.IEqualityComparer`1[long]) (FullOpts)
        -116 (-34.83 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[int](System.ReadOnlySpan`1[int],System.Span`1[int],int,int,System.Collections.Generic.IEqualityComparer`1[int]) (FullOpts)
         -39 (-33.62 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[short](System.ReadOnlySpan`1[short],System.Span`1[short],short,short) (FullOpts)
        -114 (-32.66 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.Numerics.Vector`1[float]](System.ReadOnlySpan`1[System.Numerics.Vector`1[float]],System.Span`1[System.Numerics.Vector`1[float]],System.Numerics.Vector`1[float],System.Numerics.Vector`1[float],System.Collections.Generic.IEqualityComparer`1[System.Numerics.Vector`1[float]]) (FullOpts)
        -103 (-30.38 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[byte](System.ReadOnlySpan`1[byte],System.Span`1[byte],byte,byte,System.Collections.Generic.IEqualityComparer`1[byte]) (FullOpts)
        -131 (-30.25 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon]) (FullOpts)
         -94 (-28.92 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[double](System.ReadOnlySpan`1[double],System.Span`1[double],double,double,System.Collections.Generic.IEqualityComparer`1[double]) (FullOpts)
        -119 (-27.80 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:Replace[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]) (FullOpts)
         -46 (-12.81 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:Replace[double](System.ReadOnlySpan`1[double],System.Span`1[double],double,double,System.Collections.Generic.IEqualityComparer`1[double]) (FullOpts)
          -7 (-1.87 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:Replace[System.Numerics.Vector`1[float]](System.ReadOnlySpan`1[System.Numerics.Vector`1[float]],System.Span`1[System.Numerics.Vector`1[float]],System.Numerics.Vector`1[float],System.Numerics.Vector`1[float],System.Collections.Generic.IEqualityComparer`1[System.Numerics.Vector`1[float]]) (FullOpts)

19 total methods with Code Size differences (19 improved, 0 regressed), 250549 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (88 MB)
• build-artifacts-main.zip (681 MB)
• build-clr-checked-pr.zip (88 MB)
• build-artifacts-pr.zip (680 MB)
• jit-diffs-main.zip (138 MB)
• jit-diffs-pr.zip (138 MB)
• diff-frameworks.txt (10 KB)
• ShortDiffsImprovements.md (56 KB)
• LongDiffsImprovements.md (220 KB)

[xtqqczze]

xtqqczze/dotnet-runtime@67ae794

[MihuBot]

Top method improvements

-156 (-59.77 % of base) - System.MemoryExtensions:g__ReplaceDefaultComparer|176_0[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int])

 ; Assembly listing for method System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int]) (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 6 single block inlinees; 2 inlinees without PGO data
+; 0 inlinees with PGO data; 7 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[System.Nullable`1[int]]>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[System.Nullable`1[int]]>
 ;* V02 arg2         [V02    ] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] single-def <System.Nullable`1[int]>
-;* V03 arg3         [V03    ] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] single-def <System.Nullable`1[int]>
-;  V04 loc0         [V04,T24] (  6,  1.20)     int  ->  r11        
+;  V03 arg3         [V03,T08] (  3,  3.98)  struct ( 8)  r9         single-def <System.Nullable`1[int]>
+;* V04 loc0         [V04,T16] (  0,  0   )     int  ->  zero-ref   
 ;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V06 tmp1         [V06,T00] (  6, 24   )   byref  ->  rbx         "impAppendStmt"
-;* V07 tmp2         [V07    ] (  0,  0   )   byref  ->  zero-ref   
-;* V08 tmp3         [V08    ] (  0,  0   )   byref  ->  zero-ref   
-;* V09 tmp4         [V09    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
-;  V10 tmp5         [V10,T04] (  4,  8   )   ubyte  ->  registers   "Inline return value spill temp"
+;* V06 tmp1         [V06    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.Nullable`1[int]]>
+;* V08 tmp3         [V08    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V09 tmp4         [V09    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V10 tmp5         [V10    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Nullable`1[int]>
 ;* V11 tmp6         [V11    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Nullable`1[int]>
-;* V12 tmp7         [V12    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Nullable`1[int]>
-;* V13 tmp8         [V13    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V14 tmp9         [V14    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V15 tmp10        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V16 tmp11        [V16,T12] (  3,  5   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V17 tmp12        [V17,T14] (  5,  3.04)     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V18 tmp13        [V18,T13] (  3,  5   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V19 tmp14        [V19,T21] (  3,  1.54)     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp15        [V20,T08] (  6,  8   )   ubyte  ->  registers   "field V09.hasValue (fldOffset=0x0)" P-INDEP
-;  V21 tmp16        [V21,T09] (  6,  8   )     int  ->  r12         "field V09.value (fldOffset=0x4)" P-INDEP
-;  V22 tmp17        [V22,T10] (  4,  8   )   ubyte  ->  r14         "field V11.hasValue (fldOffset=0x0)" P-INDEP
-;  V23 tmp18        [V23,T11] (  4,  8   )     int  ->  r13         "field V11.value (fldOffset=0x4)" P-INDEP
-;* V24 tmp19        [V24    ] (  0,  0   )   ubyte  ->  zero-ref    "field V12.hasValue (fldOffset=0x0)" P-INDEP
-;* V25 tmp20        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V12.value (fldOffset=0x4)" P-INDEP
-;  V26 tmp21        [V26,T15] (  5,  5   )   ubyte  ->  rax         "V02.[000..001)"
-;  V27 tmp22        [V27,T16] (  3,  5   )     int  ->   r8         "V02.[004..008)"
-;  V28 tmp23        [V28,T22] (  3,  3   )   ubyte  ->  r10         "V03.[000..001)"
-;  V29 tmp24        [V29,T23] (  3,  3   )     int  ->   r9         "V03.[004..008)"
-;  V30 tmp25        [V30,T01] (  6, 24   )   byref  ->  registers   "BlockOp address local"
-;  V31 tmp26        [V31,T17] (  3,  0.12)   byref  ->  r12         "BlockOp address local"
-;  V32 cse0         [V32,T26] (  3,  0.10)   byref  ->  r12         "CSE #09: conservative"
-;  V33 cse1         [V33,T05] (  2,  7.92)   byref  ->  r11         "CSE #03: aggressive"
-;* V34 cse2         [V34,T20] (  0,  0   )    long  ->  zero-ref    "CSE #02: aggressive"
-;  V35 cse3         [V35,T06] (  3,  9.90)     int  ->  r15         "CSE #04: aggressive"
-;  V36 cse4         [V36,T07] (  3,  9.90)     int  ->  r11         "CSE #05: aggressive"
-;  V37 cse5         [V37,T25] (  3,  0.12)    long  ->  r12         "CSE #07: conservative"
-;  V38 rat0         [V38,T02] (  5, 16.34)    long  ->  rcx         "Strength reduced derived IV"
-;  V39 rat1         [V39,T03] (  4, 12.38)     int  ->  rsi         "Trip count IV"
-;  V40 rat2         [V40,T18] (  4,  4   )    long  ->   r8         "V02.r8"
-;  V41 rat3         [V41,T19] (  4,  4   )    long  ->   r9         "V03.r9"
+;* V12 tmp7         [V12    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V13 tmp8         [V13    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V14 tmp9         [V14    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V15 tmp10        [V15,T06] (  2,  4.96)   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V16 tmp11        [V16,T10] (  4,  3.50)     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V17 tmp12        [V17,T04] (  5,  6.96)   byref  ->  rdx         "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V18 tmp13        [V18,T07] (  4,  4   )     int  ->  rcx         "field V01._length (fldOffset=0x8)" P-INDEP
+;  V19 tmp14        [V19,T15] (  2,  2   )   byref  ->  rdx         single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp15        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V21 tmp16        [V21,T05] (  2,  7.92)   ubyte  ->  rbx         "field V10.hasValue (fldOffset=0x0)" P-INDEP
+;  V22 tmp17        [V22,T09] (  2,  5.94)     int  ->  r11         "field V10.value (fldOffset=0x4)" P-INDEP
+;* V23 tmp18        [V23    ] (  0,  0   )   ubyte  ->  zero-ref    "field V11.hasValue (fldOffset=0x0)" P-INDEP
+;* V24 tmp19        [V24    ] (  0,  0   )     int  ->  zero-ref    "field V11.value (fldOffset=0x4)" P-INDEP
+;  V25 tmp20        [V25,T11] (  3,  4.96)   ubyte  ->  rax         "V02.[000..001)"
+;  V26 tmp21        [V26,T14] (  2,  2.98)     int  ->   r8         "V02.[004..008)"
+;  V27 tmp22        [V27,T00] (  3, 23.76)   byref  ->  r11         "BlockOp address local"
+;  V28 cse0         [V28,T03] (  3,  9.90)   byref  ->  r10         "CSE #04: aggressive"
+;* V29 cse1         [V29,T13] (  0,  0   )    long  ->  zero-ref    "CSE #02: aggressive"
+;  V30 rat0         [V30,T01] (  6, 16.34)    long  ->  rcx         "Strength reduced derived IV"
+;  V31 rat1         [V31,T02] (  4, 12.38)     int  ->  rsi         "Trip count IV"
+;  V32 rat2         [V32,T12] (  4,  4   )    long  ->   r8         "V02.r8"
 ;
 ; Lcl frame size = 8
 
 G_M50059_IG01:
        push     rbp
-       push     r15
-       push     r14
-       push     r13
-       push     r12
        push     rbx
        push     rax
-       lea      rbp, [rsp+0x30]
-						;; size=16 bbWeight=1 PerfScore 7.50
+       lea      rbp, [rsp+0x10]
+						;; size=8 bbWeight=1 PerfScore 3.50
 G_M50059_IG02:
        movzx    rax, r8b
        shr      r8, 32
-       movzx    r10, r9b
-       shr      r9, 32
-       xor      r11d, r11d
-       test     esi, esi
-       jle      SHORT G_M50059_IG08
-						;; size=23 bbWeight=1 PerfScore 3.00
-G_M50059_IG03:
        cmp      esi, ecx
-       jg       SHORT G_M50059_IG13
+       jg       SHORT G_M50059_IG11
+       mov      ecx, esi
+       test     ecx, ecx
+       jle      SHORT G_M50059_IG10
+						;; size=18 bbWeight=1 PerfScore 3.50
+G_M50059_IG03:
        xor      ecx, ecx
-       align    [0 bytes for IG04]
-						;; size=6 bbWeight=0.50 PerfScore 0.75
+       align    [4 bytes for IG04]
+						;; size=6 bbWeight=0.50 PerfScore 0.25
 G_M50059_IG04:
-       lea      rbx, bword ptr [rdx+rcx]
-       lea      r11, bword ptr [rdi+rcx]
-       movzx    r15, byte  ptr [r11]
-       movzx    r14, r15b
+       lea      r10, bword ptr [rdi+rcx]
+       mov      r11, r10
+       movzx    rbx, byte  ptr [r11]
        mov      r11d, dword ptr [r11+0x04]
-       mov      r13d, r11d
-       test     r14d, r14d
-       jne      G_M50059_IG16
-						;; size=32 bbWeight=3.96 PerfScore 26.73
+       test     ebx, ebx
+       jne      SHORT G_M50059_IG07
+						;; size=19 bbWeight=3.96 PerfScore 23.76
 G_M50059_IG05:
        test     eax, eax
-       je       G_M50059_IG18
-						;; size=8 bbWeight=1.98 PerfScore 2.48
+       jne      SHORT G_M50059_IG08
+						;; size=4 bbWeight=1.98 PerfScore 2.48
 G_M50059_IG06:
-       mov      r12d, r11d
-						;; size=3 bbWeight=1.98 PerfScore 0.49
+       mov      qword ptr [rdx+rcx], r9
+       jmp      SHORT G_M50059_IG09
+						;; size=6 bbWeight=1.98 PerfScore 5.94
 G_M50059_IG07:
-       mov      byte  ptr [rbx], r15b
-       mov      dword ptr [rbx+0x04], r12d
+       test     eax, eax
+       je       SHORT G_M50059_IG08
+       cmp      r11d, r8d
+       je       SHORT G_M50059_IG06
+						;; size=9 bbWeight=1.98 PerfScore 4.95
+G_M50059_IG08:
+       mov      r10, qword ptr [r10]
+       mov      qword ptr [rdx+rcx], r10
+						;; size=7 bbWeight=1.98 PerfScore 5.94
+G_M50059_IG09:
        add      rcx, 8
        dec      esi
        jne      SHORT G_M50059_IG04
-						;; size=15 bbWeight=3.96 PerfScore 13.86
-G_M50059_IG08:
+						;; size=8 bbWeight=3.96 PerfScore 5.94
+G_M50059_IG10:
        add      rsp, 8
        pop      rbx
-       pop      r12
-       pop      r13
-       pop      r14
-       pop      r15
        pop      rbp
        ret      
-						;; size=15 bbWeight=1 PerfScore 4.25
-G_M50059_IG09:
-       test     eax, eax
-       je       SHORT G_M50059_IG15
-						;; size=4 bbWeight=0.02 PerfScore 0.03
-G_M50059_IG10:
-       cmp      r13d, r8d
-       sete     r15b
-       movzx    r15, r15b
-       test     r15d, r15d
-       je       SHORT G_M50059_IG15
-						;; size=16 bbWeight=0.04 PerfScore 0.11
+						;; size=7 bbWeight=1 PerfScore 2.25
 G_M50059_IG11:
-       movzx    r15, r10b
-       mov      r12d, r9d
-						;; size=7 bbWeight=0.02 PerfScore 0.01
-G_M50059_IG12:
-       mov      byte  ptr [rbx], r15b
-       mov      dword ptr [rbx+0x04], r12d
-       inc      r11d
-       cmp      r11d, esi
-       jge      SHORT G_M50059_IG08
-						;; size=15 bbWeight=0.04 PerfScore 0.14
-G_M50059_IG13:
-       cmp      r11d, ecx
-       jae      SHORT G_M50059_IG19
-       mov      r12d, r11d
-       shl      r12, 3
-       lea      rbx, bword ptr [rdx+r12]
-       add      r12, rdi
-       mov      r13, r12
-       movzx    r14, byte  ptr [r13]
-       mov      r13d, dword ptr [r13+0x04]
-       test     r14d, r14d
-       jne      SHORT G_M50059_IG09
-						;; size=36 bbWeight=0.04 PerfScore 0.33
-G_M50059_IG14:
-       test     eax, eax
-       je       SHORT G_M50059_IG11
-						;; size=4 bbWeight=0.02 PerfScore 0.03
-G_M50059_IG15:
-       movzx    r15, byte  ptr [r12]
-       mov      r12d, dword ptr [r12+0x04]
-       jmp      SHORT G_M50059_IG12
-						;; size=12 bbWeight=0.02 PerfScore 0.12
-G_M50059_IG16:
-       test     eax, eax
-       je       G_M50059_IG06
-						;; size=8 bbWeight=1.98 PerfScore 2.48
-G_M50059_IG17:
-       cmp      r13d, r8d
-       sete     r12b
-       movzx    r12, r12b
-       test     r12d, r12d
-       je       G_M50059_IG06
-						;; size=20 bbWeight=3.96 PerfScore 10.89
-G_M50059_IG18:
-       movzx    r11, r10b
-       mov      r12d, r9d
-       mov      r15d, r11d
-       jmp      G_M50059_IG07
-						;; size=15 bbWeight=1.98 PerfScore 5.45
-G_M50059_IG19:
-       call     CORINFO_HELP_RNGCHKFAIL
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 261, prolog size 16, PerfScore 78.63, instruction count 86, allocated bytes for code 265 (MethodHash=71323c74) for method System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int]) (FullOpts)
+; Total bytes of code 105, prolog size 8, PerfScore 58.50, instruction count 39, allocated bytes for code 105 (MethodHash=71323c74) for method System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int]) (FullOpts)
 ; ============================================================

-147 (-40.05 % of base) - System.MemoryExtensions:g__ReplaceComparer|176_1[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]])

 ; Assembly listing for method System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]) (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[System.Nullable`1[int]]>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[System.Nullable`1[int]]>
-;  V02 arg2         [V02,T08] (  4,  6   )  struct ( 8) [rbp-0x30]  do-not-enreg[SF] single-def <System.Nullable`1[int]>
-;* V03 arg3         [V03    ] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] single-def <System.Nullable`1[int]>
-;  V04 arg4         [V04,T10] (  4,  5.50)     ref  ->  r14         class-hnd <System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]>
-;  V05 loc0         [V05,T17] (  7,  1.24)     int  ->  [rbp-0x34] 
+;  V02 arg2         [V02,T05] (  3,  5.96)  struct ( 8) [rbp-0x30]  do-not-enreg[SF] single-def <System.Nullable`1[int]>
+;  V03 arg3         [V03,T06] (  3,  3.98)  struct ( 8) r14         single-def <System.Nullable`1[int]>
+;  V04 arg4         [V04,T08] (  3,  5.46)     ref  ->  r12         class-hnd <System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]>
+;* V05 loc0         [V05,T12] (  0,  0   )     int  ->  zero-ref   
 ;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V07 tmp1         [V07    ] (  0,  0   )   byref  ->  zero-ref    "non-inline candidate call"
-;* V08 tmp2         [V08    ] (  0,  0   )   byref  ->  zero-ref   
-;  V09 tmp3         [V09,T02] (  6, 12   )   byref  ->  [rbp-0x50] 
-;* V10 tmp4         [V10    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
-;  V11 tmp5         [V11,T05] (  4,  6.98)   byref  ->  rbx         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V12 tmp6         [V12,T11] (  5,  3.04)     int  ->  r13         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V13 tmp7         [V13,T09] (  3,  5   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V14 tmp8         [V14,T14] (  3,  1.54)     int  ->  r12         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V15 tmp9         [V15,T06] (  6,  8   )   ubyte  ->  rcx         "field V10.hasValue (fldOffset=0x0)" P-INDEP
-;  V16 tmp10        [V16,T07] (  6,  8   )     int  ->   r9         "field V10.value (fldOffset=0x4)" P-INDEP
-;  V17 tmp11        [V17,T15] (  3,  3   )   ubyte  ->  [rbp-0x38]  spill-single-def "V03.[000..001)"
-;  V18 tmp12        [V18,T16] (  3,  3   )     int  ->  [rbp-0x3C]  spill-single-def "V03.[004..008)"
-;  V19 tmp13        [V19,T03] (  6, 12   )   byref  ->  r10         "BlockOp address local"
-;  V20 cse0         [V20,T18] (  3,  0.10)   byref  ->  [rbp-0x58]  spill-single-def "CSE #06: conservative"
-;  V21 cse1         [V21,T04] (  3,  9.90)    long  ->  [rbp-0x48]  spill-single-def "CSE #02: aggressive"
-;* V22 cse2         [V22,T13] (  0,  0   )    long  ->  zero-ref    "CSE #01: aggressive"
-;  V23 rat0         [V23,T00] (  5, 16.34)    long  ->  r12         "Strength reduced derived IV"
-;  V24 rat1         [V24,T01] (  4, 12.38)     int  ->  r13         "Trip count IV"
-;  V25 rat2         [V25,T12] (  4,  4   )    long  ->   r9         "V03.r9"
+;* V07 tmp1         [V07    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V08 tmp2         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.Nullable`1[int]]>
+;* V09 tmp3         [V09    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V10 tmp4         [V10,T04] (  3,  6.94)   byref  ->  r15         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V11 tmp5         [V11,T09] (  4,  3.50)     int  ->  [rbp-0x34]  single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V12 tmp6         [V12,T03] (  5,  6.96)   byref  ->  rbx         "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V13 tmp7         [V13,T07] (  4,  4   )     int  ->  r13         "field V01._length (fldOffset=0x8)" P-INDEP
+;  V14 tmp8         [V14,T11] (  2,  2   )   byref  ->  rbx         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V15 tmp9         [V15    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V16 cse0         [V16,T02] (  5,  9.90)    long  ->  rax         multi-def "CSE #02: aggressive"
+;* V17 cse1         [V17,T10] (  0,  0   )    long  ->  zero-ref    "CSE #01: aggressive"
+;  V18 rat0         [V18,T00] (  6, 16.34)    long  ->  r13         "Strength reduced derived IV"
+;  V19 rat1         [V19,T01] (  4, 12.38)     int  ->  [rbp-0x38]  "Trip count IV"
 ;
-; Lcl frame size = 56
+; Lcl frame size = 24
 
 G_M53167_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
-       sub      rsp, 56
-       lea      rbp, [rsp+0x60]
+       sub      rsp, 24
+       lea      rbp, [rsp+0x40]
        mov      qword ptr [rbp-0x30], r8
-       mov      rbx, rdi
-       mov      r13d, esi
-       mov      r15, rdx
-       mov      r12d, ecx
-       mov      r14, gword ptr [rbp+0x10]
-						;; size=39 bbWeight=1 PerfScore 9.75
+       mov      r15, rdi
+       mov      eax, esi
+       mov      rbx, rdx
+       mov      r13d, ecx
+       mov      r14, r9
+       mov      r12, gword ptr [rbp+0x10]
+						;; size=41 bbWeight=1 PerfScore 10.00
 G_M53167_IG02:
-       movzx    rax, r9b
-       mov      dword ptr [rbp-0x38], eax
-       shr      r9, 32
-       mov      ecx, r9d
-       mov      dword ptr [rbp-0x3C], ecx
-       test     r14, r14
+       cmp      eax, r13d
+       jg       G_M53167_IG12
+       mov      dword ptr [rbp-0x34], eax
+       mov      r13d, eax
+       test     r12, r12
        jne      SHORT G_M53167_IG05
-						;; size=22 bbWeight=1 PerfScore 4.25
+						;; size=20 bbWeight=1 PerfScore 3.75
 G_M53167_IG03:
        mov      rdi, 0xD1FFAB1E      ; global ptr
        test     byte  ptr [rdi], 1
-       je       G_M53167_IG16
-						;; size=19 bbWeight=0.50 PerfScore 2.12
+       je       SHORT G_M53167_IG13
+						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M53167_IG04:
        mov      rsi, 0xD1FFAB1E      ; data for System.Collections.Generic.EqualityComparer`1[System.Nullable`1[int]]:<Default>k__BackingField
-       mov      r14, gword ptr [rsi]
+       mov      r12, gword ptr [rsi]
 						;; size=13 bbWeight=0.50 PerfScore 1.12
 G_M53167_IG05:
-       xor      r8d, r8d
        test     r13d, r13d
        jle      SHORT G_M53167_IG11
-						;; size=8 bbWeight=1 PerfScore 1.50
+						;; size=5 bbWeight=1 PerfScore 1.25
 G_M53167_IG06:
-       cmp      r13d, r12d
-       jg       G_M53167_IG14
-       xor      r12d, r12d
-						;; size=12 bbWeight=0.50 PerfScore 0.75
+       xor      r13d, r13d
+       mov      eax, dword ptr [rbp-0x34]
+       mov      dword ptr [rbp-0x38], eax
+						;; size=9 bbWeight=0.50 PerfScore 1.12
 G_M53167_IG07:
-       mov      r9, r12
-       mov      qword ptr [rbp-0x48], r9
-       lea      r10, bword ptr [r15+r9]
-       mov      bword ptr [rbp-0x50], r10
-       mov      rsi, qword ptr [rbx+r12]
-       mov      rdi, r14
+       mov      rsi, qword ptr [r15+r13]
+       mov      rdi, r12
        mov      rdx, qword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]:Equals(System.Nullable`1[int],System.Nullable`1[int]):bool:this
        call     [r11]System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]:Equals(System.Nullable`1[int],System.Nullable`1[int]):bool:this
        test     eax, eax
-       je       SHORT G_M53167_IG09
-						;; size=43 bbWeight=3.96 PerfScore 41.58
+       jne      SHORT G_M53167_IG09
+						;; size=28 bbWeight=3.96 PerfScore 30.69
 G_M53167_IG08:
-       mov      eax, dword ptr [rbp-0x38]
-       movzx    rcx, al
-       mov      r8d, dword ptr [rbp-0x3C]
-       mov      r9d, r8d
+       mov      rax, r13
+       mov      rcx, qword ptr [r15+rax]
+       mov      qword ptr [rbx+rax], rcx
        jmp      SHORT G_M53167_IG10
-						;; size=15 bbWeight=1.98 PerfScore 8.91
+						;; size=13 bbWeight=1.98 PerfScore 10.39
 G_M53167_IG09:
-       mov      r10, qword ptr [rbp-0x48]
-       add      r10, rbx
-       movzx    rcx, byte  ptr [r10]
-       mov      r9d, dword ptr [r10+0x04]
-						;; size=15 bbWeight=1.98 PerfScore 10.39
+       mov      rax, r13
+       mov      qword ptr [rbx+rax], r14
+						;; size=7 bbWeight=1.98 PerfScore 2.48
 G_M53167_IG10:
-       mov      r11, bword ptr [rbp-0x50]
-       mov      byte  ptr [r11], cl
-       mov      dword ptr [r11+0x04], r9d
-       add      r12, 8
-       dec      r13d
+       add      r13, 8
+       mov      eax, dword ptr [rbp-0x38]
+       dec      eax
+       mov      dword ptr [rbp-0x38], eax
        jne      SHORT G_M53167_IG07
-						;; size=20 bbWeight=3.96 PerfScore 17.82
+						;; size=14 bbWeight=3.96 PerfScore 13.86
 G_M53167_IG11:
-       add      rsp, 56
+       add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M53167_IG12:
-       mov      r10, bword ptr [rbp-0x58]
-       movzx    rcx, byte  ptr [r10]
-       mov      r9d, dword ptr [r10+0x04]
-       mov      eax, dword ptr [rbp-0x38]
-       mov      edx, dword ptr [rbp-0x3C]
-						;; size=18 bbWeight=0.02 PerfScore 0.14
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
 G_M53167_IG13:
-       mov      r11, bword ptr [rbp-0x50]
-       mov      byte  ptr [r11], cl
-       mov      dword ptr [r11+0x04], r9d
-       mov      r8d, dword ptr [rbp-0x34]
-       inc      r8d
-       cmp      r8d, r13d
-       jge      SHORT G_M53167_IG11
-						;; size=23 bbWeight=0.04 PerfScore 0.22
-G_M53167_IG14:
-       cmp      r8d, r12d
-       jae      SHORT G_M53167_IG17
-       mov      r11d, r8d
-       lea      r11, bword ptr [r15+8*r11]
-       mov      bword ptr [rbp-0x50], r11
-       mov      dword ptr [rbp-0x34], r8d
-       mov      esi, r8d
-       lea      r10, bword ptr [rbx+8*rsi]
-       mov      bword ptr [rbp-0x58], r10
-       mov      rsi, qword ptr [r10]
-       mov      rdi, r14
-       mov      rdx, qword ptr [rbp-0x30]
-       mov      r11, 0xD1FFAB1E      ; function address
-       call     [r11]System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]:Equals(System.Nullable`1[int],System.Nullable`1[int]):bool:this
-       test     eax, eax
-       je       SHORT G_M53167_IG12
-						;; size=58 bbWeight=0.04 PerfScore 0.54
-G_M53167_IG15:
-       mov      eax, dword ptr [rbp-0x38]
-       movzx    rcx, al
-       mov      edx, dword ptr [rbp-0x3C]
-       mov      r9d, edx
-       jmp      SHORT G_M53167_IG13
-						;; size=14 bbWeight=0.02 PerfScore 0.09
-G_M53167_IG16:
        mov      rdi, 0xD1FFAB1E      ; System.Collections.Generic.EqualityComparer`1[System.Nullable`1[int]]
-       mov      rdx, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
-       call     [rdx]CORINFO_HELP_GET_GCSTATIC_BASE
+       mov      rcx, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
+       call     [rcx]CORINFO_HELP_GET_GCSTATIC_BASE
        jmp      G_M53167_IG04
 						;; size=27 bbWeight=0 PerfScore 0.00
-G_M53167_IG17:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 367, prolog size 19, PerfScore 103.45, instruction count 105, allocated bytes for code 367 (MethodHash=578d3050) for method System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]) (FullOpts)
+; Total bytes of code 220, prolog size 19, PerfScore 81.04, instruction count 64, allocated bytes for code 220 (MethodHash=578d3050) for method System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.Nullable`1[int]](System.ReadOnlySpan`1[System.Nullable`1[int]],System.Span`1[System.Nullable`1[int]],System.Nullable`1[int],System.Nullable`1[int],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]) (FullOpts)
 ; ============================================================

-139 (-36.68 % of base) - System.MemoryExtensions:g__ReplaceDefaultComparer|176_0[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon)

 ; Assembly listing for method System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon) (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 TypeCtx      [V00,T09] (  7,  3.65)    long  ->  r13         single-def
+;  V00 TypeCtx      [V00,T07] (  5,  3.60)    long  ->  rdi         single-def
 ;* V01 arg0         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[System.__Canon]>
 ;* V02 arg1         [V02    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[System.__Canon]>
-;  V03 arg2         [V03,T06] (  4,  6   )     ref  ->  r15         class-hnd single-def <System.__Canon>
-;  V04 arg3         [V04,T16] (  2,  2   )     ref  ->  [rbp+0x10]  class-hnd single-def <System.__Canon>
-;  V05 loc0         [V05,T17] (  8,  1.26)     int  ->  [rbp-0x34] 
+;  V03 arg2         [V03,T05] (  3,  5.96)     ref  ->  r14         class-hnd single-def <System.__Canon>
+;  V04 arg3         [V04,T13] (  1,  1.98)     ref  ->  r12         class-hnd single-def <System.__Canon>
+;* V05 loc0         [V05,T15] (  0,  0   )     int  ->  zero-ref   
 ;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V07 tmp1         [V07,T02] (  4, 16   )    long  ->  rdi         "spilling helperCall"
-;* V08 tmp2         [V08    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
-;* V09 tmp3         [V09    ] (  0,  0   )   byref  ->  zero-ref   
-;  V10 tmp4         [V10,T07] (  4,  8   )   byref  ->  [rbp-0x48] 
-;  V11 tmp5         [V11,T05] (  6,  8   )     ref  ->  rsi        
-;* V12 tmp6         [V12    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V13 tmp7         [V13,T04] (  5,  7   )   byref  ->  rbx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V14 tmp8         [V14,T10] (  5,  3.04)     int  ->  r12         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V15 tmp9         [V15,T08] (  3,  5   )   byref  ->  r14         single-def "field V02._reference (fldOffset=0x0)" P-INDEP
-;  V16 tmp10        [V16,T13] (  3,  1.54)     int  ->  [rbp-0x38]  single-def "field V02._length (fldOffset=0x8)" P-INDEP
-;  V17 tmp11        [V17,T00] (  6, 24   )     ref  ->  rdi         "argument with side effect"
-;  V18 cse0         [V18,T11] (  4,  4.54)    long  ->  registers   hoist multi-def "CSE #01: moderate"
-;* V19 cse1         [V19,T12] (  0,  0   )    long  ->  zero-ref    "CSE #02: aggressive"
-;  V20 rat0         [V20,T01] (  6, 18.32)    long  ->  [rbp-0x40]  "Strength reduced derived IV"
-;  V21 rat1         [V21,T03] (  4, 12.38)     int  ->  r12         "Trip count IV"
-;  V22 rat2         [V22,T15] (  3,  2   )    long  ->  r13         "runtime lookup"
-;  V23 rat3         [V23,T14] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
-;  V24 rat4         [V24,T19] (  3,  0.16)    long  ->   r8         "runtime lookup"
-;  V25 rat5         [V25,T18] (  3,  0.22)    long  ->   r8         "fgMakeTemp is creating a new local variable"
+;* V07 tmp1         [V07    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V08 tmp2         [V08    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V09 tmp3         [V09    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V10 tmp4         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
+;* V11 tmp5         [V11    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V12 tmp6         [V12    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V13 tmp7         [V13    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V14 tmp8         [V14,T04] (  3,  6.94)   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V15 tmp9         [V15,T08] (  4,  3.50)     int  ->  r13         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V16 tmp10        [V16,T03] (  5,  6.96)   byref  ->  rbx         "field V02._reference (fldOffset=0x0)" P-INDEP
+;  V17 tmp11        [V17,T06] (  4,  4   )     int  ->   r8         "field V02._length (fldOffset=0x8)" P-INDEP
+;  V18 tmp12        [V18,T14] (  2,  2   )   byref  ->  rbx         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V19 tmp13        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp14        [V20,T00] (  3, 23.76)     ref  ->  rdi         "argument with side effect"
+;  V21 cse0         [V21,T09] (  2,  4.46)    long  ->  [rbp-0x38]  spill-single-def hoist "CSE #01: aggressive"
+;* V22 cse1         [V22,T10] (  0,  0   )    long  ->  zero-ref    "CSE #02: aggressive"
+;  V23 rat0         [V23,T01] (  7, 18.32)    long  ->  [rbp-0x40]  "Strength reduced derived IV"
+;  V24 rat1         [V24,T02] (  4, 12.38)     int  ->  r13         "Trip count IV"
+;  V25 rat2         [V25,T12] (  3,  2   )    long  ->  rax         "runtime lookup"
+;  V26 rat3         [V26,T11] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
 ;
-; Lcl frame size = 40
+; Lcl frame size = 24
 
 G_M54835_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
-       sub      rsp, 40
-       lea      rbp, [rsp+0x50]
+       sub      rsp, 24
+       lea      rbp, [rsp+0x40]
        mov      qword ptr [rbp-0x30], rdi
-       mov      r13, rdi
-       mov      rbx, rsi
-       mov      r12d, edx
-       mov      r14, rcx
-       mov      eax, r8d
-       mov      r15, r9
-						;; size=41 bbWeight=1 PerfScore 9.25
+       mov      r15, rsi
+       mov      r13d, edx
+       mov      rbx, rcx
+       mov      r14, r9
+       mov      r12, gword ptr [rbp+0x10]
+						;; size=39 bbWeight=1 PerfScore 9.75
 G_M54835_IG02:
-       xor      edx, edx
-       mov      dword ptr [rbp-0x34], edx
-       test     r12d, r12d
+       cmp      r13d, r8d
+       jg       G_M54835_IG12
+       mov      r8d, r13d
+       test     r8d, r8d
        jle      G_M54835_IG11
-						;; size=14 bbWeight=1 PerfScore 2.50
+						;; size=21 bbWeight=1 PerfScore 2.75
 G_M54835_IG03:
-       mov      dword ptr [rbp-0x38], eax
-       cmp      r12d, eax
-       jg       G_M54835_IG14
-       mov      rdi, qword ptr [r13+0x18]
-       mov      rax, qword ptr [rdi+0x10]
+       mov      rsi, qword ptr [rdi+0x18]
+       mov      rax, qword ptr [rsi+0x18]
        test     rax, rax
        je       SHORT G_M54835_IG08
-						;; size=25 bbWeight=0.50 PerfScore 3.75
+						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M54835_IG04:
-       mov      r13, rax
-						;; size=3 bbWeight=0.40 PerfScore 0.10
+       mov      qword ptr [rbp-0x38], rax
+       xor      ecx, ecx
+       mov      qword ptr [rbp-0x40], rcx
+       jmp      SHORT G_M54835_IG06
+						;; size=12 bbWeight=0.50 PerfScore 2.12
 G_M54835_IG05:
-       xor      eax, eax
-						;; size=2 bbWeight=0.50 PerfScore 0.12
+       mov      rax, qword ptr [rbp-0x38]
+						;; size=4 bbWeight=1.98 PerfScore 1.98
 G_M54835_IG06:
-       mov      rdi, r13
-       mov      qword ptr [rbp-0x40], rax
-       lea      rdx, bword ptr [r14+rax]
-       mov      bword ptr [rbp-0x48], rdx
-       mov      rsi, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
-       call     [rsi]CORINFO_HELP_GET_GCSTATIC_BASE
+       mov      rdi, rax
+       mov      rdx, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
+       call     [rdx]CORINFO_HELP_GET_GCSTATIC_BASE
        mov      rdi, gword ptr [rax]
        mov      rax, qword ptr [rbp-0x40]
-       mov      rsi, gword ptr [rbx+rax]
-       mov      rdx, r15
+       mov      rsi, gword ptr [r15+rax]
+       mov      rdx, r14
        mov      rcx, qword ptr [rdi]
        mov      rcx, qword ptr [rcx+0x40]
        call     [rcx+0x20]System.Collections.Generic.EqualityComparer`1[System.__Canon]:Equals(System.__Canon,System.__Canon):bool:this
        test     eax, eax
-       jne      SHORT G_M54835_IG09
-						;; size=55 bbWeight=3.96 PerfScore 77.22
+       je       SHORT G_M54835_IG09
+						;; size=43 bbWeight=3.96 PerfScore 67.32
 G_M54835_IG07:
-       mov      rcx, qword ptr [rbp-0x40]
-       mov      rsi, gword ptr [rbx+rcx]
+       mov      rax, qword ptr [rbp-0x40]
+       lea      rdi, bword ptr [rbx+rax]
+       mov      rsi, r12
+       call     CORINFO_HELP_CHECKED_ASSIGN_REF
        jmp      SHORT G_M54835_IG10
-						;; size=10 bbWeight=1.98 PerfScore 9.90
+						;; size=18 bbWeight=1.98 PerfScore 9.41
 G_M54835_IG08:
-       mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       mov      r13, rax
-       jmp      SHORT G_M54835_IG05
-						;; size=30 bbWeight=0.10 PerfScore 0.60
+       jmp      SHORT G_M54835_IG04
+						;; size=24 bbWeight=0.10 PerfScore 0.55
 G_M54835_IG09:
-       mov      rax, gword ptr [rbp+0x10]
-       mov      rsi, rax
-						;; size=7 bbWeight=1.98 PerfScore 2.48
-G_M54835_IG10:
-       mov      rdi, bword ptr [rbp-0x48]
+       mov      rax, qword ptr [rbp-0x40]
+       lea      rdi, bword ptr [rbx+rax]
+       mov      qword ptr [rbp-0x40], rax
+       mov      rsi, gword ptr [r15+rax]
        call     CORINFO_HELP_CHECKED_ASSIGN_REF
-       mov      rcx, qword ptr [rbp-0x40]
-       add      rcx, 8
-       dec      r12d
-       mov      rax, rcx
-       jne      SHORT G_M54835_IG06
-						;; size=25 bbWeight=3.96 PerfScore 18.81
+						;; size=21 bbWeight=1.98 PerfScore 10.89
+G_M54835_IG10:
+       mov      rax, qword ptr [rbp-0x40]
+       add      rax, 8
+       dec      r13d
+       mov      qword ptr [rbp-0x40], rax
+       jne      SHORT G_M54835_IG05
+						;; size=17 bbWeight=3.96 PerfScore 13.86
 G_M54835_IG11:
-       add      rsp, 40
+       add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M54835_IG12:
-       mov      esi, dword ptr [rbp-0x34]
-       mov      rsi, gword ptr [rbx+8*rsi]
-						;; size=7 bbWeight=0.02 PerfScore 0.06
-G_M54835_IG13:
-       mov      rdi, bword ptr [rbp-0x48]
-       call     CORINFO_HELP_CHECKED_ASSIGN_REF
-       mov      ecx, dword ptr [rbp-0x34]
-       inc      ecx
-       cmp      ecx, r12d
-       mov      dword ptr [rbp-0x34], ecx
-       jge      SHORT G_M54835_IG11
-						;; size=22 bbWeight=0.04 PerfScore 0.22
-G_M54835_IG14:
-       mov      rdi, qword ptr [r13+0x18]
-       mov      r8, qword ptr [rdi+0x10]
-       test     r8, r8
-       je       SHORT G_M54835_IG17
-						;; size=13 bbWeight=0.04 PerfScore 0.21
-G_M54835_IG15:
-       mov      rdi, r8
-       mov      edx, dword ptr [rbp-0x34]
-       cmp      edx, dword ptr [rbp-0x38]
-       jae      SHORT G_M54835_IG18
-       mov      dword ptr [rbp-0x34], edx
-       mov      esi, edx
-       lea      rsi, bword ptr [r14+8*rsi]
-       mov      bword ptr [rbp-0x48], rsi
-       mov      r8, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
-       call     [r8]CORINFO_HELP_GET_GCSTATIC_BASE
-       mov      rdi, gword ptr [rax]
-       mov      esi, dword ptr [rbp-0x34]
-       mov      rsi, gword ptr [rbx+8*rsi]
-       mov      rdx, r15
-       mov      rcx, qword ptr [rdi]
-       mov      rcx, qword ptr [rcx+0x40]
-       call     [rcx+0x20]System.Collections.Generic.EqualityComparer`1[System.__Canon]:Equals(System.__Canon,System.__Canon):bool:this
-       test     eax, eax
-       je       SHORT G_M54835_IG12
-						;; size=64 bbWeight=0.04 PerfScore 0.95
-G_M54835_IG16:
-       mov      rax, gword ptr [rbp+0x10]
-       mov      rsi, rax
-       jmp      SHORT G_M54835_IG13
-						;; size=9 bbWeight=0.02 PerfScore 0.07
-G_M54835_IG17:
-       mov      rdi, r13
-       mov      rsi, 0xD1FFAB1E      ; global ptr
-       mov      r8, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       call     [r8]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       mov      r8, rax
-       jmp      SHORT G_M54835_IG15
-						;; size=31 bbWeight=0.01 PerfScore 0.05
-G_M54835_IG18:
-       call     CORINFO_HELP_RNGCHKFAIL
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 379, prolog size 23, PerfScore 130.53, instruction count 112, allocated bytes for code 379 (MethodHash=4b2729cc) for method System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon) (FullOpts)
+; Total bytes of code 240, prolog size 23, PerfScore 125.50, instruction count 70, allocated bytes for code 240 (MethodHash=4b2729cc) for method System.MemoryExtensions:<Replace>g__ReplaceDefaultComparer|176_0[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon) (FullOpts)
 ; ============================================================

-131 (-30.25 % of base) - System.MemoryExtensions:g__ReplaceComparer|176_1[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon])

 ; Assembly listing for method System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon]) (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 TypeCtx      [V00,T08] (  9,  4.25)    long  ->  r13         single-def
+;  V00 TypeCtx      [V00,T06] (  7,  4.20)    long  ->  r13         single-def
 ;* V01 arg0         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[System.__Canon]>
 ;* V02 arg1         [V02    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[System.__Canon]>
-;  V03 arg2         [V03,T05] (  4,  6   )     ref  ->  r15         class-hnd single-def <System.__Canon>
-;  V04 arg3         [V04,T18] (  2,  2   )     ref  ->  [rbp+0x10]  class-hnd single-def <System.__Canon>
-;  V05 arg4         [V05,T09] (  4,  5.50)     ref  ->  r12         class-hnd <System.Collections.Generic.IEqualityComparer`1[System.__Canon]>
-;  V06 loc0         [V06,T19] (  8,  1.26)     int  ->  [rbp-0x34] 
+;  V03 arg2         [V03,T05] (  3,  5.96)     ref  ->  r14         class-hnd single-def <System.__Canon>
+;  V04 arg3         [V04,T16] (  1,  1.98)     ref  ->  [rbp+0x10]  class-hnd single-def <System.__Canon>
+;  V05 arg4         [V05,T08] (  3,  5.46)     ref  ->  [rbp+0x18]  class-hnd <System.Collections.Generic.IEqualityComparer`1[System.__Canon]>
+;* V06 loc0         [V06,T18] (  0,  0   )     int  ->  zero-ref   
 ;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V08 tmp1         [V08,T00] (  6, 24   )    long  ->  r11         "spilling helperCall"
-;* V09 tmp2         [V09    ] (  0,  0   )   byref  ->  zero-ref    "non-inline candidate call"
-;* V10 tmp3         [V10    ] (  0,  0   )   byref  ->  zero-ref   
-;  V11 tmp4         [V11,T06] (  4,  8   )   byref  ->  [rbp-0x58] 
-;  V12 tmp5         [V12,T04] (  6,  8   )     ref  ->  rsi        
-;* V13 tmp6         [V13    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V14 tmp7         [V14    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V15 tmp8         [V15,T03] (  5,  7   )   byref  ->  rbx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V16 tmp9         [V16,T10] (  5,  3.04)     int  ->  [rbp-0x38]  single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V17 tmp10        [V17,T07] (  3,  5   )   byref  ->  r14         single-def "field V02._reference (fldOffset=0x0)" P-INDEP
-;  V18 tmp11        [V18,T13] (  3,  1.54)     int  ->  [rbp-0x3C]  single-def "field V02._length (fldOffset=0x8)" P-INDEP
-;  V19 cse0         [V19,T11] (  4,  4.54)    long  ->  registers   hoist multi-def "CSE #01: moderate"
-;* V20 cse1         [V20,T12] (  0,  0   )    long  ->  zero-ref    "CSE #02: aggressive"
-;  V21 rat0         [V21,T01] (  6, 18.32)    long  ->  [rbp-0x48]  "Strength reduced derived IV"
-;  V22 rat1         [V22,T02] (  4, 12.38)     int  ->  [rbp-0x4C]  "Trip count IV"
-;  V23 rat2         [V23,T16] (  3,  2   )    long  ->  rdi         "runtime lookup"
-;  V24 rat3         [V24,T14] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
-;  V25 rat4         [V25,T17] (  3,  2   )    long  ->  r13         "runtime lookup"
-;  V26 rat5         [V26,T15] (  3,  2.80)    long  ->  rcx         "fgMakeTemp is creating a new local variable"
-;  V27 rat6         [V27,T21] (  3,  0.16)    long  ->   r9         "runtime lookup"
-;  V28 rat7         [V28,T20] (  3,  0.22)    long  ->   r9         "fgMakeTemp is creating a new local variable"
+;* V08 tmp1         [V08    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;  V09 tmp2         [V09,T00] (  3, 23.76)    long  ->  r11         "spilling helperCall"
+;* V10 tmp3         [V10    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V11 tmp4         [V11    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
+;* V13 tmp6         [V13    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V14 tmp7         [V14    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V15 tmp8         [V15    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V16 tmp9         [V16,T04] (  3,  6.94)   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V17 tmp10        [V17,T09] (  4,  3.50)     int  ->  [rbp-0x34]  single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V18 tmp11        [V18,T03] (  5,  6.96)   byref  ->  rbx         "field V02._reference (fldOffset=0x0)" P-INDEP
+;  V19 tmp12        [V19,T07] (  4,  4   )     int  ->  r12         "field V02._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp13        [V20,T17] (  2,  2   )   byref  ->  rbx         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp14        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;  V22 cse0         [V22,T10] (  2,  4.46)    long  ->  r12         hoist "CSE #01: aggressive"
+;* V23 cse1         [V23,T11] (  0,  0   )    long  ->  zero-ref    "CSE #02: aggressive"
+;  V24 rat0         [V24,T01] (  7, 18.32)    long  ->  r13         "Strength reduced derived IV"
+;  V25 rat1         [V25,T02] (  4, 12.38)     int  ->  [rbp-0x38]  "Trip count IV"
+;  V26 rat2         [V26,T14] (  3,  2   )    long  ->  rdi         "runtime lookup"
+;  V27 rat3         [V27,T12] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
+;  V28 rat4         [V28,T15] (  3,  2   )    long  ->  r12         "runtime lookup"
+;  V29 rat5         [V29,T13] (  3,  2.80)    long  ->  r12         "fgMakeTemp is creating a new local variable"
 ;
-; Lcl frame size = 56
+; Lcl frame size = 24
 
 G_M8431_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
-       sub      rsp, 56
-       lea      rbp, [rsp+0x60]
+       sub      rsp, 24
+       lea      rbp, [rsp+0x40]
        mov      qword ptr [rbp-0x30], rdi
-       mov      dword ptr [rbp-0x38], edx
-       mov      dword ptr [rbp-0x3C], r8d
        mov      r13, rdi
-       mov      rbx, rsi
-       mov      r14, rcx
-       mov      r15, r9
-       mov      r12, gword ptr [rbp+0x18]
-						;; size=46 bbWeight=1 PerfScore 11.75
+       mov      r15, rsi
+       mov      rbx, rcx
+       mov      ecx, edx
+       mov      r12d, r8d
+       mov      r14, r9
+       mov      rax, gword ptr [rbp+0x18]
+						;; size=44 bbWeight=1 PerfScore 10.25
 G_M8431_IG02:
-       test     r12, r12
+       cmp      ecx, r12d
+       jg       G_M8431_IG15
+       mov      dword ptr [rbp-0x34], ecx
+       mov      r12d, ecx
+       test     rax, rax
        jne      SHORT G_M8431_IG05
-						;; size=5 bbWeight=1 PerfScore 1.25
+						;; size=20 bbWeight=1 PerfScore 3.75
 G_M8431_IG03:
        mov      rdi, qword ptr [r13+0x18]
-       mov      rdi, qword ptr [rdi+0x18]
+       mov      rdi, qword ptr [rdi+0x20]
        test     rdi, rdi
-       je       SHORT G_M8431_IG11
+       je       SHORT G_M8431_IG10
 						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M8431_IG04:
-       mov      rsi, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
-       call     [rsi]CORINFO_HELP_GET_GCSTATIC_BASE
-       mov      r12, gword ptr [rax]
-						;; size=15 bbWeight=0.50 PerfScore 2.62
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
+       call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
+       mov      rax, gword ptr [rax]
+       mov      gword ptr [rbp+0x18], rax
+       mov      rax, gword ptr [rbp+0x18]
+						;; size=23 bbWeight=0.50 PerfScore 3.62
 G_M8431_IG05:
-       xor      r8d, r8d
-       mov      dword ptr [rbp-0x34], r8d
-       mov      eax, dword ptr [rbp-0x38]
-       test     eax, eax
-       jle      G_M8431_IG15
-						;; size=18 bbWeight=1 PerfScore 3.50
+       test     r12d, r12d
+       jle      G_M8431_IG14
+						;; size=9 bbWeight=1 PerfScore 1.25
 G_M8431_IG06:
-       mov      dword ptr [rbp-0x38], eax
-       cmp      eax, dword ptr [rbp-0x3C]
-       jg       G_M8431_IG18
        mov      rdi, qword ptr [r13+0x18]
-       mov      rcx, qword ptr [rdi+0x10]
-       test     rcx, rcx
-       je       SHORT G_M8431_IG12
-						;; size=25 bbWeight=0.50 PerfScore 4.62
+       mov      r12, qword ptr [rdi+0x18]
+       test     r12, r12
+       je       SHORT G_M8431_IG11
+						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M8431_IG07:
-       mov      r13, rcx
-						;; size=3 bbWeight=0.40 PerfScore 0.10
+       xor      r13d, r13d
+       mov      ecx, dword ptr [rbp-0x34]
+       mov      dword ptr [rbp-0x38], ecx
+						;; size=9 bbWeight=0.50 PerfScore 1.12
 G_M8431_IG08:
-       xor      ecx, ecx
-       mov      eax, dword ptr [rbp-0x38]
-       mov      dword ptr [rbp-0x4C], eax
-						;; size=8 bbWeight=0.50 PerfScore 1.12
-G_M8431_IG09:
-       mov      r11, r13
-       lea      r8, bword ptr [r14+rcx]
-       mov      bword ptr [rbp-0x58], r8
-       mov      qword ptr [rbp-0x48], rcx
-       mov      rsi, gword ptr [rbx+rcx]
-       mov      rdi, r12
-       mov      rdx, r15
+       mov      r11, r12
+       mov      rsi, gword ptr [r15+r13]
+       mov      gword ptr [rbp+0x18], rax
+       mov      rdi, rax
+       mov      rdx, r14
        call     [r11]
        test     eax, eax
-       jne      SHORT G_M8431_IG13
-						;; size=32 bbWeight=3.96 PerfScore 37.62
+       je       SHORT G_M8431_IG12
+						;; size=24 bbWeight=3.96 PerfScore 31.68
+G_M8431_IG09:
+       lea      rdi, bword ptr [rbx+r13]
+       mov      rsi, gword ptr [rbp+0x10]
+       call     CORINFO_HELP_CHECKED_ASSIGN_REF
+       jmp      SHORT G_M8431_IG13
+						;; size=15 bbWeight=1.98 PerfScore 8.91
 G_M8431_IG10:
-       mov      rcx, qword ptr [rbp-0x48]
-       mov      rsi, gword ptr [rbx+rcx]
-       jmp      SHORT G_M8431_IG14
-						;; size=10 bbWeight=1.98 PerfScore 9.90
+       mov      rdi, r13
+       mov      rsi, 0xD1FFAB1E      ; global ptr
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       mov      rdi, rax
+       jmp      SHORT G_M8431_IG04
+						;; size=30 bbWeight=0.10 PerfScore 0.60
 G_M8431_IG11:
+       mov      gword ptr [rbp+0x18], rax
        mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      r8, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [r8]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       mov      rdi, rax
-       jmp      G_M8431_IG04
-						;; size=34 bbWeight=0.10 PerfScore 0.60
+       mov      r12, rax
+       mov      rax, gword ptr [rbp+0x18]
+       jmp      SHORT G_M8431_IG07
+						;; size=39 bbWeight=0.10 PerfScore 0.80
 G_M8431_IG12:
-       mov      rdi, r13
-       mov      rsi, 0xD1FFAB1E      ; global ptr
-       mov      rcx, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       call     [rcx]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       mov      r13, rax
-       jmp      SHORT G_M8431_IG08
-						;; size=30 bbWeight=0.10 PerfScore 0.60
-G_M8431_IG13:
-       mov      rax, gword ptr [rbp+0x10]
-       mov      rsi, rax
-						;; size=7 bbWeight=1.98 PerfScore 2.48
-G_M8431_IG14:
-       mov      rdi, bword ptr [rbp-0x58]
+       lea      rdi, bword ptr [rbx+r13]
+       mov      rsi, gword ptr [r15+r13]
        call     CORINFO_HELP_CHECKED_ASSIGN_REF
-       mov      rcx, qword ptr [rbp-0x48]
-       add      rcx, 8
-       mov      eax, dword ptr [rbp-0x4C]
-       dec      eax
-       mov      dword ptr [rbp-0x4C], eax
-       jne      G_M8431_IG09
-						;; size=31 bbWeight=3.96 PerfScore 25.74
-G_M8431_IG15:
-       add      rsp, 56
+						;; size=13 bbWeight=1.98 PerfScore 6.93
+G_M8431_IG13:
+       add      r13, 8
+       mov      ecx, dword ptr [rbp-0x38]
+       dec      ecx
+       mov      dword ptr [rbp-0x38], ecx
+       mov      rax, gword ptr [rbp+0x18]
+       jne      G_M8431_IG08
+						;; size=22 bbWeight=3.96 PerfScore 17.82
+G_M8431_IG14:
+       add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
-G_M8431_IG16:
-       mov      esi, dword ptr [rbp-0x34]
-       mov      rsi, gword ptr [rbx+8*rsi]
-						;; size=7 bbWeight=0.02 PerfScore 0.06
-G_M8431_IG17:
-       mov      rdi, bword ptr [rbp-0x58]
-       call     CORINFO_HELP_CHECKED_ASSIGN_REF
-       mov      ecx, dword ptr [rbp-0x34]
-       inc      ecx
-       mov      eax, dword ptr [rbp-0x38]
-       cmp      ecx, eax
-       mov      dword ptr [rbp-0x38], eax
-       mov      dword ptr [rbp-0x34], ecx
-       jge      SHORT G_M8431_IG15
-						;; size=27 bbWeight=0.04 PerfScore 0.30
-G_M8431_IG18:
-       mov      rdi, qword ptr [r13+0x18]
-       mov      r9, qword ptr [rdi+0x10]
-       test     r9, r9
-       je       SHORT G_M8431_IG21
-						;; size=13 bbWeight=0.04 PerfScore 0.21
-G_M8431_IG19:
-       mov      r11, r9
-       mov      r8d, dword ptr [rbp-0x34]
-       cmp      r8d, dword ptr [rbp-0x3C]
-       jae      SHORT G_M8431_IG22
-       mov      esi, r8d
-       lea      rdi, bword ptr [r14+8*rsi]
-       mov      bword ptr [rbp-0x58], rdi
-       mov      dword ptr [rbp-0x34], r8d
-       mov      esi, r8d
-       mov      rsi, gword ptr [rbx+8*rsi]
-       mov      rdi, r12
-       mov      rdx, r15
-       call     [r11]
-       test     eax, eax
-       je       SHORT G_M8431_IG16
-						;; size=48 bbWeight=0.04 PerfScore 0.56
-G_M8431_IG20:
-       mov      rax, gword ptr [rbp+0x10]
-       mov      rsi, rax
-       jmp      SHORT G_M8431_IG17
-						;; size=9 bbWeight=0.02 PerfScore 0.07
-G_M8431_IG21:
-       mov      rdi, r13
-       mov      rsi, 0xD1FFAB1E      ; global ptr
-       mov      r9, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       call     [r9]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       mov      r9, rax
-       jmp      SHORT G_M8431_IG19
-						;; size=31 bbWeight=0.01 PerfScore 0.05
-G_M8431_IG22:
-       call     CORINFO_HELP_RNGCHKFAIL
+G_M8431_IG15:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 433, prolog size 23, PerfScore 110.03, instruction count 125, allocated bytes for code 433 (MethodHash=8393df10) for method System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon]) (FullOpts)
+; Total bytes of code 302, prolog size 23, PerfScore 96.24, instruction count 86, allocated bytes for code 302 (MethodHash=8393df10) for method System.MemoryExtensions:<Replace>g__ReplaceComparer|176_1[System.__Canon](System.ReadOnlySpan`1[System.__Canon],System.Span`1[System.__Canon],System.__Canon,System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon]) (FullOpts)
 ; ============================================================

Larger list of diffs: https://gist.github.com/MihuBot/2c35d03489fd44828d121bf46bb0748e

[MihuBot]

@xtqqczze

[xtqqczze]

dotnet/runtime#119560