[X64] [EgorBo] Handle side-effects in impBoxPatternMatch

[MihuBot]

Build completed in 1 hour 8 minutes.
dotnet/runtime#90496

CoreLib diffs

Found 2 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 6626928
Total bytes of diff: 6626854
Total bytes of delta: -74 (-0.00 % of base)
Total relative delta: -1.62
    diff is an improvement.
    relative diff is an improvement.


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

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

Top method regressions (bytes):
          20 (11.30 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int (FullOpts)
           5 (4.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           5 (4.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           4 (1.85 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int (FullOpts)
           4 (3.15 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int (FullOpts)
           2 (1.89 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           2 (1.87 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[long,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[long],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)

Top method improvements (bytes):
         -11 (-7.48 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int (FullOpts)
          -8 (-19.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-38.10 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-30.77 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-29.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-34.78 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref) (FullOpts)
          -6 (-3.26 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this (FullOpts)
          -5 (-1.25 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int) (FullOpts)
          -5 (-1.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:IntroSort(System.Span`1[int],int) (FullOpts)
          -5 (-1.44 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:IntroSort(System.Span`1[long],int) (FullOpts)
          -5 (-1.42 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:IntroSort(System.Span`1[short],int) (FullOpts)
          -5 (-1.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:IntroSort(System.Span`1[ubyte],int) (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:IndexOf(int[],int,int,int):int:this (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:LastIndexOf(int[],int,int,int):int:this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[long,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[short,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[ubyte,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-1.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:PickPivotAndPartition(System.Span`1[long]):int (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[double,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[int,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-0.65 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[double](byref,int,double[]):System.Text.StringBuilder:this (FullOpts)
          -2 (-0.82 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[int](byref,int,int[]):System.Text.StringBuilder:this (FullOpts)

Top method regressions (percentages):
          20 (11.30 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int (FullOpts)
           5 (4.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           5 (4.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           4 (3.15 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int (FullOpts)
           2 (1.89 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           2 (1.87 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[long,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[long],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           4 (1.85 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int (FullOpts)

Top method improvements (percentages):
          -8 (-38.10 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-34.78 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-30.77 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-29.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-19.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref) (FullOpts)
         -11 (-7.48 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:IndexOf(int[],int,int,int):int:this (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:LastIndexOf(int[],int,int,int):int:this (FullOpts)
          -6 (-3.26 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int (FullOpts)
          -5 (-1.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:IntroSort(System.Span`1[int],int) (FullOpts)
          -3 (-1.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:PickPivotAndPartition(System.Span`1[long]):int (FullOpts)
          -5 (-1.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:IntroSort(System.Span`1[ubyte],int) (FullOpts)
          -5 (-1.44 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:IntroSort(System.Span`1[long],int) (FullOpts)
          -5 (-1.42 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:IntroSort(System.Span`1[short],int) (FullOpts)
          -5 (-1.25 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int) (FullOpts)
          -2 (-0.82 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[int](byref,int,int[]):System.Text.StringBuilder:this (FullOpts)
          -2 (-0.65 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[double](byref,int,double[]):System.Text.StringBuilder:this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[long,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[short,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[ubyte,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[int,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[double,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)

33 total methods with Code Size differences (24 improved, 9 regressed), 52816 unchanged.

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

Frameworks diffs

Diffs

Found 265 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 38566219
Total bytes of diff: 38565752
Total bytes of delta: -467 (-0.00 % of base)
Total relative delta: -8.65
    diff is an improvement.
    relative diff is an improvement.


Top file improvements (bytes):
        -161 : System.Diagnostics.DiagnosticSource.dasm (-0.07 % of base)
        -142 : Microsoft.Extensions.Logging.Console.dasm (-0.17 % of base)
         -74 : System.Private.CoreLib.dasm (-0.00 % of base)
         -60 : System.Text.Json.dasm (-0.00 % of base)
         -17 : System.Linq.Expressions.dasm (-0.00 % of base)
          -9 : System.Collections.Concurrent.dasm (-0.00 % of base)
          -4 : Microsoft.CSharp.dasm (-0.00 % of base)

7 total files with Code Size differences (7 improved, 0 regressed), 248 unchanged.

Top method regressions (bytes):
          20 (11.30 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int (FullOpts)
           5 (4.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           5 (4.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           4 (1.85 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int (FullOpts)
           4 (3.15 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int (FullOpts)
           2 (1.89 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           2 (1.87 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[long,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[long],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)

Top method improvements (bytes):
         -43 (-81.13 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[System.Numerics.Vector`1[float]]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
         -40 (-80.00 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[double]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
         -37 (-1.30 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[double](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
         -37 (-1.25 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[System.Numerics.Vector`1[float]](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
         -35 (-1.25 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[long](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
         -35 (-77.78 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[long]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
         -33 (-1.18 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[int](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
         -33 (-76.74 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[int]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
         -17 (-13.60 % of base) : System.Linq.Expressions.dasm - System.Dynamic.Utils.ContractUtils:RequiresNotNullItems[System.Numerics.Vector`1[float]](System.Collections.Generic.IList`1[System.Numerics.Vector`1[float]],System.String) (FullOpts)
         -11 (-7.48 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int (FullOpts)
          -8 (-19.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-38.10 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-30.77 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-29.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-34.78 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref) (FullOpts)
          -6 (-3.26 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this (FullOpts)
          -5 (-1.25 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int) (FullOpts)
          -5 (-1.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:IntroSort(System.Span`1[int],int) (FullOpts)
          -5 (-1.44 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:IntroSort(System.Span`1[long],int) (FullOpts)
          -5 (-1.42 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:IntroSort(System.Span`1[short],int) (FullOpts)
          -5 (-1.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:IntroSort(System.Span`1[ubyte],int) (FullOpts)
          -5 (-33.33 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[short]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
          -5 (-33.33 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[ubyte]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:IndexOf(int[],int,int,int):int:this (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:LastIndexOf(int[],int,int,int):int:this (FullOpts)
          -3 (-5.08 % of base) : System.Collections.Concurrent.dasm - System.Collections.Concurrent.ConcurrentDictionary`2[double,System.Nullable`1[int]]:TryRemove(System.Collections.Generic.KeyValuePair`2[double,System.Nullable`1[int]]):bool:this (FullOpts)
          -3 (-5.77 % of base) : System.Collections.Concurrent.dasm - System.Collections.Concurrent.ConcurrentDictionary`2[int,System.Nullable`1[int]]:TryRemove(System.Collections.Generic.KeyValuePair`2[int,System.Nullable`1[int]]):bool:this (FullOpts)
          -3 (-5.56 % of base) : System.Collections.Concurrent.dasm - System.Collections.Concurrent.ConcurrentDictionary`2[long,System.Nullable`1[int]]:TryRemove(System.Collections.Generic.KeyValuePair`2[long,System.Nullable`1[int]]):bool:this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[long,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[short,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[ubyte,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-1.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:PickPivotAndPartition(System.Span`1[long]):int (FullOpts)
          -2 (-2.04 % of base) : Microsoft.CSharp.dasm - Microsoft.CSharp.RuntimeBinder.Semantics.TypeTable+KeyPair`2[double,System.Nullable`1[int]]:GetHashCode():int:this (FullOpts)
          -2 (-2.25 % of base) : Microsoft.CSharp.dasm - Microsoft.CSharp.RuntimeBinder.Semantics.TypeTable+KeyPair`2[System.Numerics.Vector`1[float],System.Nullable`1[int]]:GetHashCode():int:this (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[double,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[int,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[double]():double:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[int]():int:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[long]():long:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[System.Numerics.Vector`1[float]]():System.Numerics.Vector`1[float]:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[ubyte]():ubyte:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[double](byref):bool:this (FullOpts)
          -2 (-20.00 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[int](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[long](byref):bool:this (FullOpts)
          -2 (-9.09 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[System.Numerics.Vector`1[float]](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[ubyte](byref):bool:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[double]():double:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[int]():int:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[long]():long:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[short]():short:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[ubyte]():ubyte:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[double](byref):bool:this (FullOpts)
          -2 (-20.00 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[int](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[long](byref):bool:this (FullOpts)
          -2 (-15.38 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[short](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[ubyte](byref):bool:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[double]():double:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[int]():int:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[long]():long:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[short]():short:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[System.Numerics.Vector`1[float]]():System.Numerics.Vector`1[float]:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[double](byref):bool:this (FullOpts)
          -2 (-20.00 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[int](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[long](byref):bool:this (FullOpts)
          -2 (-15.38 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[short](byref):bool:this (FullOpts)
          -2 (-9.09 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[System.Numerics.Vector`1[float]](byref):bool:this (FullOpts)
          -2 (-0.65 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[double](byref,int,double[]):System.Text.StringBuilder:this (FullOpts)
          -2 (-0.82 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[int](byref,int,int[]):System.Text.StringBuilder:this (FullOpts)

Top method regressions (percentages):
          20 (11.30 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int (FullOpts)
           5 (4.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           5 (4.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           4 (3.15 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int (FullOpts)
           3 (2.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int (FullOpts)
           2 (1.89 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           2 (1.87 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`2[long,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[long],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
           4 (1.85 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int (FullOpts)

Top method improvements (percentages):
         -43 (-81.13 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[System.Numerics.Vector`1[float]]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
         -40 (-80.00 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[double]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
         -35 (-77.78 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[long]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
         -33 (-76.74 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[int]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
          -8 (-38.10 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-34.78 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref) (FullOpts)
          -5 (-33.33 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[short]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
          -5 (-33.33 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.Diagnostics.ActivityCreationOptions`1[ubyte]:get_TraceId():System.Diagnostics.ActivityTraceId:this (FullOpts)
          -8 (-30.77 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref) (FullOpts)
          -8 (-29.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref) (FullOpts)
          -2 (-20.00 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[int](byref):bool:this (FullOpts)
          -2 (-20.00 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[int](byref):bool:this (FullOpts)
          -2 (-20.00 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[int](byref):bool:this (FullOpts)
          -8 (-19.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref) (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[double](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[long](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[ubyte](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[double](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[long](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[ubyte](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[double](byref):bool:this (FullOpts)
          -2 (-18.18 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[long](byref):bool:this (FullOpts)
          -2 (-15.38 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:TryGetValue[short](byref):bool:this (FullOpts)
          -2 (-15.38 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[short](byref):bool:this (FullOpts)
         -17 (-13.60 % of base) : System.Linq.Expressions.dasm - System.Dynamic.Utils.ContractUtils:RequiresNotNullItems[System.Numerics.Vector`1[float]](System.Collections.Generic.IList`1[System.Numerics.Vector`1[float]],System.String) (FullOpts)
          -2 (-9.09 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:TryGetValue[System.Numerics.Vector`1[float]](byref):bool:this (FullOpts)
          -2 (-9.09 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:TryGetValue[System.Numerics.Vector`1[float]](byref):bool:this (FullOpts)
         -11 (-7.48 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this (FullOpts)
          -6 (-6.52 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this (FullOpts)
          -3 (-5.77 % of base) : System.Collections.Concurrent.dasm - System.Collections.Concurrent.ConcurrentDictionary`2[int,System.Nullable`1[int]]:TryRemove(System.Collections.Generic.KeyValuePair`2[int,System.Nullable`1[int]]):bool:this (FullOpts)
          -3 (-5.56 % of base) : System.Collections.Concurrent.dasm - System.Collections.Concurrent.ConcurrentDictionary`2[long,System.Nullable`1[int]]:TryRemove(System.Collections.Generic.KeyValuePair`2[long,System.Nullable`1[int]]):bool:this (FullOpts)
          -3 (-5.08 % of base) : System.Collections.Concurrent.dasm - System.Collections.Concurrent.ConcurrentDictionary`2[double,System.Nullable`1[int]]:TryRemove(System.Collections.Generic.KeyValuePair`2[double,System.Nullable`1[int]]):bool:this (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:IndexOf(int[],int,int,int):int:this (FullOpts)
          -4 (-4.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericEqualityComparer`1[int]:LastIndexOf(int[],int,int,int):int:this (FullOpts)
          -6 (-3.26 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int (FullOpts)
          -2 (-2.25 % of base) : Microsoft.CSharp.dasm - Microsoft.CSharp.RuntimeBinder.Semantics.TypeTable+KeyPair`2[System.Numerics.Vector`1[float],System.Nullable`1[int]]:GetHashCode():int:this (FullOpts)
          -2 (-2.04 % of base) : Microsoft.CSharp.dasm - Microsoft.CSharp.RuntimeBinder.Semantics.TypeTable+KeyPair`2[double,System.Nullable`1[int]]:GetHashCode():int:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[double]():double:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[int]():int:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[long]():long:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[System.Numerics.Vector`1[float]]():System.Numerics.Vector`1[float]:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[short]:GetValue[ubyte]():ubyte:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[double]():double:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[int]():int:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[long]():long:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[short]():short:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[System.Numerics.Vector`1[float]]:GetValue[ubyte]():ubyte:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[double]():double:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[int]():int:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[long]():long:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[short]():short:this (FullOpts)
          -2 (-1.83 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonValue`1[ubyte]:GetValue[System.Numerics.Vector`1[float]]():System.Numerics.Vector`1[float]:this (FullOpts)
          -5 (-1.55 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[int]:IntroSort(System.Span`1[int],int) (FullOpts)
          -3 (-1.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:PickPivotAndPartition(System.Span`1[long]):int (FullOpts)
          -5 (-1.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:IntroSort(System.Span`1[ubyte],int) (FullOpts)
          -5 (-1.44 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[long]:IntroSort(System.Span`1[long],int) (FullOpts)
          -5 (-1.42 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[short]:IntroSort(System.Span`1[short],int) (FullOpts)
         -37 (-1.30 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[double](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
         -35 (-1.25 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[long](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
         -37 (-1.25 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[System.Numerics.Vector`1[float]](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
          -5 (-1.25 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int) (FullOpts)
         -33 (-1.18 % of base) : Microsoft.Extensions.Logging.Console.dasm - Microsoft.Extensions.Logging.Console.JsonConsoleFormatter:Write[int](byref,Microsoft.Extensions.Logging.IExternalScopeProvider,System.IO.TextWriter):this (FullOpts)
          -2 (-0.82 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[int](byref,int,int[]):System.Text.StringBuilder:this (FullOpts)
          -2 (-0.65 % of base) : System.Private.CoreLib.dasm - System.Text.StringBuilder:AppendJoinCore[double](byref,int,double[]):System.Text.StringBuilder:this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[long,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[short,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -3 (-0.18 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[ubyte,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[int,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)
          -2 (-0.12 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.Dictionary`2[double,System.Nullable`1[int]]:OnDeserialization(System.Object):this (FullOpts)

79 total methods with Code Size differences (70 improved, 9 regressed), 233531 unchanged.

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

Artifacts:

• build-artifacts-main.zip (341 MB)
• build-clr-checked-main.zip (32 MB)
• build-artifacts-pr.zip (341 MB)
• build-clr-checked-pr.zip (32 MB)
• jit-diffs-corelib.zip (45 MB)
• diff-corelib.txt (12 KB)
• diff-frameworks.txt (29 KB)
• jit-diffs-frameworks.zip (249 MB)
• build-logs.txt (1 MB)

[MihuBot]

Top method regressions

20 (11.30 % of base) - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 7 single block inlinees; 8 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.Span`1[ubyte]>
-;  V01 loc0         [V01,T04] ( 13, 15   )   byref  ->  rdi         single-def
-;  V02 loc1         [V02,T09] (  5,  4   )   byref  ->  rcx         single-def
-;  V03 loc2         [V03,T07] (  7,  6   )   byref  ->  rax         single-def
+;  V01 loc0         [V01,T04] ( 12, 14   )   byref  ->  rdi         single-def
+;  V02 loc1         [V02,T08] (  7,  5   )   byref  ->  rcx         single-def
+;  V03 loc2         [V03,T07] (  8,  6.50)   byref  ->  rax         single-def
 ;  V04 loc3         [V04,T05] (  9, 11   )   byref  ->  rcx         single-def
 ;  V05 loc4         [V05,T06] (  3,  9   )   ubyte  ->  rsi         ld-addr-op
 ;  V06 loc5         [V06,T00] ( 12, 21.50)   byref  ->  rax        
 ;  V07 loc6         [V07,T01] (  8, 18.50)   byref  ->  rdx        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
 ;  V09 tmp1         [V09,T02] (  2, 16   )   byref  ->  rdx         "dup spill"
 ;  V10 tmp2         [V10,T03] (  2, 16   )   byref  ->  rax         "dup spill"
 ;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp4         [V12    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V13 tmp5         [V13,T20] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
-;* V14 tmp6         [V14    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V15 tmp7         [V15,T21] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
+;* V12 tmp4         [V12    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V13 tmp5         [V13    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V14 tmp6         [V14,T17] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
+;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
 ;* V16 tmp8         [V16    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V17 tmp9         [V17,T22] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
-;  V18 tmp10        [V18,T19] (  2,  2   )   ubyte  ->  rdx         "Inline stloc first use temp"
+;  V17 tmp9         [V17,T18] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
+;* V18 tmp10        [V18    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
 ;* V19 tmp11        [V19    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;* V20 tmp12        [V20    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V21 tmp13        [V21,T23] (  2,  1   )   ubyte  ->   r8         "Inline stloc first use temp"
-;  V22 tmp14        [V22,T24] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
-;  V23 tmp15        [V23,T10] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V24 tmp16        [V24,T08] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V25 tmp17        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V26 tmp18        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;  V27 cse0         [V27,T11] (  3,  3   )     int  ->  rdx         "CSE - moderate"
-;  V28 cse1         [V28,T13] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V29 cse2         [V29,T14] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V30 cse3         [V30,T15] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V31 cse4         [V31,T16] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V32 cse5         [V32,T17] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V33 cse6         [V33,T18] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V34 cse7         [V34,T12] (  3,  3   )     int  ->  rax         "CSE - moderate"
+;  V20 tmp12        [V20,T19] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
+;  V21 tmp13        [V21,T16] (  2,  2   )   ubyte  ->  rdx         "Inline stloc first use temp"
+;* V22 tmp14        [V22    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;* V23 tmp15        [V23    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V24 tmp16        [V24,T20] (  2,  1   )   ubyte  ->   r8         "Inline stloc first use temp"
+;  V25 tmp17        [V25,T21] (  2,  1   )   ubyte  ->  rdx         "Inline stloc first use temp"
+;  V26 tmp18        [V26,T10] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V27 tmp19        [V27,T09] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;* V28 tmp20        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V29 tmp21        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;  V30 cse0         [V30,T13] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V31 cse1         [V31,T14] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V32 cse2         [V32,T15] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V33 cse3         [V33,T11] (  3,  3   )     int  ->  rdx         "CSE - moderate"
+;  V34 cse4         [V34,T12] (  3,  3   )     int  ->  rax         "CSE - moderate"
 ;
 ; Lcl frame size = 0
 
 G_M4328_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M4328_IG02:
        lea      eax, [rsi-0x01]
        movsxd   rcx, eax
        add      rcx, rdi
        sar      eax, 1
        cdqe     
        add      rax, rdi
-       cmp      byte  ptr [rdi], dil
        movzx    rdx, byte  ptr [rdi]
        movzx    r8, byte  ptr [rax]
        cmp      edx, r8d
        jle      SHORT G_M4328_IG04
-						;; size=31 bbWeight=1 PerfScore 10.25
+						;; size=28 bbWeight=1 PerfScore 7.25
 G_M4328_IG03:
+       movzx    r8, byte  ptr [rax]
        mov      byte  ptr [rdi], r8b
        mov      byte  ptr [rax], dl
-						;; size=5 bbWeight=0.50 PerfScore 1.00
+						;; size=9 bbWeight=0.50 PerfScore 2.00
 G_M4328_IG04:
        movzx    rdx, byte  ptr [rdi]
        movzx    r8, byte  ptr [rcx]
        cmp      edx, r8d
        jle      SHORT G_M4328_IG06
 						;; size=12 bbWeight=1 PerfScore 5.25
 G_M4328_IG05:
+       movzx    r8, byte  ptr [rcx]
        mov      byte  ptr [rdi], r8b
        mov      byte  ptr [rcx], dl
-						;; size=5 bbWeight=0.50 PerfScore 1.00
+						;; size=9 bbWeight=0.50 PerfScore 2.00
 G_M4328_IG06:
        movzx    rdx, byte  ptr [rax]
        movzx    r8, byte  ptr [rcx]
        cmp      edx, r8d
        jle      SHORT G_M4328_IG08
 						;; size=12 bbWeight=1 PerfScore 5.25
 G_M4328_IG07:
+       movzx    r8, byte  ptr [rcx]
        mov      byte  ptr [rax], r8b
        mov      byte  ptr [rcx], dl
-						;; size=5 bbWeight=0.50 PerfScore 1.00
+						;; size=9 bbWeight=0.50 PerfScore 2.00
 G_M4328_IG08:
        add      esi, -2
        movsxd   rcx, esi
        add      rcx, rdi
        movzx    rdx, byte  ptr [rax]
        mov      esi, edx
        movzx    r8, byte  ptr [rcx]
        mov      byte  ptr [rax], r8b
        mov      byte  ptr [rcx], dl
        mov      rax, rdi
        mov      rdx, rcx
        cmp      rdi, rcx
        jae      SHORT G_M4328_IG12
-       align    [0 bytes for IG09]
-						;; size=34 bbWeight=1 PerfScore 8.75
+       align    [11 bytes for IG09]
+						;; size=45 bbWeight=1 PerfScore 9.00
 G_M4328_IG09:
        cmp      rax, rcx
        jae      SHORT G_M4328_IG10
        inc      rax
        cmp      sil, byte  ptr [rax]
        ja       SHORT G_M4328_IG09
 						;; size=13 bbWeight=4 PerfScore 22.00
 G_M4328_IG10:
        cmp      rdx, rdi
        jbe      SHORT G_M4328_IG11
        dec      rdx
        cmp      sil, byte  ptr [rdx]
        jb       SHORT G_M4328_IG10
 						;; size=13 bbWeight=4 PerfScore 22.00
 G_M4328_IG11:
        cmp      rax, rdx
        jae      SHORT G_M4328_IG12
        movzx    r8, byte  ptr [rax]
        movzx    r9, byte  ptr [rdx]
        mov      byte  ptr [rax], r9b
        mov      byte  ptr [rdx], r8b
        jmp      SHORT G_M4328_IG09
 						;; size=21 bbWeight=0.50 PerfScore 4.62
 G_M4328_IG12:
        cmp      rax, rcx
        je       SHORT G_M4328_IG14
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M4328_IG13:
        movzx    rdx, byte  ptr [rax]
        movzx    rsi, byte  ptr [rcx]
        mov      byte  ptr [rax], sil
        mov      byte  ptr [rcx], dl
 						;; size=12 bbWeight=0.50 PerfScore 3.00
 G_M4328_IG14:
        sub      rax, rdi
 						;; size=3 bbWeight=1 PerfScore 0.25
 G_M4328_IG15:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
 
-; Total bytes of code 177, prolog size 4, PerfScore 106.08, instruction count 66, allocated bytes for code 177 (MethodHash=bb58ef17) for method System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int (FullOpts)
+; Total bytes of code 197, prolog size 4, PerfScore 108.33, instruction count 68, allocated bytes for code 197 (MethodHash=bb58ef17) for method System.Collections.Generic.GenericArraySortHelper`1[ubyte]:PickPivotAndPartition(System.Span`1[ubyte]):int (FullOpts)

5 (4.50 % of base) - System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 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.Span`1[short]>
 ;* 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,T00] (  6,  5   )     int  ->   r8         single-def
-;  V03 arg3         [V03,T01] (  6,  5   )     int  ->   r9         single-def
-;  V04 loc0         [V04,T07] (  3,  3   )   byref  ->  r10         single-def
-;  V05 loc1         [V05,T16] (  2,  1   )   short  ->  r10        
+;  V02 arg2         [V02,T01] (  6,  5   )     int  ->   r8         single-def
+;  V03 arg3         [V03,T00] (  7,  5.50)     int  ->   r9         single-def
+;  V04 loc0         [V04,T12] (  2,  2   )   byref  ->  r10         single-def
+;  V05 loc1         [V05,T15] (  2,  1   )   short  ->  r10        
 ;* V06 loc2         [V06    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
 ;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V08 tmp1         [V08    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V09 tmp2         [V09,T06] (  2,  4   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V10 tmp3         [V10,T02] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V11 tmp4         [V11,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V12 tmp5         [V12,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V13 tmp6         [V13,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V14 tmp7         [V14,T17] (  2,  1   )    bool  ->  rsi         "field V06.hasValue (fldOffset=0x0)" P-INDEP
-;  V15 tmp8         [V15,T18] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
-;  V16 tmp9         [V16,T08] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
-;  V17 tmp10        [V17,T09] (  3,  3   )   byref  ->  rcx         single-def "BlockOp address local"
-;  V18 cse0         [V18,T10] (  3,  2.50)   byref  ->  rdi         "CSE - moderate"
-;  V19 cse1         [V19,T14] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
-;  V20 cse2         [V20,T15] (  3,  1.50)   byref  ->  rcx         "CSE - moderate"
-;  V21 cse3         [V21,T11] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
-;  V22 cse4         [V22,T12] (  3,  2.50)     int  ->  rsi         "CSE - moderate"
-;  V23 cse5         [V23,T13] (  3,  2.50)     int  ->  r10         "CSE - moderate"
+;* V08 tmp1         [V08    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V09 tmp2         [V09    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V10 tmp3         [V10,T06] (  2,  4   )   byref  ->  r11         single-def "Inlining Arg"
+;  V11 tmp4         [V11,T02] (  4,  3.50)   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V12 tmp5         [V12,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V13 tmp6         [V13,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V14 tmp7         [V14,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V15 tmp8         [V15,T16] (  2,  1   )    bool  ->  rsi         "field V06.hasValue (fldOffset=0x0)" P-INDEP
+;  V16 tmp9         [V16,T17] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
+;  V17 tmp10        [V17,T07] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
+;  V18 tmp11        [V18,T08] (  3,  3   )   byref  ->  rcx         single-def "BlockOp address local"
+;  V19 cse0         [V19,T13] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
+;  V20 cse1         [V20,T14] (  3,  1.50)   byref  ->  rcx         "CSE - moderate"
+;  V21 cse2         [V21,T09] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
+;  V22 cse3         [V22,T10] (  3,  2.50)   byref  ->  rsi         "CSE - moderate"
+;  V23 cse4         [V23,T11] (  3,  2.50)     int  ->  r10         "CSE - moderate"
 ;
 ; Lcl frame size = 0
 
 G_M16236_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M16236_IG02:
        cmp      r8d, esi
        jae      SHORT G_M16236_IG05
        mov      eax, r8d
        lea      rax, bword ptr [rdi+2*rax]
        mov      r10, rax
-       cmp      byte  ptr [r10], r10b
+       movsx    r10, word  ptr [r10]
        cmp      r9d, esi
        jae      SHORT G_M16236_IG05
        mov      esi, r9d
-       lea      rdi, bword ptr [rdi+2*rsi]
-       mov      rsi, rdi
-       movsx    r10, word  ptr [r10]
-       movsx    rsi, word  ptr [rsi]
-       cmp      r10d, esi
+       lea      rsi, bword ptr [rdi+2*rsi]
+       mov      r11, rsi
+       movsx    r11, word  ptr [r11]
+       cmp      r10d, r11d
        jle      SHORT G_M16236_IG04
-						;; size=46 bbWeight=1 PerfScore 16.75
+						;; size=43 bbWeight=1 PerfScore 13.75
 G_M16236_IG03:
-       mov      word  ptr [rax], si
-       mov      word  ptr [rdi], r10w
+       mov      r11d, r9d
+       movsx    rdi, word  ptr [rdi+2*r11]
+       mov      word  ptr [rax], di
+       mov      word  ptr [rsi], r10w
        cmp      r8d, ecx
        jae      SHORT G_M16236_IG05
        mov      eax, r8d
        lea      rax, bword ptr [rdx+8*rax]
        mov      rdi, rax
        movzx    rsi, byte  ptr [rdi]
        mov      edi, dword ptr [rdi+0x04]
        cmp      r9d, ecx
        jae      SHORT G_M16236_IG05
        mov      ecx, r9d
        lea      rcx, bword ptr [rdx+8*rcx]
        mov      rdx, qword ptr [rcx]
        mov      qword ptr [rax], rdx
        mov      byte  ptr [rcx], sil
        mov      dword ptr [rcx+0x04], edi
-						;; size=53 bbWeight=0.50 PerfScore 7.62
+						;; size=61 bbWeight=0.50 PerfScore 9.75
 G_M16236_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
 G_M16236_IG05:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 111, prolog size 4, PerfScore 38.23, instruction count 38, allocated bytes for code 111 (MethodHash=ae08c093) for method System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
+; Total bytes of code 116, prolog size 4, PerfScore 37.85, instruction count 39, allocated bytes for code 116 (MethodHash=ae08c093) for method System.Collections.Generic.GenericArraySortHelper`2[short,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[short],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)

5 (4.63 % of base) - System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 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.Span`1[ubyte]>
 ;* 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,T00] (  6,  5   )     int  ->   r8         single-def
-;  V03 arg3         [V03,T01] (  6,  5   )     int  ->   r9         single-def
-;  V04 loc0         [V04,T07] (  3,  3   )   byref  ->  r10         single-def
-;  V05 loc1         [V05,T16] (  2,  1   )   ubyte  ->  r10        
+;  V02 arg2         [V02,T01] (  6,  5   )     int  ->   r8         single-def
+;  V03 arg3         [V03,T00] (  7,  5.50)     int  ->   r9         single-def
+;  V04 loc0         [V04,T12] (  2,  2   )   byref  ->  r10         single-def
+;  V05 loc1         [V05,T15] (  2,  1   )   ubyte  ->  r10        
 ;* V06 loc2         [V06    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
 ;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V08 tmp1         [V08    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V09 tmp2         [V09,T06] (  2,  4   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V10 tmp3         [V10,T02] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V11 tmp4         [V11,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V12 tmp5         [V12,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V13 tmp6         [V13,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V14 tmp7         [V14,T17] (  2,  1   )    bool  ->  rsi         "field V06.hasValue (fldOffset=0x0)" P-INDEP
-;  V15 tmp8         [V15,T18] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
-;  V16 tmp9         [V16,T08] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
-;  V17 tmp10        [V17,T09] (  3,  3   )   byref  ->  rcx         single-def "BlockOp address local"
-;  V18 cse0         [V18,T14] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
-;  V19 cse1         [V19,T15] (  3,  1.50)   byref  ->  rcx         "CSE - moderate"
-;  V20 cse2         [V20,T10] (  3,  2.50)   byref  ->  rdi         "CSE - moderate"
-;  V21 cse3         [V21,T11] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
-;  V22 cse4         [V22,T12] (  3,  2.50)     int  ->  rsi         "CSE - moderate"
-;  V23 cse5         [V23,T13] (  3,  2.50)     int  ->  r10         "CSE - moderate"
+;* V08 tmp1         [V08    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V09 tmp2         [V09    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V10 tmp3         [V10,T06] (  2,  4   )   byref  ->  r11         single-def "Inlining Arg"
+;  V11 tmp4         [V11,T02] (  4,  3.50)   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V12 tmp5         [V12,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V13 tmp6         [V13,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V14 tmp7         [V14,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V15 tmp8         [V15,T16] (  2,  1   )    bool  ->  rsi         "field V06.hasValue (fldOffset=0x0)" P-INDEP
+;  V16 tmp9         [V16,T17] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
+;  V17 tmp10        [V17,T07] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
+;  V18 tmp11        [V18,T08] (  3,  3   )   byref  ->  rcx         single-def "BlockOp address local"
+;  V19 cse0         [V19,T13] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
+;  V20 cse1         [V20,T14] (  3,  1.50)   byref  ->  rcx         "CSE - moderate"
+;  V21 cse2         [V21,T09] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
+;  V22 cse3         [V22,T10] (  3,  2.50)   byref  ->  rsi         "CSE - moderate"
+;  V23 cse4         [V23,T11] (  3,  2.50)     int  ->  r10         "CSE - moderate"
 ;
 ; Lcl frame size = 0
 
 G_M52460_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M52460_IG02:
        cmp      r8d, esi
        jae      SHORT G_M52460_IG05
        mov      eax, r8d
        add      rax, rdi
        mov      r10, rax
-       cmp      byte  ptr [r10], r10b
+       movzx    r10, byte  ptr [r10]
        cmp      r9d, esi
        jae      SHORT G_M52460_IG05
        mov      esi, r9d
-       add      rdi, rsi
-       mov      rsi, rdi
-       movzx    r10, byte  ptr [r10]
-       movzx    rsi, byte  ptr [rsi]
-       cmp      r10d, esi
+       add      rsi, rdi
+       mov      r11, rsi
+       movzx    r11, byte  ptr [r11]
+       cmp      r10d, r11d
        jle      SHORT G_M52460_IG04
-						;; size=44 bbWeight=1 PerfScore 12.25
+						;; size=41 bbWeight=1 PerfScore 9.25
 G_M52460_IG03:
-       mov      byte  ptr [rax], sil
-       mov      byte  ptr [rdi], r10b
+       mov      r11d, r9d
+       movzx    rdi, byte  ptr [rdi+r11]
+       mov      byte  ptr [rax], dil
+       mov      byte  ptr [rsi], r10b
        cmp      r8d, ecx
        jae      SHORT G_M52460_IG05
        mov      eax, r8d
        lea      rax, bword ptr [rdx+8*rax]
        mov      rdi, rax
        movzx    rsi, byte  ptr [rdi]
        mov      edi, dword ptr [rdi+0x04]
        cmp      r9d, ecx
        jae      SHORT G_M52460_IG05
        mov      ecx, r9d
        lea      rcx, bword ptr [rdx+8*rcx]
        mov      rdx, qword ptr [rcx]
        mov      qword ptr [rax], rdx
        mov      byte  ptr [rcx], sil
        mov      dword ptr [rcx+0x04], edi
-						;; size=52 bbWeight=0.50 PerfScore 7.62
+						;; size=60 bbWeight=0.50 PerfScore 8.75
 G_M52460_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
 G_M52460_IG05:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 108, prolog size 4, PerfScore 33.43, instruction count 38, allocated bytes for code 108 (MethodHash=07733313) for method System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
+; Total bytes of code 113, prolog size 4, PerfScore 32.05, instruction count 39, allocated bytes for code 113 (MethodHash=07733313) for method System.Collections.Generic.GenericArraySortHelper`2[ubyte,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[ubyte],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)

4 (1.85 % of base) - System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 7 single block inlinees; 8 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.Span`1[short]>
-;  V01 loc0         [V01,T04] ( 13, 15   )   byref  ->  rdi         single-def
-;  V02 loc1         [V02,T10] (  5,  4   )   byref  ->  rcx         single-def
-;  V03 loc2         [V03,T07] (  7,  6   )   byref  ->  rax         single-def
+;  V01 loc0         [V01,T04] ( 12, 14   )   byref  ->  rdi         single-def
+;  V02 loc1         [V02,T09] (  7,  5   )   byref  ->  rcx         single-def
+;  V03 loc2         [V03,T07] (  8,  6.50)   byref  ->  rax         single-def
 ;  V04 loc3         [V04,T05] (  9, 11   )   byref  ->  rcx         single-def
 ;  V05 loc4         [V05,T06] (  3,  9   )   short  ->  rsi         ld-addr-op
 ;  V06 loc5         [V06,T00] ( 12, 21.50)   byref  ->  rax        
 ;  V07 loc6         [V07,T01] (  8, 18.50)   byref  ->  rdx        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
 ;  V09 tmp1         [V09,T02] (  2, 16   )   byref  ->  rdx         "dup spill"
 ;  V10 tmp2         [V10,T03] (  2, 16   )   byref  ->  rax         "dup spill"
 ;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[short]>
-;* V12 tmp4         [V12    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V13 tmp5         [V13,T21] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
-;* V14 tmp6         [V14    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V15 tmp7         [V15,T22] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
+;* V12 tmp4         [V12    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V13 tmp5         [V13    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V14 tmp6         [V14,T18] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
+;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
 ;* V16 tmp8         [V16    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V17 tmp9         [V17,T23] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
-;  V18 tmp10        [V18,T20] (  2,  2   )   short  ->  rdx         "Inline stloc first use temp"
+;  V17 tmp9         [V17,T19] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
+;* V18 tmp10        [V18    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
 ;* V19 tmp11        [V19    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;* V20 tmp12        [V20    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V21 tmp13        [V21,T24] (  2,  1   )   short  ->   r8         "Inline stloc first use temp"
-;  V22 tmp14        [V22,T25] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
-;  V23 tmp15        [V23,T11] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V24 tmp16        [V24,T09] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V25 tmp17        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V26 tmp18        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;  V27 cse0         [V27,T12] (  3,  3   )     int  ->  rdx         "CSE - moderate"
-;  V28 cse1         [V28,T14] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V29 cse2         [V29,T15] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V30 cse3         [V30,T16] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V31 cse4         [V31,T17] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V32 cse5         [V32,T18] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V33 cse6         [V33,T19] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V34 cse7         [V34,T13] (  3,  3   )     int  ->  rax         "CSE - moderate"
+;  V20 tmp12        [V20,T20] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
+;  V21 tmp13        [V21,T17] (  2,  2   )   short  ->  rdx         "Inline stloc first use temp"
+;* V22 tmp14        [V22    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;* V23 tmp15        [V23    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V24 tmp16        [V24,T21] (  2,  1   )   short  ->   r8         "Inline stloc first use temp"
+;  V25 tmp17        [V25,T22] (  2,  1   )   short  ->  rdx         "Inline stloc first use temp"
+;  V26 tmp18        [V26,T11] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V27 tmp19        [V27,T10] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;* V28 tmp20        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V29 tmp21        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;  V30 cse0         [V30,T14] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V31 cse1         [V31,T15] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V32 cse2         [V32,T16] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V33 cse3         [V33,T12] (  3,  3   )     int  ->  rdx         "CSE - moderate"
+;  V34 cse4         [V34,T13] (  3,  3   )     int  ->  rax         "CSE - moderate"
 ;  V35 rat0         [V35,T08] (  3,  6   )    long  ->  rax         "ReplaceWithLclVar is creating a new local variable"
 ;
 ; Lcl frame size = 0
 
 G_M19144_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M19144_IG02:
        lea      eax, [rsi-0x01]
        movsxd   rcx, eax
        lea      rcx, bword ptr [rdi+2*rcx]
        sar      eax, 1
        cdqe     
        lea      rax, bword ptr [rdi+2*rax]
-       cmp      byte  ptr [rdi], dil
        movsx    rdx, word  ptr [rdi]
        movsx    r8, word  ptr [rax]
        cmp      edx, r8d
        jle      SHORT G_M19144_IG04
-						;; size=34 bbWeight=1 PerfScore 14.75
+						;; size=31 bbWeight=1 PerfScore 11.75
 G_M19144_IG03:
+       movsx    r8, word  ptr [rax]
        mov      word  ptr [rdi], r8w
        mov      word  ptr [rax], dx
-						;; size=7 bbWeight=0.50 PerfScore 1.00
+						;; size=11 bbWeight=0.50 PerfScore 3.00
 G_M19144_IG04:
        movsx    rdx, word  ptr [rdi]
        movsx    r8, word  ptr [rcx]
        cmp      edx, r8d
        jle      SHORT G_M19144_IG06
 						;; size=13 bbWeight=1 PerfScore 9.25
 G_M19144_IG05:
+       movsx    r8, word  ptr [rcx]
        mov      word  ptr [rdi], r8w
        mov      word  ptr [rcx], dx
-						;; size=7 bbWeight=0.50 PerfScore 1.00
+						;; size=11 bbWeight=0.50 PerfScore 3.00
 G_M19144_IG06:
        movsx    rdx, word  ptr [rax]
        movsx    r8, word  ptr [rcx]
        cmp      edx, r8d
        jle      SHORT G_M19144_IG08
 						;; size=13 bbWeight=1 PerfScore 9.25
 G_M19144_IG07:
+       movsx    r8, word  ptr [rcx]
        mov      word  ptr [rax], r8w
        mov      word  ptr [rcx], dx
-						;; size=7 bbWeight=0.50 PerfScore 1.00
+						;; size=11 bbWeight=0.50 PerfScore 3.00
 G_M19144_IG08:
        add      esi, -2
        movsxd   rcx, esi
        lea      rcx, bword ptr [rdi+2*rcx]
        movsx    rdx, word  ptr [rax]
        mov      esi, edx
        movsx    r8, word  ptr [rcx]
        mov      word  ptr [rax], r8w
        mov      word  ptr [rcx], dx
        mov      rax, rdi
        mov      rdx, rcx
        cmp      rdi, rcx
        jae      SHORT G_M19144_IG12
-       align    [5 bytes for IG09]
-						;; size=43 bbWeight=1 PerfScore 13.25
+       align    [0 bytes for IG09]
+						;; size=38 bbWeight=1 PerfScore 13.00
 G_M19144_IG09:
        cmp      rax, rcx
        jae      SHORT G_M19144_IG10
        add      rax, 2
        cmp      si, word  ptr [rax]
        jg       SHORT G_M19144_IG09
 						;; size=14 bbWeight=4 PerfScore 22.00
 G_M19144_IG10:
        cmp      rdx, rdi
        jbe      SHORT G_M19144_IG11
        add      rdx, -2
        cmp      si, word  ptr [rdx]
        jl       SHORT G_M19144_IG10
 						;; size=14 bbWeight=4 PerfScore 22.00
 G_M19144_IG11:
        cmp      rax, rdx
        jae      SHORT G_M19144_IG12
        movsx    r8, word  ptr [rax]
        movsx    r9, word  ptr [rdx]
        mov      word  ptr [rax], r9w
        mov      word  ptr [rdx], r8w
        jmp      SHORT G_M19144_IG09
 						;; size=23 bbWeight=0.50 PerfScore 6.62
 G_M19144_IG12:
        cmp      rax, rcx
        je       SHORT G_M19144_IG14
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M19144_IG13:
        movsx    rdx, word  ptr [rax]
        movsx    rsi, word  ptr [rcx]
        mov      word  ptr [rax], si
        mov      word  ptr [rcx], dx
 						;; size=14 bbWeight=0.50 PerfScore 5.00
 G_M19144_IG14:
        sub      rax, rdi
        mov      rcx, rax
        shr      rcx, 63
        add      rax, rcx
        sar      rax, 1
 						;; size=16 bbWeight=1 PerfScore 1.75
 G_M19144_IG15:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
 
-; Total bytes of code 216, prolog size 4, PerfScore 132.48, instruction count 70, allocated bytes for code 216 (MethodHash=c6e1b537) for method System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int (FullOpts)
+; Total bytes of code 220, prolog size 4, PerfScore 135.63, instruction count 72, allocated bytes for code 220 (MethodHash=c6e1b537) for method System.Collections.Generic.GenericArraySortHelper`1[short]:PickPivotAndPartition(System.Span`1[short]):int (FullOpts)

4 (3.15 % of base) - System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 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.Span`1[double]>
 ;* 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,T00] (  6,  5   )     int  ->   r8         single-def
-;  V03 arg3         [V03,T01] (  5,  4.50)     int  ->   r9         single-def
-;  V04 loc0         [V04,T07] (  3,  3   )   byref  ->  r10         single-def
-;  V05 loc1         [V05,T20] (  2,  1   )  double  ->  mm0        
+;  V02 arg2         [V02,T01] (  6,  5   )     int  ->   r8         single-def
+;  V03 arg3         [V03,T00] (  7,  5.50)     int  ->   r9         single-def
+;  V04 loc0         [V04,T11] (  2,  2   )   byref  ->  r10         single-def
+;  V05 loc1         [V05,T18] (  2,  1   )  double  ->  mm0        
 ;* V06 loc2         [V06    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
 ;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V08 tmp1         [V08,T13] (  2,  2   )    bool  ->  r10         "Inline return value spill temp"
-;  V09 tmp2         [V09,T06] (  2,  4   )   byref  ->  r11         single-def "Inlining Arg"
-;  V10 tmp3         [V10,T02] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V11 tmp4         [V11,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V12 tmp5         [V12,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V13 tmp6         [V13,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V14 tmp7         [V14,T16] (  2,  1   )    bool  ->   r8         "field V06.hasValue (fldOffset=0x0)" P-INDEP
-;  V15 tmp8         [V15,T17] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
-;  V16 tmp9         [V16,T08] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
-;  V17 tmp10        [V17,T09] (  3,  3   )   byref  ->  rdx         single-def "BlockOp address local"
-;  V18 cse0         [V18,T10] (  3,  2.50)   byref  ->  rdi         "CSE - moderate"
-;  V19 cse1         [V19,T14] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
-;  V20 cse2         [V20,T15] (  3,  1.50)   byref  ->  rdx         "CSE - moderate"
-;  V21 cse3         [V21,T11] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
-;  V22 cse4         [V22,T18] (  3,  2.50)  double  ->  mm1         "CSE - moderate"
-;  V23 cse5         [V23,T12] (  3,  2.50)    long  ->  rsi         "CSE - moderate"
-;  V24 cse6         [V24,T19] (  3,  2.50)  double  ->  mm0         "CSE - moderate"
+;* V08 tmp1         [V08    ] (  0,  0   )  double  ->  zero-ref    "spill side effects"
+;  V09 tmp2         [V09,T12] (  2,  2   )    bool  ->  r10         "Inline return value spill temp"
+;  V10 tmp3         [V10,T06] (  2,  4   )   byref  ->  r10         single-def "Inlining Arg"
+;  V11 tmp4         [V11,T02] (  4,  3.50)   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V12 tmp5         [V12,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V13 tmp6         [V13,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V14 tmp7         [V14,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V15 tmp8         [V15,T15] (  2,  1   )    bool  ->  rsi         "field V06.hasValue (fldOffset=0x0)" P-INDEP
+;  V16 tmp9         [V16,T16] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
+;  V17 tmp10        [V17,T07] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
+;  V18 tmp11        [V18,T08] (  3,  3   )   byref  ->  rcx         single-def "BlockOp address local"
+;  V19 cse0         [V19,T13] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
+;  V20 cse1         [V20,T14] (  3,  1.50)   byref  ->  rcx         "CSE - moderate"
+;  V21 cse2         [V21,T09] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
+;  V22 cse3         [V22,T10] (  3,  2.50)   byref  ->  rsi         "CSE - moderate"
+;  V23 cse4         [V23,T17] (  3,  2.50)  double  ->  mm0         "CSE - moderate"
 ;
 ; Lcl frame size = 0
 
 G_M7884_IG01:
        push     rbp
        vzeroupper 
        mov      rbp, rsp
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M7884_IG02:
        cmp      r8d, esi
        jae      SHORT G_M7884_IG05
        mov      eax, r8d
        lea      rax, bword ptr [rdi+8*rax]
        mov      r10, rax
-       cmp      byte  ptr [r10], r10b
+       vmovsd   xmm0, qword ptr [r10]
        cmp      r9d, esi
        jae      SHORT G_M7884_IG05
        mov      esi, r9d
-       shl      rsi, 3
-       add      rdi, rsi
-       mov      r11, rdi
-       vmovsd   xmm0, qword ptr [r10]
-       vmovsd   xmm1, qword ptr [r11]
-       xor      r10d, r10d
-       vucomisd xmm0, xmm1
+       lea      rsi, bword ptr [rdi+8*rsi]
+       mov      r10, rsi
+       vucomisd xmm0, qword ptr [r10]
        seta     r10b
+       movzx    r10, r10b
        test     r10d, r10d
        je       SHORT G_M7884_IG04
-						;; size=62 bbWeight=1 PerfScore 20.25
+						;; size=53 bbWeight=1 PerfScore 16.00
 G_M7884_IG03:
+       mov      r10d, r9d
+       vmovsd   xmm1, qword ptr [rdi+8*r10]
        vmovsd   qword ptr [rax], xmm1
-       vmovsd   qword ptr [rdi], xmm0
+       vmovsd   qword ptr [rsi], xmm0
        cmp      r8d, ecx
        jae      SHORT G_M7884_IG05
        mov      eax, r8d
        lea      rax, bword ptr [rdx+8*rax]
        mov      rdi, rax
-       movzx    r8, byte  ptr [rdi]
+       movzx    rsi, byte  ptr [rdi]
        mov      edi, dword ptr [rdi+0x04]
        cmp      r9d, ecx
        jae      SHORT G_M7884_IG05
-       add      rdx, rsi
-       mov      rcx, qword ptr [rdx]
-       mov      qword ptr [rax], rcx
-       mov      byte  ptr [rdx], r8b
-       mov      dword ptr [rdx+0x04], edi
-						;; size=50 bbWeight=0.50 PerfScore 8.38
+       mov      ecx, r9d
+       lea      rcx, bword ptr [rdx+8*rcx]
+       mov      rdx, qword ptr [rcx]
+       mov      qword ptr [rax], rdx
+       mov      byte  ptr [rcx], sil
+       mov      dword ptr [rcx+0x04], edi
+						;; size=63 bbWeight=0.50 PerfScore 10.75
 G_M7884_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
 G_M7884_IG05:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 127, prolog size 7, PerfScore 45.08, instruction count 42, allocated bytes for code 127 (MethodHash=bbd8e133) for method System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
+; Total bytes of code 131, prolog size 7, PerfScore 43.60, instruction count 42, allocated bytes for code 131 (MethodHash=bbd8e133) for method System.Collections.Generic.GenericArraySortHelper`2[double,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[double],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)

3 (2.73 % of base) - System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T03] (  4,  7   )     ref  ->  rdi         class-hnd single-def <int[]>
-;  V01 arg1         [V01,T09] (  3,  3   )     int  ->  rsi         single-def
-;  V02 arg2         [V02,T10] (  3,  3   )     int  ->  rdx         single-def
-;  V03 arg3         [V03,T07] (  4,  8   )     int  ->  rcx         single-def
-;  V04 loc0         [V04,T01] (  8, 17.50)     int  ->  rsi        
-;  V05 loc1         [V05,T04] (  5, 12   )     int  ->  rax        
-;  V06 loc2         [V06,T02] (  6, 16.50)     int  ->   r8        
-;  V07 loc3         [V07,T05] (  3, 12   )     int  ->  r10        
+;  V00 arg0         [V00,T08] (  4,  7   )     ref  ->  rdi         class-hnd single-def <int[]>
+;  V01 arg1         [V01,T10] (  3,  3   )     int  ->  rsi         single-def
+;  V02 arg2         [V02,T11] (  3,  3   )     int  ->  rdx         single-def
+;  V03 arg3         [V03,T05] (  4,  8   )     int  ->  rcx         single-def
+;  V04 loc0         [V04,T00] (  8, 17.50)     int  ->  rsi        
+;  V05 loc1         [V05,T03] (  5, 12   )     int  ->  rax        
+;  V06 loc2         [V06,T01] (  6, 16.50)     int  ->   r8        
+;  V07 loc3         [V07,T04] (  3, 12   )     int  ->  r10        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V09 tmp1         [V09    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Single-def Box Helper" <System.Int32>
-;  V10 tmp2         [V10,T08] (  4, 10   )     int  ->  r10         "Inline return value spill temp"
-;  V11 tmp3         [V11,T00] (  3, 20   )   byref  ->   r9         "Inlining Arg"
-;  V12 cse0         [V12,T11] (  2,  5   )     int  ->  rdx         "CSE - aggressive"
-;  V13 cse1         [V13,T06] (  2,  8   )    long  ->   r9         "CSE - aggressive"
+;* V09 tmp1         [V09    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;  V10 tmp2         [V10,T06] (  4, 10   )     int  ->  r10         "Inline return value spill temp"
+;  V11 tmp3         [V11,T02] (  2, 16   )   byref  ->   r9         "Inlining Arg"
+;  V12 cse0         [V12,T09] (  2,  8   )   byref  ->   r9         "CSE - aggressive"
+;  V13 cse1         [V13,T12] (  2,  5   )     int  ->  rdx         "CSE - moderate"
+;  V14 cse2         [V14,T07] (  3, 10   )     int  ->   r9         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M16044_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M16044_IG02:
        lea      eax, [rsi+rdx-0x01]
        cmp      esi, eax
        jg       SHORT G_M16044_IG11
        mov      edx, dword ptr [rdi+0x08]
        align    [0 bytes for IG03]
 						;; size=11 bbWeight=1 PerfScore 4.25
 G_M16044_IG03:
        mov      r8d, eax
        sub      r8d, esi
        sar      r8d, 1
        add      r8d, esi
        cmp      r8d, edx
        jae      SHORT G_M16044_IG15
        mov      r9d, r8d
        lea      r9, bword ptr [rdi+4*r9+0x10]
-       cmp      dword ptr [r9], ecx
+       mov      r9d, dword ptr [r9]
+       cmp      r9d, ecx
        jge      SHORT G_M16044_IG05
-						;; size=30 bbWeight=4 PerfScore 31.00
+						;; size=33 bbWeight=4 PerfScore 28.00
 G_M16044_IG04:
        mov      r10d, -1
        jmp      SHORT G_M16044_IG07
 						;; size=8 bbWeight=2 PerfScore 4.50
 G_M16044_IG05:
-       cmp      dword ptr [r9], ecx
+       cmp      r9d, ecx
        jle      SHORT G_M16044_IG06
        mov      r10d, 1
        jmp      SHORT G_M16044_IG07
-						;; size=13 bbWeight=2 PerfScore 12.50
+						;; size=13 bbWeight=2 PerfScore 7.00
 G_M16044_IG06:
        xor      r10d, r10d
 						;; size=3 bbWeight=2 PerfScore 0.50
 G_M16044_IG07:
        test     r10d, r10d
        je       SHORT G_M16044_IG13
        test     r10d, r10d
        jge      SHORT G_M16044_IG09
 						;; size=10 bbWeight=4 PerfScore 10.00
 G_M16044_IG08:
        lea      esi, [r8+0x01]
        jmp      SHORT G_M16044_IG10
 						;; size=6 bbWeight=2 PerfScore 5.00
 G_M16044_IG09:
        lea      eax, [r8-0x01]
 						;; size=4 bbWeight=2 PerfScore 1.00
 G_M16044_IG10:
        cmp      esi, eax
        jle      SHORT G_M16044_IG03
 						;; size=4 bbWeight=4 PerfScore 5.00
 G_M16044_IG11:
        mov      eax, esi
        not      eax
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M16044_IG12:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M16044_IG13:
        mov      eax, r8d
 						;; size=3 bbWeight=0.50 PerfScore 0.12
 G_M16044_IG14:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M16044_IG15:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 110, prolog size 4, PerfScore 87.88, instruction count 42, allocated bytes for code 110 (MethodHash=016bc153) for method System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int (FullOpts)
+; Total bytes of code 113, prolog size 4, PerfScore 79.68, instruction count 43, allocated bytes for code 113 (MethodHash=016bc153) for method System.Collections.Generic.GenericArraySortHelper`1[int]:BinarySearch(int[],int,int,int):int (FullOpts)

3 (2.73 % of base) - System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T03] (  4,  7   )     ref  ->  rdi         class-hnd single-def <long[]>
-;  V01 arg1         [V01,T09] (  3,  3   )     int  ->  rsi         single-def
-;  V02 arg2         [V02,T10] (  3,  3   )     int  ->  rdx         single-def
-;  V03 arg3         [V03,T07] (  4,  8   )    long  ->  rcx         single-def
-;  V04 loc0         [V04,T01] (  8, 17.50)     int  ->  rsi        
-;  V05 loc1         [V05,T04] (  5, 12   )     int  ->  rax        
-;  V06 loc2         [V06,T02] (  6, 16.50)     int  ->   r8        
-;  V07 loc3         [V07,T05] (  3, 12   )     int  ->  r10        
+;  V00 arg0         [V00,T08] (  4,  7   )     ref  ->  rdi         class-hnd single-def <long[]>
+;  V01 arg1         [V01,T10] (  3,  3   )     int  ->  rsi         single-def
+;  V02 arg2         [V02,T11] (  3,  3   )     int  ->  rdx         single-def
+;  V03 arg3         [V03,T05] (  4,  8   )    long  ->  rcx         single-def
+;  V04 loc0         [V04,T00] (  8, 17.50)     int  ->  rsi        
+;  V05 loc1         [V05,T03] (  5, 12   )     int  ->  rax        
+;  V06 loc2         [V06,T01] (  6, 16.50)     int  ->   r8        
+;  V07 loc3         [V07,T04] (  3, 12   )     int  ->  r10        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V09 tmp1         [V09    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Single-def Box Helper" <System.Int64>
-;  V10 tmp2         [V10,T08] (  4, 10   )     int  ->  r10         "Inline return value spill temp"
-;  V11 tmp3         [V11,T00] (  3, 20   )   byref  ->   r9         "Inlining Arg"
-;  V12 cse0         [V12,T11] (  2,  5   )     int  ->  rdx         "CSE - aggressive"
-;  V13 cse1         [V13,T06] (  2,  8   )    long  ->   r9         "CSE - aggressive"
+;* V09 tmp1         [V09    ] (  0,  0   )    long  ->  zero-ref    "spill side effects"
+;  V10 tmp2         [V10,T06] (  4, 10   )     int  ->  r10         "Inline return value spill temp"
+;  V11 tmp3         [V11,T02] (  2, 16   )   byref  ->   r9         "Inlining Arg"
+;  V12 cse0         [V12,T09] (  2,  8   )   byref  ->   r9         "CSE - aggressive"
+;  V13 cse1         [V13,T12] (  2,  5   )     int  ->  rdx         "CSE - moderate"
+;  V14 cse2         [V14,T07] (  3, 10   )    long  ->   r9         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M14261_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M14261_IG02:
        lea      eax, [rsi+rdx-0x01]
        cmp      esi, eax
        jg       SHORT G_M14261_IG11
        mov      edx, dword ptr [rdi+0x08]
        align    [0 bytes for IG03]
 						;; size=11 bbWeight=1 PerfScore 4.25
 G_M14261_IG03:
        mov      r8d, eax
        sub      r8d, esi
        sar      r8d, 1
        add      r8d, esi
        cmp      r8d, edx
        jae      SHORT G_M14261_IG15
        mov      r9d, r8d
        lea      r9, bword ptr [rdi+8*r9+0x10]
-       cmp      qword ptr [r9], rcx
+       mov      r9, qword ptr [r9]
+       cmp      r9, rcx
        jge      SHORT G_M14261_IG05
-						;; size=30 bbWeight=4 PerfScore 31.00
+						;; size=33 bbWeight=4 PerfScore 28.00
 G_M14261_IG04:
        mov      r10d, -1
        jmp      SHORT G_M14261_IG07
 						;; size=8 bbWeight=2 PerfScore 4.50
 G_M14261_IG05:
-       cmp      qword ptr [r9], rcx
+       cmp      r9, rcx
        jle      SHORT G_M14261_IG06
        mov      r10d, 1
        jmp      SHORT G_M14261_IG07
-						;; size=13 bbWeight=2 PerfScore 12.50
+						;; size=13 bbWeight=2 PerfScore 7.00
 G_M14261_IG06:
        xor      r10d, r10d
 						;; size=3 bbWeight=2 PerfScore 0.50
 G_M14261_IG07:
        test     r10d, r10d
        je       SHORT G_M14261_IG13
        test     r10d, r10d
        jge      SHORT G_M14261_IG09
 						;; size=10 bbWeight=4 PerfScore 10.00
 G_M14261_IG08:
        lea      esi, [r8+0x01]
        jmp      SHORT G_M14261_IG10
 						;; size=6 bbWeight=2 PerfScore 5.00
 G_M14261_IG09:
        lea      eax, [r8-0x01]
 						;; size=4 bbWeight=2 PerfScore 1.00
 G_M14261_IG10:
        cmp      esi, eax
        jle      SHORT G_M14261_IG03
 						;; size=4 bbWeight=4 PerfScore 5.00
 G_M14261_IG11:
        mov      eax, esi
        not      eax
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M14261_IG12:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M14261_IG13:
        mov      eax, r8d
 						;; size=3 bbWeight=0.50 PerfScore 0.12
 G_M14261_IG14:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M14261_IG15:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 110, prolog size 4, PerfScore 87.88, instruction count 42, allocated bytes for code 110 (MethodHash=639cc84a) for method System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int (FullOpts)
+; Total bytes of code 113, prolog size 4, PerfScore 79.68, instruction count 43, allocated bytes for code 113 (MethodHash=639cc84a) for method System.Collections.Generic.GenericArraySortHelper`1[long]:BinarySearch(long[],int,int,long):int (FullOpts)

2 (1.89 % of base) - System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 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.Span`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,T00] (  6,  5   )     int  ->   r8         single-def
-;  V03 arg3         [V03,T01] (  6,  5   )     int  ->   r9         single-def
-;  V04 loc0         [V04,T07] (  3,  3   )   byref  ->  r10         single-def
-;  V05 loc1         [V05,T16] (  2,  1   )     int  ->  r10        
+;  V02 arg2         [V02,T01] (  6,  5   )     int  ->   r8         single-def
+;  V03 arg3         [V03,T00] (  7,  5.50)     int  ->   r9         single-def
+;  V04 loc0         [V04,T12] (  2,  2   )   byref  ->  r10         single-def
+;  V05 loc1         [V05,T15] (  2,  1   )     int  ->  r10        
 ;* V06 loc2         [V06    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
 ;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V08 tmp1         [V08    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V09 tmp2         [V09,T06] (  2,  4   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V10 tmp3         [V10,T02] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V11 tmp4         [V11,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V12 tmp5         [V12,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V13 tmp6         [V13,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V14 tmp7         [V14,T17] (  2,  1   )    bool  ->  rsi         "field V06.hasValue (fldOffset=0x0)" P-INDEP
-;  V15 tmp8         [V15,T18] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
-;  V16 tmp9         [V16,T08] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
-;  V17 tmp10        [V17,T09] (  3,  3   )   byref  ->  rcx         single-def "BlockOp address local"
-;  V18 cse0         [V18,T10] (  3,  2.50)   byref  ->  rdi         "CSE - moderate"
-;  V19 cse1         [V19,T14] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
-;  V20 cse2         [V20,T15] (  3,  1.50)   byref  ->  rcx         "CSE - moderate"
-;  V21 cse3         [V21,T11] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
-;  V22 cse4         [V22,T12] (  3,  2.50)     int  ->  rsi         "CSE - moderate"
-;  V23 cse5         [V23,T13] (  3,  2.50)     int  ->  r10         "CSE - moderate"
+;* V08 tmp1         [V08    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V09 tmp2         [V09    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V10 tmp3         [V10,T06] (  2,  4   )   byref  ->  r11         single-def "Inlining Arg"
+;  V11 tmp4         [V11,T02] (  4,  3.50)   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V12 tmp5         [V12,T03] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V13 tmp6         [V13,T04] (  3,  2   )   byref  ->  rdx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V14 tmp7         [V14,T05] (  3,  2   )     int  ->  rcx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V15 tmp8         [V15,T16] (  2,  1   )    bool  ->  rsi         "field V06.hasValue (fldOffset=0x0)" P-INDEP
+;  V16 tmp9         [V16,T17] (  2,  1   )     int  ->  rdi         "field V06.value (fldOffset=0x4)" P-INDEP
+;  V17 tmp10        [V17,T07] (  3,  3   )   byref  ->  rdi         single-def "BlockOp address local"
+;  V18 tmp11        [V18,T08] (  3,  3   )   byref  ->  rcx         single-def "BlockOp address local"
+;  V19 cse0         [V19,T13] (  3,  1.50)   byref  ->  rax         "CSE - moderate"
+;  V20 cse1         [V20,T14] (  3,  1.50)   byref  ->  rcx         "CSE - moderate"
+;  V21 cse2         [V21,T09] (  3,  2.50)   byref  ->  rax         "CSE - moderate"
+;  V22 cse3         [V22,T10] (  3,  2.50)   byref  ->  rsi         "CSE - moderate"
+;  V23 cse4         [V23,T11] (  3,  2.50)     int  ->  r10         "CSE - moderate"
 ;
 ; Lcl frame size = 0
 
 G_M61420_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M61420_IG02:
        cmp      r8d, esi
        jae      SHORT G_M61420_IG05
        mov      eax, r8d
        lea      rax, bword ptr [rdi+4*rax]
        mov      r10, rax
-       cmp      byte  ptr [r10], r10b
+       mov      r10d, dword ptr [r10]
        cmp      r9d, esi
        jae      SHORT G_M61420_IG05
        mov      esi, r9d
-       lea      rdi, bword ptr [rdi+4*rsi]
-       mov      rsi, rdi
-       mov      r10d, dword ptr [r10]
-       mov      esi, dword ptr [rsi]
-       cmp      r10d, esi
+       lea      rsi, bword ptr [rdi+4*rsi]
+       mov      r11, rsi
+       cmp      r10d, dword ptr [r11]
        jle      SHORT G_M61420_IG04
-						;; size=43 bbWeight=1 PerfScore 12.75
+						;; size=38 bbWeight=1 PerfScore 10.50
 G_M61420_IG03:
-       mov      dword ptr [rax], esi
-       mov      dword ptr [rdi], r10d
+       mov      r11d, r9d
+       mov      edi, dword ptr [rdi+4*r11]
+       mov      dword ptr [rax], edi
+       mov      dword ptr [rsi], r10d
        cmp      r8d, ecx
        jae      SHORT G_M61420_IG05
        mov      eax, r8d
        lea      rax, bword ptr [rdx+8*rax]
        mov      rdi, rax
        movzx    rsi, byte  ptr [rdi]
        mov      edi, dword ptr [rdi+0x04]
        cmp      r9d, ecx
        jae      SHORT G_M61420_IG05
        mov      ecx, r9d
        lea      rcx, bword ptr [rdx+8*rcx]
        mov      rdx, qword ptr [rcx]
        mov      qword ptr [rax], rdx
        mov      byte  ptr [rcx], sil
        mov      dword ptr [rcx+0x04], edi
-						;; size=51 bbWeight=0.50 PerfScore 7.62
+						;; size=58 bbWeight=0.50 PerfScore 8.75
 G_M61420_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
 G_M61420_IG05:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 106, prolog size 4, PerfScore 33.73, instruction count 38, allocated bytes for code 106 (MethodHash=b1211013) for method System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)
+; Total bytes of code 108, prolog size 4, PerfScore 32.80, instruction count 38, allocated bytes for code 108 (MethodHash=b1211013) for method System.Collections.Generic.GenericArraySortHelper`2[int,System.Nullable`1[int]]:SwapIfGreaterWithValues(System.Span`1[int],System.Span`1[System.Nullable`1[int]],int,int) (FullOpts)

Larger list of diffs: https://gist.github.com/MihuBot/02050b5a70857bba9937d0867e39559c

[MihuBot]

Top method improvements

-11 (-7.48 % of base) - System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T04] (  4,  7   )     ref  ->  rdi         class-hnd single-def <double[]>
+;  V00 arg0         [V00,T06] (  4,  7   )     ref  ->  rdi         class-hnd single-def <double[]>
 ;  V01 arg1         [V01,T08] (  3,  3   )     int  ->  rsi         single-def
 ;  V02 arg2         [V02,T09] (  3,  3   )     int  ->  rdx         single-def
 ;  V03 arg3         [V03,T12] (  7,294   )  double  ->  mm0         single-def
-;  V04 loc0         [V04,T02] (  8, 17.50)     int  ->  rsi        
-;  V05 loc1         [V05,T05] (  5, 12   )     int  ->  rax        
-;  V06 loc2         [V06,T03] (  6, 16.50)     int  ->  rdx        
-;  V07 loc3         [V07,T06] (  3, 12   )     int  ->   r9        
+;  V04 loc0         [V04,T01] (  8, 17.50)     int  ->  rsi        
+;  V05 loc1         [V05,T04] (  5, 12   )     int  ->  rax        
+;  V06 loc2         [V06,T02] (  6, 16.50)     int  ->  rdx        
+;  V07 loc3         [V07,T05] (  3, 12   )     int  ->   r8        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V09 tmp1         [V09    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Single-def Box Helper" <System.Double>
-;  V10 tmp2         [V10,T01] (  4, 46   )     int  ->   r9         "Inline return value spill temp"
-;  V11 tmp3         [V11,T00] (  5,336   )   byref  ->   r8         "Inlining Arg"
+;* V09 tmp1         [V09    ] (  0,  0   )  double  ->  zero-ref    "spill side effects"
+;  V10 tmp2         [V10,T00] (  4, 46   )     int  ->   r8         "Inline return value spill temp"
+;  V11 tmp3         [V11,T03] (  2, 16   )   byref  ->   r8         "Inlining Arg"
 ;  V12 tmp4         [V12,T11] (  3,768   )  double  ->  mm1         "Inlining Arg"
-;  V13 cse0         [V13,T10] (  2,  5   )     int  ->  rcx         "CSE - aggressive"
-;  V14 cse1         [V14,T07] (  2,  8   )    long  ->   r8         "CSE - aggressive"
+;  V13 cse0         [V13,T07] (  2,  8   )   byref  ->   r8         "CSE - aggressive"
+;  V14 cse1         [V14,T13] (  5,168   )  double  ->  mm1         "CSE - aggressive"
+;  V15 cse2         [V15,T10] (  2,  5   )     int  ->  rcx         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M2442_IG01:
        push     rbp
        vzeroupper 
        mov      rbp, rsp
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M2442_IG02:
        lea      eax, [rsi+rdx-0x01]
        cmp      esi, eax
        jg       SHORT G_M2442_IG15
        mov      ecx, dword ptr [rdi+0x08]
        align    [0 bytes for IG03]
 						;; size=11 bbWeight=1 PerfScore 4.25
 G_M2442_IG03:
        mov      edx, eax
        sub      edx, esi
        sar      edx, 1
        add      edx, esi
        cmp      edx, ecx
        jae      SHORT G_M2442_IG19
        mov      r8d, edx
        lea      r8, bword ptr [rdi+8*r8+0x10]
-       vucomisd xmm0, qword ptr [r8]
+       vmovsd   xmm1, qword ptr [r8]
+       vucomisd xmm0, xmm1
        jbe      SHORT G_M2442_IG05
-						;; size=27 bbWeight=4 PerfScore 39.00
+						;; size=31 bbWeight=4 PerfScore 43.00
 G_M2442_IG04:
-       mov      r9d, -1
+       mov      r8d, -1
        jmp      SHORT G_M2442_IG11
 						;; size=8 bbWeight=8 PerfScore 18.00
 G_M2442_IG05:
-       vmovsd   xmm1, qword ptr [r8]
        vucomisd xmm1, xmm0
        ja       SHORT G_M2442_IG10
-       vmovsd   xmm1, qword ptr [r8]
        vucomisd xmm1, xmm0
        jp       SHORT G_M2442_IG07
        jne      SHORT G_M2442_IG07
-						;; size=24 bbWeight=16 PerfScore 240.00
+						;; size=14 bbWeight=16 PerfScore 112.00
 G_M2442_IG06:
-       xor      r9d, r9d
+       xor      r8d, r8d
        jmp      SHORT G_M2442_IG11
 						;; size=5 bbWeight=32 PerfScore 72.00
 G_M2442_IG07:
-       vmovsd   xmm1, qword ptr [r8]
        vucomisd xmm1, xmm1
        jp       SHORT G_M2442_IG08
        je       SHORT G_M2442_IG10
-						;; size=13 bbWeight=128 PerfScore 1024.00
+						;; size=8 bbWeight=128 PerfScore 512.00
 G_M2442_IG08:
        vucomisd xmm0, xmm0
        jp       SHORT G_M2442_IG06
 						;; size=6 bbWeight=128 PerfScore 384.00
 G_M2442_IG09:
        jmp      SHORT G_M2442_IG04
 						;; size=2 bbWeight=16 PerfScore 32.00
 G_M2442_IG10:
-       mov      r9d, 1
+       mov      r8d, 1
 						;; size=6 bbWeight=2 PerfScore 0.50
 G_M2442_IG11:
-       test     r9d, r9d
+       test     r8d, r8d
        je       SHORT G_M2442_IG17
-       test     r9d, r9d
+       test     r8d, r8d
        jge      SHORT G_M2442_IG13
 						;; size=10 bbWeight=4 PerfScore 10.00
 G_M2442_IG12:
        lea      esi, [rdx+0x01]
        jmp      SHORT G_M2442_IG14
 						;; size=5 bbWeight=2 PerfScore 5.00
 G_M2442_IG13:
        lea      eax, [rdx-0x01]
 						;; size=3 bbWeight=2 PerfScore 1.00
 G_M2442_IG14:
        cmp      esi, eax
        jle      SHORT G_M2442_IG03
 						;; size=4 bbWeight=4 PerfScore 5.00
 G_M2442_IG15:
        mov      eax, esi
        not      eax
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M2442_IG16:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M2442_IG17:
        mov      eax, edx
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M2442_IG18:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M2442_IG19:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 147, prolog size 7, PerfScore 1853.98, instruction count 55, allocated bytes for code 151 (MethodHash=1ab8f675) for method System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int (FullOpts)
+; Total bytes of code 136, prolog size 7, PerfScore 1216.48, instruction count 53, allocated bytes for code 136 (MethodHash=1ab8f675) for method System.Collections.Generic.GenericArraySortHelper`1[double]:BinarySearch(double[],int,int,double):int (FullOpts)

-8 (-19.51 % of base) - System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4.50)   byref  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)   byref  ->  rdi         single-def
 ;  V01 arg1         [V01,T01] (  4,  3.50)   byref  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V03 tmp1         [V03,T02] (  2,  2   )    bool  ->  rax         "Inline return value spill temp"
-;  V04 tmp2         [V04,T05] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
-;  V05 cse0         [V05,T03] (  3,  2.50)  double  ->  mm0         "CSE - moderate"
-;  V06 cse1         [V06,T04] (  3,  2.50)  double  ->  mm1         "CSE - moderate"
+;* V03 tmp1         [V03    ] (  0,  0   )  double  ->  zero-ref    "spill side effects"
+;  V04 tmp2         [V04,T02] (  2,  2   )    bool  ->  rax         "Inline return value spill temp"
+;  V05 tmp3         [V05,T05] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
+;  V06 cse0         [V06,T03] (  3,  2.50)  double  ->  mm0         "CSE - aggressive"
+;  V07 cse1         [V07,T04] (  3,  2.50)  double  ->  mm1         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M58476_IG01:
-       push     rbp
        vzeroupper 
-       mov      rbp, rsp
-						;; size=7 bbWeight=1 PerfScore 2.25
+						;; size=3 bbWeight=1 PerfScore 1.00
 G_M58476_IG02:
-       cmp      byte  ptr [rdi], dil
        vmovsd   xmm0, qword ptr [rdi]
        vmovsd   xmm1, qword ptr [rsi]
        xor      eax, eax
        vucomisd xmm0, xmm1
        seta     al
        test     eax, eax
        je       SHORT G_M58476_IG04
-						;; size=24 bbWeight=1 PerfScore 15.50
+						;; size=21 bbWeight=1 PerfScore 12.50
 G_M58476_IG03:
        vmovsd   qword ptr [rdi], xmm1
        vmovsd   qword ptr [rsi], xmm0
 						;; size=8 bbWeight=0.50 PerfScore 2.00
 G_M58476_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=1 PerfScore 1.50
+						;; size=1 bbWeight=1 PerfScore 1.00
 
-; Total bytes of code 41, prolog size 7, PerfScore 25.35, instruction count 15, allocated bytes for code 41 (MethodHash=58fc1b93) for method System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref) (FullOpts)
+; Total bytes of code 33, prolog size 3, PerfScore 19.80, instruction count 11, allocated bytes for code 33 (MethodHash=58fc1b93) for method System.Collections.Generic.GenericArraySortHelper`1[double]:SwapIfGreater(byref,byref) (FullOpts)

-8 (-38.10 % of base) - System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4.50)   byref  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)   byref  ->  rdi         single-def
 ;  V01 arg1         [V01,T01] (  4,  3.50)   byref  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V03 tmp1         [V03    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V04 tmp2         [V04,T04] (  2,  1   )     int  ->  rax         "Inline stloc first use temp"
-;  V05 cse0         [V05,T02] (  3,  2.50)     int  ->  rax         "CSE - moderate"
-;  V06 cse1         [V06,T03] (  3,  2.50)     int  ->  rcx         "CSE - moderate"
+;* V03 tmp1         [V03    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V04 tmp2         [V04    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V05 tmp3         [V05,T04] (  2,  1   )     int  ->  rax         "Inline stloc first use temp"
+;  V06 cse0         [V06,T02] (  3,  2.50)     int  ->  rax         "CSE - aggressive"
+;  V07 cse1         [V07,T03] (  3,  2.50)     int  ->  rcx         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M6570_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M6570_IG02:
-       cmp      byte  ptr [rdi], dil
        mov      eax, dword ptr [rdi]
        mov      ecx, dword ptr [rsi]
        cmp      eax, ecx
        jle      SHORT G_M6570_IG04
-						;; size=11 bbWeight=1 PerfScore 8.25
+						;; size=8 bbWeight=1 PerfScore 5.25
 G_M6570_IG03:
        mov      dword ptr [rdi], ecx
        mov      dword ptr [rsi], eax
 						;; size=4 bbWeight=0.50 PerfScore 1.00
 G_M6570_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=1 PerfScore 1.50
+						;; size=1 bbWeight=1 PerfScore 1.00
 
-; Total bytes of code 21, prolog size 4, PerfScore 14.10, instruction count 11, allocated bytes for code 21 (MethodHash=6e58e655) for method System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref) (FullOpts)
+; Total bytes of code 13, prolog size 0, PerfScore 8.55, instruction count 7, allocated bytes for code 13 (MethodHash=6e58e655) for method System.Collections.Generic.GenericArraySortHelper`1[int]:SwapIfGreater(byref,byref) (FullOpts)

-8 (-30.77 % of base) - System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4.50)   byref  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)   byref  ->  rdi         single-def
 ;  V01 arg1         [V01,T01] (  4,  3.50)   byref  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V03 tmp1         [V03    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V04 tmp2         [V04,T04] (  2,  1   )    long  ->  rax         "Inline stloc first use temp"
-;  V05 cse0         [V05,T02] (  3,  2.50)    long  ->  rax         "CSE - moderate"
-;  V06 cse1         [V06,T03] (  3,  2.50)    long  ->  rcx         "CSE - moderate"
+;* V03 tmp1         [V03    ] (  0,  0   )    long  ->  zero-ref    "spill side effects"
+;* V04 tmp2         [V04    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V05 tmp3         [V05,T04] (  2,  1   )    long  ->  rax         "Inline stloc first use temp"
+;  V06 cse0         [V06,T02] (  3,  2.50)    long  ->  rax         "CSE - aggressive"
+;  V07 cse1         [V07,T03] (  3,  2.50)    long  ->  rcx         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M34003_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M34003_IG02:
-       cmp      byte  ptr [rdi], dil
        mov      rax, qword ptr [rdi]
        mov      rcx, qword ptr [rsi]
        cmp      rax, rcx
        jle      SHORT G_M34003_IG04
-						;; size=14 bbWeight=1 PerfScore 8.25
+						;; size=11 bbWeight=1 PerfScore 5.25
 G_M34003_IG03:
        mov      qword ptr [rdi], rcx
        mov      qword ptr [rsi], rax
 						;; size=6 bbWeight=0.50 PerfScore 1.00
 G_M34003_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=1 PerfScore 1.50
+						;; size=1 bbWeight=1 PerfScore 1.00
 
-; Total bytes of code 26, prolog size 4, PerfScore 14.60, instruction count 11, allocated bytes for code 26 (MethodHash=5a787b2c) for method System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref) (FullOpts)
+; Total bytes of code 18, prolog size 0, PerfScore 9.05, instruction count 7, allocated bytes for code 18 (MethodHash=5a787b2c) for method System.Collections.Generic.GenericArraySortHelper`1[long]:SwapIfGreater(byref,byref) (FullOpts)

-8 (-29.63 % of base) - System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4.50)   byref  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)   byref  ->  rdi         single-def
 ;  V01 arg1         [V01,T01] (  4,  3.50)   byref  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V03 tmp1         [V03    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V04 tmp2         [V04,T04] (  2,  1   )   short  ->  rax         "Inline stloc first use temp"
-;  V05 cse0         [V05,T02] (  3,  2.50)     int  ->  rax         "CSE - moderate"
-;  V06 cse1         [V06,T03] (  3,  2.50)     int  ->  rcx         "CSE - moderate"
+;* V03 tmp1         [V03    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V04 tmp2         [V04    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V05 tmp3         [V05,T04] (  2,  1   )   short  ->  rax         "Inline stloc first use temp"
+;  V06 cse0         [V06,T02] (  3,  2.50)     int  ->  rax         "CSE - aggressive"
+;  V07 cse1         [V07,T03] (  3,  2.50)     int  ->  rcx         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M13867_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M13867_IG02:
-       cmp      byte  ptr [rdi], dil
        movsx    rax, word  ptr [rdi]
        movsx    rcx, word  ptr [rsi]
        cmp      eax, ecx
        jle      SHORT G_M13867_IG04
-						;; size=15 bbWeight=1 PerfScore 12.25
+						;; size=12 bbWeight=1 PerfScore 9.25
 G_M13867_IG03:
        mov      word  ptr [rdi], cx
        mov      word  ptr [rsi], ax
 						;; size=6 bbWeight=0.50 PerfScore 1.00
 G_M13867_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=1 PerfScore 1.50
+						;; size=1 bbWeight=1 PerfScore 1.00
 
-; Total bytes of code 27, prolog size 4, PerfScore 18.70, instruction count 11, allocated bytes for code 27 (MethodHash=c904c9d4) for method System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref) (FullOpts)
+; Total bytes of code 19, prolog size 0, PerfScore 13.15, instruction count 7, allocated bytes for code 19 (MethodHash=c904c9d4) for method System.Collections.Generic.GenericArraySortHelper`1[short]:SwapIfGreater(byref,byref) (FullOpts)

-8 (-34.78 % of base) - System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4.50)   byref  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)   byref  ->  rdi         single-def
 ;  V01 arg1         [V01,T01] (  4,  3.50)   byref  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V03 tmp1         [V03    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V04 tmp2         [V04,T04] (  2,  1   )   ubyte  ->  rax         "Inline stloc first use temp"
-;  V05 cse0         [V05,T02] (  3,  2.50)     int  ->  rax         "CSE - moderate"
-;  V06 cse1         [V06,T03] (  3,  2.50)     int  ->  rcx         "CSE - moderate"
+;* V03 tmp1         [V03    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V04 tmp2         [V04    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V05 tmp3         [V05,T04] (  2,  1   )   ubyte  ->  rax         "Inline stloc first use temp"
+;  V06 cse0         [V06,T02] (  3,  2.50)     int  ->  rax         "CSE - aggressive"
+;  V07 cse1         [V07,T03] (  3,  2.50)     int  ->  rcx         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M18086_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M18086_IG02:
-       cmp      byte  ptr [rdi], dil
        movzx    rax, byte  ptr [rdi]
        movzx    rcx, byte  ptr [rsi]
        cmp      eax, ecx
        jle      SHORT G_M18086_IG04
-						;; size=13 bbWeight=1 PerfScore 8.25
+						;; size=10 bbWeight=1 PerfScore 5.25
 G_M18086_IG03:
        mov      byte  ptr [rdi], cl
        mov      byte  ptr [rsi], al
 						;; size=4 bbWeight=0.50 PerfScore 1.00
 G_M18086_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=1 PerfScore 1.50
+						;; size=1 bbWeight=1 PerfScore 1.00
 
-; Total bytes of code 23, prolog size 4, PerfScore 14.30, instruction count 11, allocated bytes for code 23 (MethodHash=12e3b959) for method System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref) (FullOpts)
+; Total bytes of code 15, prolog size 0, PerfScore 8.75, instruction count 7, allocated bytes for code 15 (MethodHash=12e3b959) for method System.Collections.Generic.GenericArraySortHelper`1[ubyte]:SwapIfGreater(byref,byref) (FullOpts)

-6 (-3.26 % of base) - System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 7 single block inlinees; 8 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.Span`1[int]>
-;  V01 loc0         [V01,T04] ( 13, 15   )   byref  ->  rdi         single-def
-;  V02 loc1         [V02,T10] (  5,  4   )   byref  ->  rcx         single-def
-;  V03 loc2         [V03,T07] (  7,  6   )   byref  ->  rax         single-def
+;  V01 loc0         [V01,T04] ( 12, 14   )   byref  ->  rdi         single-def
+;  V02 loc1         [V02,T09] (  7,  5   )   byref  ->  rcx         single-def
+;  V03 loc2         [V03,T07] (  8,  6.50)   byref  ->  rax         single-def
 ;  V04 loc3         [V04,T05] (  9, 11   )   byref  ->  rcx         single-def
 ;  V05 loc4         [V05,T06] (  3,  9   )     int  ->  rsi         ld-addr-op
 ;  V06 loc5         [V06,T00] ( 12, 21.50)   byref  ->  rax        
 ;  V07 loc6         [V07,T01] (  8, 18.50)   byref  ->  rdx        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
 ;  V09 tmp1         [V09,T02] (  2, 16   )   byref  ->  rdx         "dup spill"
 ;  V10 tmp2         [V10,T03] (  2, 16   )   byref  ->  rax         "dup spill"
 ;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[int]>
-;* V12 tmp4         [V12    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V13 tmp5         [V13,T21] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
-;* V14 tmp6         [V14    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V15 tmp7         [V15,T22] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
+;* V12 tmp4         [V12    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
+;* V13 tmp5         [V13    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V14 tmp6         [V14,T18] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
+;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
 ;* V16 tmp8         [V16    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V17 tmp9         [V17,T23] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
-;  V18 tmp10        [V18,T20] (  2,  2   )     int  ->  rdx         "Inline stloc first use temp"
+;  V17 tmp9         [V17,T19] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
+;* V18 tmp10        [V18    ] (  0,  0   )     int  ->  zero-ref    "spill side effects"
 ;* V19 tmp11        [V19    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;* V20 tmp12        [V20    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
-;  V21 tmp13        [V21,T24] (  2,  1   )     int  ->   r8         "Inline stloc first use temp"
-;  V22 tmp14        [V22,T25] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
-;  V23 tmp15        [V23,T11] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V24 tmp16        [V24,T09] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V25 tmp17        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V26 tmp18        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;  V27 cse0         [V27,T12] (  3,  3   )     int  ->  rax         "CSE - moderate"
-;  V28 cse1         [V28,T13] (  3,  3   )     int  ->  rdx         "CSE - moderate"
-;  V29 cse2         [V29,T14] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V30 cse3         [V30,T15] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V31 cse4         [V31,T16] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V32 cse5         [V32,T17] (  3,  2.50)     int  ->   r8         "CSE - moderate"
-;  V33 cse6         [V33,T18] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
-;  V34 cse7         [V34,T19] (  3,  2.50)     int  ->   r8         "CSE - moderate"
+;  V20 tmp12        [V20,T20] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
+;  V21 tmp13        [V21,T17] (  2,  2   )     int  ->  rdx         "Inline stloc first use temp"
+;* V22 tmp14        [V22    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;* V23 tmp15        [V23    ] (  0,  0   )    bool  ->  zero-ref    "Inline return value spill temp"
+;  V24 tmp16        [V24,T21] (  2,  1   )     int  ->   r8         "Inline stloc first use temp"
+;  V25 tmp17        [V25,T22] (  2,  1   )     int  ->  rdx         "Inline stloc first use temp"
+;  V26 tmp18        [V26,T11] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V27 tmp19        [V27,T10] (  3,  3   )     int  ->  rsi         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;* V28 tmp20        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V29 tmp21        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;  V30 cse0         [V30,T14] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V31 cse1         [V31,T15] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V32 cse2         [V32,T16] (  3,  2.50)     int  ->  rdx         "CSE - moderate"
+;  V33 cse3         [V33,T12] (  3,  3   )     int  ->  rax         "CSE - moderate"
+;  V34 cse4         [V34,T13] (  3,  3   )     int  ->  rdx         "CSE - moderate"
 ;  V35 rat0         [V35,T08] (  3,  6   )    long  ->  rax         "ReplaceWithLclVar is creating a new local variable"
 ;
 ; Lcl frame size = 0
 
 G_M30056_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M30056_IG02:
        lea      eax, [rsi-0x01]
        movsxd   rcx, eax
        lea      rcx, bword ptr [rdi+4*rcx]
        sar      eax, 1
        cdqe     
        lea      rax, bword ptr [rdi+4*rax]
-       cmp      byte  ptr [rdi], dil
        mov      edx, dword ptr [rdi]
-       mov      r8d, dword ptr [rax]
-       cmp      edx, r8d
+       cmp      edx, dword ptr [rax]
        jle      SHORT G_M30056_IG04
-						;; size=31 bbWeight=1 PerfScore 10.75
+						;; size=24 bbWeight=1 PerfScore 8.50
 G_M30056_IG03:
+       mov      r8d, dword ptr [rax]
        mov      dword ptr [rdi], r8d
        mov      dword ptr [rax], edx
-						;; size=5 bbWeight=0.50 PerfScore 1.00
+						;; size=8 bbWeight=0.50 PerfScore 2.00
 G_M30056_IG04:
        mov      edx, dword ptr [rdi]
-       mov      r8d, dword ptr [rcx]
-       cmp      edx, r8d
+       cmp      edx, dword ptr [rcx]
        jle      SHORT G_M30056_IG06
-						;; size=10 bbWeight=1 PerfScore 5.25
+						;; size=6 bbWeight=1 PerfScore 6.00
 G_M30056_IG05:
+       mov      r8d, dword ptr [rcx]
        mov      dword ptr [rdi], r8d
        mov      dword ptr [rcx], edx
-						;; size=5 bbWeight=0.50 PerfScore 1.00
+						;; size=8 bbWeight=0.50 PerfScore 2.00
 G_M30056_IG06:
        mov      edx, dword ptr [rax]
-       mov      r8d, dword ptr [rcx]
-       cmp      edx, r8d
+       cmp      edx, dword ptr [rcx]
        jle      SHORT G_M30056_IG08
-						;; size=10 bbWeight=1 PerfScore 5.25
+						;; size=6 bbWeight=1 PerfScore 6.00
 G_M30056_IG07:
+       mov      r8d, dword ptr [rcx]
        mov      dword ptr [rax], r8d
        mov      dword ptr [rcx], edx
-						;; size=5 bbWeight=0.50 PerfScore 1.00
+						;; size=8 bbWeight=0.50 PerfScore 2.00
 G_M30056_IG08:
        add      esi, -2
        movsxd   rcx, esi
        lea      rcx, bword ptr [rdi+4*rcx]
        mov      edx, dword ptr [rax]
        mov      esi, edx
        mov      r8d, dword ptr [rcx]
        mov      dword ptr [rax], r8d
        mov      dword ptr [rcx], edx
        mov      rax, rdi
        mov      rdx, rcx
        cmp      rdi, rcx
        jae      SHORT G_M30056_IG12
        align    [0 bytes for IG09]
 						;; size=33 bbWeight=1 PerfScore 9.00
 G_M30056_IG09:
        cmp      rax, rcx
        jae      SHORT G_M30056_IG10
        add      rax, 4
        cmp      esi, dword ptr [rax]
        jg       SHORT G_M30056_IG09
 						;; size=13 bbWeight=4 PerfScore 22.00
 G_M30056_IG10:
        cmp      rdx, rdi
        jbe      SHORT G_M30056_IG11
        add      rdx, -4
        cmp      esi, dword ptr [rdx]
        jl       SHORT G_M30056_IG10
 						;; size=13 bbWeight=4 PerfScore 22.00
 G_M30056_IG11:
        cmp      rax, rdx
        jae      SHORT G_M30056_IG12
        mov      r8d, dword ptr [rax]
        mov      r9d, dword ptr [rdx]
        mov      dword ptr [rax], r9d
        mov      dword ptr [rdx], r8d
        jmp      SHORT G_M30056_IG09
 						;; size=19 bbWeight=0.50 PerfScore 4.62
 G_M30056_IG12:
        cmp      rax, rcx
        je       SHORT G_M30056_IG14
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M30056_IG13:
        mov      edx, dword ptr [rax]
        mov      esi, dword ptr [rcx]
        mov      dword ptr [rax], esi
        mov      dword ptr [rcx], edx
 						;; size=8 bbWeight=0.50 PerfScore 3.00
 G_M30056_IG14:
        sub      rax, rdi
        mov      rcx, rax
        sar      rcx, 63
        and      rcx, 3
        add      rax, rcx
        sar      rax, 2
 						;; size=21 bbWeight=1 PerfScore 2.00
 G_M30056_IG15:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
 
-; Total bytes of code 184, prolog size 4, PerfScore 109.28, instruction count 71, allocated bytes for code 184 (MethodHash=14098a97) for method System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int (FullOpts)
+; Total bytes of code 178, prolog size 4, PerfScore 110.93, instruction count 70, allocated bytes for code 178 (MethodHash=14098a97) for method System.Collections.Generic.GenericArraySortHelper`1[int]:PickPivotAndPartition(System.Span`1[int]):int (FullOpts)

-6 (-6.52 % of base) - System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this

 ; Assembly listing for method System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 this         [V00    ] (  0,  0   )     ref  ->  zero-ref    this class-hnd single-def <System.Collections.Generic.GenericEqualityComparer`1[long]>
 ;  V01 arg1         [V01,T01] (  7,  8.04)     ref  ->  rsi         class-hnd single-def <long[]>
-;  V02 arg2         [V02,T03] (  4,  6   )    long  ->  rdx         single-def
+;  V02 arg2         [V02,T04] (  4,  6   )    long  ->  rdx         single-def
 ;  V03 arg3         [V03,T05] (  4,  4   )     int  ->  rcx         single-def
 ;  V04 arg4         [V04,T06] (  3,  3   )     int  ->   r8         single-def
-;  V05 loc0         [V05,T02] (  6,  8   )     int  ->   r8        
+;  V05 loc0         [V05,T03] (  6,  8   )     int  ->   r8        
 ;* V06 loc1         [V06    ] (  0,  0   )     int  ->  zero-ref   
 ;  V07 loc2         [V07,T00] ( 13, 19.54)     int  ->  rax        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V09 tmp1         [V09    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Single-def Box Helper" <System.Int64>
+;* V09 tmp1         [V09    ] (  0,  0   )    long  ->  zero-ref    "spill side effects"
 ;* V10 tmp2         [V10    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V11 cse0         [V11,T07] (  2,  0.08)    long  ->  rcx         "CSE - conservative"
-;  V12 cse1         [V12,T04] (  2,  7.92)    long  ->  rcx         "CSE - aggressive"
+;  V11 cse0         [V11,T02] (  2,  7.92)    long  ->  rcx         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M64903_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M64903_IG02:
        add      r8d, ecx
        mov      eax, ecx
        cmp      eax, r8d
        jge      SHORT G_M64903_IG06
        test     rsi, rsi
        je       SHORT G_M64903_IG05
        mov      ecx, eax
        or       ecx, r8d
        jl       SHORT G_M64903_IG05
        cmp      dword ptr [rsi+0x08], r8d
        jl       SHORT G_M64903_IG05
        align    [0 bytes for IG03]
 						;; size=28 bbWeight=1 PerfScore 8.50
 G_M64903_IG03:
        mov      ecx, eax
-       mov      rcx, qword ptr [rsi+8*rcx+0x10]
-       cmp      rcx, rdx
+       cmp      qword ptr [rsi+8*rcx+0x10], rdx
        je       SHORT G_M64903_IG08
        inc      eax
        cmp      eax, r8d
        jl       SHORT G_M64903_IG03
-						;; size=19 bbWeight=3.96 PerfScore 19.80
+						;; size=16 bbWeight=3.96 PerfScore 22.77
 G_M64903_IG04:
        jmp      SHORT G_M64903_IG06
 						;; size=2 bbWeight=1 PerfScore 2.00
 G_M64903_IG05:
        cmp      eax, dword ptr [rsi+0x08]
        jae      SHORT G_M64903_IG09
        mov      ecx, eax
-       mov      rcx, qword ptr [rsi+8*rcx+0x10]
-       cmp      rcx, rdx
+       cmp      qword ptr [rsi+8*rcx+0x10], rdx
        je       SHORT G_M64903_IG08
        inc      eax
        cmp      eax, r8d
        jl       SHORT G_M64903_IG05
-						;; size=24 bbWeight=0.04 PerfScore 0.36
+						;; size=21 bbWeight=0.04 PerfScore 0.39
 G_M64903_IG06:
        mov      eax, -1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M64903_IG07:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M64903_IG08:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M64903_IG09:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 92, prolog size 4, PerfScore 42.74, instruction count 38, allocated bytes for code 92 (MethodHash=b8ea0278) for method System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this (FullOpts)
+; Total bytes of code 86, prolog size 4, PerfScore 45.14, instruction count 36, allocated bytes for code 86 (MethodHash=b8ea0278) for method System.Collections.Generic.GenericEqualityComparer`1[long]:IndexOf(long[],long,int,int):int:this (FullOpts)

-6 (-6.52 % of base) - System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this

 ; Assembly listing for method System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 this         [V00    ] (  0,  0   )     ref  ->  zero-ref    this class-hnd single-def <System.Collections.Generic.GenericEqualityComparer`1[long]>
 ;  V01 arg1         [V01,T01] (  7,  8.04)     ref  ->  rsi         class-hnd single-def <long[]>
-;  V02 arg2         [V02,T02] (  4,  6   )    long  ->  rdx         single-def
+;  V02 arg2         [V02,T03] (  4,  6   )    long  ->  rdx         single-def
 ;  V03 arg3         [V03,T05] (  4,  4   )     int  ->  rcx         single-def
 ;  V04 arg4         [V04,T06] (  3,  3   )     int  ->   r8         single-def
 ;  V05 loc0         [V05,T04] (  5,  7   )     int  ->  rax        
 ;* V06 loc1         [V06    ] (  0,  0   )     int  ->  zero-ref   
 ;  V07 loc2         [V07,T00] ( 14, 20.54)     int  ->  rcx        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;* V09 tmp1         [V09    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Single-def Box Helper" <System.Int64>
+;* V09 tmp1         [V09    ] (  0,  0   )    long  ->  zero-ref    "spill side effects"
 ;* V10 tmp2         [V10    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V11 cse0         [V11,T07] (  2,  0.08)    long  ->  rdi         "CSE - conservative"
-;  V12 cse1         [V12,T03] (  2,  7.92)    long  ->  rdi         "CSE - aggressive"
+;  V11 cse0         [V11,T02] (  2,  7.92)    long  ->  rdi         "CSE - aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M30861_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M30861_IG02:
        mov      eax, ecx
        sub      eax, r8d
        inc      eax
        cmp      ecx, eax
        jl       SHORT G_M30861_IG06
        test     rsi, rsi
        je       SHORT G_M30861_IG05
        mov      edi, ecx
        or       edi, eax
        jl       SHORT G_M30861_IG05
        cmp      dword ptr [rsi+0x08], ecx
        jle      SHORT G_M30861_IG05
        align    [1 bytes for IG03]
 						;; size=28 bbWeight=1 PerfScore 9.00
 G_M30861_IG03:
        mov      edi, ecx
-       mov      rdi, qword ptr [rsi+8*rdi+0x10]
-       cmp      rdi, rdx
+       cmp      qword ptr [rsi+8*rdi+0x10], rdx
        je       SHORT G_M30861_IG08
        dec      ecx
        cmp      ecx, eax
        jge      SHORT G_M30861_IG03
-						;; size=18 bbWeight=3.96 PerfScore 19.80
+						;; size=15 bbWeight=3.96 PerfScore 22.77
 G_M30861_IG04:
        jmp      SHORT G_M30861_IG06
 						;; size=2 bbWeight=1 PerfScore 2.00
 G_M30861_IG05:
        cmp      ecx, dword ptr [rsi+0x08]
        jae      SHORT G_M30861_IG10
        mov      edi, ecx
-       mov      rdi, qword ptr [rsi+8*rdi+0x10]
-       cmp      rdi, rdx
+       cmp      qword ptr [rsi+8*rdi+0x10], rdx
        je       SHORT G_M30861_IG08
        dec      ecx
        cmp      ecx, eax
        jge      SHORT G_M30861_IG05
-						;; size=23 bbWeight=0.04 PerfScore 0.36
+						;; size=20 bbWeight=0.04 PerfScore 0.39
 G_M30861_IG06:
        mov      eax, -1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M30861_IG07:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M30861_IG08:
        mov      eax, ecx
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M30861_IG09:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M30861_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 92, prolog size 4, PerfScore 43.36, instruction count 40, allocated bytes for code 92 (MethodHash=9c178772) for method System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this (FullOpts)
+; Total bytes of code 86, prolog size 4, PerfScore 45.76, instruction count 38, allocated bytes for code 86 (MethodHash=9c178772) for method System.Collections.Generic.GenericEqualityComparer`1[long]:LastIndexOf(long[],long,int,int):int:this (FullOpts)

-5 (-1.25 % of base) - System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int)

 ; Assembly listing for method System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int) (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 8 single block inlinees; 12 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.Span`1[double]>
 ;  V01 arg1         [V01,T02] (  6, 18   )     int  ->  rbx        
 ;  V02 loc0         [V02,T00] ( 13, 28   )     int  ->  r13        
 ;  V03 loc1         [V03,T05] (  3, 12   )     int  ->  r12        
-;  V04 loc2         [V04,T15] (  5,  2.50)   byref  ->  rdi         single-def
-;  V05 loc3         [V05,T16] (  5,  2.50)   byref  ->  rsi         single-def
-;  V06 loc4         [V06,T13] (  6,  3   )   byref  ->  rax         single-def
+;  V04 loc2         [V04,T14] (  5,  2.50)   byref  ->  rdi         single-def
+;  V05 loc3         [V05,T15] (  5,  2.50)   byref  ->  rsi         single-def
+;  V06 loc4         [V06,T16] (  5,  2.50)   byref  ->  rax         single-def
 ;  V07 loc5         [V07,T06] (  3, 12   )     int  ->  rdi        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
 ;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[double]>
 ;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[double]>
 ;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[double]>
 ;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[double]>
-;  V13 tmp5         [V13,T11] (  5,  5   )   byref  ->  r15         single-def "Inlining Arg"
-;  V14 tmp6         [V14,T14] (  3,  3   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V15 tmp7         [V15,T19] (  2,  1   )    bool  ->  rsi         "Inline return value spill temp"
-;  V16 tmp8         [V16,T31] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
-;  V17 tmp9         [V17,T20] (  2,  1   )    bool  ->  rcx         "Inline return value spill temp"
-;  V18 tmp10        [V18,T32] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
-;  V19 tmp11        [V19,T21] (  2,  1   )    bool  ->  rcx         "Inline return value spill temp"
-;  V20 tmp12        [V20,T33] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
-;  V21 tmp13        [V21,T22] (  2,  1   )    bool  ->  rax         "Inline return value spill temp"
-;  V22 tmp14        [V22,T34] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
-;* V23 tmp15        [V23    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[double]>
-;* V24 tmp16        [V24    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V25 tmp17        [V25    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[double]>
-;* V26 tmp18        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V13 tmp5         [V13,T11] (  4,  4   )   byref  ->  r15         single-def "Inlining Arg"
+;* V14 tmp6         [V14    ] (  0,  0   )  double  ->  zero-ref    "spill side effects"
+;  V15 tmp7         [V15,T13] (  3,  3   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V16 tmp8         [V16,T19] (  2,  1   )    bool  ->  rsi         "Inline return value spill temp"
+;  V17 tmp9         [V17,T31] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
+;* V18 tmp10        [V18    ] (  0,  0   )  double  ->  zero-ref    "spill side effects"
+;  V19 tmp11        [V19,T20] (  2,  1   )    bool  ->  rcx         "Inline return value spill temp"
+;  V20 tmp12        [V20,T32] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
+;* V21 tmp13        [V21    ] (  0,  0   )  double  ->  zero-ref    "spill side effects"
+;  V22 tmp14        [V22,T21] (  2,  1   )    bool  ->  rcx         "Inline return value spill temp"
+;  V23 tmp15        [V23,T33] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
+;* V24 tmp16        [V24    ] (  0,  0   )  double  ->  zero-ref    "spill side effects"
+;  V25 tmp17        [V25,T22] (  2,  1   )    bool  ->  rax         "Inline return value spill temp"
+;  V26 tmp18        [V26,T34] (  2,  1   )  double  ->  mm0         "Inline stloc first use temp"
 ;* V27 tmp19        [V27    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[double]>
 ;* V28 tmp20        [V28    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V29 tmp21        [V29,T01] (  3, 24   )     int  ->  rsi         "Inlining Arg"
-;* V30 tmp22        [V30    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[double]>
-;* V31 tmp23        [V31    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V32 tmp24        [V32,T03] (  9, 12   )   byref  ->  r15         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V33 tmp25        [V33,T04] (  8, 12.50)     int  ->  r14         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V35 tmp27        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp28        [V36    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp29        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V38 tmp30        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp31        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V40 tmp32        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp33        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V42 tmp34        [V42,T17] (  2,  1   )   byref  ->  rdi         single-def "field V23._reference (fldOffset=0x0)" P-INDEP
-;  V43 tmp35        [V43,T23] (  2,  1   )     int  ->  rsi         "field V23._length (fldOffset=0x8)" P-INDEP
-;  V44 tmp36        [V44,T18] (  2,  1   )   byref  ->  rdi         single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;  V45 tmp37        [V45,T24] (  2,  1   )     int  ->  rsi         "field V25._length (fldOffset=0x8)" P-INDEP
-;* V46 tmp38        [V46,T12] (  0,  0   )   byref  ->  zero-ref    "field V27._reference (fldOffset=0x0)" P-INDEP
-;  V47 tmp39        [V47,T09] (  2,  8   )     int  ->  rsi         "field V27._length (fldOffset=0x8)" P-INDEP
-;  V48 tmp40        [V48,T08] (  2,  8   )   byref  ->  rdi         "field V30._reference (fldOffset=0x0)" P-INDEP
-;  V49 tmp41        [V49,T10] (  2,  8   )     int  ->  rsi         "field V30._length (fldOffset=0x8)" P-INDEP
-;  V50 cse0         [V50,T25] (  6,  3   )  double  ->  mm0         "CSE - moderate"
-;  V51 cse1         [V51,T26] (  6,  3   )  double  ->  mm1         "CSE - moderate"
-;  V52 cse2         [V52,T27] (  3,  1.50)  double  ->  mm0         "CSE - moderate"
-;  V53 cse3         [V53,T28] (  3,  1.50)  double  ->  mm1         "CSE - moderate"
-;  V54 cse4         [V54,T29] (  3,  1.50)  double  ->  mm0         "CSE - moderate"
-;  V55 cse5         [V55,T30] (  3,  1.50)  double  ->  mm1         "CSE - moderate"
-;  V56 cse6         [V56,T07] (  3, 12   )    long  ->  rdi         "CSE - aggressive"
+;* V29 tmp21        [V29    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[double]>
+;* V30 tmp22        [V30    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V31 tmp23        [V31    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[double]>
+;* V32 tmp24        [V32    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V33 tmp25        [V33,T01] (  3, 24   )     int  ->  rsi         "Inlining Arg"
+;* V34 tmp26        [V34    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[double]>
+;* V35 tmp27        [V35    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V36 tmp28        [V36,T03] (  9, 12   )   byref  ->  r15         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V37 tmp29        [V37,T04] (  8, 12.50)     int  ->  r14         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;* V38 tmp30        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp31        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp32        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp33        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V42 tmp34        [V42    ] (  0,  0   )   byref  ->  zero-ref    "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp35        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp36        [V44    ] (  0,  0   )   byref  ->  zero-ref    "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp37        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;  V46 tmp38        [V46,T17] (  2,  1   )   byref  ->  rdi         single-def "field V27._reference (fldOffset=0x0)" P-INDEP
+;  V47 tmp39        [V47,T23] (  2,  1   )     int  ->  rsi         "field V27._length (fldOffset=0x8)" P-INDEP
+;  V48 tmp40        [V48,T18] (  2,  1   )   byref  ->  rdi         single-def "field V29._reference (fldOffset=0x0)" P-INDEP
+;  V49 tmp41        [V49,T24] (  2,  1   )     int  ->  rsi         "field V29._length (fldOffset=0x8)" P-INDEP
+;* V50 tmp42        [V50,T12] (  0,  0   )   byref  ->  zero-ref    "field V31._reference (fldOffset=0x0)" P-INDEP
+;  V51 tmp43        [V51,T09] (  2,  8   )     int  ->  rsi         "field V31._length (fldOffset=0x8)" P-INDEP
+;  V52 tmp44        [V52,T08] (  2,  8   )   byref  ->  rdi         "field V34._reference (fldOffset=0x0)" P-INDEP
+;  V53 tmp45        [V53,T10] (  2,  8   )     int  ->  rsi         "field V34._length (fldOffset=0x8)" P-INDEP
+;  V54 cse0         [V54,T25] (  6,  3   )  double  ->  mm0         "CSE - moderate"
+;  V55 cse1         [V55,T27] (  3,  1.50)  double  ->  mm0         "CSE - moderate"
+;  V56 cse2         [V56,T28] (  3,  1.50)  double  ->  mm0         "CSE - moderate"
+;  V57 cse3         [V57,T26] (  6,  3   )  double  ->  mm1         "CSE - moderate"
+;  V58 cse4         [V58,T29] (  3,  1.50)  double  ->  mm1         "CSE - moderate"
+;  V59 cse5         [V59,T30] (  3,  1.50)  double  ->  mm1         "CSE - moderate"
+;  V60 cse6         [V60,T07] (  3, 12   )    long  ->  rdi         "CSE - aggressive"
 ;
 ; Lcl frame size = 8
 
 G_M12710_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        vzeroupper 
        lea      rbp, [rsp+0x30]
        mov      r15, rdi
        mov      r14d, esi
        mov      ebx, edx
 						;; size=27 bbWeight=1 PerfScore 9.25
 G_M12710_IG02:
        mov      r13d, r14d
        cmp      r14d, 1
        jle      G_M12710_IG11
 						;; size=13 bbWeight=1 PerfScore 1.50
 G_M12710_IG03:
        cmp      r13d, 16
        jle      SHORT G_M12710_IG05
        test     ebx, ebx
        je       G_M12710_IG10
        dec      ebx
        cmp      r13d, r14d
        ja       G_M12710_IG13
        mov      esi, r13d
        mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.GenericArraySortHelper`1[double]:PickPivotAndPartition(System.Span`1[double]):int
        call     [rax]System.Collections.Generic.GenericArraySortHelper`1[double]:PickPivotAndPartition(System.Span`1[double]):int
        mov      r12d, eax
        lea      edi, [r12+0x01]
        sub      r13d, edi
        mov      esi, r13d
        mov      edx, esi
        add      rdx, rdi
        mov      eax, r14d
        cmp      rdx, rax
        ja       G_M12710_IG13
        lea      rdi, bword ptr [r15+8*rdi]
        mov      edx, ebx
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int)
        call     [rax]System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int)
        mov      r13d, r12d
        cmp      r13d, 1
        jg       SHORT G_M12710_IG03
 						;; size=101 bbWeight=4 PerfScore 66.00
 G_M12710_IG04:
        jmp      G_M12710_IG11
 						;; size=5 bbWeight=0.50 PerfScore 1.00
 G_M12710_IG05:
        cmp      r13d, 2
        jne      SHORT G_M12710_IG06
        lea      rdi, bword ptr [r15+0x08]
-       cmp      byte  ptr [r15], r15b
        vmovsd   xmm0, qword ptr [r15]
        vmovsd   xmm1, qword ptr [rdi]
        xor      esi, esi
        vucomisd xmm0, xmm1
        seta     sil
        test     esi, esi
        je       G_M12710_IG11
        vmovsd   qword ptr [r15], xmm1
        vmovsd   qword ptr [rdi], xmm0
        jmp      G_M12710_IG11
-						;; size=54 bbWeight=0.50 PerfScore 11.62
+						;; size=51 bbWeight=0.50 PerfScore 10.12
 G_M12710_IG06:
        cmp      r13d, 3
        jne      SHORT G_M12710_IG09
        cmp      r14d, 2
        jbe      G_M12710_IG14
        lea      rdi, bword ptr [r15+0x10]
        lea      rsi, bword ptr [r15+0x08]
        mov      rax, r15
-       cmp      byte  ptr [rax], al
        vmovsd   xmm0, qword ptr [rax]
        vmovsd   xmm1, qword ptr [rsi]
        xor      ecx, ecx
        vucomisd xmm0, xmm1
        seta     cl
        test     ecx, ecx
        je       SHORT G_M12710_IG07
        vmovsd   qword ptr [rax], xmm1
        vmovsd   qword ptr [rsi], xmm0
-						;; size=58 bbWeight=0.50 PerfScore 11.62
+						;; size=56 bbWeight=0.50 PerfScore 10.12
 G_M12710_IG07:
        vmovsd   xmm0, qword ptr [rax]
        vmovsd   xmm1, qword ptr [rdi]
        xor      ecx, ecx
        vucomisd xmm0, xmm1
        seta     cl
        test     ecx, ecx
        je       SHORT G_M12710_IG08
        vmovsd   qword ptr [rax], xmm1
        vmovsd   qword ptr [rdi], xmm0
 						;; size=29 bbWeight=0.50 PerfScore 8.25
 G_M12710_IG08:
        vmovsd   xmm0, qword ptr [rsi]
        vmovsd   xmm1, qword ptr [rdi]
        xor      eax, eax
        vucomisd xmm0, xmm1
        seta     al
        test     eax, eax
        je       SHORT G_M12710_IG11
        vmovsd   qword ptr [rsi], xmm1
        vmovsd   qword ptr [rdi], xmm0
        jmp      SHORT G_M12710_IG11
 						;; size=31 bbWeight=0.50 PerfScore 9.25
 G_M12710_IG09:
        cmp      r13d, r14d
        ja       SHORT G_M12710_IG13
        mov      rdi, r15
        mov      esi, r13d
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.GenericArraySortHelper`1[double]:InsertionSort(System.Span`1[double])
        call     [rax]System.Collections.Generic.GenericArraySortHelper`1[double]:InsertionSort(System.Span`1[double])
        jmp      SHORT G_M12710_IG11
 						;; size=25 bbWeight=0.50 PerfScore 3.50
 G_M12710_IG10:
        cmp      r13d, r14d
        ja       SHORT G_M12710_IG13
        mov      rdi, r15
        mov      esi, r13d
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.GenericArraySortHelper`1[double]:HeapSort(System.Span`1[double])
        call     [rax]System.Collections.Generic.GenericArraySortHelper`1[double]:HeapSort(System.Span`1[double])
 						;; size=23 bbWeight=0.50 PerfScore 2.50
 G_M12710_IG11:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
 G_M12710_IG12:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M12710_IG13:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M12710_IG14:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 401, prolog size 19, PerfScore 169.10, instruction count 120, allocated bytes for code 401 (MethodHash=1126ce59) for method System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int) (FullOpts)
+; Total bytes of code 396, prolog size 19, PerfScore 165.60, instruction count 118, allocated bytes for code 396 (MethodHash=1126ce59) for method System.Collections.Generic.GenericArraySortHelper`1[double]:IntroSort(System.Span`1[double],int) (FullOpts)

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

[MihuBot]

@EgorBo