[JitDiff X64] [xtqqczze] Refactor `Array.Sort` methods to use `Span<T>.Sort`

[MihuBot]

Job completed in 16 minutes 56 seconds (remote runner delay: 40 seconds).
dotnet/runtime#121797

Diffs

Found 86 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45942327
Total bytes of diff: 45942509
Total bytes of delta: 182 (0.00 % of base)
Total relative delta: 0.69
    diff is a regression.
    relative diff is a regression.


Top file regressions (bytes):
         182 : System.Private.CoreLib.dasm (0.00 % of base)

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

Top method regressions (bytes):
          97 (44.91 % of base) : System.Private.CoreLib.dasm - System.Array:Sort[System.__Canon](System.__Canon[]) (FullOpts)
          45 (10.18 % of base) : System.Private.CoreLib.dasm - System.Array:Sort[System.__Canon,System.Nullable`1[int]](System.__Canon[],System.Nullable`1[int][],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)
          40 (13.56 % of base) : System.Private.CoreLib.dasm - System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)

Top method regressions (percentages):
          97 (44.91 % of base) : System.Private.CoreLib.dasm - System.Array:Sort[System.__Canon](System.__Canon[]) (FullOpts)
          40 (13.56 % of base) : System.Private.CoreLib.dasm - System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)
          45 (10.18 % of base) : System.Private.CoreLib.dasm - System.Array:Sort[System.__Canon,System.Nullable`1[int]](System.__Canon[],System.Nullable`1[int][],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)

3 total methods with Code Size differences (0 improved, 3 regressed), 283122 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (87 MB)
• build-artifacts-main.zip (699 MB)
• build-clr-checked-pr.zip (87 MB)
• build-artifacts-pr.zip (700 MB)
• jit-diffs-pr.zip (154 MB)
• jit-diffs-main.zip (154 MB)
• diff-frameworks.txt (1 KB)
• ShortDiffsRegressions.md (39 KB)

[MihuBot]

Top method regressions

