[JitDiff X64] [EgorBo] Intrinsify Span.Slice(int,int) for Span[X..]

[MihuBot]

Job completed in 18 minutes 35 seconds (remote runner delay: 45 seconds).
dotnet/runtime#122065

Diffs

Diffs

Found 89 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45957023
Total bytes of diff: 45952396
Total bytes of delta: -4627 (-0.01 % of base)
Total relative delta: -3.91
    diff is an improvement.
    relative diff is an improvement.


Top file regressions (bytes):
          14 : System.IO.Compression.dasm (0.01 % of base)

Top file improvements (bytes):
       -4280 : System.Numerics.Tensors.dasm (-0.36 % of base)
        -210 : System.Private.CoreLib.dasm (-0.00 % of base)
        -130 : System.Net.Primitives.dasm (-0.12 % of base)
          -7 : System.Net.WebSockets.Client.dasm (-0.03 % of base)
          -7 : System.Net.WebSockets.dasm (-0.00 % of base)
          -5 : System.Net.Http.dasm (-0.00 % of base)
          -2 : System.Runtime.Numerics.dasm (-0.00 % of base)

8 total files with Code Size differences (7 improved, 1 regressed), 252 unchanged.

Top method regressions (bytes):
          30 (6.71 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlockCore(System.Span`1[byte],long,long,long) (FullOpts)
          27 (4.91 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteLocalFileHeaderPrepare(System.Span`1[byte],uint,uint,ushort):this (FullOpts)
          24 (5.57 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipEndOfCentralDirectoryBlock:WriteBlockInitialize(System.Span`1[byte],long,long,long,byte[]) (FullOpts)
          21 (3.09 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipEndOfCentralDirectoryBlock:TryReadBlockInitialize(System.IO.Stream,System.Span`1[byte],int,byref,byref):bool (FullOpts)
          18 (5.54 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:PrepareToWriteDataDescriptor(System.Span`1[byte]):int:this (FullOpts)
          17 (3.12 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryRecord:TryReadBlockCore(System.Span`1[byte],int,byref):bool (FullOpts)
          12 (5.83 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryLocator:WriteBlockCore(System.Span`1[byte],long) (FullOpts)
           6 (5.41 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:WriteBlockCore(System.Span`1[byte]):this (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[byte](System.Numerics.Tensors.Tensor`1[byte],int):System.Numerics.Tensors.Tensor`1[byte] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[double](System.Numerics.Tensors.Tensor`1[double],int):System.Numerics.Tensors.Tensor`1[double] (FullOpts)
           6 (0.34 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[int](System.Numerics.Tensors.Tensor`1[int],int):System.Numerics.Tensors.Tensor`1[int] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[long](System.Numerics.Tensors.Tensor`1[long],int):System.Numerics.Tensors.Tensor`1[long] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[short](System.Numerics.Tensors.Tensor`1[short],int):System.Numerics.Tensors.Tensor`1[short] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Nullable`1[int]](System.Numerics.Tensors.Tensor`1[System.Nullable`1[int]],int):System.Numerics.Tensors.Tensor`1[System.Nullable`1[int]] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Numerics.Vector`1[float]](System.Numerics.Tensors.Tensor`1[System.Numerics.Vector`1[float]],int):System.Numerics.Tensors.Tensor`1[System.Numerics.Vector`1[float]] (FullOpts)
           4 (0.14 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipCentralDirectoryFileHeader+<TryReadBlockAsync>d__27:MoveNext():this (FullOpts)
           1 (0.26 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64ExtraField:WriteBlockCore(System.Span`1[byte]):this (FullOpts)

Top method improvements (bytes):
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[byte](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[byte] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[byte](byref,int):System.Numerics.Tensors.TensorSpan`1[byte] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[double](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[double] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[double](byref,int):System.Numerics.Tensors.TensorSpan`1[double] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[int](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[int] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[int](byref,int):System.Numerics.Tensors.TensorSpan`1[int] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[long](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[long] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[long](byref,int):System.Numerics.Tensors.TensorSpan`1[long] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[short](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[short] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[short](byref,int):System.Numerics.Tensors.TensorSpan`1[short] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Nullable`1[int]](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Nullable`1[int]] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Nullable`1[int]](byref,int):System.Numerics.Tensors.TensorSpan`1[System.Nullable`1[int]] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Numerics.Vector`1[float]](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Numerics.Vector`1[float]] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Numerics.Vector`1[float]](byref,int):System.Numerics.Tensors.TensorSpan`1[System.Numerics.Vector`1[float]] (FullOpts)
        -239 (-11.63 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.__Canon](System.Numerics.Tensors.Tensor`1[System.__Canon],int):System.Numerics.Tensors.Tensor`1[System.__Canon] (FullOpts)
         -46 (-12.30 % of base) : System.Net.Primitives.dasm - System.Net.CookieComparer:Equals(System.Net.Cookie,System.Net.Cookie):bool (FullOpts)
         -41 (-12.62 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:TrimUtf8(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte] (FullOpts)
         -41 (-9.09 % of base) : System.Net.Primitives.dasm - System.Net.Cookie:Equals(System.Object):bool:this (FullOpts)
         -22 (-6.53 % of base) : System.Private.CoreLib.dasm - System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -22 (-6.53 % of base) : System.Private.CoreLib.dasm - System.IntPtr:System.Numerics.IBinaryInteger<nint>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -22 (-6.98 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:ParseExtraField(System.ReadOnlySpan`1[byte],byref):System.Collections.Generic.List`1[System.IO.Compression.ZipGenericExtraField] (FullOpts)
         -20 (-1.96 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipCentralDirectoryFileHeader:TryReadBlockInitialize(System.ReadOnlySpan`1[byte],byref,byref,byref,byref,byref,byref):bool (FullOpts)
         -19 (-1.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.__Canon](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.__Canon] (FullOpts)
         -19 (-1.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.__Canon](byref,int):System.Numerics.Tensors.TensorSpan`1[System.__Canon] (FullOpts)
         -18 (-13.85 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipLocalFileHeader:GetExtraFieldsCore(System.Span`1[byte],int,int,byref,byref) (FullOpts)
         -18 (-3.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorShape:AreCompatible(byref,byref,bool):bool (FullOpts)
         -15 (-8.24 % of base) : System.Private.CoreLib.dasm - System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-2.84 % of base) : System.Private.CoreLib.dasm - System.Int128:System.Numerics.IBinaryInteger<System.Int128>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-5.58 % of base) : System.Private.CoreLib.dasm - System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-4.63 % of base) : System.Private.CoreLib.dasm - System.Int32:System.Numerics.IBinaryInteger<System.Int32>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-5.08 % of base) : System.Private.CoreLib.dasm - System.UInt128:System.Numerics.IBinaryInteger<System.UInt128>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-8.24 % of base) : System.Private.CoreLib.dasm - System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -14 (-8.75 % of base) : System.Private.CoreLib.dasm - System.Byte:System.Numerics.IBinaryInteger<System.Byte>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -14 (-7.37 % of base) : System.Net.Primitives.dasm - System.Net.Cookie:SetDomainAndKey(System.String):this (FullOpts)
         -14 (-15.05 % of base) : System.Net.Primitives.dasm - System.Net.CookieComparer:StripLeadingDot(System.ReadOnlySpan`1[char]):System.ReadOnlySpan`1[char] (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[byte]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[byte],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[double]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[double],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[int]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[int],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[long]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[long],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[short]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[short],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[System.__Canon]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.__Canon],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[System.Nullable`1[int]]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Nullable`1[int]],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[System.Numerics.Vector`1[float]]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Numerics.Vector`1[float]],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[byte]:.ctor(System.Numerics.Tensors.TensorSpan`1[byte],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[double]:.ctor(System.Numerics.Tensors.TensorSpan`1[double],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[int]:.ctor(System.Numerics.Tensors.TensorSpan`1[int],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[long]:.ctor(System.Numerics.Tensors.TensorSpan`1[long],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[short]:.ctor(System.Numerics.Tensors.TensorSpan`1[short],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[System.__Canon]:.ctor(System.Numerics.Tensors.TensorSpan`1[System.__Canon],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[System.Nullable`1[int]]:.ctor(System.Numerics.Tensors.TensorSpan`1[System.Nullable`1[int]],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[System.Numerics.Vector`1[float]]:.ctor(System.Numerics.Tensors.TensorSpan`1[System.Numerics.Vector`1[float]],int):this (FullOpts)
         -14 (-6.31 % of base) : System.Private.CoreLib.dasm - System.SByte:System.Numerics.IBinaryInteger<System.SByte>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -13 (-1.80 % of base) : System.Net.Primitives.dasm - System.Net.CookieContainer:InternalGetCookies(System.Uri):System.Net.CookieCollection:this (FullOpts)
         -12 (-4.38 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryLocator:TryReadBlockCore(System.Span`1[byte],int,byref):bool (FullOpts)
         -12 (-7.89 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeaderPrepareForWritingWhenZip64HeaderUsed(System.Span`1[byte]):this (FullOpts)
         -12 (-5.71 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeaderPrepareForZip64PretendStreaming(System.Span`1[byte]):this (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[byte](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[double](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[int](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[long](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[short](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[System.Nullable`1[int]](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[System.Numerics.Vector`1[float]](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -11 (-1.26 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCentralDirectoryFileHeaderPrepare(System.Span`1[byte],uint,uint,ushort,uint):this (FullOpts)
         -11 (-1.06 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipCentralDirectoryFileHeader:TryReadBlock(System.ReadOnlySpan`1[byte],System.IO.Stream,bool,byref,byref):bool (FullOpts)
         -11 (-1.27 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipLocalFileHeader:GetExtraFields(System.IO.Stream,byref):System.Collections.Generic.List`1[System.IO.Compression.ZipGenericExtraField] (FullOpts)
          -9 (-3.88 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeaderPrepareFor32bitValuesWriting(bool,System.Span`1[byte],uint,uint):this (FullOpts)
          -7 (-2.47 % of base) : System.Net.WebSockets.dasm - System.Net.WebSockets.Compression.WebSocketInflater:Finish(System.Span`1[byte],byref):bool:this (FullOpts)
          -7 (-0.73 % of base) : System.Net.WebSockets.Client.dasm - System.Net.WebSockets.WebSocketHandle:ParseDeflateOptions(System.ReadOnlySpan`1[char],System.Net.WebSockets.WebSocketDeflateOptions):System.Net.WebSockets.WebSocketDeflateOptions (FullOpts)
          -6 (-2.68 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipLocalFileHeader:TrySkipBlockFinalize(System.IO.Stream,System.Span`1[byte],int):bool (FullOpts)
          -5 (-0.57 % of base) : System.Net.Http.dasm - System.Net.Http.HttpContent:ReadBufferAsString(System.Net.Http.HttpContent+LimitArrayPoolWriteStream,System.Net.Http.Headers.HttpContentHeaders):System.String (FullOpts)
          -5 (-1.98 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorShape:AreCompatible(byref,byref):bool (FullOpts)
          -4 (-0.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[System.__Canon](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
          -2 (-0.48 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:TryReadBlock(System.ReadOnlySpan`1[byte],byref,byref):bool (FullOpts)
          -2 (-0.85 % of base) : System.Net.Primitives.dasm - System.Net.CookieComparer:EqualDomains(System.ReadOnlySpan`1[char],System.ReadOnlySpan`1[char]):bool (FullOpts)
          -2 (-0.19 % of base) : System.Runtime.Numerics.dasm - System.Number:<NumberToBigInteger>g__Recursive|12_1(byref,int,System.ReadOnlySpan`1[uint],System.Span`1[uint]) (FullOpts)
          -2 (-0.98 % of base) : System.Private.CoreLib.dasm - System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -2 (-0.98 % of base) : System.Private.CoreLib.dasm - System.UInt64:System.Numerics.IBinaryInteger<System.UInt64>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -2 (-0.98 % of base) : System.Private.CoreLib.dasm - System.UIntPtr:System.Numerics.IBinaryInteger<nuint>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.45 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<TrimUtf8>g__TrimFallback|287_0(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte] (FullOpts)

Top method regressions (percentages):
          30 (6.71 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlockCore(System.Span`1[byte],long,long,long) (FullOpts)
          12 (5.83 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryLocator:WriteBlockCore(System.Span`1[byte],long) (FullOpts)
          24 (5.57 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipEndOfCentralDirectoryBlock:WriteBlockInitialize(System.Span`1[byte],long,long,long,byte[]) (FullOpts)
          18 (5.54 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:PrepareToWriteDataDescriptor(System.Span`1[byte]):int:this (FullOpts)
           6 (5.41 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:WriteBlockCore(System.Span`1[byte]):this (FullOpts)
          27 (4.91 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteLocalFileHeaderPrepare(System.Span`1[byte],uint,uint,ushort):this (FullOpts)
          17 (3.12 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryRecord:TryReadBlockCore(System.Span`1[byte],int,byref):bool (FullOpts)
          21 (3.09 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipEndOfCentralDirectoryBlock:TryReadBlockInitialize(System.IO.Stream,System.Span`1[byte],int,byref,byref):bool (FullOpts)
           6 (0.34 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[int](System.Numerics.Tensors.Tensor`1[int],int):System.Numerics.Tensors.Tensor`1[int] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[byte](System.Numerics.Tensors.Tensor`1[byte],int):System.Numerics.Tensors.Tensor`1[byte] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[double](System.Numerics.Tensors.Tensor`1[double],int):System.Numerics.Tensors.Tensor`1[double] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[long](System.Numerics.Tensors.Tensor`1[long],int):System.Numerics.Tensors.Tensor`1[long] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[short](System.Numerics.Tensors.Tensor`1[short],int):System.Numerics.Tensors.Tensor`1[short] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Nullable`1[int]](System.Numerics.Tensors.Tensor`1[System.Nullable`1[int]],int):System.Numerics.Tensors.Tensor`1[System.Nullable`1[int]] (FullOpts)
           6 (0.33 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Numerics.Vector`1[float]](System.Numerics.Tensors.Tensor`1[System.Numerics.Vector`1[float]],int):System.Numerics.Tensors.Tensor`1[System.Numerics.Vector`1[float]] (FullOpts)
           1 (0.26 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64ExtraField:WriteBlockCore(System.Span`1[byte]):this (FullOpts)
           4 (0.14 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipCentralDirectoryFileHeader+<TryReadBlockAsync>d__27:MoveNext():this (FullOpts)

Top method improvements (percentages):
         -14 (-15.05 % of base) : System.Net.Primitives.dasm - System.Net.CookieComparer:StripLeadingDot(System.ReadOnlySpan`1[char]):System.ReadOnlySpan`1[char] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[byte](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[byte] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[byte](byref,int):System.Numerics.Tensors.TensorSpan`1[byte] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[double](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[double] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[double](byref,int):System.Numerics.Tensors.TensorSpan`1[double] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[int](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[int] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[int](byref,int):System.Numerics.Tensors.TensorSpan`1[int] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[long](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[long] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[long](byref,int):System.Numerics.Tensors.TensorSpan`1[long] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[short](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[short] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[short](byref,int):System.Numerics.Tensors.TensorSpan`1[short] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Nullable`1[int]](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Nullable`1[int]] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Nullable`1[int]](byref,int):System.Numerics.Tensors.TensorSpan`1[System.Nullable`1[int]] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Numerics.Vector`1[float]](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Numerics.Vector`1[float]] (FullOpts)
        -265 (-13.94 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.Numerics.Vector`1[float]](byref,int):System.Numerics.Tensors.TensorSpan`1[System.Numerics.Vector`1[float]] (FullOpts)
         -18 (-13.85 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipLocalFileHeader:GetExtraFieldsCore(System.Span`1[byte],int,int,byref,byref) (FullOpts)
         -41 (-12.62 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:TrimUtf8(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte] (FullOpts)
         -46 (-12.30 % of base) : System.Net.Primitives.dasm - System.Net.CookieComparer:Equals(System.Net.Cookie,System.Net.Cookie):bool (FullOpts)
        -239 (-11.63 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.__Canon](System.Numerics.Tensors.Tensor`1[System.__Canon],int):System.Numerics.Tensors.Tensor`1[System.__Canon] (FullOpts)
         -41 (-9.09 % of base) : System.Net.Primitives.dasm - System.Net.Cookie:Equals(System.Object):bool:this (FullOpts)
         -14 (-8.75 % of base) : System.Private.CoreLib.dasm - System.Byte:System.Numerics.IBinaryInteger<System.Byte>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-8.24 % of base) : System.Private.CoreLib.dasm - System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-8.24 % of base) : System.Private.CoreLib.dasm - System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -12 (-7.89 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeaderPrepareForWritingWhenZip64HeaderUsed(System.Span`1[byte]):this (FullOpts)
         -14 (-7.37 % of base) : System.Net.Primitives.dasm - System.Net.Cookie:SetDomainAndKey(System.String):this (FullOpts)
         -22 (-6.98 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:ParseExtraField(System.ReadOnlySpan`1[byte],byref):System.Collections.Generic.List`1[System.IO.Compression.ZipGenericExtraField] (FullOpts)
         -22 (-6.53 % of base) : System.Private.CoreLib.dasm - System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -22 (-6.53 % of base) : System.Private.CoreLib.dasm - System.IntPtr:System.Numerics.IBinaryInteger<nint>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -14 (-6.31 % of base) : System.Private.CoreLib.dasm - System.SByte:System.Numerics.IBinaryInteger<System.SByte>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -12 (-5.71 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeaderPrepareForZip64PretendStreaming(System.Span`1[byte]):this (FullOpts)
         -15 (-5.58 % of base) : System.Private.CoreLib.dasm - System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-5.08 % of base) : System.Private.CoreLib.dasm - System.UInt128:System.Numerics.IBinaryInteger<System.UInt128>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -15 (-4.63 % of base) : System.Private.CoreLib.dasm - System.Int32:System.Numerics.IBinaryInteger<System.Int32>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
         -12 (-4.38 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryLocator:TryReadBlockCore(System.Span`1[byte],int,byref):bool (FullOpts)
          -9 (-3.88 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeaderPrepareFor32bitValuesWriting(bool,System.Span`1[byte],uint,uint):this (FullOpts)
         -18 (-3.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorShape:AreCompatible(byref,byref,bool):bool (FullOpts)
         -15 (-2.84 % of base) : System.Private.CoreLib.dasm - System.Int128:System.Numerics.IBinaryInteger<System.Int128>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -6 (-2.68 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipLocalFileHeader:TrySkipBlockFinalize(System.IO.Stream,System.Span`1[byte],int):bool (FullOpts)
          -7 (-2.47 % of base) : System.Net.WebSockets.dasm - System.Net.WebSockets.Compression.WebSocketInflater:Finish(System.Span`1[byte],byref):bool:this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[byte]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[byte],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[double]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[double],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[int]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[int],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[long]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[long],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[short]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[short],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[System.__Canon]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.__Canon],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[System.Nullable`1[int]]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Nullable`1[int]],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.ReadOnlyTensorDimensionSpan`1[System.Numerics.Vector`1[float]]:.ctor(System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.Numerics.Vector`1[float]],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[byte]:.ctor(System.Numerics.Tensors.TensorSpan`1[byte],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[double]:.ctor(System.Numerics.Tensors.TensorSpan`1[double],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[int]:.ctor(System.Numerics.Tensors.TensorSpan`1[int],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[long]:.ctor(System.Numerics.Tensors.TensorSpan`1[long],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[short]:.ctor(System.Numerics.Tensors.TensorSpan`1[short],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[System.__Canon]:.ctor(System.Numerics.Tensors.TensorSpan`1[System.__Canon],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[System.Nullable`1[int]]:.ctor(System.Numerics.Tensors.TensorSpan`1[System.Nullable`1[int]],int):this (FullOpts)
         -14 (-2.16 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorDimensionSpan`1[System.Numerics.Vector`1[float]]:.ctor(System.Numerics.Tensors.TensorSpan`1[System.Numerics.Vector`1[float]],int):this (FullOpts)
          -5 (-1.98 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.TensorShape:AreCompatible(byref,byref):bool (FullOpts)
         -20 (-1.96 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipCentralDirectoryFileHeader:TryReadBlockInitialize(System.ReadOnlySpan`1[byte],byref,byref,byref,byref,byref,byref):bool (FullOpts)
         -13 (-1.80 % of base) : System.Net.Primitives.dasm - System.Net.CookieContainer:InternalGetCookies(System.Uri):System.Net.CookieCollection:this (FullOpts)
         -11 (-1.27 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipLocalFileHeader:GetExtraFields(System.IO.Stream,byref):System.Collections.Generic.List`1[System.IO.Compression.ZipGenericExtraField] (FullOpts)
         -11 (-1.26 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCentralDirectoryFileHeaderPrepare(System.Span`1[byte],uint,uint,ushort,uint):this (FullOpts)
         -19 (-1.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.__Canon](byref,int):System.Numerics.Tensors.ReadOnlyTensorSpan`1[System.__Canon] (FullOpts)
         -19 (-1.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:SqueezeDimension[System.__Canon](byref,int):System.Numerics.Tensors.TensorSpan`1[System.__Canon] (FullOpts)
         -11 (-1.06 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipCentralDirectoryFileHeader:TryReadBlock(System.ReadOnlySpan`1[byte],System.IO.Stream,bool,byref,byref):bool (FullOpts)
          -2 (-0.98 % of base) : System.Private.CoreLib.dasm - System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -2 (-0.98 % of base) : System.Private.CoreLib.dasm - System.UInt64:System.Numerics.IBinaryInteger<System.UInt64>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -2 (-0.98 % of base) : System.Private.CoreLib.dasm - System.UIntPtr:System.Numerics.IBinaryInteger<nuint>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -2 (-0.85 % of base) : System.Net.Primitives.dasm - System.Net.CookieComparer:EqualDomains(System.ReadOnlySpan`1[char],System.ReadOnlySpan`1[char]):bool (FullOpts)
          -7 (-0.73 % of base) : System.Net.WebSockets.Client.dasm - System.Net.WebSockets.WebSocketHandle:ParseDeflateOptions(System.ReadOnlySpan`1[char],System.Net.WebSockets.WebSocketDeflateOptions):System.Net.WebSockets.WebSocketDeflateOptions (FullOpts)
          -5 (-0.57 % of base) : System.Net.Http.dasm - System.Net.Http.HttpContent:ReadBufferAsString(System.Net.Http.HttpContent+LimitArrayPoolWriteStream,System.Net.Http.Headers.HttpContentHeaders):System.String (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[byte](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[double](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[int](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[long](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[short](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[System.Nullable`1[int]](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
         -12 (-0.55 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[System.Numerics.Vector`1[float]](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
          -2 (-0.48 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:TryReadBlock(System.ReadOnlySpan`1[byte],byref,byref):bool (FullOpts)
          -1 (-0.45 % of base) : System.Private.CoreLib.dasm - System.MemoryExtensions:<TrimUtf8>g__TrimFallback|287_0(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte] (FullOpts)
          -4 (-0.19 % of base) : System.Numerics.Tensors.dasm - System.Numerics.Tensors.Tensor:ToString[System.__Canon](byref,System.ReadOnlySpan`1[nint],System.Text.StringBuilder,int) (FullOpts)
          -2 (-0.19 % of base) : System.Runtime.Numerics.dasm - System.Number:<NumberToBigInteger>g__Recursive|12_1(byref,int,System.ReadOnlySpan`1[uint],System.Span`1[uint]) (FullOpts)

97 total methods with Code Size differences (80 improved, 17 regressed), 283050 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (88 MB)
• build-artifacts-main.zip (700 MB)
• build-clr-checked-pr.zip (88 MB)
• build-artifacts-pr.zip (701 MB)
• jit-diffs-main.zip (154 MB)
• jit-diffs-pr.zip (154 MB)
• diff-frameworks.txt (38 KB)
• ShortDiffsRegressions.md (52 KB)
• LongDiffsRegressions.md (892 KB)
• ShortDiffsImprovements.md (52 KB)
• LongDiffsImprovements.md (897 KB)

[MihuBot]

Top method regressions

30 (6.71 % of base) - System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlockCore(System.Span`1[byte],long,long,long)

 ; Assembly listing for method System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlockCore(System.Span`1[byte],long,long,long) (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 20 single block inlinees; 31 inlinees without PGO data
+; 0 inlinees with PGO data; 11 single block inlinees; 22 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00    ] ( 24, 24   )  struct (16) [rbp-0x18]  do-not-enreg[XSFA] multireg-arg addr-exposed ld-addr-op single-def <System.Span`1[byte]>
-;  V01 arg1         [V01,T00] (  4,  4   )    long  ->  rdx         single-def
-;  V02 arg2         [V02,T10] (  3,  3   )    long  ->  rcx         single-def
-;  V03 arg3         [V03,T11] (  3,  3   )    long  ->   r8         single-def
+;  V00 arg0         [V00    ] ( 34, 34   )  struct (16) [rbp-0x18]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.Span`1[byte]>
+;  V01 arg1         [V01,T02] (  4,  4   )    long  ->  rdx         single-def
+;  V02 arg2         [V02,T04] (  3,  3   )    long  ->  rcx         single-def
+;  V03 arg3         [V03,T05] (  3,  3   )    long  ->   r8         single-def
 ;* V04 loc0         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;* V05 loc1         [V05    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V06 loc2         [V06    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V07 loc3         [V07    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V08 loc4         [V08    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V09 loc5         [V09    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V10 loc6         [V10    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V11 loc7         [V11    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V12 loc8         [V12    ] (  0,  0   )   byref  ->  zero-ref   
 ;* V13 loc9         [V13    ] (  0,  0   )   byref  ->  zero-ref   
-;* V14 loc10        [V14,T32] (  0,  0   )   byref  ->  zero-ref    single-def
+;* V14 loc10        [V14    ] (  0,  0   )   byref  ->  zero-ref   
 ;# V15 OutArgs      [V15    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V16 tmp1         [V16    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V17 tmp2         [V17    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V18 tmp3         [V18    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V19 tmp4         [V19    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V20 tmp5         [V20    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V21 tmp6         [V21    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V22 tmp7         [V22    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V23 tmp8         [V23    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V24 tmp9         [V24    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V25 tmp10        [V25    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V26 tmp11        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;  V27 tmp12        [V27,T12] (  2,  4   )     int  ->  rax         "Inlining Arg"
-;* V28 tmp13        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V29 tmp14        [V29    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V30 tmp15        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V31 tmp16        [V31    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V32 tmp17        [V32    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V33 tmp18        [V33    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V34 tmp19        [V34,T01] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V35 tmp20        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V36 tmp21        [V36    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V37 tmp22        [V37    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V38 tmp23        [V38    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V17 tmp2         [V17    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V18 tmp3         [V18    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V19 tmp4         [V19    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V20 tmp5         [V20    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V21 tmp6         [V21    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V22 tmp7         [V22    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V23 tmp8         [V23    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V24 tmp9         [V24    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V25 tmp10        [V25    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V26 tmp11        [V26    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V27 tmp12        [V27    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V28 tmp13        [V28    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V29 tmp14        [V29    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V30 tmp15        [V30    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V31 tmp16        [V31    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V32 tmp17        [V32    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V33 tmp18        [V33    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V34 tmp19        [V34    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V35 tmp20        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V36 tmp21        [V36,T03] (  3,  6   )     int  ->  rax         "Inlining Arg"
+;* V37 tmp22        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V38 tmp23        [V38    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V39 tmp24        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V40 tmp25        [V40,T02] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V41 tmp26        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V42 tmp27        [V42    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V43 tmp28        [V43    ] (  0,  0   )  ushort  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V40 tmp25        [V40    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V41 tmp26        [V41    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V42 tmp27        [V42    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V43 tmp28        [V43    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V44 tmp29        [V44    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V45 tmp30        [V45    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V46 tmp31        [V46,T03] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V47 tmp32        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V48 tmp33        [V48    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V46 tmp31        [V46    ] (  0,  0   )  ushort  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V47 tmp32        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V48 tmp33        [V48    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V49 tmp34        [V49    ] (  0,  0   )  ushort  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V50 tmp35        [V50    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V51 tmp36        [V51    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V52 tmp37        [V52,T04] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V53 tmp38        [V53    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V54 tmp39        [V54    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V52 tmp37        [V52    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V53 tmp38        [V53    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V54 tmp39        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V55 tmp40        [V55    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V56 tmp41        [V56    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V57 tmp42        [V57    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V58 tmp43        [V58,T05] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V59 tmp44        [V59    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V60 tmp45        [V60    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V61 tmp46        [V61    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V58 tmp43        [V58    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V59 tmp44        [V59    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V60 tmp45        [V60    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V61 tmp46        [V61    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V62 tmp47        [V62    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V63 tmp48        [V63    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V64 tmp49        [V64,T06] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V65 tmp50        [V65    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V66 tmp51        [V66    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V64 tmp49        [V64    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V65 tmp50        [V65    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V66 tmp51        [V66    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V67 tmp52        [V67    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V68 tmp53        [V68    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V69 tmp54        [V69    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V70 tmp55        [V70,T07] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V71 tmp56        [V71    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V72 tmp57        [V72    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V73 tmp58        [V73    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V74 tmp59        [V74    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V75 tmp60        [V75    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V76 tmp61        [V76,T08] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V77 tmp62        [V77    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V78 tmp63        [V78    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V79 tmp64        [V79    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V80 tmp65        [V80    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V81 tmp66        [V81    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V82 tmp67        [V82,T09] (  3,  6   )     int  ->  rax         "Inlining Arg"
-;* V83 tmp68        [V83    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V84 tmp69        [V84    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V85 tmp70        [V85    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V86 tmp71        [V86    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V87 tmp72        [V87    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V88 tmp73        [V88    ] ( 23, 23   )   byref  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V89 tmp74        [V89    ] ( 23, 23   )     int  ->  [rbp-0x10]  do-not-enreg[X] addr-exposed single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V90 tmp75        [V90    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
-;* V91 tmp76        [V91    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
-;* V92 tmp77        [V92    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V93 tmp78        [V93    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V94 tmp79        [V94    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V95 tmp80        [V95    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;* V96 tmp81        [V96    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V97 tmp82        [V97    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V98 tmp83        [V98    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V99 tmp84        [V99    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;* V100 tmp85       [V100    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V101 tmp86       [V101    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;* V102 tmp87       [V102    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
-;* V103 tmp88       [V103    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
-;* V104 tmp89       [V104    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V105 tmp90       [V105    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V106 tmp91       [V106    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V23._reference (fldOffset=0x0)" P-INDEP
-;* V107 tmp92       [V107    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
-;* V108 tmp93       [V108    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V24._reference (fldOffset=0x0)" P-INDEP
-;* V109 tmp94       [V109    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
-;* V110 tmp95       [V110    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;* V111 tmp96       [V111    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
-;* V112 tmp97       [V112    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
-;* V113 tmp98       [V113    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
-;  V114 tmp99       [V114,T22] (  2,  2   )   byref  ->  rbx         single-def "field V28._reference (fldOffset=0x0)" P-INDEP
-;* V115 tmp100      [V115    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
-;* V116 tmp101      [V116    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
-;* V117 tmp102      [V117    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
-;  V118 tmp103      [V118,T23] (  2,  2   )   byref  ->  rdi         single-def "field V35._reference (fldOffset=0x0)" P-INDEP
-;* V119 tmp104      [V119    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
-;* V120 tmp105      [V120    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V38._reference (fldOffset=0x0)" P-INDEP
-;* V121 tmp106      [V121    ] (  0,  0   )     int  ->  zero-ref    "field V38._length (fldOffset=0x8)" P-INDEP
-;* V122 tmp107      [V122    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
-;* V123 tmp108      [V123    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
-;  V124 tmp109      [V124,T24] (  2,  2   )   byref  ->  rdi         single-def "field V41._reference (fldOffset=0x0)" P-INDEP
-;* V125 tmp110      [V125    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
-;* V126 tmp111      [V126    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V44._reference (fldOffset=0x0)" P-INDEP
-;* V127 tmp112      [V127    ] (  0,  0   )     int  ->  zero-ref    "field V44._length (fldOffset=0x8)" P-INDEP
-;* V128 tmp113      [V128    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V45._reference (fldOffset=0x0)" P-INDEP
-;* V129 tmp114      [V129    ] (  0,  0   )     int  ->  zero-ref    "field V45._length (fldOffset=0x8)" P-INDEP
-;  V130 tmp115      [V130,T25] (  2,  2   )   byref  ->  rdi         single-def "field V47._reference (fldOffset=0x0)" P-INDEP
-;* V131 tmp116      [V131    ] (  0,  0   )     int  ->  zero-ref    "field V47._length (fldOffset=0x8)" P-INDEP
-;* V132 tmp117      [V132    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
-;* V133 tmp118      [V133    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
-;* V134 tmp119      [V134    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V51._reference (fldOffset=0x0)" P-INDEP
-;* V135 tmp120      [V135    ] (  0,  0   )     int  ->  zero-ref    "field V51._length (fldOffset=0x8)" P-INDEP
-;  V136 tmp121      [V136,T26] (  2,  2   )   byref  ->  rdi         single-def "field V53._reference (fldOffset=0x0)" P-INDEP
-;* V137 tmp122      [V137    ] (  0,  0   )     int  ->  zero-ref    "field V53._length (fldOffset=0x8)" P-INDEP
-;* V138 tmp123      [V138    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V56._reference (fldOffset=0x0)" P-INDEP
-;* V139 tmp124      [V139    ] (  0,  0   )     int  ->  zero-ref    "field V56._length (fldOffset=0x8)" P-INDEP
-;* V140 tmp125      [V140    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V57._reference (fldOffset=0x0)" P-INDEP
-;* V141 tmp126      [V141    ] (  0,  0   )     int  ->  zero-ref    "field V57._length (fldOffset=0x8)" P-INDEP
-;  V142 tmp127      [V142,T27] (  2,  2   )   byref  ->  rdi         single-def "field V59._reference (fldOffset=0x0)" P-INDEP
-;* V143 tmp128      [V143    ] (  0,  0   )     int  ->  zero-ref    "field V59._length (fldOffset=0x8)" P-INDEP
-;* V144 tmp129      [V144    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V62._reference (fldOffset=0x0)" P-INDEP
-;* V145 tmp130      [V145    ] (  0,  0   )     int  ->  zero-ref    "field V62._length (fldOffset=0x8)" P-INDEP
-;* V146 tmp131      [V146    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V63._reference (fldOffset=0x0)" P-INDEP
-;* V147 tmp132      [V147    ] (  0,  0   )     int  ->  zero-ref    "field V63._length (fldOffset=0x8)" P-INDEP
-;  V148 tmp133      [V148,T28] (  2,  2   )   byref  ->  rdi         single-def "field V65._reference (fldOffset=0x0)" P-INDEP
-;* V149 tmp134      [V149    ] (  0,  0   )     int  ->  zero-ref    "field V65._length (fldOffset=0x8)" P-INDEP
-;* V150 tmp135      [V150    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V68._reference (fldOffset=0x0)" P-INDEP
-;* V151 tmp136      [V151    ] (  0,  0   )     int  ->  zero-ref    "field V68._length (fldOffset=0x8)" P-INDEP
-;* V152 tmp137      [V152    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V69._reference (fldOffset=0x0)" P-INDEP
-;* V153 tmp138      [V153    ] (  0,  0   )     int  ->  zero-ref    "field V69._length (fldOffset=0x8)" P-INDEP
-;  V154 tmp139      [V154,T29] (  2,  2   )   byref  ->  rdi         single-def "field V71._reference (fldOffset=0x0)" P-INDEP
-;* V155 tmp140      [V155    ] (  0,  0   )     int  ->  zero-ref    "field V71._length (fldOffset=0x8)" P-INDEP
-;* V156 tmp141      [V156    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V74._reference (fldOffset=0x0)" P-INDEP
-;* V157 tmp142      [V157    ] (  0,  0   )     int  ->  zero-ref    "field V74._length (fldOffset=0x8)" P-INDEP
-;* V158 tmp143      [V158    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V75._reference (fldOffset=0x0)" P-INDEP
-;* V159 tmp144      [V159    ] (  0,  0   )     int  ->  zero-ref    "field V75._length (fldOffset=0x8)" P-INDEP
-;  V160 tmp145      [V160,T30] (  2,  2   )   byref  ->  rdi         single-def "field V77._reference (fldOffset=0x0)" P-INDEP
-;* V161 tmp146      [V161    ] (  0,  0   )     int  ->  zero-ref    "field V77._length (fldOffset=0x8)" P-INDEP
-;* V162 tmp147      [V162    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V80._reference (fldOffset=0x0)" P-INDEP
-;* V163 tmp148      [V163    ] (  0,  0   )     int  ->  zero-ref    "field V80._length (fldOffset=0x8)" P-INDEP
-;* V164 tmp149      [V164    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V81._reference (fldOffset=0x0)" P-INDEP
-;* V165 tmp150      [V165    ] (  0,  0   )     int  ->  zero-ref    "field V81._length (fldOffset=0x8)" P-INDEP
-;  V166 tmp151      [V166,T31] (  2,  2   )   byref  ->  rdi         single-def "field V83._reference (fldOffset=0x0)" P-INDEP
-;* V167 tmp152      [V167    ] (  0,  0   )     int  ->  zero-ref    "field V83._length (fldOffset=0x8)" P-INDEP
-;* V168 tmp153      [V168    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V86._reference (fldOffset=0x0)" P-INDEP
-;* V169 tmp154      [V169    ] (  0,  0   )     int  ->  zero-ref    "field V86._length (fldOffset=0x8)" P-INDEP
-;* V170 tmp155      [V170    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V87._reference (fldOffset=0x0)" P-INDEP
-;* V171 tmp156      [V171    ] (  0,  0   )     int  ->  zero-ref    "field V87._length (fldOffset=0x8)" P-INDEP
-;  V172 cse0        [V172,T13] (  3,  3   )     int  ->  rdi         "CSE #01: moderate"
-;  V173 cse1        [V173,T14] (  3,  3   )     int  ->  rdi         "CSE #02: moderate"
-;  V174 cse2        [V174,T15] (  3,  3   )     int  ->  rdi         "CSE #03: moderate"
-;  V175 cse3        [V175,T16] (  3,  3   )     int  ->  rdi         "CSE #04: moderate"
-;  V176 cse4        [V176,T17] (  3,  3   )     int  ->  rdi         "CSE #05: moderate"
-;  V177 cse5        [V177,T18] (  3,  3   )     int  ->  rdi         "CSE #06: moderate"
-;  V178 cse6        [V178,T19] (  3,  3   )     int  ->  rdi         "CSE #07: moderate"
-;  V179 cse7        [V179,T20] (  3,  3   )     int  ->  rdi         "CSE #08: moderate"
-;  V180 cse8        [V180,T21] (  3,  3   )     int  ->  rdi         "CSE #09: moderate"
+;  V70 tmp55        [V70,T00] ( 33, 33   )   byref  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V71 tmp56        [V71,T01] ( 33, 33   )     int  ->  [rbp-0x10]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V72 tmp57        [V72    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V73 tmp58        [V73    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V74 tmp59        [V74    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V75 tmp60        [V75    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;  V76 tmp61        [V76,T06] (  2,  2   )   byref  ->  rax         single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;  V77 tmp62        [V77,T16] (  2,  2   )     int  ->  rdi         "field V17._length (fldOffset=0x8)" P-INDEP
+;  V78 tmp63        [V78,T07] (  2,  2   )   byref  ->  rax         single-def "field V19._reference (fldOffset=0x0)" P-INDEP
+;  V79 tmp64        [V79,T17] (  2,  2   )     int  ->  rdi         "field V19._length (fldOffset=0x8)" P-INDEP
+;  V80 tmp65        [V80,T08] (  2,  2   )   byref  ->  rax         single-def "field V21._reference (fldOffset=0x0)" P-INDEP
+;  V81 tmp66        [V81,T18] (  2,  2   )     int  ->  rdi         "field V21._length (fldOffset=0x8)" P-INDEP
+;  V82 tmp67        [V82,T09] (  2,  2   )   byref  ->  rax         single-def "field V23._reference (fldOffset=0x0)" P-INDEP
+;  V83 tmp68        [V83,T19] (  2,  2   )     int  ->  rdi         "field V23._length (fldOffset=0x8)" P-INDEP
+;  V84 tmp69        [V84,T10] (  2,  2   )   byref  ->  rax         single-def "field V25._reference (fldOffset=0x0)" P-INDEP
+;  V85 tmp70        [V85,T20] (  2,  2   )     int  ->  rdi         "field V25._length (fldOffset=0x8)" P-INDEP
+;  V86 tmp71        [V86,T11] (  2,  2   )   byref  ->  rax         single-def "field V27._reference (fldOffset=0x0)" P-INDEP
+;  V87 tmp72        [V87,T21] (  2,  2   )     int  ->  rdi         "field V27._length (fldOffset=0x8)" P-INDEP
+;  V88 tmp73        [V88,T12] (  2,  2   )   byref  ->  rax         single-def "field V29._reference (fldOffset=0x0)" P-INDEP
+;  V89 tmp74        [V89,T22] (  2,  2   )     int  ->  rdi         "field V29._length (fldOffset=0x8)" P-INDEP
+;  V90 tmp75        [V90,T13] (  2,  2   )   byref  ->  rax         single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;  V91 tmp76        [V91,T23] (  2,  2   )     int  ->  rdx         "field V31._length (fldOffset=0x8)" P-INDEP
+;  V92 tmp77        [V92,T14] (  2,  2   )   byref  ->  rax         single-def "field V33._reference (fldOffset=0x0)" P-INDEP
+;  V93 tmp78        [V93,T24] (  2,  2   )     int  ->  rdx         "field V33._length (fldOffset=0x8)" P-INDEP
+;* V94 tmp79        [V94    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
+;* V95 tmp80        [V95    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
+;  V96 tmp81        [V96,T15] (  2,  2   )   byref  ->  rbx         single-def "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V97 tmp82        [V97    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
+;* V98 tmp83        [V98    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V99 tmp84        [V99    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;* V100 tmp85       [V100    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V44._reference (fldOffset=0x0)" P-INDEP
+;* V101 tmp86       [V101    ] (  0,  0   )     int  ->  zero-ref    "field V44._length (fldOffset=0x8)" P-INDEP
+;* V102 tmp87       [V102    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V45._reference (fldOffset=0x0)" P-INDEP
+;* V103 tmp88       [V103    ] (  0,  0   )     int  ->  zero-ref    "field V45._length (fldOffset=0x8)" P-INDEP
+;* V104 tmp89       [V104    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V47._reference (fldOffset=0x0)" P-INDEP
+;* V105 tmp90       [V105    ] (  0,  0   )     int  ->  zero-ref    "field V47._length (fldOffset=0x8)" P-INDEP
+;* V106 tmp91       [V106    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V48._reference (fldOffset=0x0)" P-INDEP
+;* V107 tmp92       [V107    ] (  0,  0   )     int  ->  zero-ref    "field V48._length (fldOffset=0x8)" P-INDEP
+;* V108 tmp93       [V108    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
+;* V109 tmp94       [V109    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
+;* V110 tmp95       [V110    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V51._reference (fldOffset=0x0)" P-INDEP
+;* V111 tmp96       [V111    ] (  0,  0   )     int  ->  zero-ref    "field V51._length (fldOffset=0x8)" P-INDEP
+;* V112 tmp97       [V112    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V53._reference (fldOffset=0x0)" P-INDEP
+;* V113 tmp98       [V113    ] (  0,  0   )     int  ->  zero-ref    "field V53._length (fldOffset=0x8)" P-INDEP
+;* V114 tmp99       [V114    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V54._reference (fldOffset=0x0)" P-INDEP
+;* V115 tmp100      [V115    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
+;* V116 tmp101      [V116    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V56._reference (fldOffset=0x0)" P-INDEP
+;* V117 tmp102      [V117    ] (  0,  0   )     int  ->  zero-ref    "field V56._length (fldOffset=0x8)" P-INDEP
+;* V118 tmp103      [V118    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V57._reference (fldOffset=0x0)" P-INDEP
+;* V119 tmp104      [V119    ] (  0,  0   )     int  ->  zero-ref    "field V57._length (fldOffset=0x8)" P-INDEP
+;* V120 tmp105      [V120    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V59._reference (fldOffset=0x0)" P-INDEP
+;* V121 tmp106      [V121    ] (  0,  0   )     int  ->  zero-ref    "field V59._length (fldOffset=0x8)" P-INDEP
+;* V122 tmp107      [V122    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V60._reference (fldOffset=0x0)" P-INDEP
+;* V123 tmp108      [V123    ] (  0,  0   )     int  ->  zero-ref    "field V60._length (fldOffset=0x8)" P-INDEP
+;* V124 tmp109      [V124    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V62._reference (fldOffset=0x0)" P-INDEP
+;* V125 tmp110      [V125    ] (  0,  0   )     int  ->  zero-ref    "field V62._length (fldOffset=0x8)" P-INDEP
+;* V126 tmp111      [V126    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V63._reference (fldOffset=0x0)" P-INDEP
+;* V127 tmp112      [V127    ] (  0,  0   )     int  ->  zero-ref    "field V63._length (fldOffset=0x8)" P-INDEP
+;* V128 tmp113      [V128    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V65._reference (fldOffset=0x0)" P-INDEP
+;* V129 tmp114      [V129    ] (  0,  0   )     int  ->  zero-ref    "field V65._length (fldOffset=0x8)" P-INDEP
+;* V130 tmp115      [V130    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V66._reference (fldOffset=0x0)" P-INDEP
+;* V131 tmp116      [V131    ] (  0,  0   )     int  ->  zero-ref    "field V66._length (fldOffset=0x8)" P-INDEP
+;* V132 tmp117      [V132    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V68._reference (fldOffset=0x0)" P-INDEP
+;* V133 tmp118      [V133    ] (  0,  0   )     int  ->  zero-ref    "field V68._length (fldOffset=0x8)" P-INDEP
+;* V134 tmp119      [V134    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V69._reference (fldOffset=0x0)" P-INDEP
+;* V135 tmp120      [V135    ] (  0,  0   )     int  ->  zero-ref    "field V69._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 24
 
 G_M20753_IG01:
        push     rbp
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x20]
        mov      bword ptr [rbp-0x18], rdi
        mov      qword ptr [rbp-0x10], rsi
 						;; size=19 bbWeight=1 PerfScore 4.75
 G_M20753_IG02:
        mov      eax, dword ptr [rbp-0x10]
+       cmp      eax, dword ptr [rbp-0x10]
+       ja       G_M20753_IG05
        mov      rbx, bword ptr [rbp-0x18]
        cmp      eax, 4
        jb       G_M20753_IG06
        mov      dword ptr [rbx], 0xD1FFAB1E
+       cmp      dword ptr [rbp-0x10], 4
+       jl       G_M20753_IG07
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 4
        mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x04]
-       mov      esi, eax
-       add      rsi, 4
-       cmp      rsi, rdi
-       ja       G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 4
-       cmp      eax, 8
+       add      edi, -4
+       cmp      edi, 8
+       jl       G_M20753_IG16
+       mov      qword ptr [rax], 44
+       cmp      dword ptr [rbp-0x10], 12
        jl       G_M20753_IG08
-       mov      qword ptr [rdi], 44
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 12
        mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x0C]
-       mov      esi, eax
-       add      rsi, 12
-       cmp      rsi, rdi
-       ja       G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 12
-       cmp      eax, 2
-       jl       G_M20753_IG08
-       mov      word  ptr [rdi], 45
+       add      edi, -12
+       cmp      edi, 2
+       jl       G_M20753_IG16
+       mov      word  ptr [rax], 45
+       cmp      dword ptr [rbp-0x10], 14
+       jl       G_M20753_IG09
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 14
        mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x0E]
-       mov      esi, eax
-       add      rsi, 14
-       cmp      rsi, rdi
-       ja       G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 14
-       cmp      eax, 2
-       jl       G_M20753_IG08
-       mov      word  ptr [rdi], 45
+       add      edi, -14
+       cmp      edi, 2
+       jl       G_M20753_IG16
+       mov      word  ptr [rax], 45
+       cmp      dword ptr [rbp-0x10], 16
+       jl       G_M20753_IG10
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 16
        mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x10]
-       mov      esi, eax
-       add      rsi, 16
-       cmp      rsi, rdi
-       ja       G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 16
-       cmp      eax, 4
-       jl       G_M20753_IG08
-       xor      eax, eax
-       mov      dword ptr [rdi], eax
-       mov      edi, dword ptr [rbp-0x10]
-						;; size=198 bbWeight=1 PerfScore 32.50
+       add      edi, -16
+       cmp      edi, 4
+       jl       G_M20753_IG16
+       xor      edi, edi
+       mov      dword ptr [rax], edi
+       cmp      dword ptr [rbp-0x10], 20
+       jl       G_M20753_IG11
+						;; size=194 bbWeight=1 PerfScore 41.50
 G_M20753_IG03:
-       lea      eax, [rdi-0x14]
-       mov      esi, eax
-       add      rsi, 20
-       cmp      rsi, rdi
-       ja       G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 20
-       cmp      eax, 4
-       jl       G_M20753_IG08
-       xor      eax, eax
-       mov      dword ptr [rdi], eax
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 20
        mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x18]
-       mov      esi, eax
-       add      rsi, 24
-       cmp      rsi, rdi
-       ja       G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 24
-       cmp      eax, 8
-       jl       G_M20753_IG08
-       mov      qword ptr [rdi], rdx
+       add      edi, -20
+       cmp      edi, 4
+       jl       G_M20753_IG16
+       xor      edi, edi
+       mov      dword ptr [rax], edi
+       cmp      dword ptr [rbp-0x10], 24
+       jl       G_M20753_IG12
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 24
        mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x20]
-       mov      esi, eax
-       add      rsi, 32
-       cmp      rsi, rdi
-       ja       SHORT G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 32
-       cmp      eax, 8
-       jl       SHORT G_M20753_IG08
-       mov      qword ptr [rdi], rdx
+       add      edi, -24
+       cmp      edi, 8
+       jl       G_M20753_IG16
+       mov      qword ptr [rax], rdx
+       cmp      dword ptr [rbp-0x10], 32
+       jl       G_M20753_IG13
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 32
        mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x28]
-       mov      edx, eax
-       add      rdx, 40
-       cmp      rdx, rdi
-       ja       SHORT G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 40
-       cmp      eax, 8
-       jl       SHORT G_M20753_IG08
-       mov      qword ptr [rdi], r8
-       mov      edi, dword ptr [rbp-0x10]
-       lea      eax, [rdi-0x30]
-       mov      edx, eax
-       add      rdx, 48
-       cmp      rdx, rdi
-						;; size=161 bbWeight=1 PerfScore 28.50
+       add      edi, -32
+       cmp      edi, 8
+       jl       G_M20753_IG16
+       mov      qword ptr [rax], rdx
+       cmp      dword ptr [rbp-0x10], 40
+       jl       G_M20753_IG14
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 40
+       mov      edx, dword ptr [rbp-0x10]
+       add      edx, -40
+       cmp      edx, 8
+       jl       SHORT G_M20753_IG16
+       mov      qword ptr [rax], r8
+       cmp      dword ptr [rbp-0x10], 48
+       jl       SHORT G_M20753_IG15
+       mov      rax, bword ptr [rbp-0x18]
+       add      rax, 48
+       mov      edx, dword ptr [rbp-0x10]
+       add      edx, -48
+       cmp      edx, 8
+       jl       SHORT G_M20753_IG16
+       mov      qword ptr [rax], rcx
+						;; size=159 bbWeight=1 PerfScore 36.00
 G_M20753_IG04:
-       ja       SHORT G_M20753_IG07
-       mov      rdi, bword ptr [rbp-0x18]
-       add      rdi, 48
-       cmp      eax, 8
-       jl       SHORT G_M20753_IG08
-       mov      qword ptr [rdi], rcx
-						;; size=18 bbWeight=1 PerfScore 4.50
-G_M20753_IG05:
        add      rsp, 24
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=1 PerfScore 2.25
+G_M20753_IG05:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
 G_M20753_IG06:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        call     [rax]System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M20753_IG07:
-       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
-       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
        int3     
-						;; size=13 bbWeight=0 PerfScore 0.00
+						;; size=6 bbWeight=0 PerfScore 0.00
 G_M20753_IG08:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG09:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG10:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG11:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG12:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG13:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG14:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG15:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M20753_IG16:
        mov      edi, 40
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 447, prolog size 11, PerfScore 72.50, instruction count 126, allocated bytes for code 447 (MethodHash=a3f7aeee) for method System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlockCore(System.Span`1[byte],long,long,long) (FullOpts)
+; Total bytes of code 477, prolog size 11, PerfScore 84.50, instruction count 128, allocated bytes for code 477 (MethodHash=a3f7aeee) for method System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlockCore(System.Span`1[byte],long,long,long) (FullOpts)
 ; ============================================================

6 (5.41 % of base) - System.IO.Compression.ZipGenericExtraField:WriteBlockCore(System.Span`1[byte]):this

 ; Assembly listing for method System.IO.Compression.ZipGenericExtraField:WriteBlockCore(System.Span`1[byte]):this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 4 single block inlinees; 6 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 5 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T00] (  4,  4   )     ref  ->  rdi         this class-hnd single-def <System.IO.Compression.ZipGenericExtraField>
-;  V01 arg1         [V01    ] (  8,  8   )  struct (16) [rbp-0x10]  do-not-enreg[XSFA] multireg-arg addr-exposed ld-addr-op single-def <System.Span`1[byte]>
+;  V00 this         [V00,T02] (  4,  4   )     ref  ->  rdi         this class-hnd single-def <System.IO.Compression.ZipGenericExtraField>
+;  V01 arg1         [V01    ] ( 10, 10   )  struct (16) [rbp-0x10]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.Span`1[byte]>
 ;* V02 loc0         [V02    ] (  0,  0   )   byref  ->  zero-ref   
-;* V03 loc1         [V03,T08] (  0,  0   )   byref  ->  zero-ref    single-def
+;* V03 loc1         [V03    ] (  0,  0   )   byref  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;  V07 tmp3         [V07,T02] (  2,  4   )     int  ->  rax         "Inlining Arg"
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V09 tmp5         [V09    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V10 tmp6         [V10,T03] (  2,  4   )  ushort  ->  rdx         ld-addr-op "Inlining Arg"
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.Span`1[byte]>
+;* V07 tmp3         [V07    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;  V08 tmp4         [V08,T03] (  3,  6   )     int  ->  rax         "Inlining Arg"
+;* V09 tmp5         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V10 tmp6         [V10    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V11 tmp7         [V11,T04] (  2,  4   )  ushort  ->  rdx         ld-addr-op "Inlining Arg"
 ;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V13 tmp9         [V13,T01] (  3,  6   )     int  ->  rcx         "Inlining Arg"
-;* V14 tmp10        [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V15 tmp11        [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V16 tmp12        [V16,T04] (  2,  4   )  ushort  ->  rdx         ld-addr-op "Inlining Arg"
-;* V17 tmp13        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V18 tmp14        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V19 tmp15        [V19    ] (  7,  7   )   byref  ->  [rbp-0x10]  do-not-enreg[X] addr-exposed single-def "field V01._reference (fldOffset=0x0)" P-DEP
-;  V20 tmp16        [V20    ] (  7,  7   )     int  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed single-def "field V01._length (fldOffset=0x8)" P-DEP
-;* V21 tmp17        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;  V25 tmp21        [V25,T06] (  2,  2   )   byref  ->  rcx         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V30 tmp26        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V31 tmp27        [V31,T07] (  2,  2   )   byref  ->  rax         single-def "field V14._reference (fldOffset=0x0)" P-INDEP
-;* V32 tmp28        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V33 tmp29        [V33    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp30        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;* V35 tmp31        [V35    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp32        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;  V37 cse0         [V37,T05] (  3,  3   )     int  ->  rax         "CSE #01: aggressive"
+;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V14 tmp10        [V14,T05] (  2,  4   )  ushort  ->  rdx         ld-addr-op "Inlining Arg"
+;* V15 tmp11        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V16 tmp12        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V17 tmp13        [V17,T00] (  9,  9   )   byref  ->  [rbp-0x10]  do-not-enreg[] single-def "field V01._reference (fldOffset=0x0)" P-DEP
+;  V18 tmp14        [V18,T01] (  9,  9   )     int  ->  [rbp-0x08]  do-not-enreg[] single-def "field V01._length (fldOffset=0x8)" P-DEP
+;* V19 tmp15        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp16        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;  V21 tmp17        [V21,T06] (  2,  2   )   byref  ->  rax         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;  V22 tmp18        [V22,T08] (  2,  2   )     int  ->  rcx         "field V06._length (fldOffset=0x8)" P-INDEP
+;  V23 tmp19        [V23,T07] (  2,  2   )   byref  ->  rcx         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V24 tmp20        [V24    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V25 tmp21        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V26 tmp22        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;* V27 tmp23        [V27    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V28 tmp24        [V28    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V29 tmp25        [V29    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V30 tmp26        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V31 tmp27        [V31    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V32 tmp28        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M31521_IG01:
        push     rbp
        sub      rsp, 16
        lea      rbp, [rsp+0x10]
        mov      bword ptr [rbp-0x10], rsi
        mov      qword ptr [rbp-0x08], rdx
 						;; size=18 bbWeight=1 PerfScore 3.75
 G_M31521_IG02:
        mov      eax, dword ptr [rbp-0x08]
+       cmp      eax, dword ptr [rbp-0x08]
+       ja       SHORT G_M31521_IG04
        mov      rcx, bword ptr [rbp-0x10]
        movzx    rdx, word  ptr [rdi+0x10]
        cmp      eax, 2
-       jl       SHORT G_M31521_IG05
+       jl       SHORT G_M31521_IG06
        mov      word  ptr [rcx], dx
-       mov      eax, dword ptr [rbp-0x08]
-       lea      ecx, [rax-0x02]
-       mov      edx, ecx
-       add      rdx, 2
-       cmp      rdx, rax
-       ja       SHORT G_M31521_IG04
+       cmp      dword ptr [rbp-0x08], 2
+       jl       SHORT G_M31521_IG05
        mov      rax, bword ptr [rbp-0x10]
        add      rax, 2
+       mov      ecx, dword ptr [rbp-0x08]
+       add      ecx, -2
        movzx    rdx, word  ptr [rdi+0x12]
        cmp      ecx, 2
-       jl       SHORT G_M31521_IG05
+       jl       SHORT G_M31521_IG06
        mov      word  ptr [rax], dx
-						;; size=56 bbWeight=1 PerfScore 15.00
+						;; size=56 bbWeight=1 PerfScore 19.00
 G_M31521_IG03:
        add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 G_M31521_IG04:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M31521_IG05:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M31521_IG06:
        mov      edi, 40
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 111, prolog size 10, PerfScore 20.50, instruction count 33, allocated bytes for code 111 (MethodHash=6aef84de) for method System.IO.Compression.ZipGenericExtraField:WriteBlockCore(System.Span`1[byte]):this (FullOpts)
+; Total bytes of code 117, prolog size 10, PerfScore 24.50, instruction count 35, allocated bytes for code 117 (MethodHash=6aef84de) for method System.IO.Compression.ZipGenericExtraField:WriteBlockCore(System.Span`1[byte]):this (FullOpts)
 ; ============================================================

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

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

[MihuBot]

Top method improvements

-46 (-12.30 % of base) - System.Net.CookieComparer:Equals(System.Net.Cookie,System.Net.Cookie):bool

 ; Assembly listing for method System.Net.CookieComparer:Equals(System.Net.Cookie,System.Net.Cookie):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 17 single block inlinees; 12 inlinees without PGO data
+; 0 inlinees with PGO data; 15 single block inlinees; 10 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00,T00] (  5,  4   )     ref  ->  rbx         class-hnd single-def <System.Net.Cookie>
 ;  V01 arg1         [V01,T01] (  5,  4   )     ref  ->  r15         class-hnd single-def <System.Net.Cookie>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "impAppendStmt" <System.String>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[char]>
 ;* V05 tmp3         [V05    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[char]>
 ;* V06 tmp4         [V06    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "impAppendStmt" <System.String>
 ;  V07 tmp5         [V07,T03] (  4,  4   )     ref  ->  rax         class-hnd exact single-def "Inlining Arg" <System.String>
 ;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
 ;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
-;  V10 tmp8         [V10,T14] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V11 tmp9         [V11,T16] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;  V10 tmp8         [V10,T16] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V11 tmp9         [V11,T18] (  2,  2   )     int  ->  rax         "Inlining Arg"
 ;* V12 tmp10        [V12    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
 ;  V13 tmp11        [V13,T04] (  4,  4   )     ref  ->  rcx         class-hnd exact single-def "Inlining Arg" <System.String>
 ;* V14 tmp12        [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
 ;* V15 tmp13        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
-;  V16 tmp14        [V16,T15] (  2,  2   )   byref  ->  rdx         single-def "Inlining Arg"
-;  V17 tmp15        [V17,T17] (  2,  2   )     int  ->  rcx         "Inlining Arg"
+;  V16 tmp14        [V16,T17] (  2,  2   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V17 tmp15        [V17,T19] (  2,  2   )     int  ->  rdx         "Inlining Arg"
 ;* V18 tmp16        [V18    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[char]>
 ;* V19 tmp17        [V19    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[char]>
 ;  V20 tmp18        [V20    ] (  5,  5   )  struct (16) [rbp-0x20]  do-not-enreg[SF] must-init ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
 ;* V21 tmp19        [V21    ] (  0,  0   )   byref  ->  zero-ref    "Inline stloc first use temp"
-;* V22 tmp20        [V22,T28] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V23 tmp21        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
-;* V24 tmp22        [V24    ] (  0,  0   )  ushort  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
-;* V25 tmp23        [V25    ] (  0,  0   )   byref  ->  zero-ref   
-;  V26 tmp24        [V26,T09] (  3,  3   )     int  ->  rsi         "Inlining Arg"
-;* V27 tmp25        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V28 tmp26        [V28    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V29 tmp27        [V29    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;  V30 tmp28        [V30    ] (  8,  8   )  struct (16) [rbp-0x30]  do-not-enreg[XSF] must-init addr-exposed ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
-;* V31 tmp29        [V31,T27] (  0,  0   )   byref  ->  zero-ref    single-def "Inline stloc first use temp"
-;* V32 tmp30        [V32,T29] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V33 tmp31        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
-;* V34 tmp32        [V34    ] (  0,  0   )  ushort  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
-;* V35 tmp33        [V35    ] (  0,  0   )   byref  ->  zero-ref   
-;  V36 tmp34        [V36,T10] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V37 tmp35        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V38 tmp36        [V38    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V39 tmp37        [V39    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;  V40 tmp38        [V40,T25] (  2,  1   )   ubyte  ->  rax         "Inline return value spill temp"
-;* V41 tmp39        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;* V22 tmp20        [V22    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.ReadOnlySpan`1[char]>
+;* V23 tmp21        [V23    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V24 tmp22        [V24,T26] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V25 tmp23        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;* V26 tmp24        [V26    ] (  0,  0   )  ushort  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
+;* V27 tmp25        [V27    ] (  0,  0   )   byref  ->  zero-ref   
+;* V28 tmp26        [V28    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;  V29 tmp27        [V29    ] (  5,  5   )  struct (16) [rbp-0x30]  do-not-enreg[SF] must-init ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;* V30 tmp28        [V30    ] (  0,  0   )   byref  ->  zero-ref    "Inline stloc first use temp"
+;* V31 tmp29        [V31    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.ReadOnlySpan`1[char]>
+;* V32 tmp30        [V32    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V33 tmp31        [V33,T27] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V34 tmp32        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;* V35 tmp33        [V35    ] (  0,  0   )  ushort  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
+;* V36 tmp34        [V36    ] (  0,  0   )   byref  ->  zero-ref   
+;* V37 tmp35        [V37    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;  V38 tmp36        [V38,T23] (  2,  1   )   ubyte  ->  rax         "Inline return value spill temp"
+;* V39 tmp37        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;* V40 tmp38        [V40    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;* V41 tmp39        [V41    ] (  0,  0   )   byref  ->  zero-ref    single-def "impAppendStmt"
 ;* V42 tmp40        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
-;* V43 tmp41        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "impAppendStmt"
-;* V44 tmp42        [V44    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
-;* V45 tmp43        [V45    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
-;  V46 tmp44        [V46,T12] (  5,  2.50)   ubyte  ->  rax         "Inline return value spill temp"
-;* V47 tmp45        [V47    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V48 tmp46        [V48    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;  V49 tmp47        [V49,T11] (  5,  2.50)   byref  ->  rdi         "field V04._reference (fldOffset=0x0)" P-INDEP
-;  V50 tmp48        [V50,T13] (  5,  2.50)     int  ->  rax         "field V04._length (fldOffset=0x8)" P-INDEP
-;* V51 tmp49        [V51    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V52 tmp50        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
-;* V53 tmp51        [V53    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V54 tmp52        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V55 tmp53        [V55    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V56 tmp54        [V56    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V57 tmp55        [V57,T18] (  3,  1.50)   byref  ->  rdx         "field V12._reference (fldOffset=0x0)" P-INDEP
-;  V58 tmp56        [V58,T19] (  3,  1.50)     int  ->  rcx         "field V12._length (fldOffset=0x8)" P-INDEP
-;* V59 tmp57        [V59    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
-;* V60 tmp58        [V60    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V61 tmp59        [V61    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V62 tmp60        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;  V63 tmp61        [V63,T07] (  6,  3   )   byref  ->  rdi         "field V18._reference (fldOffset=0x0)" P-INDEP
-;  V64 tmp62        [V64,T20] (  3,  1.50)     int  ->  rsi         "field V18._length (fldOffset=0x8)" P-INDEP
-;* V65 tmp63        [V65    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V66 tmp64        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;  V67 tmp65        [V67,T05] (  4,  3.50)   byref  ->  [rbp-0x20]  do-not-enreg[] "field V20._reference (fldOffset=0x0)" P-DEP
-;  V68 tmp66        [V68,T06] (  4,  3.50)     int  ->  [rbp-0x18]  do-not-enreg[] "field V20._length (fldOffset=0x8)" P-DEP
-;* V69 tmp67        [V69    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V23._reference (fldOffset=0x0)" P-INDEP
-;* V70 tmp68        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
-;  V71 tmp69        [V71,T22] (  2,  1   )   byref  ->  rdi         single-def "field V27._reference (fldOffset=0x0)" P-INDEP
-;* V72 tmp70        [V72    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
-;  V73 tmp71        [V73,T08] (  6,  3   )   byref  ->  rax         "field V29._reference (fldOffset=0x0)" P-INDEP
-;  V74 tmp72        [V74,T02] ( 11,  5.50)     int  ->  rdx         "field V29._length (fldOffset=0x8)" P-INDEP
-;  V75 tmp73        [V75    ] (  5,  3.50)   byref  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V30._reference (fldOffset=0x0)" P-DEP
-;  V76 tmp74        [V76    ] (  5,  3.50)     int  ->  [rbp-0x28]  do-not-enreg[X] addr-exposed "field V30._length (fldOffset=0x8)" P-DEP
-;  V77 tmp75        [V77,T23] (  2,  1   )   byref  ->  rax         single-def "field V33._reference (fldOffset=0x0)" P-INDEP
-;  V78 tmp76        [V78,T26] (  2,  1   )     int  ->  rcx         "field V33._length (fldOffset=0x8)" P-INDEP
-;  V79 tmp77        [V79,T24] (  2,  1   )   byref  ->  rax         single-def "field V37._reference (fldOffset=0x0)" P-INDEP
-;* V80 tmp78        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
-;* V81 tmp79        [V81    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
-;* V82 tmp80        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
+;* V43 tmp41        [V43    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;  V44 tmp42        [V44,T13] (  5,  2.50)   ubyte  ->  rax         "Inline return value spill temp"
+;* V45 tmp43        [V45    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V46 tmp44        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;  V47 tmp45        [V47,T11] (  5,  2.50)   byref  ->  rdi         "field V04._reference (fldOffset=0x0)" P-INDEP
+;  V48 tmp46        [V48,T14] (  5,  2.50)     int  ->  rax         "field V04._length (fldOffset=0x8)" P-INDEP
+;* V49 tmp47        [V49    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V50 tmp48        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V51 tmp49        [V51    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V52 tmp50        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V53 tmp51        [V53    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V54 tmp52        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;  V55 tmp53        [V55,T12] (  5,  2.50)   byref  ->  rsi         "field V12._reference (fldOffset=0x0)" P-INDEP
+;  V56 tmp54        [V56,T15] (  5,  2.50)     int  ->  rdx         "field V12._length (fldOffset=0x8)" P-INDEP
+;* V57 tmp55        [V57    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V58 tmp56        [V58    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V59 tmp57        [V59    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V60 tmp58        [V60    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;  V61 tmp59        [V61,T09] (  6,  3   )   byref  ->  rdi         "field V18._reference (fldOffset=0x0)" P-INDEP
+;  V62 tmp60        [V62,T20] (  3,  1.50)     int  ->  rcx         "field V18._length (fldOffset=0x8)" P-INDEP
+;* V63 tmp61        [V63    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V64 tmp62        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;  V65 tmp63        [V65,T05] (  4,  3.50)   byref  ->  [rbp-0x20]  do-not-enreg[] "field V20._reference (fldOffset=0x0)" P-DEP
+;  V66 tmp64        [V66,T07] (  4,  3.50)     int  ->  [rbp-0x18]  do-not-enreg[] "field V20._length (fldOffset=0x8)" P-DEP
+;  V67 tmp65        [V67,T21] (  2,  1   )   byref  ->  rdi         single-def "field V22._reference (fldOffset=0x0)" P-INDEP
+;  V68 tmp66        [V68,T24] (  2,  1   )     int  ->  rcx         "field V22._length (fldOffset=0x8)" P-INDEP
+;* V69 tmp67        [V69    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V70 tmp68        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;  V71 tmp69        [V71,T10] (  6,  3   )   byref  ->  rsi         "field V28._reference (fldOffset=0x0)" P-INDEP
+;  V72 tmp70        [V72,T02] ( 11,  5.50)     int  ->  rdx         "field V28._length (fldOffset=0x8)" P-INDEP
+;  V73 tmp71        [V73,T06] (  4,  3.50)   byref  ->  [rbp-0x30]  do-not-enreg[] "field V29._reference (fldOffset=0x0)" P-DEP
+;  V74 tmp72        [V74,T08] (  4,  3.50)     int  ->  [rbp-0x28]  do-not-enreg[] "field V29._length (fldOffset=0x8)" P-DEP
+;  V75 tmp73        [V75,T22] (  2,  1   )   byref  ->  rsi         single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;  V76 tmp74        [V76,T25] (  2,  1   )     int  ->  rdx         "field V31._length (fldOffset=0x8)" P-INDEP
+;* V77 tmp75        [V77    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
+;* V78 tmp76        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
+;* V79 tmp77        [V79    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V80 tmp78        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;* V81 tmp79        [V81    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V40._reference (fldOffset=0x0)" P-INDEP
+;* V82 tmp80        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V40._length (fldOffset=0x8)" P-INDEP
 ;* V83 tmp81        [V83    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
 ;* V84 tmp82        [V84    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
-;* V85 tmp83        [V85    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V44._reference (fldOffset=0x0)" P-INDEP
-;* V86 tmp84        [V86    ] (  0,  0   )     int  ->  zero-ref    "field V44._length (fldOffset=0x8)" P-INDEP
-;* V87 tmp85        [V87    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V45._reference (fldOffset=0x0)" P-INDEP
-;* V88 tmp86        [V88    ] (  0,  0   )     int  ->  zero-ref    "field V45._length (fldOffset=0x8)" P-INDEP
-;  V89 cse0         [V89,T21] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;* V85 tmp83        [V85    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V43._reference (fldOffset=0x0)" P-INDEP
+;* V86 tmp84        [V86    ] (  0,  0   )     int  ->  zero-ref    "field V43._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 32
 
 G_M25741_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 32
        lea      rbp, [rsp+0x30]
        vxorps   xmm8, xmm8, xmm8
        vmovdqu  ymmword ptr [rbp-0x30], ymm8
        mov      rbx, rdi
        mov      r15, rsi
 						;; size=29 bbWeight=1 PerfScore 6.58
 G_M25741_IG02:
        mov      rdi, gword ptr [rbx+0x20]
        mov      rsi, gword ptr [r15+0x20]
        mov      edx, 5
        mov      rax, 0xD1FFAB1E      ; code for System.String:Equals(System.String,System.String,int):bool
        call     [rax]System.String:Equals(System.String,System.String,int):bool
        test     eax, eax
-       je       G_M25741_IG18
+       je       G_M25741_IG17
 						;; size=33 bbWeight=1 PerfScore 8.75
 G_M25741_IG03:
        mov      rax, gword ptr [rbx+0x18]
        test     rax, rax
        je       SHORT G_M25741_IG04
        lea      rdi, bword ptr [rax+0x0C]
        mov      eax, dword ptr [rax+0x08]
        jmp      SHORT G_M25741_IG05
 						;; size=18 bbWeight=0.50 PerfScore 3.88
 G_M25741_IG04:
        xor      rdi, rdi
        xor      eax, eax
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M25741_IG05:
        mov      rcx, gword ptr [r15+0x18]
        test     rcx, rcx
        je       SHORT G_M25741_IG06
-       lea      rdx, bword ptr [rcx+0x0C]
-       mov      ecx, dword ptr [rcx+0x08]
+       lea      rsi, bword ptr [rcx+0x0C]
+       mov      edx, dword ptr [rcx+0x08]
        jmp      SHORT G_M25741_IG07
 						;; size=18 bbWeight=0.50 PerfScore 3.88
 G_M25741_IG06:
-       xor      rdx, rdx
-       xor      ecx, ecx
+       xor      rsi, rsi
+       xor      edx, edx
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M25741_IG07:
        mov      bword ptr [rbp-0x20], rdi
        mov      dword ptr [rbp-0x18], eax
        test     eax, eax
        je       SHORT G_M25741_IG08
        cmp      word  ptr [rdi], 46
        jne      SHORT G_M25741_IG08
-       mov      esi, dword ptr [rbp-0x18]
-       dec      esi
-       mov      edi, esi
-       inc      rdi
-       mov      eax, dword ptr [rbp-0x18]
-       cmp      rdi, rax
-       ja       G_M25741_IG20
+       cmp      dword ptr [rbp-0x18], 0
+       je       G_M25741_IG19
        mov      rdi, bword ptr [rbp-0x20]
        add      rdi, 2
+       mov      ecx, dword ptr [rbp-0x18]
+       dec      ecx
        jmp      SHORT G_M25741_IG09
-						;; size=49 bbWeight=0.50 PerfScore 7.25
+						;; size=42 bbWeight=0.50 PerfScore 7.38
 G_M25741_IG08:
-       mov      esi, eax
+       mov      ecx, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M25741_IG09:
-       mov      bword ptr [rbp-0x30], rdx
-       mov      dword ptr [rbp-0x28], ecx
-       mov      rax, bword ptr [rbp-0x30]
-       mov      ecx, dword ptr [rbp-0x28]
-       test     ecx, ecx
-       je       SHORT G_M25741_IG10
-       cmp      word  ptr [rax], 46
-       jne      SHORT G_M25741_IG10
-       mov      eax, dword ptr [rbp-0x28]
-       lea      edx, [rax-0x01]
-       mov      ecx, edx
-       inc      rcx
-       cmp      rcx, rax
-       ja       G_M25741_IG20
-       mov      rax, bword ptr [rbp-0x30]
-       add      rax, 2
-       jmp      SHORT G_M25741_IG11
-						;; size=54 bbWeight=0.50 PerfScore 7.88
-G_M25741_IG10:
-       mov      rax, bword ptr [rbp-0x30]
-       mov      edx, dword ptr [rbp-0x28]
-						;; size=7 bbWeight=0.50 PerfScore 1.00
-G_M25741_IG11:
-       cmp      esi, edx
-       jne      G_M25741_IG18
+       mov      bword ptr [rbp-0x30], rsi
+       mov      dword ptr [rbp-0x28], edx
        test     edx, edx
-       je       SHORT G_M25741_IG16
+       je       SHORT G_M25741_IG10
+       cmp      word  ptr [rsi], 46
+       jne      SHORT G_M25741_IG10
+       cmp      dword ptr [rbp-0x28], 0
+       je       G_M25741_IG20
+       mov      rsi, bword ptr [rbp-0x30]
+       add      rsi, 2
+       mov      edx, dword ptr [rbp-0x28]
+       dec      edx
+						;; size=40 bbWeight=0.50 PerfScore 6.38
+G_M25741_IG10:
+       cmp      ecx, edx
+       jne      SHORT G_M25741_IG17
+       test     edx, edx
+       je       SHORT G_M25741_IG15
        cmp      edx, 8
-       jl       SHORT G_M25741_IG14
+       jl       SHORT G_M25741_IG13
        cmp      edx, 32
-       jge      SHORT G_M25741_IG13
-       cmp      edx, 16
        jge      SHORT G_M25741_IG12
-       mov      rsi, rax
+       cmp      edx, 16
+       jge      SHORT G_M25741_IG11
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.Ordinal:EqualsIgnoreCase_Vector[System.Runtime.Intrinsics.Vector128`1[ushort]](byref,byref,int):bool
        call     [rax]System.Globalization.Ordinal:EqualsIgnoreCase_Vector[System.Runtime.Intrinsics.Vector128`1[ushort]](byref,byref,int):bool
-       jmp      SHORT G_M25741_IG15
-						;; size=44 bbWeight=0.50 PerfScore 5.88
-G_M25741_IG12:
-       mov      rsi, rax
+       jmp      SHORT G_M25741_IG14
+						;; size=37 bbWeight=0.50 PerfScore 5.75
+G_M25741_IG11:
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.Ordinal:EqualsIgnoreCase_Vector[System.Runtime.Intrinsics.Vector256`1[ushort]](byref,byref,int):bool
        call     [rax]System.Globalization.Ordinal:EqualsIgnoreCase_Vector[System.Runtime.Intrinsics.Vector256`1[ushort]](byref,byref,int):bool
-       jmp      SHORT G_M25741_IG15
-						;; size=17 bbWeight=0.50 PerfScore 2.75
-G_M25741_IG13:
-       mov      rsi, rax
+       jmp      SHORT G_M25741_IG14
+						;; size=14 bbWeight=0.50 PerfScore 2.62
+G_M25741_IG12:
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.Ordinal:EqualsIgnoreCase_Vector[System.Runtime.Intrinsics.Vector512`1[ushort]](byref,byref,int):bool
        call     [rax]System.Globalization.Ordinal:EqualsIgnoreCase_Vector[System.Runtime.Intrinsics.Vector512`1[ushort]](byref,byref,int):bool
-       jmp      SHORT G_M25741_IG15
-						;; size=17 bbWeight=0.50 PerfScore 2.75
-G_M25741_IG14:
-       mov      rsi, rax
+       jmp      SHORT G_M25741_IG14
+						;; size=14 bbWeight=0.50 PerfScore 2.62
+G_M25741_IG13:
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.Ordinal:EqualsIgnoreCase_Scalar(byref,byref,int):bool
        call     [rax]System.Globalization.Ordinal:EqualsIgnoreCase_Scalar(byref,byref,int):bool
-						;; size=15 bbWeight=0.50 PerfScore 1.75
-G_M25741_IG15:
+						;; size=12 bbWeight=0.50 PerfScore 1.62
+G_M25741_IG14:
        test     eax, eax
-       je       SHORT G_M25741_IG18
+       je       SHORT G_M25741_IG17
 						;; size=4 bbWeight=0.50 PerfScore 0.62
-G_M25741_IG16:
+G_M25741_IG15:
        mov      rdi, gword ptr [rbx+0x28]
        mov      rsi, gword ptr [r15+0x28]
        mov      edx, 4
        mov      rax, 0xD1FFAB1E      ; code for System.String:Equals(System.String,System.String,int):bool
-       call     [rax]System.String:Equals(System.String,System.String,int):bool
-       nop      
-						;; size=26 bbWeight=0.50 PerfScore 3.88
-G_M25741_IG17:
+						;; size=23 bbWeight=0.50 PerfScore 2.25
+G_M25741_IG16:
        add      rsp, 32
        pop      rbx
        pop      r15
        pop      rbp
-       ret      
-						;; size=9 bbWeight=0.50 PerfScore 1.38
-G_M25741_IG18:
+       tail.jmp [rax]System.String:Equals(System.String,System.String,int):bool
+						;; size=11 bbWeight=0.50 PerfScore 2.88
+G_M25741_IG17:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
-G_M25741_IG19:
+G_M25741_IG18:
        add      rsp, 32
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
-G_M25741_IG20:
-       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
-       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+G_M25741_IG19:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
        int3     
-						;; size=13 bbWeight=0 PerfScore 0.00
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M25741_IG20:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 374, prolog size 23, PerfScore 60.33, instruction count 115, allocated bytes for code 374 (MethodHash=9e2d9b72) for method System.Net.CookieComparer:Equals(System.Net.Cookie,System.Net.Cookie):bool (FullOpts)
+; Total bytes of code 328, prolog size 23, PerfScore 57.33, instruction count 101, allocated bytes for code 328 (MethodHash=9e2d9b72) for method System.Net.CookieComparer:Equals(System.Net.Cookie,System.Net.Cookie):bool (FullOpts)
 ; ============================================================

-41 (-12.62 % of base) - System.MemoryExtensions:TrimUtf8(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte]

 ; Assembly listing for method System.MemoryExtensions:TrimUtf8(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte] (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
+; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00    ] ( 22, 13.50)  struct (16) [rbp-0x18]  do-not-enreg[XSFAR] multireg-arg multireg-ret addr-exposed ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
+;  V00 arg0         [V00    ] ( 16, 10.50)  struct (16) [rbp-0x18]  do-not-enreg[SFAR] multireg-arg multireg-ret ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 loc0         [V01    ] (  2,  1   )  struct ( 8) [rbp-0x20]  do-not-enreg[XS] addr-exposed ld-addr-op <System.Text.Rune>
 ;  V02 loc1         [V02    ] (  2,  1   )     int  ->  [rbp-0x28]  do-not-enreg[X] addr-exposed ld-addr-op
 ;  V03 loc2         [V03    ] (  2,  1   )  struct ( 8) [rbp-0x30]  do-not-enreg[XS] addr-exposed ld-addr-op <System.Text.Rune>
 ;  V04 loc3         [V04    ] (  2,  1   )     int  ->  [rbp-0x38]  do-not-enreg[X] addr-exposed ld-addr-op
 ;* V05 loc4         [V05    ] (  0,  0   )   byref  ->  zero-ref   
-;  V06 loc5         [V06,T00] (  6,  3   )     int  ->  rbx        
-;* V07 loc6         [V07,T09] (  0,  0   )   byref  ->  zero-ref    single-def
+;  V06 loc5         [V06,T02] (  6,  3   )     int  ->  rbx        
+;* V07 loc6         [V07    ] (  0,  0   )   byref  ->  zero-ref   
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V09 tmp1         [V09,T01] (  3,  3   )     int  ->  rsi         "Inlining Arg"
-;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V11 tmp3         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V12 tmp4         [V12,T02] (  3,  3   )     int  ->  rsi         "Inlining Arg"
-;* V13 tmp5         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V14 tmp6         [V14    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V15 tmp7         [V15    ] ( 18, 10.50)   byref  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed "field V00._reference (fldOffset=0x0)" P-DEP
-;  V16 tmp8         [V16    ] ( 19, 11.50)     int  ->  [rbp-0x10]  do-not-enreg[X] addr-exposed "field V00._length (fldOffset=0x8)" P-DEP
-;  V17 tmp9         [V17    ] (  2,  1   )     int  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed "field V01._value (fldOffset=0x0)" P-DEP
-;  V18 tmp10        [V18    ] (  2,  1   )     int  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V03._value (fldOffset=0x0)" P-DEP
-;  V19 tmp11        [V19,T05] (  2,  1   )   byref  ->  rdi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V20 tmp12        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;  V21 tmp13        [V21,T06] (  2,  1   )   byref  ->  rdi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V22 tmp14        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
-;  V23 tmp15        [V23,T07] (  2,  1   )  struct (16) [rbp-0x48]  do-not-enreg[SRM] multireg-ret multireg-dest must-init "Return value temp for multi-reg return (rejected tail call)." <System.ReadOnlySpan`1[byte]>
-;  V24 tmp16        [V24,T08] (  2,  1   )  struct (16) [rbp-0x58]  do-not-enreg[SRM] multireg-ret multireg-dest must-init "Return value temp for multi-reg return (rejected tail call)." <System.ReadOnlySpan`1[byte]>
-;  V25 cse0         [V25,T03] (  3,  1.50)     int  ->  rdi         "CSE #01: moderate"
-;  V26 cse1         [V26,T04] (  3,  1.50)     int  ->  rdi         "CSE #04: moderate"
+;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    multireg-arg "(ReadOnly)Span<T> for Slice" <System.ReadOnlySpan`1[byte]>
+;* V10 tmp2         [V10    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;  V11 tmp3         [V11,T03] (  3,  3   )     int  ->  rsi         "Inlining Arg"
+;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V13 tmp5         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V14 tmp6         [V14,T01] ( 14,  8.50)   byref  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V15 tmp7         [V15,T00] ( 15,  9.50)     int  ->  [rbp-0x10]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;  V16 tmp8         [V16    ] (  2,  1   )     int  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed "field V01._value (fldOffset=0x0)" P-DEP
+;  V17 tmp9         [V17    ] (  2,  1   )     int  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V03._value (fldOffset=0x0)" P-DEP
+;  V18 tmp10        [V18,T04] (  2,  1   )   byref  ->  rdi         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;  V19 tmp11        [V19,T06] (  2,  1   )     int  ->  rsi         "field V09._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp12        [V20,T05] (  2,  1   )   byref  ->  rdi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;  V22 tmp14        [V22,T07] (  2,  1   )  struct (16) [rbp-0x48]  do-not-enreg[SRM] multireg-ret multireg-dest must-init "Return value temp for multi-reg return (rejected tail call)." <System.ReadOnlySpan`1[byte]>
+;  V23 tmp15        [V23,T08] (  2,  1   )  struct (16) [rbp-0x58]  do-not-enreg[SRM] multireg-ret multireg-dest must-init "Return value temp for multi-reg return (rejected tail call)." <System.ReadOnlySpan`1[byte]>
 ;
 ; Lcl frame size = 88
 
 G_M6694_IG01:
        push     rbp
        push     rbx
        sub      rsp, 88
        lea      rbp, [rsp+0x60]
        xor      eax, eax
        mov      qword ptr [rbp-0x58], rax
        vxorps   xmm8, xmm8, xmm8
        vmovdqa  xmmword ptr [rbp-0x50], xmm8
        mov      qword ptr [rbp-0x40], rax
        mov      bword ptr [rbp-0x18], rdi
        mov      qword ptr [rbp-0x10], rsi
 						;; size=39 bbWeight=1 PerfScore 9.33
 G_M6694_IG02:
        cmp      dword ptr [rbp-0x10], 0
        je       G_M6694_IG07
 						;; size=10 bbWeight=1 PerfScore 3.00
 G_M6694_IG03:
        mov      rdi, bword ptr [rbp-0x18]
        mov      rsi, qword ptr [rbp-0x10]
        lea      rdx, [rbp-0x20]
        lea      rcx, [rbp-0x28]
        mov      rax, 0xD1FFAB1E      ; code for System.Text.Rune:DecodeFromUtf8(System.ReadOnlySpan`1[byte],byref,byref):int
        call     [rax]System.Text.Rune:DecodeFromUtf8(System.ReadOnlySpan`1[byte],byref,byref):int
        mov      edi, dword ptr [rbp-0x20]
        mov      rax, 0xD1FFAB1E      ; code for System.Text.Rune:IsWhiteSpace(System.Text.Rune):bool
        call     [rax]System.Text.Rune:IsWhiteSpace(System.Text.Rune):bool
        test     eax, eax
        jne      SHORT G_M6694_IG05
        mov      rdi, bword ptr [rbp-0x18]
        mov      rsi, qword ptr [rbp-0x10]
        lea      rdx, [rbp-0x30]
        lea      rcx, [rbp-0x38]
        mov      rax, 0xD1FFAB1E      ; code for System.Text.Rune:DecodeLastFromUtf8(System.ReadOnlySpan`1[byte],byref,byref):int
        call     [rax]System.Text.Rune:DecodeLastFromUtf8(System.ReadOnlySpan`1[byte],byref,byref):int
        mov      edi, dword ptr [rbp-0x30]
        mov      rax, 0xD1FFAB1E      ; code for System.Text.Rune:IsWhiteSpace(System.Text.Rune):bool
        call     [rax]System.Text.Rune:IsWhiteSpace(System.Text.Rune):bool
        test     eax, eax
-       je       G_M6694_IG07
+       je       SHORT G_M6694_IG07
        mov      ebx, dword ptr [rbp-0x38]
-       mov      edi, dword ptr [rbp-0x10]
-       mov      esi, edi
+       mov      esi, dword ptr [rbp-0x10]
        sub      esi, ebx
-       cmp      esi, edi
-       ja       G_M6694_IG09
+       cmp      esi, dword ptr [rbp-0x10]
+       ja       SHORT G_M6694_IG10
        mov      rdi, bword ptr [rbp-0x18]
-       mov      bword ptr [rbp-0x18], rdi
-       mov      dword ptr [rbp-0x10], esi
-       mov      rdi, bword ptr [rbp-0x18]
-       mov      rsi, qword ptr [rbp-0x10]
        mov      rax, 0xD1FFAB1E      ; code for System.MemoryExtensions:<TrimUtf8>g__TrimFallback|287_0(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte]
        call     [rax]System.MemoryExtensions:<TrimUtf8>g__TrimFallback|287_0(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte]
-       mov      bword ptr [rbp-0x58], rax
-       mov      qword ptr [rbp-0x50], rdx
-       mov      rax, bword ptr [rbp-0x58]
-       mov      rdx, qword ptr [rbp-0x50]
-						;; size=163 bbWeight=0.50 PerfScore 19.75
+       mov      bword ptr [rbp-0x48], rax
+       mov      qword ptr [rbp-0x40], rdx
+       mov      rax, bword ptr [rbp-0x48]
+       mov      rdx, qword ptr [rbp-0x40]
+						;; size=139 bbWeight=0.50 PerfScore 18.50
 G_M6694_IG04:
        add      rsp, 88
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M6694_IG05:
        mov      ebx, dword ptr [rbp-0x28]
-       mov      edi, dword ptr [rbp-0x10]
-       mov      esi, edi
-       sub      esi, ebx
-       mov      eax, ebx
-       mov      ecx, esi
-       add      rax, rcx
-       cmp      rax, rdi
+       cmp      ebx, dword ptr [rbp-0x10]
        ja       SHORT G_M6694_IG09
-       mov      edi, ebx
+       movsxd   rdi, ebx
        add      rdi, bword ptr [rbp-0x18]
-       mov      bword ptr [rbp-0x18], rdi
-       mov      dword ptr [rbp-0x10], esi
-       mov      rdi, bword ptr [rbp-0x18]
-       mov      rsi, qword ptr [rbp-0x10]
+       mov      esi, dword ptr [rbp-0x10]
+       sub      esi, ebx
        mov      rax, 0xD1FFAB1E      ; code for System.MemoryExtensions:<TrimUtf8>g__TrimFallback|287_0(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte]
        call     [rax]System.MemoryExtensions:<TrimUtf8>g__TrimFallback|287_0(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte]
-       mov      bword ptr [rbp-0x48], rax
-       mov      qword ptr [rbp-0x40], rdx
-       mov      rax, bword ptr [rbp-0x48]
-       mov      rdx, qword ptr [rbp-0x40]
-						;; size=71 bbWeight=0.50 PerfScore 9.00
+       mov      bword ptr [rbp-0x58], rax
+       mov      qword ptr [rbp-0x50], rdx
+       mov      rax, bword ptr [rbp-0x58]
+       mov      rdx, qword ptr [rbp-0x50]
+						;; size=48 bbWeight=0.50 PerfScore 7.38
 G_M6694_IG06:
        add      rsp, 88
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M6694_IG07:
        mov      rax, bword ptr [rbp-0x18]
        mov      rdx, qword ptr [rbp-0x10]
 						;; size=8 bbWeight=0.50 PerfScore 1.00
 G_M6694_IG08:
        add      rsp, 88
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M6694_IG09:
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
+       int3     
+						;; size=6 bbWeight=0 PerfScore 0.00
+G_M6694_IG10:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 325, prolog size 31, PerfScore 45.46, instruction count 90, allocated bytes for code 325 (MethodHash=90bbe5d9) for method System.MemoryExtensions:TrimUtf8(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte] (FullOpts)
+; Total bytes of code 284, prolog size 31, PerfScore 42.58, instruction count 79, allocated bytes for code 284 (MethodHash=90bbe5d9) for method System.MemoryExtensions:TrimUtf8(System.ReadOnlySpan`1[byte]):System.ReadOnlySpan`1[byte] (FullOpts)
 ; ============================================================

-22 (-6.53 % of base) - System.Int64:System.Numerics.IBinaryInteger.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool

 ; Assembly listing for method System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 12 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 11 single block inlinees; 4 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00    ] ( 18, 15   )  struct (16) [rbp-0x28]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T04] (  5,  3.50)   ubyte  ->  rdx        
 ;  V02 arg2         [V02,T05] (  4,  3   )   byref  ->  rbx         single-def
 ;  V03 loc0         [V03,T02] (  9, 12   )    long  ->  r15        
-;  V04 loc1         [V04,T08] (  4,  2   )    byte  ->  rdi        
+;  V04 loc1         [V04,T07] (  4,  2   )    byte  ->  rdi        
 ;  V05 loc2         [V05,T06] (  2,  4.50)   byref  ->  rax         single-def
 ;* V06 loc3         [V06    ] (  0,  0   )   byref  ->  zero-ref   
 ;  V07 loc4         [V07,T00] (  5, 16.50)     int  ->  rcx        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V09 tmp1         [V09,T10] (  2,  2   )     int  ->  rdi         "Span.get_Item index"
-;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V11 tmp3         [V11,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V13 tmp5         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V14 tmp6         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
-;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;  V09 tmp1         [V09,T09] (  2,  2   )     int  ->  rdi         "Span.get_Item index"
+;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "(ReadOnly)Span<T> for Slice" <System.ReadOnlySpan`1[byte]>
+;* V11 tmp3         [V11    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V12 tmp4         [V12    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
+;* V13 tmp5         [V13    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V15 tmp7         [V15,T10] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
 ;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V17 tmp9         [V17,T11] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
-;* V18 tmp10        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V19 tmp11        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V20 tmp12        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V17 tmp9         [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V18 tmp10        [V18    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V19 tmp11        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V20 tmp12        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
 ;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V22 tmp14        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V24 tmp16        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V25 tmp17        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V26 tmp18        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V27 tmp19        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V28 tmp20        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V29 tmp21        [V29    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
-;* V30 tmp22        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V31 tmp23        [V31,T03] ( 10,  6.50)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V32 tmp24        [V32,T01] ( 13, 12   )     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V33 tmp25        [V33    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;  V35 tmp27        [V35,T13] (  2,  1   )   byref  ->  rsi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp28        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;* V37 tmp29        [V37    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V38 tmp30        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V39 tmp31        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V40 tmp32        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V41 tmp33        [V41    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V42 tmp34        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V43 tmp35        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
-;* V44 tmp36        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
-;  V45 cse0         [V45,T12] (  3,  1.50)     int  ->  rax         "CSE #03: moderate"
-;  V46 cse1         [V46,T09] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
+;* V22 tmp14        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V24 tmp16        [V24    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V25 tmp17        [V25    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V26 tmp18        [V26    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V27 tmp19        [V27    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;* V28 tmp20        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V29 tmp21        [V29,T03] ( 10,  6.50)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V30 tmp22        [V30,T01] ( 13, 12   )     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;  V31 tmp23        [V31,T12] (  2,  1   )   byref  ->  rsi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;  V32 tmp24        [V32,T13] (  2,  1   )     int  ->  rdx         "field V10._length (fldOffset=0x8)" P-INDEP
+;* V33 tmp25        [V33    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V34 tmp26        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V35 tmp27        [V35    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V36 tmp28        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V37 tmp29        [V37    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V38 tmp30        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;* V39 tmp31        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V28._reference (fldOffset=0x0)" P-INDEP
+;* V40 tmp32        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
+;  V41 cse0         [V41,T11] (  3,  1.50)     int  ->  rax         "CSE #03: moderate"
+;  V42 cse1         [V42,T08] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
 ;
 ; Lcl frame size = 24
 
 G_M47604_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x30]
        mov      bword ptr [rbp-0x28], rdi
        mov      qword ptr [rbp-0x20], rsi
        mov      rbx, rcx
 						;; size=26 bbWeight=1 PerfScore 7.00
 G_M47604_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x20], 0
        je       G_M47604_IG09
 						;; size=13 bbWeight=1 PerfScore 3.25
 G_M47604_IG03:
        mov      edi, dword ptr [rbp-0x20]
        dec      edi
        mov      rsi, bword ptr [rbp-0x28]
        movzx    rdi, byte  ptr [rsi+rdi]
        movsx    rdi, dil
        sar      edi, 31
        movsx    rdi, dil
        movzx    rdx, dl
        test     edi, edi
        sete     sil
        movzx    rsi, sil
        or       edx, esi
        movzx    r14, dl
        test     r14d, r14d
        je       SHORT G_M47604_IG04
        test     edi, edi
        jge      SHORT G_M47604_IG04
        cmp      dword ptr [rbp-0x20], 8
        jge      G_M47604_IG11
 						;; size=63 bbWeight=0.50 PerfScore 6.50
 G_M47604_IG04:
        cmp      dword ptr [rbp-0x20], 8
        jle      SHORT G_M47604_IG05
-       mov      edx, dword ptr [rbp-0x20]
-       add      edx, -8
-       mov      esi, edx
-       add      rsi, 8
-       mov      eax, dword ptr [rbp-0x20]
-       cmp      rsi, rax
-       ja       G_M47604_IG13
+       cmp      dword ptr [rbp-0x20], 8
+       jl       G_M47604_IG13
        mov      rsi, bword ptr [rbp-0x28]
        add      rsi, 8
+       mov      edx, dword ptr [rbp-0x20]
+       add      edx, -8
        movzx    rax, dil
        mov      rdi, rsi
        mov      esi, eax
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        call     [rax]System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        test     eax, eax
        jge      G_M47604_IG11
        mov      rax, bword ptr [rbp-0x28]
        movzx    rax, byte  ptr [rax+0x07]
        movsx    rax, al
        shr      eax, 31
        cmp      r14d, eax
        je       SHORT G_M47604_IG11
-		  ;; NOP compensation instructions of 4 bytes.
-						;; size=91 bbWeight=0.50 PerfScore 9.25
+						;; size=79 bbWeight=0.50 PerfScore 9.38
 G_M47604_IG05:
        mov      rax, bword ptr [rbp-0x28]
        cmp      dword ptr [rbp-0x20], 8
        jge      SHORT G_M47604_IG08
        xor      ecx, ecx
-       align    [3 bytes for IG06]
-						;; size=15 bbWeight=0.50 PerfScore 2.25
+       align    [0 bytes for IG06]
+						;; size=12 bbWeight=0.50 PerfScore 2.12
 G_M47604_IG06:
        movsxd   rdx, ecx
        movzx    rdx, byte  ptr [rax+rdx]
        shl      r15, 8
        or       r15, rdx
        inc      ecx
        cmp      ecx, dword ptr [rbp-0x20]
        jl       SHORT G_M47604_IG06
 						;; size=21 bbWeight=4 PerfScore 25.00
 G_M47604_IG07:
        mov      eax, dword ptr [rbp-0x20]
        neg      eax
        shl      eax, 3
        lea      ecx, [rax+0x40]
        shlx     rcx, r15, rcx
        mov      r15, rcx
        bswap    r15
        test     r14d, r14d
        jne      SHORT G_M47604_IG09
        add      eax, 63
        mov      rcx, 0xD1FFAB1E
        sarx     rax, rcx, rax
        or       rax, r15
        mov      r15, rax
        jmp      SHORT G_M47604_IG09
 						;; size=53 bbWeight=0.50 PerfScore 4.38
 G_M47604_IG08:
        mov      rax, bword ptr [rbp-0x28]
        mov      r15, qword ptr [rax]
 						;; size=7 bbWeight=0.50 PerfScore 1.50
 G_M47604_IG09:
        mov      qword ptr [rbx], r15
        mov      eax, 1
 						;; size=8 bbWeight=0.50 PerfScore 0.62
 G_M47604_IG10:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M47604_IG11:
        xor      eax, eax
        mov      qword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M47604_IG12:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M47604_IG13:
-       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
-       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     CORINFO_HELP_THROW_ARGUMENTOUTOFRANGEEXCEPTION
        int3     
-						;; size=13 bbWeight=0 PerfScore 0.00
+						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 337, prolog size 26, PerfScore 63.62, instruction count 103, allocated bytes for code 337 (MethodHash=6803460b) for method System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 315, prolog size 26, PerfScore 63.62, instruction count 99, allocated bytes for code 319 (MethodHash=6803460b) for method System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadLittleEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; ============================================================

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

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

[MihuBot]

@EgorBo