97 (44.91 % of base) - System.Array:Sort[System.__Canon](System.__Canon[])

 ; Assembly listing for method System.Array:Sort[System.__Canon](System.__Canon[]) (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; 2 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 TypeCtx      [V00,T01] (  7,  4.20)    long  ->  rbx         single-def
-;  V01 arg0         [V01,T00] (  5,  4.50)     ref  ->  rsi         class-hnd single-def <System.__Canon[]>
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[System.__Canon]>
-;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V04 tmp1         [V04    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
-;* V05 tmp2         [V05    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;  V06 tmp3         [V06,T06] (  3,  2   )    long  ->  r13         "spilling helperCall"
-;  V07 tmp4         [V07,T02] (  4,  3   )    long  ->  r12         "spilling helperCall"
-;  V08 tmp5         [V08,T07] (  2,  2   )   byref  ->  r14         single-def "Inlining Arg"
-;  V09 tmp6         [V09,T09] (  2,  2   )     int  ->  r15         "Inlining Arg"
-;* V10 tmp7         [V10    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V11 tmp8         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V12 tmp9         [V12    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V13 tmp10        [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
-;* V14 tmp11        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
-;  V15 tmp12        [V15,T08] (  2,  2   )     ref  ->  rdi         single-def "argument with side effect"
-;  V16 cse0         [V16,T05] (  3,  2.50)     int  ->  r15         "CSE #01: aggressive"
-;  V17 rat0         [V17,T03] (  3,  2.80)    long  ->  r13         "fgMakeTemp is creating a new local variable"
-;  V18 rat1         [V18,T04] (  3,  2.80)    long  ->  r12         "fgMakeTemp is creating a new local variable"
+;  V00 TypeCtx      [V00,T01] (  5,  3.60)    long  ->  rdi         single-def
+;  V01 arg0         [V01,T00] (  6,  5   )     ref  ->  rsi         class-hnd single-def <System.__Canon[]>
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
+;* V04 tmp2         [V04    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;  V05 tmp3         [V05,T08] (  4,  2.20)    long  ->  rsi         "spilling helperCall"
+;  V06 tmp4         [V06,T10] (  2,  2   )   byref  ->  rbx         single-def "Inlining Arg"
+;  V07 tmp5         [V07,T12] (  2,  2   )     int  ->  r15         "Inlining Arg"
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[System.__Canon]>
+;* V09 tmp7         [V09    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V10 tmp8         [V10    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V11 tmp9         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.__Canon]>
+;  V12 tmp10        [V12,T02] (  6,  3.40)    long  ->  r14         "Inlining Arg"
+;  V13 tmp11        [V13,T09] (  3,  2   )    long  ->  r13         "spilling helperCall"
+;  V14 tmp12        [V14,T03] (  4,  3   )    long  ->  r12         "spilling helperCall"
+;* V15 tmp13        [V15    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V16 tmp14        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V19 tmp17        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V20 tmp18        [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;  V22 tmp20        [V22,T11] (  2,  2   )     ref  ->  rdi         single-def "argument with side effect"
+;  V23 rat0         [V23,T04] (  3,  2.80)    long  ->  rsi         "fgMakeTemp is creating a new local variable"
+;  V24 rat1         [V24,T05] (  3,  2.80)    long  ->  r14         "fgMakeTemp is creating a new local variable"
+;  V25 rat2         [V25,T06] (  3,  2.80)    long  ->  r13         "fgMakeTemp is creating a new local variable"
+;  V26 rat3         [V26,T07] (  3,  2.80)    long  ->  r12         "fgMakeTemp is creating a new local variable"
 ;
 ; Lcl frame size = 8
 
 G_M50537_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        lea      rbp, [rsp+0x30]
        mov      qword ptr [rbp-0x30], rdi
-       mov      rbx, rdi
-						;; size=23 bbWeight=1 PerfScore 8.75
+						;; size=20 bbWeight=1 PerfScore 8.50
 G_M50537_IG02:
        test     rsi, rsi
-       je       G_M50537_IG10
-       mov      r15d, dword ptr [rsi+0x08]
-       cmp      r15d, 1
+       je       G_M50537_IG14
+       cmp      dword ptr [rsi+0x08], 1
        jg       SHORT G_M50537_IG04
-						;; size=19 bbWeight=1 PerfScore 4.50
+						;; size=15 bbWeight=1 PerfScore 5.25
 G_M50537_IG03:
        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_M50537_IG04:
-       lea      r14, bword ptr [rsi+0x10]
-       mov      rdi, qword ptr [rbx+0x18]
-       mov      r13, qword ptr [rdi+0x18]
-       test     r13, r13
-       je       SHORT G_M50537_IG08
-						;; size=17 bbWeight=0.50 PerfScore 2.88
+       lea      rbx, bword ptr [rsi+0x10]
+       mov      r15d, dword ptr [rsi+0x08]
+       mov      rsi, qword ptr [rdi+0x18]
+       mov      rsi, qword ptr [rsi+0x18]
+       test     rsi, rsi
+       je       SHORT G_M50537_IG10
+						;; size=21 bbWeight=0.50 PerfScore 3.88
 G_M50537_IG05:
-       mov      rdi, qword ptr [rbx+0x18]
-       mov      r12, qword ptr [rdi+0x20]
-       test     r12, r12
-       je       SHORT G_M50537_IG09
+       mov      rdi, qword ptr [rsi+0x18]
+       mov      r14, qword ptr [rdi+0x10]
+       test     r14, r14
+       je       SHORT G_M50537_IG11
 						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M50537_IG06:
+       mov      rdi, qword ptr [r14+0x18]
+       mov      r13, qword ptr [rdi+0x18]
+       test     r13, r13
+       je       G_M50537_IG12
+						;; size=17 bbWeight=0.50 PerfScore 2.62
+G_M50537_IG07:
+       mov      rdi, qword ptr [r14+0x18]
+       mov      r12, qword ptr [rdi+0x20]
+       test     r12, r12
+       je       G_M50537_IG13
+						;; size=17 bbWeight=0.50 PerfScore 2.62
+G_M50537_IG08:
        mov      rdi, r13
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
        call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
        mov      rdi, gword ptr [rax]
-       mov      rsi, r14
+       mov      rsi, rbx
        mov      edx, r15d
        mov      r11, r12
        xor      rcx, rcx
        cmp      dword ptr [rdi], edi
        mov      rax, r12
 						;; size=34 bbWeight=0.50 PerfScore 4.88
-G_M50537_IG07:
+G_M50537_IG09:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        tail.jmp [rax]
 						;; size=17 bbWeight=0.50 PerfScore 3.62
-G_M50537_IG08:
-       mov      rdi, rbx
+G_M50537_IG10:
+       mov      rsi, 0xD1FFAB1E      ; global ptr
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       mov      rsi, rax
+       jmp      SHORT G_M50537_IG05
+						;; size=27 bbWeight=0.10 PerfScore 0.58
+G_M50537_IG11:
+       mov      rdi, rsi
+       mov      rsi, 0xD1FFAB1E      ; global ptr
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       mov      r14, rax
+       jmp      G_M50537_IG06
+						;; size=33 bbWeight=0.10 PerfScore 0.60
+G_M50537_IG12:
+       mov      rdi, r14
        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_M50537_IG05
-						;; size=30 bbWeight=0.10 PerfScore 0.60
-G_M50537_IG09:
-       mov      rdi, rbx
+       jmp      G_M50537_IG07
+						;; size=33 bbWeight=0.10 PerfScore 0.60
+G_M50537_IG13:
+       mov      rdi, r14
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r12, rax
-       jmp      SHORT G_M50537_IG06
-						;; size=30 bbWeight=0.10 PerfScore 0.60
-G_M50537_IG10:
+       jmp      G_M50537_IG08
+						;; size=33 bbWeight=0.10 PerfScore 0.60
+G_M50537_IG14:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 216, prolog size 23, PerfScore 30.57, instruction count 66, allocated bytes for code 216 (MethodHash=a40f3a96) for method System.Array:Sort[System.__Canon](System.__Canon[]) (FullOpts)
+; Total bytes of code 313, prolog size 20, PerfScore 38.50, instruction count 84, allocated bytes for code 313 (MethodHash=a40f3a96) for method System.Array:Sort[System.__Canon](System.__Canon[]) (FullOpts)
 ; ============================================================

45 (10.18 % of base) - System.Array:Sort[System.__Canon,System.Nullable`1[int]](System.__Canon[],System.Nullable`1[int][],int,int,System.Collections.Generic.IComparer`1[System.__Canon])

 ; Assembly listing for method System.Array:Sort[System.__Canon,System.Nullable`1[int]](System.__Canon[],System.Nullable`1[int][],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (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; 3 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 TypeCtx      [V00,T03] (  9,  4.80)    long  ->  r13         single-def
+;  V00 TypeCtx      [V00,T04] (  7,  4.20)    long  ->  rdi         single-def
 ;  V01 arg0         [V01,T02] (  6,  5   )     ref  ->  r14         class-hnd single-def <System.__Canon[]>
-;  V02 arg1         [V02,T04] (  6,  4.50)     ref  ->  rdx         class-hnd single-def <System.Nullable`1[int][]>
+;  V02 arg1         [V02,T03] (  6,  4.50)     ref  ->  rdx         class-hnd single-def <System.Nullable`1[int][]>
 ;  V03 arg2         [V03,T01] (  7,  5.50)     int  ->  r15         single-def
 ;  V04 arg3         [V04,T00] (  9,  7   )     int  ->  rbx         single-def
-;  V05 arg4         [V05,T05] (  4,  3   )     ref  ->  r12         class-hnd single-def <System.Collections.Generic.IComparer`1[System.__Canon]>
-;* V06 loc0         [V06    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[System.__Canon]>
-;* V07 loc1         [V07    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[System.Nullable`1[int]]>
-;# 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    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
-;* V10 tmp2         [V10    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.Nullable`1[int]]>
-;  V12 tmp4         [V12,T10] (  3,  2   )    long  ->  [rbp-0x38]  "spilling helperCall"
-;  V13 tmp5         [V13,T06] (  4,  3   )    long  ->  r13         "spilling helperCall"
-;* V14 tmp6         [V14    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V15 tmp7         [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V16 tmp8         [V16    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V17 tmp9         [V17    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V18 tmp10        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp11        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V20 tmp12        [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V22 tmp14        [V22,T15] (  2,  1   )   byref  ->  r14         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V24 tmp16        [V24,T16] (  2,  1   )   byref  ->  r15         single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp17        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;  V26 tmp18        [V26,T12] (  2,  2   )     ref  ->  rdi         single-def "argument with side effect"
-;  V27 tmp19        [V27,T13] (  2,  2   )    long  ->  rdi         "argument with side effect"
-;  V28 cse0         [V28,T14] (  3,  1.50)    long  ->  rdi         "CSE #02: moderate"
-;  V29 rat0         [V29,T11] (  3,  2   )    long  ->  rdi         "runtime lookup"
-;  V30 rat1         [V30,T07] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
-;  V31 rat2         [V31,T08] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
-;  V32 rat3         [V32,T09] (  3,  2.80)    long  ->  rcx         "fgMakeTemp is creating a new local variable"
+;  V05 arg4         [V05,T05] (  4,  3   )     ref  ->  r13         class-hnd single-def <System.Collections.Generic.IComparer`1[System.__Canon]>
+;* V06 loc0         [V06    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[System.Nullable`1[int]]>
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
+;* V09 tmp2         [V09    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V10 tmp3         [V10    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.Nullable`1[int]]>
+;* V11 tmp4         [V11    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.Span`1[System.__Canon]>
+;* V12 tmp5         [V12    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V13 tmp6         [V13    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V14 tmp7         [V14    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V15 tmp8         [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V16 tmp9         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.__Canon]>
+;* V17 tmp10        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.Nullable`1[int]]>
+;  V18 tmp11        [V18,T06] (  6,  3.40)    long  ->  r12         "Inlining Arg"
+;  V19 tmp12        [V19,T12] (  3,  2   )    long  ->  [rbp-0x38]  "spilling helperCall"
+;  V20 tmp13        [V20,T07] (  4,  3   )    long  ->  r12         "spilling helperCall"
+;* V21 tmp14        [V21    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V22 tmp15        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp16        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;  V24 tmp17        [V24,T17] (  2,  1   )   byref  ->  r14         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V25 tmp18        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V26 tmp19        [V26,T18] (  2,  1   )   byref  ->  r15         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V27 tmp20        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V28 tmp21        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V29 tmp22        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V30 tmp23        [V30    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V31 tmp24        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp25        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V33 tmp26        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;  V34 tmp27        [V34,T14] (  2,  2   )     ref  ->  rdi         single-def "argument with side effect"
+;  V35 tmp28        [V35,T15] (  2,  2   )    long  ->  rdi         "argument with side effect"
+;  V36 cse0         [V36,T16] (  3,  1.50)    long  ->  rsi         "CSE #02: moderate"
+;  V37 rat0         [V37,T13] (  3,  2   )    long  ->  rdi         "runtime lookup"
+;  V38 rat1         [V38,T08] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
+;  V39 rat2         [V39,T09] (  3,  2.80)    long  ->  r12         "fgMakeTemp is creating a new local variable"
+;  V40 rat3         [V40,T10] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
+;  V41 rat4         [V41,T11] (  3,  2.80)    long  ->  rcx         "fgMakeTemp is creating a new local variable"
 ;
 ; Lcl frame size = 24
 
 G_M55825_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x40]
        mov      qword ptr [rbp-0x30], rdi
-       mov      r13, rdi
        mov      r14, rsi
        mov      r15d, ecx
        mov      ebx, r8d
-       mov      r12, r9
-						;; size=38 bbWeight=1 PerfScore 9.00
+       mov      r13, r9
+						;; size=35 bbWeight=1 PerfScore 8.75
 G_M55825_IG02:
        test     r14, r14
-       je       G_M55825_IG17
+       je       G_M55825_IG20
        test     r15d, r15d
-       jl       G_M55825_IG18
+       jl       G_M55825_IG21
        test     ebx, ebx
-       jl       G_M55825_IG19
-       mov      edi, dword ptr [r14+0x08]
-       sub      edi, r15d
-       cmp      edi, ebx
-       jl       G_M55825_IG20
+       jl       G_M55825_IG22
+       mov      esi, dword ptr [r14+0x08]
+       sub      esi, r15d
+       cmp      esi, ebx
+       jl       G_M55825_IG23
        test     rdx, rdx
        je       SHORT G_M55825_IG04
 						;; size=46 bbWeight=1 PerfScore 8.50
 G_M55825_IG03:
-       mov      edi, dword ptr [rdx+0x08]
-       sub      edi, ebx
-       cmp      edi, r15d
-       jl       G_M55825_IG20
+       mov      esi, dword ptr [rdx+0x08]
+       sub      esi, ebx
+       cmp      esi, r15d
+       jl       G_M55825_IG23
 						;; size=14 bbWeight=0.50 PerfScore 1.75
 G_M55825_IG04:
        cmp      ebx, 1
        jg       SHORT G_M55825_IG06
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M55825_IG05:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M55825_IG06:
        test     rdx, rdx
-       je       G_M55825_IG13
-       mov      edi, r15d
-       shl      rdi, 3
-       lea      r14, bword ptr [r14+rdi+0x10]
-       lea      r15, bword ptr [rdx+rdi+0x10]
-       mov      rdi, qword ptr [r13+0x18]
-       mov      rax, qword ptr [rdi+0x20]
-       test     rax, rax
-       je       SHORT G_M55825_IG11
+       je       G_M55825_IG15
+       mov      esi, r15d
+       shl      rsi, 3
+       lea      r14, bword ptr [r14+rsi+0x10]
+       lea      r15, bword ptr [rdx+rsi+0x10]
+       mov      rsi, qword ptr [rdi+0x18]
+       mov      r12, qword ptr [rsi+0x20]
+       test     r12, r12
+       je       SHORT G_M55825_IG12
 						;; size=39 bbWeight=0.50 PerfScore 4.62
 G_M55825_IG07:
-       mov      rdi, qword ptr [r13+0x18]
+       mov      rdi, qword ptr [r12+0x18]
+       mov      rax, qword ptr [rdi+0x20]
+       test     rax, rax
+       je       SHORT G_M55825_IG13
+						;; size=14 bbWeight=0.50 PerfScore 2.62
+G_M55825_IG08:
+       mov      rdi, qword ptr [r12+0x18]
        mov      rcx, qword ptr [rdi+0x28]
        test     rcx, rcx
-       je       SHORT G_M55825_IG12
-						;; size=13 bbWeight=0.50 PerfScore 2.62
-G_M55825_IG08:
-       mov      r13, rcx
-						;; size=3 bbWeight=0.40 PerfScore 0.10
+       je       SHORT G_M55825_IG14
+						;; size=14 bbWeight=0.50 PerfScore 2.62
 G_M55825_IG09:
+       mov      r12, rcx
+						;; size=3 bbWeight=0.40 PerfScore 0.10
+G_M55825_IG10:
        mov      rdi, rax
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
        call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
        mov      rdi, gword ptr [rax]
        mov      rcx, r15
        mov      r8d, ebx
        mov      rsi, r14
        mov      edx, ebx
-       mov      r11, r13
-       mov      r9, r12
+       mov      r11, r12
+       mov      r9, r13
        cmp      dword ptr [rdi], edi
-       mov      rax, r13
+       mov      rax, r12
 						;; size=40 bbWeight=0.50 PerfScore 5.12
-G_M55825_IG10:
+G_M55825_IG11:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        tail.jmp [rax]
 						;; size=17 bbWeight=0.50 PerfScore 3.62
-G_M55825_IG11:
-       mov      rdi, r13
+G_M55825_IG12:
+       mov      rsi, 0xD1FFAB1E      ; global ptr
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       mov      r12, rax
+       jmp      SHORT G_M55825_IG07
+						;; size=27 bbWeight=0.10 PerfScore 0.58
+G_M55825_IG13:
+       mov      rdi, r12
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      qword ptr [rbp-0x38], rax
-       jmp      SHORT G_M55825_IG07
-						;; size=31 bbWeight=0.10 PerfScore 0.68
-G_M55825_IG12:
+       jmp      G_M55825_IG08
+						;; size=34 bbWeight=0.10 PerfScore 0.68
+G_M55825_IG14:
        mov      qword ptr [rbp-0x38], rax
-       mov      rdi, r13
+       mov      rdi, r12
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rcx, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rcx]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       mov      r13, rax
+       mov      r12, rax
        mov      rax, qword ptr [rbp-0x38]
-       jmp      SHORT G_M55825_IG09
-						;; size=38 bbWeight=0.10 PerfScore 0.80
-G_M55825_IG13:
-       mov      rdi, qword ptr [r13+0x18]
-       mov      rdi, qword ptr [rdi+0x30]
-       test     rdi, rdi
-       je       SHORT G_M55825_IG16
+       jmp      G_M55825_IG10
+						;; size=41 bbWeight=0.10 PerfScore 0.80
+G_M55825_IG15:
+       mov      rsi, qword ptr [rdi+0x18]
+       mov      rax, qword ptr [rsi+0x28]
+       test     rax, rax
+       je       SHORT G_M55825_IG19
 						;; size=13 bbWeight=0.50 PerfScore 2.62
-G_M55825_IG14:
+G_M55825_IG16:
+       mov      rdi, rax
+						;; size=3 bbWeight=0.40 PerfScore 0.10
+G_M55825_IG17:
        mov      rsi, r14
        mov      edx, r15d
        mov      ecx, ebx
-       mov      r8, r12
+       mov      r8, r13
        mov      rax, 0xD1FFAB1E      ; code for System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon])
 						;; size=21 bbWeight=0.50 PerfScore 0.62
-G_M55825_IG15:
+G_M55825_IG18:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        tail.jmp [rax]System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon])
 						;; size=17 bbWeight=0.50 PerfScore 3.62
-G_M55825_IG16:
-       mov      rdi, r13
+G_M55825_IG19:
        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_M55825_IG14
-						;; size=30 bbWeight=0.10 PerfScore 0.60
-G_M55825_IG17:
+       jmp      SHORT G_M55825_IG17
+						;; size=27 bbWeight=0.10 PerfScore 0.58
+G_M55825_IG20:
        mov      edi, 72
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
-G_M55825_IG18:
+G_M55825_IG21:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowIndexArgumentOutOfRange_NeedNonNegNumException()
        call     [rax]System.ThrowHelper:ThrowIndexArgumentOutOfRange_NeedNonNegNumException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M55825_IG19:
+G_M55825_IG22:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowLengthArgumentOutOfRange_ArgumentOutOfRange_NeedNonNegNum()
        call     [rax]System.ThrowHelper:ThrowLengthArgumentOutOfRange_ArgumentOutOfRange_NeedNonNegNum()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M55825_IG20:
+G_M55825_IG23:
        mov      edi, 16
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 442, prolog size 38, PerfScore 47.67, instruction count 126, allocated bytes for code 442 (MethodHash=6c4925ee) for method System.Array:Sort[System.__Canon,System.Nullable`1[int]](System.__Canon[],System.Nullable`1[int][],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)
+; Total bytes of code 487, prolog size 35, PerfScore 50.70, instruction count 134, allocated bytes for code 487 (MethodHash=6c4925ee) for method System.Array:Sort[System.__Canon,System.Nullable`1[int]](System.__Canon[],System.Nullable`1[int][],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)
 ; ============================================================

40 (13.56 % of base) - System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon])

 ; Assembly listing for method System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (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; 2 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,T03] (  7,  4.20)    long  ->  r15         single-def
+;  V00 TypeCtx      [V00,T03] (  5,  3.60)    long  ->  rdi         single-def
 ;  V01 arg0         [V01,T01] (  5,  4.50)     ref  ->  rsi         class-hnd single-def <System.__Canon[]>
 ;  V02 arg1         [V02,T02] (  5,  4.50)     int  ->  rdx         single-def
 ;  V03 arg2         [V03,T00] (  6,  5.50)     int  ->  rbx         single-def
-;  V04 arg3         [V04,T04] (  3,  2.50)     ref  ->  r14         class-hnd single-def <System.Collections.Generic.IComparer`1[System.__Canon]>
-;* V05 loc0         [V05    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[System.__Canon]>
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V07 tmp1         [V07    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
-;* V08 tmp2         [V08    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;  V09 tmp3         [V09,T08] (  3,  2   )    long  ->  r12         "spilling helperCall"
-;  V10 tmp4         [V10,T05] (  4,  3   )    long  ->  r15         "spilling helperCall"
-;* V11 tmp5         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V12 tmp6         [V12    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V13 tmp7         [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V14 tmp8         [V14    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
-;  V15 tmp9         [V15,T10] (  2,  1   )   byref  ->  r13         single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V16 tmp10        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V17 tmp11        [V17,T09] (  2,  2   )     ref  ->  rdi         single-def "argument with side effect"
-;  V18 rat0         [V18,T06] (  3,  2.80)    long  ->  r12         "fgMakeTemp is creating a new local variable"
-;  V19 rat1         [V19,T07] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
+;  V04 arg3         [V04,T04] (  3,  2.50)     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IComparer`1[System.__Canon]>
+;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V06 tmp1         [V06    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
+;* V07 tmp2         [V07    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V08 tmp3         [V08    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V09 tmp4         [V09    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V10 tmp5         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.__Canon]>
+;  V11 tmp6         [V11,T05] (  6,  3.40)    long  ->  r13         "Inlining Arg"
+;  V12 tmp7         [V12,T10] (  3,  2   )    long  ->  r12         "spilling helperCall"
+;  V13 tmp8         [V13,T06] (  4,  3   )    long  ->  r13         "spilling helperCall"
+;* V14 tmp9         [V14    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V15 tmp10        [V15,T12] (  2,  1   )   byref  ->  r14         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp11        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp12        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp13        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;  V19 tmp14        [V19,T11] (  2,  2   )     ref  ->  rdi         single-def "argument with side effect"
+;  V20 rat0         [V20,T07] (  3,  2.80)    long  ->  r13         "fgMakeTemp is creating a new local variable"
+;  V21 rat1         [V21,T08] (  3,  2.80)    long  ->  r12         "fgMakeTemp is creating a new local variable"
+;  V22 rat2         [V22,T09] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
 ;
 ; Lcl frame size = 8
 
 G_M58455_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        lea      rbp, [rsp+0x30]
        mov      qword ptr [rbp-0x30], rdi
-       mov      r15, rdi
        mov      ebx, ecx
-       mov      r14, r8
-						;; size=28 bbWeight=1 PerfScore 9.25
+       mov      r15, r8
+						;; size=25 bbWeight=1 PerfScore 9.00
 G_M58455_IG02:
        test     rsi, rsi
-       je       G_M58455_IG11
+       je       G_M58455_IG13
        test     edx, edx
-       jl       G_M58455_IG12
-       test     ebx, ebx
-       jl       G_M58455_IG13
-       mov      edi, dword ptr [rsi+0x08]
-       sub      edi, edx
-       cmp      edi, ebx
        jl       G_M58455_IG14
+       test     ebx, ebx
+       jl       G_M58455_IG15
+       mov      eax, dword ptr [rsi+0x08]
+       sub      eax, edx
+       cmp      eax, ebx
+       jl       G_M58455_IG16
        cmp      ebx, 1
        jg       SHORT G_M58455_IG04
 						;; size=43 bbWeight=1 PerfScore 8.50
 G_M58455_IG03:
        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_M58455_IG04:
-       mov      edi, edx
-       lea      r13, bword ptr [rsi+8*rdi+0x10]
-       mov      rdi, qword ptr [r15+0x18]
-       mov      r12, qword ptr [rdi+0x18]
-       test     r12, r12
-       je       SHORT G_M58455_IG09
+       mov      eax, edx
+       lea      r14, bword ptr [rsi+8*rax+0x10]
+       mov      rsi, qword ptr [rdi+0x18]
+       mov      r13, qword ptr [rsi+0x18]
+       test     r13, r13
+       je       SHORT G_M58455_IG10
 						;; size=20 bbWeight=0.50 PerfScore 3.25
 G_M58455_IG05:
-       mov      rdi, qword ptr [r15+0x18]
-       mov      rax, qword ptr [rdi+0x20]
-       test     rax, rax
-       je       SHORT G_M58455_IG10
+       mov      rdi, qword ptr [r13+0x18]
+       mov      r12, qword ptr [rdi+0x18]
+       test     r12, r12
+       je       SHORT G_M58455_IG11
 						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M58455_IG06:
-       mov      r15, rax
-						;; size=3 bbWeight=0.40 PerfScore 0.10
+       mov      rdi, qword ptr [r13+0x18]
+       mov      rax, qword ptr [rdi+0x20]
+       test     rax, rax
+       je       SHORT G_M58455_IG12
+						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M58455_IG07:
+       mov      r13, rax
+						;; size=3 bbWeight=0.40 PerfScore 0.10
+G_M58455_IG08:
        mov      rdi, r12
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
        call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
        mov      rdi, gword ptr [rax]
-       mov      rsi, r13
+       mov      rsi, r14
        mov      edx, ebx
-       mov      r11, r15
-       mov      rcx, r14
+       mov      r11, r13
+       mov      rcx, r15
        cmp      dword ptr [rdi], edi
-       mov      rax, r15
+       mov      rax, r13
 						;; size=34 bbWeight=0.50 PerfScore 4.88
-G_M58455_IG08:
+G_M58455_IG09:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        tail.jmp [rax]
 						;; size=17 bbWeight=0.50 PerfScore 3.62
-G_M58455_IG09:
-       mov      rdi, r15
+G_M58455_IG10:
+       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_M58455_IG05
+						;; size=27 bbWeight=0.10 PerfScore 0.58
+G_M58455_IG11:
+       mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r12, rax
-       jmp      SHORT G_M58455_IG05
+       jmp      SHORT G_M58455_IG06
 						;; size=30 bbWeight=0.10 PerfScore 0.60
-G_M58455_IG10:
-       mov      rdi, r15
+G_M58455_IG12:
+       mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       mov      r15, rax
-       jmp      SHORT G_M58455_IG07
-						;; size=30 bbWeight=0.10 PerfScore 0.60
-G_M58455_IG11:
+       mov      r13, rax
+       jmp      G_M58455_IG08
+						;; size=33 bbWeight=0.10 PerfScore 0.60
+G_M58455_IG13:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
-G_M58455_IG12:
+G_M58455_IG14:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowIndexArgumentOutOfRange_NeedNonNegNumException()
        call     [rax]System.ThrowHelper:ThrowIndexArgumentOutOfRange_NeedNonNegNumException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M58455_IG13:
+G_M58455_IG15:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowLengthArgumentOutOfRange_ArgumentOutOfRange_NeedNonNegNum()
        call     [rax]System.ThrowHelper:ThrowLengthArgumentOutOfRange_ArgumentOutOfRange_NeedNonNegNum()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M58455_IG14:
+G_M58455_IG16:
        mov      edi, 16
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 295, prolog size 28, PerfScore 35.55, instruction count 87, allocated bytes for code 295 (MethodHash=6e1c1ba8) for method System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)
+; Total bytes of code 335, prolog size 25, PerfScore 38.50, instruction count 95, allocated bytes for code 335 (MethodHash=6e1c1ba8) for method System.Array:Sort[System.__Canon](System.__Canon[],int,int,System.Collections.Generic.IComparer`1[System.__Canon]) (FullOpts)
 ; ============================================================

[MihuBot]

@xtqqczze