[JitDiff X64] [xtqqczze] Avoid some `Unsafe.As`

[MihuBot]

Job completed in 16 minutes 46 seconds (remote runner delay: 52 seconds).
dotnet/runtime#118655

Diffs

Diffs

Found 84 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 41489182
Total bytes of diff: 41491658
Total bytes of delta: 2476 (0.01 % of base)
Total relative delta: 4.79
    diff is a regression.
    relative diff is a regression.


Top file regressions (bytes):
        2476 : System.Linq.dasm (0.19 % of base)

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

Top method regressions (bytes):
         162 (8.35 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Collections.Generic.IEnumerable`1[System.__Canon],System.Collections.Generic.IEqualityComparer`1[System.__Canon]):bool (FullOpts)
          72 (12.02 % of base) : System.Linq.dasm - System.Linq.Enumerable:Aggregate[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`3[System.__Canon,System.__Canon,System.__Canon]):System.__Canon (FullOpts)
          68 (12.93 % of base) : System.Linq.dasm - System.Linq.Enumerable:Aggregate[System.__Canon,System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Nullable`1[int],System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]):System.Nullable`1[int] (FullOpts)
          68 (12.19 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool]):bool (FullOpts)
          68 (12.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool]):bool (FullOpts)
          68 (12.64 % of base) : System.Linq.dasm - System.Linq.Enumerable:Count[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool]):int (FullOpts)
          65 (10.67 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool],byref):System.__Canon (FullOpts)
          64 (30.77 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSpan[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],byref):bool (FullOpts)
          61 (12.08 % of base) : System.Linq.dasm - System.Linq.Enumerable:Contains[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon]):bool (FullOpts)
          61 (8.10 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool],byref):System.__Canon (FullOpts)
          61 (7.78 % of base) : System.Linq.dasm - System.Linq.Enumerable+IListSkipTakeIterator`1[System.__Canon]:IndexOf(System.__Canon):int:this (FullOpts)
          57 (2.73 % of base) : System.Linq.dasm - System.Linq.Enumerable+ShuffleTakeIterator`1[System.__Canon]:Contains(System.__Canon):bool:this (FullOpts)
          56 (4.23 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[System.__Canon]:TryGetFirstOrLast(byref,bool):System.__Canon:this (FullOpts)
          55 (4.25 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[System.__Canon]:AddRange(System.Collections.Generic.IEnumerable`1[System.__Canon]):this (FullOpts)
          55 (11.39 % of base) : System.Linq.dasm - System.Linq.Enumerable+IListSkipTakeIterator`1[System.__Canon]:Fill(System.Collections.Generic.IList`1[System.__Canon],System.Span`1[System.__Canon],int) (FullOpts)
          52 (8.83 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[double]:TryGetFirstOrLast(byref,bool):double:this (FullOpts)
          47 (6.00 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[System.Numerics.Vector`1[float]]:AddRange(System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]]):this (FullOpts)
          46 (9.81 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[byte]:TryGetFirstOrLast(byref,bool):byte:this (FullOpts)
          46 (9.89 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[int]:TryGetFirstOrLast(byref,bool):int:this (FullOpts)
          46 (9.87 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[long]:TryGetFirstOrLast(byref,bool):long:this (FullOpts)
          46 (9.81 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[short]:TryGetFirstOrLast(byref,bool):short:this (FullOpts)
          43 (5.57 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[double]:AddRange(System.Collections.Generic.IEnumerable`1[double]):this (FullOpts)
          40 (10.00 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool],byref):byte (FullOpts)
          40 (9.69 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool],byref):double (FullOpts)
          40 (10.00 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool],byref):int (FullOpts)
          40 (9.90 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool],byref):long (FullOpts)
          40 (9.98 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool],byref):short (FullOpts)
          39 (10.68 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool]):bool (FullOpts)
          39 (10.68 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool]):bool (FullOpts)
          39 (10.68 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool]):bool (FullOpts)
          39 (10.66 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool]):bool (FullOpts)
          39 (10.66 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool]):bool (FullOpts)
          39 (10.40 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool]):bool (FullOpts)
          39 (9.51 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool]):bool (FullOpts)
          38 (8.33 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool],byref):System.Nullable`1[int] (FullOpts)
          38 (7.04 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool],byref):byte (FullOpts)
          37 (10.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool]):bool (FullOpts)
          37 (10.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool]):bool (FullOpts)
          37 (10.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool]):bool (FullOpts)
          37 (10.11 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool]):bool (FullOpts)
          37 (10.11 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool]):bool (FullOpts)
          37 (9.02 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool]):bool (FullOpts)
          37 (4.10 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[System.Numerics.Vector`1[float]]:TryGetFirstOrLast(byref,bool):System.Numerics.Vector`1[float]:this (FullOpts)
          36 (6.51 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool],byref):double (FullOpts)
          36 (6.67 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool],byref):int (FullOpts)
          36 (6.61 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool],byref):long (FullOpts)
          36 (6.64 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool],byref):short (FullOpts)
          36 (6.03 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool],byref):System.Nullable`1[int] (FullOpts)
          33 (4.27 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[System.Nullable`1[int]]:AddRange(System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]]):this (FullOpts)
          33 (8.80 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool]):bool (FullOpts)
          28 (5.86 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool],byref):System.Numerics.Vector`1[float] (FullOpts)
          20 (3.04 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool],byref):System.Numerics.Vector`1[float] (FullOpts)
           9 (1.45 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[System.Nullable`1[int]]:TryGetFirstOrLast(byref,bool):System.Nullable`1[int]:this (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[byte](System.Collections.Generic.IEnumerable`1[byte],System.Collections.Generic.IEnumerable`1[byte],System.Collections.Generic.IEqualityComparer`1[byte]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[double](System.Collections.Generic.IEnumerable`1[double],System.Collections.Generic.IEnumerable`1[double],System.Collections.Generic.IEqualityComparer`1[double]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[int](System.Collections.Generic.IEnumerable`1[int],System.Collections.Generic.IEnumerable`1[int],System.Collections.Generic.IEqualityComparer`1[int]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[long](System.Collections.Generic.IEnumerable`1[long],System.Collections.Generic.IEnumerable`1[long],System.Collections.Generic.IEqualityComparer`1[long]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[short](System.Collections.Generic.IEnumerable`1[short],System.Collections.Generic.IEnumerable`1[short],System.Collections.Generic.IEqualityComparer`1[short]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]):bool (FullOpts)
           4 (0.34 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Collections.Generic.IEqualityComparer`1[System.Numerics.Vector`1[float]]):bool (FullOpts)

Top method improvements (bytes):
          -9 (-1.20 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[byte]:AddRange(System.Collections.Generic.IEnumerable`1[byte]):this (FullOpts)
          -7 (-0.92 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[int]:AddRange(System.Collections.Generic.IEnumerable`1[int]):this (FullOpts)
          -7 (-0.92 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[long]:AddRange(System.Collections.Generic.IEnumerable`1[long]):this (FullOpts)
          -7 (-0.92 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[short]:AddRange(System.Collections.Generic.IEnumerable`1[short]):this (FullOpts)

Top method regressions (percentages):
          64 (30.77 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSpan[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],byref):bool (FullOpts)
          68 (12.93 % of base) : System.Linq.dasm - System.Linq.Enumerable:Aggregate[System.__Canon,System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Nullable`1[int],System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]):System.Nullable`1[int] (FullOpts)
          68 (12.64 % of base) : System.Linq.dasm - System.Linq.Enumerable:Count[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool]):int (FullOpts)
          68 (12.19 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool]):bool (FullOpts)
          68 (12.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool]):bool (FullOpts)
          61 (12.08 % of base) : System.Linq.dasm - System.Linq.Enumerable:Contains[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.__Canon,System.Collections.Generic.IEqualityComparer`1[System.__Canon]):bool (FullOpts)
          72 (12.02 % of base) : System.Linq.dasm - System.Linq.Enumerable:Aggregate[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`3[System.__Canon,System.__Canon,System.__Canon]):System.__Canon (FullOpts)
          55 (11.39 % of base) : System.Linq.dasm - System.Linq.Enumerable+IListSkipTakeIterator`1[System.__Canon]:Fill(System.Collections.Generic.IList`1[System.__Canon],System.Span`1[System.__Canon],int) (FullOpts)
          39 (10.68 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool]):bool (FullOpts)
          39 (10.68 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool]):bool (FullOpts)
          39 (10.68 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool]):bool (FullOpts)
          65 (10.67 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool],byref):System.__Canon (FullOpts)
          39 (10.66 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool]):bool (FullOpts)
          39 (10.66 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool]):bool (FullOpts)
          39 (10.40 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool]):bool (FullOpts)
          37 (10.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool]):bool (FullOpts)
          37 (10.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool]):bool (FullOpts)
          37 (10.14 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool]):bool (FullOpts)
          37 (10.11 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool]):bool (FullOpts)
          37 (10.11 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool]):bool (FullOpts)
          40 (10.00 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool],byref):byte (FullOpts)
          40 (10.00 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool],byref):int (FullOpts)
          40 (9.98 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool],byref):short (FullOpts)
          40 (9.90 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool],byref):long (FullOpts)
          46 (9.89 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[int]:TryGetFirstOrLast(byref,bool):int:this (FullOpts)
          46 (9.87 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[long]:TryGetFirstOrLast(byref,bool):long:this (FullOpts)
          46 (9.81 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[byte]:TryGetFirstOrLast(byref,bool):byte:this (FullOpts)
          46 (9.81 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[short]:TryGetFirstOrLast(byref,bool):short:this (FullOpts)
          40 (9.69 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool],byref):double (FullOpts)
          39 (9.51 % of base) : System.Linq.dasm - System.Linq.Enumerable:Any[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool]):bool (FullOpts)
          37 (9.02 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool]):bool (FullOpts)
          52 (8.83 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[double]:TryGetFirstOrLast(byref,bool):double:this (FullOpts)
          33 (8.80 % of base) : System.Linq.dasm - System.Linq.Enumerable:All[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool]):bool (FullOpts)
         162 (8.35 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Collections.Generic.IEnumerable`1[System.__Canon],System.Collections.Generic.IEqualityComparer`1[System.__Canon]):bool (FullOpts)
          38 (8.33 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool],byref):System.Nullable`1[int] (FullOpts)
          61 (8.10 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`2[System.__Canon,bool],byref):System.__Canon (FullOpts)
          61 (7.78 % of base) : System.Linq.dasm - System.Linq.Enumerable+IListSkipTakeIterator`1[System.__Canon]:IndexOf(System.__Canon):int:this (FullOpts)
          38 (7.04 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[byte](System.Collections.Generic.IEnumerable`1[byte],System.Func`2[byte,bool],byref):byte (FullOpts)
          36 (6.67 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[int](System.Collections.Generic.IEnumerable`1[int],System.Func`2[int,bool],byref):int (FullOpts)
          36 (6.64 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[short](System.Collections.Generic.IEnumerable`1[short],System.Func`2[short,bool],byref):short (FullOpts)
          36 (6.61 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[long](System.Collections.Generic.IEnumerable`1[long],System.Func`2[long,bool],byref):long (FullOpts)
          36 (6.51 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[double](System.Collections.Generic.IEnumerable`1[double],System.Func`2[double,bool],byref):double (FullOpts)
          36 (6.03 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Func`2[System.Nullable`1[int],bool],byref):System.Nullable`1[int] (FullOpts)
          47 (6.00 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[System.Numerics.Vector`1[float]]:AddRange(System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]]):this (FullOpts)
          28 (5.86 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetFirst[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool],byref):System.Numerics.Vector`1[float] (FullOpts)
          43 (5.57 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[double]:AddRange(System.Collections.Generic.IEnumerable`1[double]):this (FullOpts)
          33 (4.27 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[System.Nullable`1[int]]:AddRange(System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]]):this (FullOpts)
          55 (4.25 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[System.__Canon]:AddRange(System.Collections.Generic.IEnumerable`1[System.__Canon]):this (FullOpts)
          56 (4.23 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[System.__Canon]:TryGetFirstOrLast(byref,bool):System.__Canon:this (FullOpts)
          37 (4.10 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[System.Numerics.Vector`1[float]]:TryGetFirstOrLast(byref,bool):System.Numerics.Vector`1[float]:this (FullOpts)
          20 (3.04 % of base) : System.Linq.dasm - System.Linq.Enumerable:TryGetSingle[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Func`2[System.Numerics.Vector`1[float],bool],byref):System.Numerics.Vector`1[float] (FullOpts)
          57 (2.73 % of base) : System.Linq.dasm - System.Linq.Enumerable+ShuffleTakeIterator`1[System.__Canon]:Contains(System.__Canon):bool:this (FullOpts)
           9 (1.45 % of base) : System.Linq.dasm - System.Linq.Enumerable+ImplicitlyStableOrderedIterator`1[System.Nullable`1[int]]:TryGetFirstOrLast(byref,bool):System.Nullable`1[int]:this (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[byte](System.Collections.Generic.IEnumerable`1[byte],System.Collections.Generic.IEnumerable`1[byte],System.Collections.Generic.IEqualityComparer`1[byte]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[int](System.Collections.Generic.IEnumerable`1[int],System.Collections.Generic.IEnumerable`1[int],System.Collections.Generic.IEqualityComparer`1[int]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[short](System.Collections.Generic.IEnumerable`1[short],System.Collections.Generic.IEnumerable`1[short],System.Collections.Generic.IEqualityComparer`1[short]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[long](System.Collections.Generic.IEnumerable`1[long],System.Collections.Generic.IEnumerable`1[long],System.Collections.Generic.IEqualityComparer`1[long]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[double](System.Collections.Generic.IEnumerable`1[double],System.Collections.Generic.IEnumerable`1[double],System.Collections.Generic.IEqualityComparer`1[double]):bool (FullOpts)
           4 (0.39 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Collections.Generic.IEnumerable`1[System.Nullable`1[int]],System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]):bool (FullOpts)
           4 (0.34 % of base) : System.Linq.dasm - System.Linq.Enumerable:SequenceEqual[System.Numerics.Vector`1[float]](System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Collections.Generic.IEnumerable`1[System.Numerics.Vector`1[float]],System.Collections.Generic.IEqualityComparer`1[System.Numerics.Vector`1[float]]):bool (FullOpts)

Top method improvements (percentages):
          -9 (-1.20 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[byte]:AddRange(System.Collections.Generic.IEnumerable`1[byte]):this (FullOpts)
          -7 (-0.92 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[int]:AddRange(System.Collections.Generic.IEnumerable`1[int]):this (FullOpts)
          -7 (-0.92 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[long]:AddRange(System.Collections.Generic.IEnumerable`1[long]):this (FullOpts)
          -7 (-0.92 % of base) : System.Linq.dasm - System.Collections.Generic.SegmentedArrayBuilder`1[short]:AddRange(System.Collections.Generic.IEnumerable`1[short]):this (FullOpts)

64 total methods with Code Size differences (4 improved, 60 regressed), 248841 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (88 MB)
• build-artifacts-main.zip (678 MB)
• build-clr-checked-pr.zip (88 MB)
• build-artifacts-pr.zip (678 MB)
• jit-diffs-pr.zip (138 MB)
• jit-diffs-main.zip (138 MB)
• diff-frameworks.txt (27 KB)
• ShortDiffsRegressions.md (50 KB)
• ShortDiffsImprovements.md (51 KB)
• LongDiffsImprovements.md (105 KB)
• LongDiffsRegressions.md (620 KB)

[MihuBot]

Top method regressions

72 (12.02 % of base) - System.Linq.Enumerable:Aggregate[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`3[System.__Canon,System.__Canon,System.__Canon]):System.__Canon

 ; Assembly listing for method System.Linq.Enumerable:Aggregate[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`3[System.__Canon,System.__Canon,System.__Canon]):System.__Canon (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 TypeCtx      [V00,T07] (  9,  5.40)    long  ->  r14         single-def
-;  V01 arg0         [V01,T06] ( 10,  7   )     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IEnumerable`1[System.__Canon]>
+;  V01 arg0         [V01,T05] ( 14,  7.75)     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IEnumerable`1[System.__Canon]>
 ;  V02 arg1         [V02,T01] (  7, 18.92)     ref  ->  rbx         class-hnd single-def <System.Func`3[System.__Canon,System.__Canon,System.__Canon]>
 ;  V03 loc0         [V03,T02] (  7, 17.92)     ref  ->  r14         class-hnd <System.__Canon>
 ;* V04 loc1         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[System.__Canon]>
-;* V05 loc2         [V05,T28] (  0,  0   )     int  ->  zero-ref   
-;  V06 loc3         [V06,T05] (  8,  9.50)     ref  ->  [rbp-0x38]  class-hnd EH-live spill-single-def <System.Collections.Generic.IEnumerator`1[System.__Canon]>
+;* V05 loc2         [V05,T42] (  0,  0   )     int  ->  zero-ref   
+;  V06 loc3         [V06,T06] (  8,  9.50)     ref  ->  [rbp-0x38]  class-hnd EH-live spill-single-def <System.Collections.Generic.IEnumerator`1[System.__Canon]>
 ;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V08 tmp1         [V08    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;  V09 tmp2         [V09,T15] (  4,  3   )    long  ->  r11         "spilling helperCall"
-;  V10 tmp3         [V10,T16] (  3,  3   )    long  ->  r11         "spilling helperCall"
+;  V09 tmp2         [V09,T16] (  4,  3   )    long  ->  r11         "spilling helperCall"
+;  V10 tmp3         [V10,T17] (  3,  3   )    long  ->  r11         "spilling helperCall"
 ;  V11 tmp4         [V11,T00] (  3, 24   )    long  ->  r11         "spilling helperCall"
 ;* V12 tmp5         [V12    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V13 tmp6         [V13,T27] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V13 tmp6         [V13,T41] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
 ;  V14 tmp7         [V14,T09] (  6,  5.60)    long  ->  r13         "Inlining Arg"
-;  V15 tmp8         [V15,T14] (  3,  4   )    long  ->  rax         "spilling helperCall"
-;  V16 tmp9         [V16,T20] (  3,  2   )    long  ->  rax         "spilling helperCall"
-;* V17 tmp10        [V17    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <System.Collections.Generic.List`1[System.__Canon]>
+;  V15 tmp8         [V15,T15] (  2,  4   )    long  ->  rsi         "spilling helperCall"
+;  V16 tmp9         [V16,T26] (  2,  2   )    long  ->  rsi         "spilling helperCall"
+;* V17 tmp10        [V17    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V18 tmp11        [V18    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V19 tmp12        [V19    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V20 tmp13        [V20    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[System.__Canon]>
-;* V21 tmp14        [V21    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <System.__Canon[]>
+;* V21 tmp14        [V21    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V22 tmp15        [V22    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V23 tmp16        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
-;* V24 tmp17        [V24    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V25 tmp18        [V25    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[System.__Canon]>
-;* V26 tmp19        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[System.__Canon]>
-;  V27 tmp20        [V27,T23] (  3,  1.50)     int  ->  r13         "Inline stloc first use temp"
-;  V28 tmp21        [V28,T22] (  3,  1.50)     ref  ->  r12         class-hnd single-def "Inline stloc first use temp" <System.__Canon[]>
-;* V29 tmp22        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
-;* V30 tmp23        [V30    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V31 tmp24        [V31    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V32 tmp25        [V32    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V33 tmp26        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.__Canon]>
-;* V34 tmp27        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
-;* V35 tmp28        [V35    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V36 tmp29        [V36    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V37 tmp30        [V37    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V38 tmp31        [V38    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V39 tmp32        [V39,T12] (  4,  5.46)   byref  ->  r12         "field V04._reference (fldOffset=0x0)" P-INDEP
-;  V40 tmp33        [V40,T08] (  5,  5.96)     int  ->  r13         "field V04._length (fldOffset=0x8)" P-INDEP
-;* V41 tmp34        [V41    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V42 tmp35        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;  V43 tmp36        [V43,T24] (  2,  1   )   byref  ->  r12         single-def "field V23._reference (fldOffset=0x0)" P-INDEP
-;  V44 tmp37        [V44,T26] (  2,  1   )     int  ->  r13         "field V23._length (fldOffset=0x8)" P-INDEP
-;* V45 tmp38        [V45    ] (  0,  0   )   byref  ->  zero-ref    "field V25._reference (fldOffset=0x0)" P-INDEP
-;* V46 tmp39        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V23 tmp16        [V23,T39] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.__Canon[]>
+;* V24 tmp17        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
+;* V25 tmp18        [V25    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V26 tmp19        [V26    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[System.__Canon]>
+;* V27 tmp20        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[System.__Canon]>
+;* V28 tmp21        [V28,T40] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Collections.Generic.List`1[System.__Canon]>
+;  V29 tmp22        [V29,T29] (  3,  1.50)     int  ->  r13         "Inline stloc first use temp"
+;  V30 tmp23        [V30,T27] (  3,  1.50)     ref  ->  r12         class-hnd single-def "Inline stloc first use temp" <System.__Canon[]>
+;* V31 tmp24        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
+;* V32 tmp25        [V32    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V33 tmp26        [V33    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V34 tmp27        [V34    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V35 tmp28        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.__Canon]>
+;* V36 tmp29        [V36    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
+;* V37 tmp30        [V37    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V38 tmp31        [V38    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V39 tmp32        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V40 tmp33        [V40    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V41 tmp34        [V41,T12] (  4,  5.46)   byref  ->  r12         "field V04._reference (fldOffset=0x0)" P-INDEP
+;  V42 tmp35        [V42,T08] (  5,  5.96)     int  ->  r13         "field V04._length (fldOffset=0x8)" P-INDEP
+;* V43 tmp36        [V43    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V44 tmp37        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;  V45 tmp38        [V45,T34] (  2,  1   )   byref  ->  r12         "field V24._reference (fldOffset=0x0)" P-INDEP
+;  V46 tmp39        [V46,T36] (  2,  1   )     int  ->  r13         "field V24._length (fldOffset=0x8)" P-INDEP
 ;* V47 tmp40        [V47    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
 ;* V48 tmp41        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
-;  V49 tmp42        [V49,T25] (  2,  1   )   byref  ->  r12         single-def "field V29._reference (fldOffset=0x0)" P-INDEP
-;* V50 tmp43        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
-;* V51 tmp44        [V51    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V33._reference (fldOffset=0x0)" P-INDEP
-;* V52 tmp45        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
-;* V53 tmp46        [V53    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
-;* V54 tmp47        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
-;  V55 tmp48        [V55,T04] (  2, 16   )     ref  ->  rdx         "argument with side effect"
-;  V56 cse0         [V56,T13] (  3,  5   )    long  ->  r15         "CSE #02: moderate"
-;  V57 rat0         [V57,T03] (  5, 16.34)    long  ->  r15         "Widened IV V05"
-;  V58 rat1         [V58,T10] (  3,  5.60)    long  ->  r13         "fgMakeTemp is creating a new local variable"
-;  V59 rat2         [V59,T11] (  3,  5.60)    long  ->  rax         "fgMakeTemp is creating a new local variable"
-;  V60 rat3         [V60,T17] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
-;  V61 rat4         [V61,T18] (  3,  2.80)    long  ->  r11         "fgMakeTemp is creating a new local variable"
-;  V62 rat5         [V62,T21] (  3,  2   )    long  ->  r15         "runtime lookup"
-;  V63 rat6         [V63,T19] (  3,  2.80)    long  ->  r15         "fgMakeTemp is creating a new local variable"
+;  V49 tmp42        [V49,T28] (  2,  1   )   byref  ->  r12         "field V27._reference (fldOffset=0x0)" P-INDEP
+;  V50 tmp43        [V50,T30] (  2,  1   )     int  ->  r13         "field V27._length (fldOffset=0x8)" P-INDEP
+;  V51 tmp44        [V51,T35] (  2,  1   )   byref  ->  r12         single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V52 tmp45        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V53 tmp46        [V53    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
+;* V54 tmp47        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
+;* V55 tmp48        [V55    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
+;* V56 tmp49        [V56    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
+;  V57 tmp50        [V57,T37] (  2,  1   )    long  ->  rdi         "argument with side effect"
+;  V58 tmp51        [V58,T38] (  2,  1   )    long  ->  rdi         "argument with side effect"
+;  V59 tmp52        [V59,T04] (  2, 16   )     ref  ->  rdx         "argument with side effect"
+;  V60 cse0         [V60,T13] (  3,  5   )    long  ->  r15         "CSE #04: moderate"
+;  V61 cse1         [V61,T31] (  3,  1.25)    long  ->  rdi         "CSE #03: moderate"
+;  V62 cse2         [V62,T23] (  3,  2.25)    long  ->  rdi         "CSE #01: moderate"
+;  V63 rat0         [V63,T03] (  5, 16.34)    long  ->  r15         "Widened IV V05"
+;  V64 rat1         [V64,T21] (  2,  1   )     ref  ->  rsi         "replacement local"
+;  V65 rat2         [V65,T32] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
+;  V66 rat3         [V66,T22] (  2,  1   )     ref  ->  rsi         "replacement local"
+;  V67 rat4         [V67,T33] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
+;  V68 rat5         [V68,T10] (  3,  5.60)    long  ->  r13         "fgMakeTemp is creating a new local variable"
+;  V69 rat6         [V69,T14] (  3,  4   )    long  ->  rdi         "runtime lookup"
+;  V70 rat7         [V70,T11] (  3,  5.60)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
+;  V71 rat8         [V71,T24] (  3,  2   )    long  ->  rdi         "runtime lookup"
+;  V72 rat9         [V72,T18] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
+;  V73 rat10        [V73,T19] (  3,  2.80)    long  ->  r11         "fgMakeTemp is creating a new local variable"
+;  V74 rat11        [V74,T25] (  3,  2   )    long  ->  r15         "runtime lookup"
+;  V75 rat12        [V75,T20] (  3,  2.80)    long  ->  r15         "fgMakeTemp is creating a new local variable"
 ;
 ; Lcl frame size = 24
 
 G_M6414_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x40]
        mov      qword ptr [rbp-0x30], rdi
        mov      r14, rdi
        mov      r15, rsi
        mov      rbx, rdx
 						;; size=32 bbWeight=1 PerfScore 8.50
 G_M6414_IG02:
        test     r15, r15
-       je       G_M6414_IG25
+       je       G_M6414_IG30
        test     rbx, rbx
-       je       G_M6414_IG26
+       je       G_M6414_IG31
        mov      rdi, qword ptr [r14+0x18]
        mov      r13, qword ptr [rdi+0x10]
        test     r13, r13
-       je       SHORT G_M6414_IG06
+       je       SHORT G_M6414_IG08
 						;; size=31 bbWeight=1 PerfScore 7.75
 G_M6414_IG03:
        mov      rdi, qword ptr [r13+0x18]
-       mov      rax, qword ptr [rdi+0x10]
-       test     rax, rax
-       je       SHORT G_M6414_IG07
+       mov      rdi, qword ptr [rdi+0x10]
+       test     rdi, rdi
+       je       SHORT G_M6414_IG09
 						;; size=13 bbWeight=1 PerfScore 5.25
 G_M6414_IG04:
-       cmp      qword ptr [r15], rax
-       jne      SHORT G_M6414_IG08
-						;; size=5 bbWeight=1 PerfScore 4.00
+       mov      rsi, rdi
+       cmp      qword ptr [r15], rsi
+       jne      SHORT G_M6414_IG10
+						;; size=8 bbWeight=1 PerfScore 4.25
 G_M6414_IG05:
+       mov      rsi, r15
+       cmp      qword ptr [rsi], rdi
+       je       SHORT G_M6414_IG07
+						;; size=8 bbWeight=0.25 PerfScore 1.06
+G_M6414_IG06:
+       mov      rsi, r15
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTARRAY
+       call     [rax]CORINFO_HELP_CHKCASTARRAY
+						;; size=15 bbWeight=0.12 PerfScore 0.44
+G_M6414_IG07:
        lea      r12, bword ptr [r15+0x10]
        mov      r13d, dword ptr [r15+0x08]
-       jmp      SHORT G_M6414_IG10
-						;; size=10 bbWeight=0.50 PerfScore 2.25
-G_M6414_IG06:
+       jmp      G_M6414_IG15
+						;; size=13 bbWeight=0.50 PerfScore 2.25
+G_M6414_IG08:
        mov      rdi, r14
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r13, rax
        jmp      SHORT G_M6414_IG03
 						;; size=30 bbWeight=0.20 PerfScore 1.20
-G_M6414_IG07:
+G_M6414_IG09:
        mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       mov      rdi, rax
        jmp      SHORT G_M6414_IG04
-						;; size=27 bbWeight=0.20 PerfScore 1.15
-G_M6414_IG08:
+						;; size=30 bbWeight=0.20 PerfScore 1.20
+G_M6414_IG10:
        mov      rdi, qword ptr [r13+0x18]
-       mov      rax, qword ptr [rdi+0x18]
-       test     rax, rax
+       mov      rdi, qword ptr [rdi+0x18]
+       test     rdi, rdi
+       je       G_M6414_IG19
+						;; size=17 bbWeight=0.50 PerfScore 2.62
+G_M6414_IG11:
+       mov      rsi, rdi
+       cmp      qword ptr [r15], rsi
+       jne      G_M6414_IG20
+						;; size=12 bbWeight=0.50 PerfScore 2.12
+G_M6414_IG12:
+       mov      rsi, r15
+       cmp      qword ptr [rsi], rdi
        je       SHORT G_M6414_IG14
-						;; size=13 bbWeight=0.50 PerfScore 2.62
-G_M6414_IG09:
-       cmp      qword ptr [r15], rax
-       jne      SHORT G_M6414_IG15
+						;; size=8 bbWeight=0.25 PerfScore 1.06
+G_M6414_IG13:
+       mov      rsi, r15
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTCLASS
+       call     [rax]CORINFO_HELP_CHKCASTCLASS
+						;; size=15 bbWeight=0.12 PerfScore 0.44
+G_M6414_IG14:
        mov      r13d, dword ptr [r15+0x10]
        mov      r12, gword ptr [r15+0x08]
        cmp      dword ptr [r12+0x08], r13d
-       jb       G_M6414_IG27
+       jb       G_M6414_IG32
        add      r12, 16
-						;; size=28 bbWeight=0.50 PerfScore 6.12
-G_M6414_IG10:
+						;; size=23 bbWeight=0.50 PerfScore 4.12
+G_M6414_IG15:
        test     r13d, r13d
-       je       G_M6414_IG28
+       je       G_M6414_IG33
        mov      r14, gword ptr [r12]
        mov      r15d, 1
        cmp      r13d, 1
-       jle      SHORT G_M6414_IG12
+       jle      SHORT G_M6414_IG17
 						;; size=25 bbWeight=0.50 PerfScore 2.38
-G_M6414_IG11:
+G_M6414_IG16:
        mov      rdx, gword ptr [r12+8*r15]
        mov      rsi, r14
        mov      rdi, gword ptr [rbx+0x08]
        call     [rbx+0x18]System.Func`3[System.__Canon,System.__Canon,System.__Canon]:Invoke(System.__Canon,System.__Canon):System.__Canon:this
        mov      r14, rax
        inc      r15d
        cmp      r15d, r13d
-       jl       SHORT G_M6414_IG11
+       jl       SHORT G_M6414_IG16
 						;; size=25 bbWeight=3.96 PerfScore 35.64
-G_M6414_IG12:
+G_M6414_IG17:
        mov      rax, r14
 						;; size=3 bbWeight=1 PerfScore 0.25
-G_M6414_IG13:
+G_M6414_IG18:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
-G_M6414_IG14:
+G_M6414_IG19:
        mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       jmp      SHORT G_M6414_IG09
-						;; size=27 bbWeight=0.10 PerfScore 0.58
-G_M6414_IG15:
+       mov      rdi, rax
+       jmp      G_M6414_IG11
+						;; size=33 bbWeight=0.10 PerfScore 0.60
+G_M6414_IG20:
        mov      rdi, qword ptr [r14+0x18]
        mov      r11, qword ptr [rdi+0x18]
        test     r11, r11
-       je       G_M6414_IG24
+       je       G_M6414_IG29
 						;; size=17 bbWeight=0.50 PerfScore 2.62
-G_M6414_IG16:
+G_M6414_IG21:
        mov      rdi, r15
        call     [r11]
        mov      gword ptr [rbp-0x38], rax
 						;; size=10 bbWeight=0.50 PerfScore 2.12
-G_M6414_IG17:
+G_M6414_IG22:
        mov      rdi, rax
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.IEnumerator:MoveNext():bool:this
        call     [r11]System.Collections.IEnumerator:MoveNext():bool:this
        test     eax, eax
-       je       SHORT G_M6414_IG22
+       je       SHORT G_M6414_IG27
        mov      rdi, qword ptr [r14+0x18]
        mov      r15, qword ptr [rdi+0x20]
        test     r15, r15
-       je       SHORT G_M6414_IG21
+       je       SHORT G_M6414_IG26
 						;; size=33 bbWeight=0.50 PerfScore 5.00
-G_M6414_IG18:
+G_M6414_IG23:
        mov      r11, r15
        mov      rdi, gword ptr [rbp-0x38]
        call     [r11]
        mov      r14, rax
-       jmp      SHORT G_M6414_IG20
+       jmp      SHORT G_M6414_IG25
 						;; size=15 bbWeight=0.50 PerfScore 3.25
-G_M6414_IG19:
+G_M6414_IG24:
        mov      r11, r15
        mov      rdi, gword ptr [rbp-0x38]
        call     [r11]
        mov      rdx, rax
        mov      rsi, r14
        mov      rdi, gword ptr [rbx+0x08]
        call     [rbx+0x18]System.Func`3[System.__Canon,System.__Canon,System.__Canon]:Invoke(System.__Canon,System.__Canon):System.__Canon:this
        mov      r14, rax
 						;; size=26 bbWeight=4 PerfScore 40.00
-G_M6414_IG20:
+G_M6414_IG25:
        mov      rdi, gword ptr [rbp-0x38]
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.IEnumerator:MoveNext():bool:this
        call     [r11]System.Collections.IEnumerator:MoveNext():bool:this
        test     eax, eax
-       jne      SHORT G_M6414_IG19
-       jmp      SHORT G_M6414_IG23
+       jne      SHORT G_M6414_IG24
+       jmp      SHORT G_M6414_IG28
 						;; size=23 bbWeight=4 PerfScore 30.00
-G_M6414_IG21:
+G_M6414_IG26:
        mov      rdi, r14
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r15, rax
-       jmp      SHORT G_M6414_IG18
+       jmp      SHORT G_M6414_IG23
 						;; size=30 bbWeight=0.10 PerfScore 0.60
-G_M6414_IG22:
+G_M6414_IG27:
        mov      rax, 0xD1FFAB1E      ; code for System.Linq.ThrowHelper:ThrowNoElementsException()
        call     [rax]System.Linq.ThrowHelper:ThrowNoElementsException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M6414_IG23:
+G_M6414_IG28:
        mov      rdi, gword ptr [rbp-0x38]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
-       jmp      G_M6414_IG12
+       jmp      G_M6414_IG17
 						;; size=22 bbWeight=0.50 PerfScore 3.12
-G_M6414_IG24:
+G_M6414_IG29:
        mov      rdi, r14
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r11, rax
-       jmp      G_M6414_IG16
+       jmp      G_M6414_IG21
 						;; size=33 bbWeight=0.10 PerfScore 0.60
-G_M6414_IG25:
+G_M6414_IG30:
        mov      edi, 17
        mov      rax, 0xD1FFAB1E      ; code for System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
-G_M6414_IG26:
+G_M6414_IG31:
        mov      edi, 5
        mov      rax, 0xD1FFAB1E      ; code for System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
-G_M6414_IG27:
+G_M6414_IG32:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M6414_IG28:
+G_M6414_IG33:
        mov      rax, 0xD1FFAB1E      ; code for System.Linq.ThrowHelper:ThrowNoElementsException()
        call     [rax]System.Linq.ThrowHelper:ThrowNoElementsException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M6414_IG29:
+G_M6414_IG34:
        push     rax
 						;; size=1 bbWeight=0 PerfScore 0.00
-G_M6414_IG30:
+G_M6414_IG35:
        cmp      gword ptr [rbp-0x38], 0
-       je       SHORT G_M6414_IG31
+       je       SHORT G_M6414_IG36
        mov      rdi, gword ptr [rbp-0x38]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=0 PerfScore 0.00
-G_M6414_IG31:
+G_M6414_IG36:
        nop      
 						;; size=1 bbWeight=0 PerfScore 0.00
-G_M6414_IG32:
+G_M6414_IG37:
        add      rsp, 8
        ret      
 						;; size=5 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 599, prolog size 32, PerfScore 169.27, instruction count 156, allocated bytes for code 599 (MethodHash=5461e6f1) for method System.Linq.Enumerable:Aggregate[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`3[System.__Canon,System.__Canon,System.__Canon]):System.__Canon (FullOpts)
+; Total bytes of code 671, prolog size 32, PerfScore 172.72, instruction count 172, allocated bytes for code 671 (MethodHash=5461e6f1) for method System.Linq.Enumerable:Aggregate[System.__Canon](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Func`3[System.__Canon,System.__Canon,System.__Canon]):System.__Canon (FullOpts)
 ; ============================================================

68 (12.93 % of base) - System.Linq.Enumerable:Aggregate[System.__Canon,System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Nullable`1[int],System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]):System.Nullable`1[int]

 ; Assembly listing for method System.Linq.Enumerable:Aggregate[System.__Canon,System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Nullable`1[int],System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]):System.Nullable`1[int] (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 4 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 TypeCtx      [V00,T07] (  9,  9.60)    long  ->  r15         single-def
-;  V01 arg0         [V01,T08] ( 10,  7   )     ref  ->  r14         class-hnd single-def <System.Collections.Generic.IEnumerable`1[System.__Canon]>
+;  V01 arg0         [V01,T08] ( 14,  7.75)     ref  ->  r14         class-hnd single-def <System.Collections.Generic.IEnumerable`1[System.__Canon]>
 ;  V02 arg1         [V02,T13] (  3,  3   )  struct ( 8) rdx         single-def <System.Nullable`1[int]>
 ;  V03 arg2         [V03,T02] (  7, 18.92)     ref  ->  rbx         class-hnd single-def <System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]>
 ;  V04 loc0         [V04,T03] (  6, 17.92)  struct ( 8) [rbp-0x30]  do-not-enreg[SR] multireg-ret <System.Nullable`1[int]>
 ;* V05 loc1         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[System.__Canon]>
 ;* V06 loc2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[System.__Canon]>
-;* V07 loc3         [V07,T29] (  0,  0   )     int  ->  zero-ref   
+;* V07 loc3         [V07,T43] (  0,  0   )     int  ->  zero-ref   
 ;* V08 loc4         [V08    ] (  0,  0   )     ref  ->  zero-ref    class-hnd <System.__Canon>
 ;  V09 loc5         [V09,T09] (  6,  8.50)     ref  ->  [rbp-0x38]  class-hnd EH-live spill-single-def <System.Collections.Generic.IEnumerator`1[System.__Canon]>
 ;* V10 loc6         [V10    ] (  0,  0   )     ref  ->  zero-ref    class-hnd <System.__Canon>
 ;# V11 OutArgs      [V11    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V12 tmp1         [V12    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;  V13 tmp2         [V13,T16] (  4,  3   )    long  ->  r11         "spilling helperCall"
+;  V13 tmp2         [V13,T17] (  4,  3   )    long  ->  r11         "spilling helperCall"
 ;  V14 tmp3         [V14,T00] (  4, 24   )    long  ->  r11         "spilling helperCall"
-;* V15 tmp4         [V15,T28] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V15 tmp4         [V15,T42] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
 ;  V16 tmp5         [V16,T10] (  6,  5.60)    long  ->  r13         "Inlining Arg"
-;  V17 tmp6         [V17,T15] (  3,  4   )    long  ->  rax         "spilling helperCall"
-;  V18 tmp7         [V18,T19] (  3,  2   )    long  ->  rax         "spilling helperCall"
-;* V19 tmp8         [V19    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <System.Collections.Generic.List`1[System.__Canon]>
+;  V17 tmp6         [V17,T16] (  2,  4   )    long  ->  rsi         "spilling helperCall"
+;  V18 tmp7         [V18,T24] (  2,  2   )    long  ->  rsi         "spilling helperCall"
+;* V19 tmp8         [V19    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V20 tmp9         [V20    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V21 tmp10        [V21    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V22 tmp11        [V22    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[System.__Canon]>
-;* V23 tmp12        [V23    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <System.__Canon[]>
+;* V23 tmp12        [V23    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;* V24 tmp13        [V24    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V25 tmp14        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
-;* V26 tmp15        [V26    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V27 tmp16        [V27    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[System.__Canon]>
-;* V28 tmp17        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[System.__Canon]>
-;  V29 tmp18        [V29,T22] (  3,  1.50)     int  ->  r15         "Inline stloc first use temp"
-;  V30 tmp19        [V30,T20] (  3,  1.50)     ref  ->  r13         class-hnd single-def "Inline stloc first use temp" <System.__Canon[]>
-;* V31 tmp20        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
-;* V32 tmp21        [V32    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V33 tmp22        [V33    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V34 tmp23        [V34    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V35 tmp24        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.__Canon]>
-;* V36 tmp25        [V36    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
-;* V37 tmp26        [V37    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V38 tmp27        [V38    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
-;* V39 tmp28        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V40 tmp29        [V40    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V41 tmp30        [V41,T21] (  3,  1.50)   byref  ->  r13         "field V05._reference (fldOffset=0x0)" P-INDEP
-;  V42 tmp31        [V42,T23] (  3,  1.50)     int  ->  r15         "field V05._length (fldOffset=0x8)" P-INDEP
-;  V43 tmp32        [V43,T14] (  2,  4.46)   byref  ->  r13         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;  V44 tmp33        [V44,T24] (  3,  1.50)     int  ->  r15         "field V06._length (fldOffset=0x8)" P-INDEP
-;* V45 tmp34        [V45    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V46 tmp35        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;  V47 tmp36        [V47,T25] (  2,  1   )   byref  ->  r13         single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;  V48 tmp37        [V48,T27] (  2,  1   )     int  ->  r15         "field V25._length (fldOffset=0x8)" P-INDEP
-;* V49 tmp38        [V49    ] (  0,  0   )   byref  ->  zero-ref    "field V27._reference (fldOffset=0x0)" P-INDEP
-;* V50 tmp39        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
+;* V25 tmp14        [V25,T40] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.__Canon[]>
+;* V26 tmp15        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
+;* V27 tmp16        [V27    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V28 tmp17        [V28    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[System.__Canon]>
+;* V29 tmp18        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[System.__Canon]>
+;* V30 tmp19        [V30,T41] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Collections.Generic.List`1[System.__Canon]>
+;  V31 tmp20        [V31,T28] (  3,  1.50)     int  ->  r15         "Inline stloc first use temp"
+;  V32 tmp21        [V32,T25] (  3,  1.50)     ref  ->  r13         class-hnd single-def "Inline stloc first use temp" <System.__Canon[]>
+;* V33 tmp22        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[System.__Canon]>
+;* V34 tmp23        [V34    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V35 tmp24        [V35    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V36 tmp25        [V36    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V37 tmp26        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[System.__Canon]>
+;* V38 tmp27        [V38    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.__Canon]>
+;* V39 tmp28        [V39    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V40 tmp29        [V40    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
+;* V41 tmp30        [V41    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V42 tmp31        [V42    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V43 tmp32        [V43,T26] (  3,  1.50)   byref  ->  r13         "field V05._reference (fldOffset=0x0)" P-INDEP
+;  V44 tmp33        [V44,T29] (  3,  1.50)     int  ->  r15         "field V05._length (fldOffset=0x8)" P-INDEP
+;  V45 tmp34        [V45,T14] (  2,  4.46)   byref  ->  r13         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;  V46 tmp35        [V46,T30] (  3,  1.50)     int  ->  r15         "field V06._length (fldOffset=0x8)" P-INDEP
+;* V47 tmp36        [V47    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V48 tmp37        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;  V49 tmp38        [V49,T35] (  2,  1   )   byref  ->  r13         "field V26._reference (fldOffset=0x0)" P-INDEP
+;  V50 tmp39        [V50,T37] (  2,  1   )     int  ->  r15         "field V26._length (fldOffset=0x8)" P-INDEP
 ;* V51 tmp40        [V51    ] (  0,  0   )   byref  ->  zero-ref    "field V28._reference (fldOffset=0x0)" P-INDEP
 ;* V52 tmp41        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
-;  V53 tmp42        [V53,T26] (  2,  1   )   byref  ->  r13         single-def "field V31._reference (fldOffset=0x0)" P-INDEP
-;* V54 tmp43        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
-;* V55 tmp44        [V55    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
-;* V56 tmp45        [V56    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
-;* V57 tmp46        [V57    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
-;* V58 tmp47        [V58    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
-;  V59 tmp48        [V59,T04] (  2, 16   )     ref  ->  rdx         "argument with side effect"
-;  V60 rat0         [V60,T05] (  4, 12.38)    long  ->  r14         "Strength reduced derived IV"
-;  V61 rat1         [V61,T06] (  4, 12.38)     int  ->  r15         "Trip count IV"
-;  V62 rat2         [V62,T11] (  3,  5.60)    long  ->  r13         "fgMakeTemp is creating a new local variable"
-;  V63 rat3         [V63,T12] (  3,  5.60)    long  ->  rax         "fgMakeTemp is creating a new local variable"
-;  V64 rat4         [V64,T17] (  3,  2.80)    long  ->  rax         "fgMakeTemp is creating a new local variable"
-;  V65 rat5         [V65,T18] (  3,  2.80)    long  ->  r11         "fgMakeTemp is creating a new local variable"
-;  V66 rat6         [V66,T01] (  3, 22.40)    long  ->  r11         "fgMakeTemp is creating a new local variable"
+;  V53 tmp42        [V53,T27] (  2,  1   )   byref  ->  r13         "field V29._reference (fldOffset=0x0)" P-INDEP
+;  V54 tmp43        [V54,T31] (  2,  1   )     int  ->  r15         "field V29._length (fldOffset=0x8)" P-INDEP
+;  V55 tmp44        [V55,T36] (  2,  1   )   byref  ->  r13         single-def "field V33._reference (fldOffset=0x0)" P-INDEP
+;* V56 tmp45        [V56    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
+;* V57 tmp46        [V57    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V58 tmp47        [V58    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
+;* V59 tmp48        [V59    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V38._reference (fldOffset=0x0)" P-INDEP
+;* V60 tmp49        [V60    ] (  0,  0   )     int  ->  zero-ref    "field V38._length (fldOffset=0x8)" P-INDEP
+;  V61 tmp50        [V61,T38] (  2,  1   )    long  ->  rdi         "argument with side effect"
+;  V62 tmp51        [V62,T39] (  2,  1   )    long  ->  rdi         "argument with side effect"
+;  V63 tmp52        [V63,T04] (  2, 16   )     ref  ->  rdx         "argument with side effect"
+;  V64 cse0         [V64,T32] (  3,  1.25)    long  ->  rdi         "CSE #03: moderate"
+;  V65 cse1         [V65,T22] (  3,  2.25)    long  ->  rdi         "CSE #01: moderate"
+;  V66 rat0         [V66,T05] (  4, 12.38)    long  ->  r14         "Strength reduced derived IV"
+;  V67 rat1         [V67,T06] (  4, 12.38)     int  ->  r15         "Trip count IV"
+;  V68 rat2         [V68,T20] (  2,  1   )     ref  ->  rsi         "replacement local"
+;  V69 rat3         [V69,T33] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
+;  V70 rat4         [V70,T21] (  2,  1   )     ref  ->  rsi         "replacement local"
+;  V71 rat5         [V71,T34] (  3,  1.25)    long  ->  rdi         "CSE for expectedClsNode"
+;  V72 rat6         [V72,T11] (  3,  5.60)    long  ->  r13         "fgMakeTemp is creating a new local variable"
+;  V73 rat7         [V73,T15] (  3,  4   )    long  ->  rdi         "runtime lookup"
+;  V74 rat8         [V74,T12] (  3,  5.60)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
+;  V75 rat9         [V75,T23] (  3,  2   )    long  ->  rdi         "runtime lookup"
+;  V76 rat10        [V76,T18] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
+;  V77 rat11        [V77,T19] (  3,  2.80)    long  ->  r11         "fgMakeTemp is creating a new local variable"
+;  V78 rat12        [V78,T01] (  3, 22.40)    long  ->  r11         "fgMakeTemp is creating a new local variable"
 ;
 ; Lcl frame size = 32
 
 G_M28982_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     rbx
        sub      rsp, 32
        lea      rbp, [rsp+0x40]
        mov      qword ptr [rbp-0x28], rdi
        mov      r15, rdi
        mov      r14, rsi
        mov      rbx, rcx
 						;; size=30 bbWeight=1 PerfScore 7.50
 G_M28982_IG02:
        test     r14, r14
-       je       G_M28982_IG22
+       je       G_M28982_IG27
        test     rbx, rbx
-       je       G_M28982_IG23
+       je       G_M28982_IG28
        mov      qword ptr [rbp-0x30], rdx
        mov      rdi, qword ptr [r15+0x18]
        mov      r13, qword ptr [rdi+0x18]
        test     r13, r13
-       je       SHORT G_M28982_IG06
+       je       SHORT G_M28982_IG08
 						;; size=35 bbWeight=1 PerfScore 8.75
 G_M28982_IG03:
        mov      rdi, qword ptr [r13+0x18]
-       mov      rax, qword ptr [rdi+0x10]
-       test     rax, rax
-       je       SHORT G_M28982_IG07
+       mov      rdi, qword ptr [rdi+0x10]
+       test     rdi, rdi
+       je       SHORT G_M28982_IG09
 						;; size=13 bbWeight=1 PerfScore 5.25
 G_M28982_IG04:
-       cmp      qword ptr [r14], rax
-       jne      SHORT G_M28982_IG08
-						;; size=5 bbWeight=1 PerfScore 4.00
+       mov      rsi, rdi
+       cmp      qword ptr [r14], rsi
+       jne      SHORT G_M28982_IG10
+						;; size=8 bbWeight=1 PerfScore 4.25
 G_M28982_IG05:
+       mov      rsi, r14
+       cmp      qword ptr [rsi], rdi
+       je       SHORT G_M28982_IG07
+						;; size=8 bbWeight=0.25 PerfScore 1.06
+G_M28982_IG06:
+       mov      rsi, r14
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTARRAY
+       call     [rax]CORINFO_HELP_CHKCASTARRAY
+						;; size=15 bbWeight=0.12 PerfScore 0.44
+G_M28982_IG07:
        lea      r13, bword ptr [r14+0x10]
        mov      r15d, dword ptr [r14+0x08]
-       jmp      SHORT G_M28982_IG10
-						;; size=10 bbWeight=0.50 PerfScore 2.25
-G_M28982_IG06:
+       jmp      G_M28982_IG15
+						;; size=13 bbWeight=0.50 PerfScore 2.25
+G_M28982_IG08:
        mov      rdi, r15
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r13, rax
        jmp      SHORT G_M28982_IG03
 						;; size=30 bbWeight=0.20 PerfScore 1.20
-G_M28982_IG07:
+G_M28982_IG09:
        mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
+       mov      rdi, rax
        jmp      SHORT G_M28982_IG04
-						;; size=27 bbWeight=0.20 PerfScore 1.15
-G_M28982_IG08:
+						;; size=30 bbWeight=0.20 PerfScore 1.20
+G_M28982_IG10:
        mov      rdi, qword ptr [r13+0x18]
-       mov      rax, qword ptr [rdi+0x18]
-       test     rax, rax
-       je       SHORT G_M28982_IG14
+       mov      rdi, qword ptr [rdi+0x18]
+       test     rdi, rdi
+       je       SHORT G_M28982_IG19
 						;; size=13 bbWeight=0.50 PerfScore 2.62
-G_M28982_IG09:
-       cmp      qword ptr [r14], rax
-       jne      SHORT G_M28982_IG15
+G_M28982_IG11:
+       mov      rsi, rdi
+       cmp      qword ptr [r14], rsi
+       jne      G_M28982_IG20
+						;; size=12 bbWeight=0.50 PerfScore 2.12
+G_M28982_IG12:
+       mov      rsi, r14
+       cmp      qword ptr [rsi], rdi
+       je       SHORT G_M28982_IG14
+						;; size=8 bbWeight=0.25 PerfScore 1.06
+G_M28982_IG13:
+       mov      rsi, r14
+       mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_CHKCASTCLASS
+       call     [rax]CORINFO_HELP_CHKCASTCLASS
+						;; size=15 bbWeight=0.12 PerfScore 0.44
+G_M28982_IG14:
        mov      r15d, dword ptr [r14+0x10]
        mov      r13, gword ptr [r14+0x08]
        cmp      dword ptr [r13+0x08], r15d
-       jb       G_M28982_IG24
+       jb       G_M28982_IG29
        add      r13, 16
-						;; size=27 bbWeight=0.50 PerfScore 6.12
-G_M28982_IG10:
+						;; size=22 bbWeight=0.50 PerfScore 4.12
+G_M28982_IG15:
        test     r15d, r15d
-       jle      SHORT G_M28982_IG12
+       jle      SHORT G_M28982_IG17
        xor      r14d, r14d
 						;; size=8 bbWeight=0.50 PerfScore 0.75
-G_M28982_IG11:
+G_M28982_IG16:
        mov      rdx, gword ptr [r14+r13]
        mov      rsi, qword ptr [rbp-0x30]
        mov      rdi, gword ptr [rbx+0x08]
        call     [rbx+0x18]System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]:Invoke(System.Nullable`1[int],System.__Canon):System.Nullable`1[int]:this
        mov      qword ptr [rbp-0x30], rax
        add      r14, 8
        dec      r15d
-       jne      SHORT G_M28982_IG11
+       jne      SHORT G_M28982_IG16
 						;; size=28 bbWeight=3.96 PerfScore 41.58
-G_M28982_IG12:
+G_M28982_IG17:
        mov      rax, qword ptr [rbp-0x30]
 						;; size=4 bbWeight=1 PerfScore 1.00
-G_M28982_IG13:
+G_M28982_IG18:
        add      rsp, 32
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=13 bbWeight=1 PerfScore 3.75
-G_M28982_IG14:
+G_M28982_IG19:
        mov      rdi, r13
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
-       jmp      SHORT G_M28982_IG09
-						;; size=27 bbWeight=0.10 PerfScore 0.58
-G_M28982_IG15:
+       mov      rdi, rax
+       jmp      G_M28982_IG11
+						;; size=33 bbWeight=0.10 PerfScore 0.60
+G_M28982_IG20:
        mov      rdi, qword ptr [r15+0x18]
        mov      r11, qword ptr [rdi+0x20]
        test     r11, r11
-       je       G_M28982_IG21
+       je       G_M28982_IG26
 						;; size=17 bbWeight=0.50 PerfScore 2.62
-G_M28982_IG16:
+G_M28982_IG21:
        mov      rdi, r14
        call     [r11]
        mov      gword ptr [rbp-0x38], rax
 						;; size=10 bbWeight=0.50 PerfScore 2.12
-G_M28982_IG17:
+G_M28982_IG22:
        mov      rdi, rax
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.IEnumerator:MoveNext():bool:this
        call     [r11]System.Collections.IEnumerator:MoveNext():bool:this
        test     eax, eax
-       je       SHORT G_M28982_IG20
+       je       SHORT G_M28982_IG25
        mov      rdi, qword ptr [r15+0x18]
        mov      r11, qword ptr [rdi+0x28]
        test     r11, r11
-       je       SHORT G_M28982_IG19
+       je       SHORT G_M28982_IG24
 						;; size=33 bbWeight=4 PerfScore 40.00
-G_M28982_IG18:
+G_M28982_IG23:
        mov      rdi, gword ptr [rbp-0x38]
        call     [r11]
        mov      rdx, rax
        mov      rsi, qword ptr [rbp-0x30]
        mov      rdi, gword ptr [rbx+0x08]
        call     [rbx+0x18]System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]:Invoke(System.Nullable`1[int],System.__Canon):System.Nullable`1[int]:this
        mov      qword ptr [rbp-0x30], rax
        mov      rax, gword ptr [rbp-0x38]
-       jmp      SHORT G_M28982_IG17
+       jmp      SHORT G_M28982_IG22
 						;; size=31 bbWeight=4 PerfScore 57.00
-G_M28982_IG19:
+G_M28982_IG24:
        mov      rdi, r15
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r11, rax
-       jmp      SHORT G_M28982_IG18
+       jmp      SHORT G_M28982_IG23
 						;; size=30 bbWeight=0.80 PerfScore 4.80
-G_M28982_IG20:
+G_M28982_IG25:
        mov      rdi, gword ptr [rbp-0x38]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
-       jmp      G_M28982_IG12
+       jmp      G_M28982_IG17
 						;; size=22 bbWeight=0.50 PerfScore 3.12
-G_M28982_IG21:
+G_M28982_IG26:
        mov      rdi, r15
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      r11, rax
-       jmp      G_M28982_IG16
+       jmp      G_M28982_IG21
 						;; size=33 bbWeight=0.10 PerfScore 0.60
-G_M28982_IG22:
+G_M28982_IG27:
        mov      edi, 17
        mov      rax, 0xD1FFAB1E      ; code for System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
-G_M28982_IG23:
+G_M28982_IG28:
        mov      edi, 5
        mov      rax, 0xD1FFAB1E      ; code for System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.Linq.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
-G_M28982_IG24:
+G_M28982_IG29:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M28982_IG25:
+G_M28982_IG30:
        push     rax
 						;; size=1 bbWeight=0 PerfScore 0.00
-G_M28982_IG26:
+G_M28982_IG31:
        cmp      gword ptr [rbp-0x38], 0
-       je       SHORT G_M28982_IG27
+       je       SHORT G_M28982_IG32
        mov      rdi, gword ptr [rbp-0x38]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=0 PerfScore 0.00
-G_M28982_IG27:
+G_M28982_IG32:
        nop      
 						;; size=1 bbWeight=0 PerfScore 0.00
-G_M28982_IG28:
+G_M28982_IG33:
        add      rsp, 8
        ret      
 						;; size=5 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 526, prolog size 30, PerfScore 196.78, instruction count 136, allocated bytes for code 526 (MethodHash=f5ab8ec9) for method System.Linq.Enumerable:Aggregate[System.__Canon,System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Nullable`1[int],System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]):System.Nullable`1[int] (FullOpts)
+; Total bytes of code 594, prolog size 30, PerfScore 200.23, instruction count 152, allocated bytes for code 594 (MethodHash=f5ab8ec9) for method System.Linq.Enumerable:Aggregate[System.__Canon,System.Nullable`1[int]](System.Collections.Generic.IEnumerable`1[System.__Canon],System.Nullable`1[int],System.Func`3[System.Nullable`1[int],System.__Canon,System.Nullable`1[int]]):System.Nullable`1[int] (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/b23a43095a057873b1d4092d19852864

[MihuBot]

Top method improvements

-9 (-1.20 % of base) - System.Collections.Generic.SegmentedArrayBuilder`1[byte]:AddRange(System.Collections.Generic.IEnumerable`1[byte]):this

 ; Assembly listing for method System.Collections.Generic.SegmentedArrayBuilder`1[byte]:AddRange(System.Collections.Generic.IEnumerable`1[byte]):this (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; 14 single block inlinees; 12 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T00] ( 30, 26.50)   byref  ->  rbx         this single-def
-;  V01 arg1         [V01,T06] (  9,  6   )     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IEnumerable`1[byte]>
+;  V00 this         [V00,T00] ( 31, 27   )   byref  ->  rbx         this single-def
+;  V01 arg1         [V01,T05] ( 10,  6.50)     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IEnumerable`1[byte]>
 ;  V02 loc0         [V02,T11] (  5,  3.50)     ref  ->  r14         class-hnd single-def <System.Collections.Generic.ICollection`1[byte]>
 ;  V03 loc1         [V03,T12] (  6,  3   )     int  ->  r13        
 ;* V04 loc2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
-;  V05 loc3         [V05,T22] (  3,  1.50)     int  ->  r15        
+;  V05 loc3         [V05,T23] (  3,  1.50)     int  ->  r15        
 ;* V06 loc4         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
-;  V07 loc5         [V07,T23] (  3,  1.50)     int  ->  rdi        
+;  V07 loc5         [V07,T24] (  3,  1.50)     int  ->  rdi        
 ;* V08 loc6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte[]]>
 ;* V09 loc7         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte[]]>
 ;# V10 OutArgs      [V10    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V11 tmp1         [V11,T35] (  0,  0   )     int  ->  zero-ref   
-;  V12 tmp2         [V12,T15] (  3,  3   )     int  ->  r12         "Span.get_Item index"
+;* V11 tmp1         [V11,T37] (  0,  0   )     int  ->  zero-ref   
+;  V12 tmp2         [V12,T15] (  3,  3   )     int  ->  rdi         "Span.get_Item index"
 ;  V13 tmp3         [V13,T16] (  3,  3   )     int  ->  rdi         "Span.get_Item index"
 ;* V14 tmp4         [V14    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V15 tmp5         [V15,T36] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
-;* V16 tmp6         [V16    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <System.Collections.Generic.List`1[byte]>
-;* V17 tmp7         [V17    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V18 tmp8         [V18    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <byte[]>
-;* V19 tmp9         [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V20 tmp10        [V20    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[byte]>
-;* V21 tmp11        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V22 tmp12        [V22,T24] (  3,  1.50)     int  ->  r14         "Inline stloc first use temp"
+;* V15 tmp5         [V15,T38] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V16 tmp6         [V16    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V17 tmp7         [V17,T35] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <byte[]>
+;* V18 tmp8         [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V19 tmp9         [V19    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[byte]>
+;* V20 tmp10        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;* V21 tmp11        [V21,T36] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Collections.Generic.List`1[byte]>
+;  V22 tmp12        [V22,T25] (  3,  1.50)     int  ->  r14         "Inline stloc first use temp"
 ;  V23 tmp13        [V23,T21] (  3,  1.50)     ref  ->  r13         class-hnd single-def "Inline stloc first use temp" <byte[]>
 ;* V24 tmp14        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V25 tmp15        [V25    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V26 tmp16        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V27 tmp17        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V28 tmp18        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;* V29 tmp19        [V29    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V30 tmp20        [V30,T10] (  7,  3.50)     int  ->  r15         "Inline return value spill temp"
 ;* V31 tmp21        [V31    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V32 tmp22        [V32    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V33 tmp23        [V33    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;  V34 tmp24        [V34,T09] (  4,  4   )     int  ->  rdx         "Inlining Arg"
 ;  V35 tmp25        [V35,T14] (  3,  3   )   byref  ->  rdi         single-def "Inlining Arg"
 ;* V36 tmp26        [V36    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;  V37 tmp27        [V37,T18] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
 ;  V38 tmp28        [V38,T20] (  2,  2   )     int  ->  rsi         "Inlining Arg"
 ;* V39 tmp29        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V40 tmp30        [V40    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V41 tmp31        [V41    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V42 tmp32        [V42    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V43 tmp33        [V43    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V44 tmp34        [V44    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;  V45 tmp35        [V45,T19] (  2,  2   )   byref  ->  r13         single-def "Inlining Arg"
 ;  V46 tmp36        [V46,T07] (  6,  6   )     int  ->  r14         "Inlining Arg"
 ;* V47 tmp37        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V48 tmp38        [V48    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V49 tmp39        [V49    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V50 tmp40        [V50    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V51 tmp41        [V51    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V52 tmp42        [V52    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte[]]>
 ;* V53 tmp43        [V53    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V54 tmp44        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte[]]>
 ;* V55 tmp45        [V55    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.Span`1[byte]>
-;  V56 tmp46        [V56,T01] (  7, 21   )     int  ->  r14         "Inline stloc first use temp"
-;  V57 tmp47        [V57,T05] (  6,  8.50)     ref  ->  [rbp-0x30]  class-hnd EH-live spill-single-def "Inline stloc first use temp" <System.Collections.Generic.IEnumerator`1[byte]>
+;  V56 tmp46        [V56,T01] (  7, 21   )     int  ->  r12         "Inline stloc first use temp"
+;  V57 tmp47        [V57,T06] (  6,  8.50)     ref  ->  [rbp-0x30]  class-hnd EH-live spill-single-def "Inline stloc first use temp" <System.Collections.Generic.IEnumerator`1[byte]>
 ;  V58 tmp48        [V58,T04] (  3, 12   )   ubyte  ->  r15         "Inline stloc first use temp"
 ;  V59 tmp49        [V59,T17] (  4,  2   )   byref  ->  r13         "field V04._reference (fldOffset=0x0)" P-INDEP
 ;  V60 tmp50        [V60,T13] (  6,  3   )     int  ->  r14         "field V04._length (fldOffset=0x8)" P-INDEP
 ;* V61 tmp51        [V61    ] (  0,  0   )   byref  ->  zero-ref    "field V06._reference (fldOffset=0x0)" P-INDEP
 ;* V62 tmp52        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
 ;* V63 tmp53        [V63    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
 ;* V64 tmp54        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
 ;* V65 tmp55        [V65    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
 ;* V66 tmp56        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;* V67 tmp57        [V67    ] (  0,  0   )   byref  ->  zero-ref    "field V14._reference (fldOffset=0x0)" P-INDEP
 ;* V68 tmp58        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V69 tmp59        [V69    ] (  0,  0   )   byref  ->  zero-ref    "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V70 tmp60        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;  V71 tmp61        [V71,T28] (  2,  1   )   byref  ->  r13         single-def "field V19._reference (fldOffset=0x0)" P-INDEP
-;  V72 tmp62        [V72,T33] (  2,  1   )     int  ->  r14         "field V19._length (fldOffset=0x8)" P-INDEP
-;* V73 tmp63        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V74 tmp64        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;* V75 tmp65        [V75    ] (  0,  0   )   byref  ->  zero-ref    "field V21._reference (fldOffset=0x0)" P-INDEP
-;* V76 tmp66        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;* V69 tmp59        [V69    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V70 tmp60        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;  V71 tmp61        [V71,T28] (  2,  1   )   byref  ->  r13         "field V18._reference (fldOffset=0x0)" P-INDEP
+;  V72 tmp62        [V72,T33] (  2,  1   )     int  ->  r14         "field V18._length (fldOffset=0x8)" P-INDEP
+;* V73 tmp63        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V74 tmp64        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;  V75 tmp65        [V75,T22] (  2,  1   )   byref  ->  r13         "field V20._reference (fldOffset=0x0)" P-INDEP
+;  V76 tmp66        [V76,T26] (  2,  1   )     int  ->  r14         "field V20._length (fldOffset=0x8)" P-INDEP
 ;  V77 tmp67        [V77,T29] (  2,  1   )   byref  ->  r13         single-def "field V24._reference (fldOffset=0x0)" P-INDEP
 ;* V78 tmp68        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
 ;* V79 tmp69        [V79    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
 ;* V80 tmp70        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
 ;* V81 tmp71        [V81    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
 ;* V82 tmp72        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
 ;* V83 tmp73        [V83    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V32._reference (fldOffset=0x0)" P-INDEP
 ;* V84 tmp74        [V84    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
 ;* V85 tmp75        [V85    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
 ;* V86 tmp76        [V86    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
 ;* V87 tmp77        [V87    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
 ;* V88 tmp78        [V88    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
 ;* V89 tmp79        [V89    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V44._reference (fldOffset=0x0)" P-INDEP
 ;* V90 tmp80        [V90    ] (  0,  0   )     int  ->  zero-ref    "field V44._length (fldOffset=0x8)" P-INDEP
 ;  V91 tmp81        [V91,T30] (  2,  1   )   byref  ->  rdi         single-def "field V47._reference (fldOffset=0x0)" P-INDEP
 ;  V92 tmp82        [V92,T34] (  2,  1   )     int  ->  rax         "field V47._length (fldOffset=0x8)" P-INDEP
 ;  V93 tmp83        [V93,T31] (  2,  1   )   byref  ->  rsi         single-def "field V52._reference (fldOffset=0x0)" P-INDEP
 ;* V94 tmp84        [V94    ] (  0,  0   )     int  ->  zero-ref    "field V52._length (fldOffset=0x8)" P-INDEP
 ;  V95 tmp85        [V95,T32] (  2,  1   )   byref  ->  rsi         single-def "field V54._reference (fldOffset=0x0)" P-INDEP
 ;* V96 tmp86        [V96    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
 ;  V97 tmp87        [V97,T02] (  4, 12.50)   byref  ->  r13         "field V55._reference (fldOffset=0x0)" P-INDEP
-;  V98 tmp88        [V98,T03] (  4, 12.50)     int  ->  r12         "field V55._length (fldOffset=0x8)" P-INDEP
-;  V99 cse0         [V99,T08] (  8,  4   )     int  ->  rdx         multi-def "CSE #02: moderate"
-;  V100 cse1        [V100,T25] (  3,  1.50)     int  ->  rsi         "CSE #03: moderate"
-;  V101 cse2        [V101,T26] (  3,  1.50)    long  ->  rdi         "CSE #01: moderate"
-;  V102 cse3        [V102,T27] (  3,  1.50)     int  ->  r12         "CSE #08: moderate"
+;  V98 tmp88        [V98,T03] (  4, 12.50)     int  ->  r14         "field V55._length (fldOffset=0x8)" P-INDEP
+;  V99 cse0         [V99,T08] (  8,  4   )     int  ->  rdx         multi-def "CSE #03: moderate"
+;  V100 cse1        [V100,T27] (  3,  1.50)     int  ->  rsi         "CSE #04: conservative"
 ;
 ; Lcl frame size = 8
 
 G_M15838_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        lea      rbp, [rsp+0x30]
        mov      rbx, rdi
        mov      r15, rsi
 						;; size=22 bbWeight=1 PerfScore 8.00
 G_M15838_IG02:
        mov      rsi, r15
        mov      rdi, 0xD1FFAB1E      ; System.Collections.Generic.ICollection`1[byte]
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_ISINSTANCEOFINTERFACE
        call     [rax]CORINFO_HELP_ISINSTANCEOFINTERFACE
        mov      r14, rax
        test     r14, r14
        je       SHORT G_M15838_IG05
 						;; size=33 bbWeight=1 PerfScore 5.25
 G_M15838_IG03:
        mov      rdi, r14
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.ICollection`1[byte]:get_Count():int:this
        call     [r11]System.Collections.Generic.ICollection`1[byte]:get_Count():int:this
        mov      r13d, eax
        test     r13d, r13d
        je       G_M15838_IG15
-       mov      rdi, qword ptr [r15]
-       mov      r11, 0xD1FFAB1E      ; byte[]
-       cmp      rdi, r11
+       mov      rdi, 0xD1FFAB1E      ; byte[]
+       cmp      qword ptr [r15], rdi
        je       G_M15838_IG13
-       mov      r11, 0xD1FFAB1E      ; System.Collections.Generic.List`1[byte]
-       cmp      rdi, r11
+       mov      rdi, 0xD1FFAB1E      ; System.Collections.Generic.List`1[byte]
+       cmp      qword ptr [r15], rdi
        je       G_M15838_IG12
-       mov      r12d, dword ptr [rbx]
-       test     r12d, r12d
+       cmp      dword ptr [rbx], 0
        jne      SHORT G_M15838_IG04
        mov      edx, dword ptr [rbx+0x08]
        cmp      edx, dword ptr [rbx+0x100]
        jl       SHORT G_M15838_IG05
-						;; size=88 bbWeight=0.50 PerfScore 9.62
+						;; size=82 bbWeight=0.50 PerfScore 11.75
 G_M15838_IG04:
        mov      edi, dword ptr [rbx+0x100]
        mov      edx, dword ptr [rbx+0x08]
        sub      edi, edx
        je       G_M15838_IG11
        cmp      r13d, edi
        jle      G_M15838_IG10
 						;; size=26 bbWeight=0.50 PerfScore 3.25
 G_M15838_IG05:
        mov      r13, bword ptr [rbx+0xF8]
-       mov      r12d, dword ptr [rbx+0x100]
-       mov      r14d, dword ptr [rbx+0x08]
+       mov      r14d, dword ptr [rbx+0x100]
+       mov      r12d, dword ptr [rbx+0x08]
        mov      rdi, r15
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEnumerable`1[byte]:GetEnumerator():System.Collections.Generic.IEnumerator`1[byte]:this
        call     [r11]System.Collections.Generic.IEnumerable`1[byte]:GetEnumerator():System.Collections.Generic.IEnumerator`1[byte]:this
        mov      gword ptr [rbp-0x30], rax
 						;; size=38 bbWeight=0.50 PerfScore 5.25
 G_M15838_IG06:
        mov      rdi, rax
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.IEnumerator:MoveNext():bool:this
        call     [r11]System.Collections.IEnumerator:MoveNext():bool:this
        test     eax, eax
        je       SHORT G_M15838_IG09
        mov      rdi, gword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEnumerator`1[byte]:get_Current():byte:this
        call     [r11]System.Collections.Generic.IEnumerator`1[byte]:get_Current():byte:this
        mov      r15d, eax
-       cmp      r14d, r12d
+       cmp      r12d, r14d
        jb       SHORT G_M15838_IG07
        mov      rdi, rbx
        mov      esi, 16
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.SegmentedArrayBuilder`1[byte]:Expand(int):this
        call     [rax]System.Collections.Generic.SegmentedArrayBuilder`1[byte]:Expand(int):this
        mov      r13, bword ptr [rbx+0xF8]
-       mov      r12d, dword ptr [rbx+0x100]
-       test     r12d, r12d
+       mov      r14d, dword ptr [rbx+0x100]
+       test     r14d, r14d
        je       SHORT G_M15838_IG08
        mov      byte  ptr [r13], r15b
-       mov      r14d, 1
+       mov      r12d, 1
        mov      rax, gword ptr [rbp-0x30]
        jmp      SHORT G_M15838_IG06
 						;; size=100 bbWeight=4 PerfScore 95.00
 G_M15838_IG07:
-       mov      edi, r14d
+       mov      edi, r12d
        mov      byte  ptr [rdi+r13], r15b
-       inc      r14d
+       inc      r12d
        mov      rax, gword ptr [rbp-0x30]
        jmp      SHORT G_M15838_IG06
 						;; size=16 bbWeight=4 PerfScore 18.00
 G_M15838_IG08:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 G_M15838_IG09:
        mov      rdi, gword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
-       mov      dword ptr [rbx+0x08], r14d
+       mov      dword ptr [rbx+0x08], r12d
        jmp      G_M15838_IG15
 						;; size=26 bbWeight=0.50 PerfScore 3.62
 G_M15838_IG10:
        lea      rsi, bword ptr [rbx+0x10]
-       dec      r12d
-       cmp      r12d, 27
+       mov      edi, dword ptr [rbx]
+       dec      edi
+       cmp      edi, 27
        jae      G_M15838_IG19
-       mov      edi, r12d
        mov      rsi, gword ptr [rsi+8*rdi]
        mov      rdi, r14
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.ICollection`1[byte]:CopyTo(byte[],int):this
        call     [r11]System.Collections.Generic.ICollection`1[byte]:CopyTo(byte[],int):this
        add      dword ptr [rbx+0x08], r13d
        jmp      G_M15838_IG15
-						;; size=49 bbWeight=0.50 PerfScore 6.38
+						;; size=46 bbWeight=0.50 PerfScore 7.25
 G_M15838_IG11:
        mov      rdi, rbx
        mov      esi, r13d
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.SegmentedArrayBuilder`1[byte]:Expand(int):this
        call     [rax]System.Collections.Generic.SegmentedArrayBuilder`1[byte]:Expand(int):this
        lea      rsi, bword ptr [rbx+0x10]
        mov      edi, dword ptr [rbx]
        dec      edi
        cmp      edi, 27
        jae      G_M15838_IG19
        mov      rsi, gword ptr [rsi+8*rdi]
        mov      rdi, r14
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.ICollection`1[byte]:CopyTo(byte[],int):this
        xor      edx, edx
        call     [r11]System.Collections.Generic.ICollection`1[byte]:CopyTo(byte[],int):this
        mov      dword ptr [rbx+0x08], r13d
        jmp      G_M15838_IG15
 						;; size=66 bbWeight=0.50 PerfScore 8.25
 G_M15838_IG12:
        mov      r14d, dword ptr [r15+0x10]
        mov      r13, gword ptr [r15+0x08]
        cmp      dword ptr [r13+0x08], r14d
        jb       G_M15838_IG16
        add      r13, 16
        jmp      SHORT G_M15838_IG14
 						;; size=24 bbWeight=0.50 PerfScore 5.12
 G_M15838_IG13:
        lea      r13, bword ptr [r15+0x10]
        mov      r14d, dword ptr [r15+0x08]
 						;; size=8 bbWeight=0.50 PerfScore 1.25
 G_M15838_IG14:
        mov      r15d, dword ptr [rbx+0x100]
        mov      edx, dword ptr [rbx+0x08]
        sub      r15d, edx
        cmp      r15d, r14d
        cmovg    r15d, r14d
        cmp      r15d, r14d
        ja       G_M15838_IG17
        lea      rdi, bword ptr [rbx+0xF8]
        mov      esi, dword ptr [rdi+0x08]
        cmp      edx, esi
        ja       G_M15838_IG17
        mov      eax, edx
        add      rax, bword ptr [rdi]
        mov      rdi, rax
        sub      esi, edx
        cmp      r15d, esi
        ja       G_M15838_IG18
        mov      edx, r15d
        mov      rsi, r13
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
        add      dword ptr [rbx+0x08], r15d
        mov      r12d, r15d
        add      r13, r12
        sub      r14d, r15d
        je       SHORT G_M15838_IG15
        mov      rdi, rbx
        mov      esi, r14d
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.SegmentedArrayBuilder`1[byte]:Expand(int):this
        call     [rax]System.Collections.Generic.SegmentedArrayBuilder`1[byte]:Expand(int):this
        mov      rdi, bword ptr [rbx+0xF8]
        mov      eax, dword ptr [rbx+0x100]
        cmp      r14d, eax
        ja       SHORT G_M15838_IG18
        mov      edx, r14d
        mov      rsi, r13
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
        mov      dword ptr [rbx+0x08], r14d
 						;; size=157 bbWeight=0.50 PerfScore 18.50
 G_M15838_IG15:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M15838_IG16:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M15838_IG17:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M15838_IG18:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        call     [rax]System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M15838_IG19:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 G_M15838_IG20:
        push     rax
 						;; size=1 bbWeight=0 PerfScore 0.00
 G_M15838_IG21:
        cmp      gword ptr [rbp-0x30], 0
        je       SHORT G_M15838_IG22
        mov      rdi, gword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=0 PerfScore 0.00
 G_M15838_IG22:
        nop      
 						;; size=1 bbWeight=0 PerfScore 0.00
 G_M15838_IG23:
        add      rsp, 8
        ret      
 						;; size=5 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 750, prolog size 22, PerfScore 191.75, instruction count 186, allocated bytes for code 750 (MethodHash=df96c221) for method System.Collections.Generic.SegmentedArrayBuilder`1[byte]:AddRange(System.Collections.Generic.IEnumerable`1[byte]):this (FullOpts)
+; Total bytes of code 741, prolog size 22, PerfScore 194.75, instruction count 184, allocated bytes for code 741 (MethodHash=df96c221) for method System.Collections.Generic.SegmentedArrayBuilder`1[byte]:AddRange(System.Collections.Generic.IEnumerable`1[byte]):this (FullOpts)
 ; ============================================================

-7 (-0.92 % of base) - System.Collections.Generic.SegmentedArrayBuilder`1[int]:AddRange(System.Collections.Generic.IEnumerable`1[int]):this

 ; Assembly listing for method System.Collections.Generic.SegmentedArrayBuilder`1[int]:AddRange(System.Collections.Generic.IEnumerable`1[int]):this (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; 14 single block inlinees; 12 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T00] ( 30, 26.50)   byref  ->  rbx         this single-def
-;  V01 arg1         [V01,T06] (  9,  6   )     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IEnumerable`1[int]>
-;  V02 loc0         [V02,T10] (  5,  3.50)     ref  ->  r14         class-hnd single-def <System.Collections.Generic.ICollection`1[int]>
-;  V03 loc1         [V03,T11] (  6,  3   )     int  ->  r13        
+;  V00 this         [V00,T00] ( 31, 27   )   byref  ->  rbx         this single-def
+;  V01 arg1         [V01,T05] ( 10,  6.50)     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IEnumerable`1[int]>
+;  V02 loc0         [V02,T11] (  5,  3.50)     ref  ->  r14         class-hnd single-def <System.Collections.Generic.ICollection`1[int]>
+;  V03 loc1         [V03,T12] (  6,  3   )     int  ->  r13        
 ;* V04 loc2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[int]>
-;  V05 loc3         [V05,T22] (  3,  1.50)     int  ->  r15        
+;  V05 loc3         [V05,T23] (  3,  1.50)     int  ->  r15        
 ;* V06 loc4         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[int]>
-;  V07 loc5         [V07,T23] (  3,  1.50)     int  ->  rdi        
+;  V07 loc5         [V07,T24] (  3,  1.50)     int  ->  rdi        
 ;* V08 loc6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[int[]]>
 ;* V09 loc7         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[int[]]>
 ;# V10 OutArgs      [V10    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V11 tmp1         [V11,T36] (  0,  0   )     int  ->  zero-ref   
-;  V12 tmp2         [V12,T15] (  3,  3   )     int  ->  r12         "Span.get_Item index"
+;* V11 tmp1         [V11,T37] (  0,  0   )     int  ->  zero-ref   
+;  V12 tmp2         [V12,T15] (  3,  3   )     int  ->  rdi         "Span.get_Item index"
 ;  V13 tmp3         [V13,T16] (  3,  3   )     int  ->  rdi         "Span.get_Item index"
 ;* V14 tmp4         [V14    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[int]>
-;* V15 tmp5         [V15,T37] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
-;* V16 tmp6         [V16    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <System.Collections.Generic.List`1[int]>
-;* V17 tmp7         [V17    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[int]>
-;* V18 tmp8         [V18    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "updating class info" <int[]>
-;* V19 tmp9         [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
-;* V20 tmp10        [V20    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[int]>
-;* V21 tmp11        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[int]>
-;  V22 tmp12        [V22,T24] (  3,  1.50)     int  ->  r14         "Inline stloc first use temp"
+;* V15 tmp5         [V15,T38] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V16 tmp6         [V16    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[int]>
+;* V17 tmp7         [V17,T35] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <int[]>
+;* V18 tmp8         [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
+;* V19 tmp9         [V19    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[int]>
+;* V20 tmp10        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[int]>
+;* V21 tmp11        [V21,T36] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Collections.Generic.List`1[int]>
+;  V22 tmp12        [V22,T25] (  3,  1.50)     int  ->  r14         "Inline stloc first use temp"
 ;  V23 tmp13        [V23,T21] (  3,  1.50)     ref  ->  r13         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V24 tmp14        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[int]>
 ;* V25 tmp15        [V25    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V26 tmp16        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[int]>
 ;* V27 tmp17        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
 ;* V28 tmp18        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;* V29 tmp19        [V29    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V30 tmp20        [V30,T12] (  6,  3   )     int  ->  r15         "Inline return value spill temp"
+;  V30 tmp20        [V30,T10] (  7,  3.50)     int  ->  r15         "Inline return value spill temp"
 ;* V31 tmp21        [V31    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V32 tmp22        [V32    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
 ;* V33 tmp23        [V33    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;  V34 tmp24        [V34,T09] (  4,  4   )     int  ->  rdx         "Inlining Arg"
 ;  V35 tmp25        [V35,T14] (  3,  3   )   byref  ->  rdi         single-def "Inlining Arg"
 ;* V36 tmp26        [V36    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[int]>
 ;  V37 tmp27        [V37,T18] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
 ;  V38 tmp28        [V38,T20] (  2,  2   )     int  ->  rsi         "Inlining Arg"
 ;* V39 tmp29        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[int]>
 ;* V40 tmp30        [V40    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V41 tmp31        [V41    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V42 tmp32        [V42    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V43 tmp33        [V43    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V44 tmp34        [V44    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
 ;  V45 tmp35        [V45,T19] (  2,  2   )   byref  ->  r13         single-def "Inlining Arg"
 ;  V46 tmp36        [V46,T07] (  6,  6   )     int  ->  r14         "Inlining Arg"
 ;* V47 tmp37        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[int]>
 ;* V48 tmp38        [V48    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V49 tmp39        [V49    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V50 tmp40        [V50    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V51 tmp41        [V51    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V52 tmp42        [V52    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[int[]]>
 ;* V53 tmp43        [V53    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V54 tmp44        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[int[]]>
 ;* V55 tmp45        [V55    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.Span`1[int]>
-;  V56 tmp46        [V56,T01] (  7, 21   )     int  ->  r14         "Inline stloc first use temp"
-;  V57 tmp47        [V57,T05] (  6,  8.50)     ref  ->  [rbp-0x30]  class-hnd EH-live spill-single-def "Inline stloc first use temp" <System.Collections.Generic.IEnumerator`1[int]>
+;  V56 tmp46        [V56,T01] (  7, 21   )     int  ->  r12         "Inline stloc first use temp"
+;  V57 tmp47        [V57,T06] (  6,  8.50)     ref  ->  [rbp-0x30]  class-hnd EH-live spill-single-def "Inline stloc first use temp" <System.Collections.Generic.IEnumerator`1[int]>
 ;  V58 tmp48        [V58,T04] (  3, 12   )     int  ->  r15         "Inline stloc first use temp"
 ;  V59 tmp49        [V59,T17] (  4,  2   )   byref  ->  r13         "field V04._reference (fldOffset=0x0)" P-INDEP
 ;  V60 tmp50        [V60,T13] (  6,  3   )     int  ->  r14         "field V04._length (fldOffset=0x8)" P-INDEP
 ;* V61 tmp51        [V61    ] (  0,  0   )   byref  ->  zero-ref    "field V06._reference (fldOffset=0x0)" P-INDEP
 ;* V62 tmp52        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
 ;* V63 tmp53        [V63    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
 ;* V64 tmp54        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
 ;* V65 tmp55        [V65    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
 ;* V66 tmp56        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;* V67 tmp57        [V67    ] (  0,  0   )   byref  ->  zero-ref    "field V14._reference (fldOffset=0x0)" P-INDEP
 ;* V68 tmp58        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V69 tmp59        [V69    ] (  0,  0   )   byref  ->  zero-ref    "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V70 tmp60        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;  V71 tmp61        [V71,T29] (  2,  1   )   byref  ->  r13         single-def "field V19._reference (fldOffset=0x0)" P-INDEP
-;  V72 tmp62        [V72,T34] (  2,  1   )     int  ->  r14         "field V19._length (fldOffset=0x8)" P-INDEP
-;* V73 tmp63        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V74 tmp64        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;* V75 tmp65        [V75    ] (  0,  0   )   byref  ->  zero-ref    "field V21._reference (fldOffset=0x0)" P-INDEP
-;* V76 tmp66        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
-;  V77 tmp67        [V77,T30] (  2,  1   )   byref  ->  r13         single-def "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V69 tmp59        [V69    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V70 tmp60        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;  V71 tmp61        [V71,T28] (  2,  1   )   byref  ->  r13         "field V18._reference (fldOffset=0x0)" P-INDEP
+;  V72 tmp62        [V72,T33] (  2,  1   )     int  ->  r14         "field V18._length (fldOffset=0x8)" P-INDEP
+;* V73 tmp63        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V74 tmp64        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;  V75 tmp65        [V75,T22] (  2,  1   )   byref  ->  r13         "field V20._reference (fldOffset=0x0)" P-INDEP
+;  V76 tmp66        [V76,T26] (  2,  1   )     int  ->  r14         "field V20._length (fldOffset=0x8)" P-INDEP
+;  V77 tmp67        [V77,T29] (  2,  1   )   byref  ->  r13         single-def "field V24._reference (fldOffset=0x0)" P-INDEP
 ;* V78 tmp68        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
 ;* V79 tmp69        [V79    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
 ;* V80 tmp70        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
 ;* V81 tmp71        [V81    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
 ;* V82 tmp72        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
 ;* V83 tmp73        [V83    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V32._reference (fldOffset=0x0)" P-INDEP
 ;* V84 tmp74        [V84    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
 ;* V85 tmp75        [V85    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
 ;* V86 tmp76        [V86    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
 ;* V87 tmp77        [V87    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
 ;* V88 tmp78        [V88    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
 ;* V89 tmp79        [V89    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V44._reference (fldOffset=0x0)" P-INDEP
 ;* V90 tmp80        [V90    ] (  0,  0   )     int  ->  zero-ref    "field V44._length (fldOffset=0x8)" P-INDEP
-;  V91 tmp81        [V91,T31] (  2,  1   )   byref  ->  rdi         single-def "field V47._reference (fldOffset=0x0)" P-INDEP
-;  V92 tmp82        [V92,T35] (  2,  1   )     int  ->  rax         "field V47._length (fldOffset=0x8)" P-INDEP
-;  V93 tmp83        [V93,T32] (  2,  1   )   byref  ->  rsi         single-def "field V52._reference (fldOffset=0x0)" P-INDEP
+;  V91 tmp81        [V91,T30] (  2,  1   )   byref  ->  rdi         single-def "field V47._reference (fldOffset=0x0)" P-INDEP
+;  V92 tmp82        [V92,T34] (  2,  1   )     int  ->  rax         "field V47._length (fldOffset=0x8)" P-INDEP
+;  V93 tmp83        [V93,T31] (  2,  1   )   byref  ->  rsi         single-def "field V52._reference (fldOffset=0x0)" P-INDEP
 ;* V94 tmp84        [V94    ] (  0,  0   )     int  ->  zero-ref    "field V52._length (fldOffset=0x8)" P-INDEP
-;  V95 tmp85        [V95,T33] (  2,  1   )   byref  ->  rsi         single-def "field V54._reference (fldOffset=0x0)" P-INDEP
+;  V95 tmp85        [V95,T32] (  2,  1   )   byref  ->  rsi         single-def "field V54._reference (fldOffset=0x0)" P-INDEP
 ;* V96 tmp86        [V96    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
 ;  V97 tmp87        [V97,T02] (  4, 12.50)   byref  ->  r13         "field V55._reference (fldOffset=0x0)" P-INDEP
-;  V98 tmp88        [V98,T03] (  4, 12.50)     int  ->  r12         "field V55._length (fldOffset=0x8)" P-INDEP
-;  V99 cse0         [V99,T08] (  8,  4   )     int  ->  rdx         multi-def "CSE #02: moderate"
-;  V100 cse1        [V100,T25] (  3,  1.50)     int  ->  rsi         "CSE #03: moderate"
-;  V101 cse2        [V101,T26] (  3,  1.50)    long  ->  r12         "CSE #05: moderate"
-;  V102 cse3        [V102,T27] (  3,  1.50)    long  ->  rdi         "CSE #01: moderate"
-;  V103 cse4        [V103,T28] (  3,  1.50)     int  ->  r12         "CSE #09: moderate"
+;  V98 tmp88        [V98,T03] (  4, 12.50)     int  ->  r14         "field V55._length (fldOffset=0x8)" P-INDEP
+;  V99 cse0         [V99,T08] (  8,  4   )     int  ->  rdx         multi-def "CSE #03: moderate"
+;  V100 cse1        [V100,T27] (  3,  1.50)     int  ->  rsi         "CSE #04: conservative"
 ;
 ; Lcl frame size = 8
 
 G_M4126_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        lea      rbp, [rsp+0x30]
        mov      rbx, rdi
        mov      r15, rsi
 						;; size=22 bbWeight=1 PerfScore 8.00
 G_M4126_IG02:
        mov      rsi, r15
        mov      rdi, 0xD1FFAB1E      ; System.Collections.Generic.ICollection`1[int]
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_ISINSTANCEOFINTERFACE
        call     [rax]CORINFO_HELP_ISINSTANCEOFINTERFACE
        mov      r14, rax
        test     r14, r14
        je       SHORT G_M4126_IG05
 						;; size=33 bbWeight=1 PerfScore 5.25
 G_M4126_IG03:
        mov      rdi, r14
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.ICollection`1[int]:get_Count():int:this
        call     [r11]System.Collections.Generic.ICollection`1[int]:get_Count():int:this
        mov      r13d, eax
        test     r13d, r13d
        je       G_M4126_IG15
-       mov      rdi, qword ptr [r15]
-       mov      r11, 0xD1FFAB1E      ; int[]
-       cmp      rdi, r11
+       mov      rdi, 0xD1FFAB1E      ; int[]
+       cmp      qword ptr [r15], rdi
        je       G_M4126_IG13
-       mov      r11, 0xD1FFAB1E      ; System.Collections.Generic.List`1[int]
-       cmp      rdi, r11
+       mov      rdi, 0xD1FFAB1E      ; System.Collections.Generic.List`1[int]
+       cmp      qword ptr [r15], rdi
        je       G_M4126_IG12
-       mov      r12d, dword ptr [rbx]
-       test     r12d, r12d
+       cmp      dword ptr [rbx], 0
        jne      SHORT G_M4126_IG04
        mov      edx, dword ptr [rbx+0x08]
        cmp      edx, dword ptr [rbx+0x100]
        jl       SHORT G_M4126_IG05
-						;; size=88 bbWeight=0.50 PerfScore 9.62
+						;; size=82 bbWeight=0.50 PerfScore 11.75
 G_M4126_IG04:
        mov      edi, dword ptr [rbx+0x100]
        mov      edx, dword ptr [rbx+0x08]
        sub      edi, edx
        je       G_M4126_IG11
        cmp      r13d, edi
        jle      G_M4126_IG10
 						;; size=26 bbWeight=0.50 PerfScore 3.25
 G_M4126_IG05:
        mov      r13, bword ptr [rbx+0xF8]
-       mov      r12d, dword ptr [rbx+0x100]
-       mov      r14d, dword ptr [rbx+0x08]
+       mov      r14d, dword ptr [rbx+0x100]
+       mov      r12d, dword ptr [rbx+0x08]
        mov      rdi, r15
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEnumerable`1[int]:GetEnumerator():System.Collections.Generic.IEnumerator`1[int]:this
        call     [r11]System.Collections.Generic.IEnumerable`1[int]:GetEnumerator():System.Collections.Generic.IEnumerator`1[int]:this
        mov      gword ptr [rbp-0x30], rax
 						;; size=38 bbWeight=0.50 PerfScore 5.25
 G_M4126_IG06:
        mov      rdi, rax
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.IEnumerator:MoveNext():bool:this
        call     [r11]System.Collections.IEnumerator:MoveNext():bool:this
        test     eax, eax
        je       SHORT G_M4126_IG09
        mov      rdi, gword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEnumerator`1[int]:get_Current():int:this
        call     [r11]System.Collections.Generic.IEnumerator`1[int]:get_Current():int:this
        mov      r15d, eax
-       cmp      r14d, r12d
+       cmp      r12d, r14d
        jb       SHORT G_M4126_IG07
        mov      rdi, rbx
        mov      esi, 16
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.SegmentedArrayBuilder`1[int]:Expand(int):this
        call     [rax]System.Collections.Generic.SegmentedArrayBuilder`1[int]:Expand(int):this
        mov      r13, bword ptr [rbx+0xF8]
-       mov      r12d, dword ptr [rbx+0x100]
-       test     r12d, r12d
+       mov      r14d, dword ptr [rbx+0x100]
+       test     r14d, r14d
        je       SHORT G_M4126_IG08
        mov      dword ptr [r13], r15d
-       mov      r14d, 1
+       mov      r12d, 1
        mov      rax, gword ptr [rbp-0x30]
        jmp      SHORT G_M4126_IG06
 						;; size=100 bbWeight=4 PerfScore 95.00
 G_M4126_IG07:
-       mov      edi, r14d
+       mov      edi, r12d
        mov      dword ptr [r13+4*rdi], r15d
-       inc      r14d
+       inc      r12d
        mov      rax, gword ptr [rbp-0x30]
        jmp      SHORT G_M4126_IG06
 						;; size=17 bbWeight=4 PerfScore 18.00
 G_M4126_IG08:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 G_M4126_IG09:
        mov      rdi, gword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
-       mov      dword ptr [rbx+0x08], r14d
+       mov      dword ptr [rbx+0x08], r12d
        jmp      G_M4126_IG15
 						;; size=26 bbWeight=0.50 PerfScore 3.62
 G_M4126_IG10:
        lea      rsi, bword ptr [rbx+0x10]
-       dec      r12d
-       cmp      r12d, 27
+       mov      edi, dword ptr [rbx]
+       dec      edi
+       cmp      edi, 27
        jae      G_M4126_IG19
-       mov      edi, r12d
        mov      rsi, gword ptr [rsi+8*rdi]
        mov      rdi, r14
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.ICollection`1[int]:CopyTo(int[],int):this
        call     [r11]System.Collections.Generic.ICollection`1[int]:CopyTo(int[],int):this
        add      dword ptr [rbx+0x08], r13d
        jmp      G_M4126_IG15
-						;; size=49 bbWeight=0.50 PerfScore 6.38
+						;; size=46 bbWeight=0.50 PerfScore 7.25
 G_M4126_IG11:
        mov      rdi, rbx
        mov      esi, r13d
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.SegmentedArrayBuilder`1[int]:Expand(int):this
        call     [rax]System.Collections.Generic.SegmentedArrayBuilder`1[int]:Expand(int):this
        lea      rsi, bword ptr [rbx+0x10]
        mov      edi, dword ptr [rbx]
        dec      edi
        cmp      edi, 27
        jae      G_M4126_IG19
        mov      rsi, gword ptr [rsi+8*rdi]
        mov      rdi, r14
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.ICollection`1[int]:CopyTo(int[],int):this
        xor      edx, edx
        call     [r11]System.Collections.Generic.ICollection`1[int]:CopyTo(int[],int):this
        mov      dword ptr [rbx+0x08], r13d
        jmp      G_M4126_IG15
 						;; size=66 bbWeight=0.50 PerfScore 8.25
 G_M4126_IG12:
        mov      r14d, dword ptr [r15+0x10]
        mov      r13, gword ptr [r15+0x08]
        cmp      dword ptr [r13+0x08], r14d
        jb       G_M4126_IG16
        add      r13, 16
        jmp      SHORT G_M4126_IG14
 						;; size=24 bbWeight=0.50 PerfScore 5.12
 G_M4126_IG13:
        lea      r13, bword ptr [r15+0x10]
        mov      r14d, dword ptr [r15+0x08]
 						;; size=8 bbWeight=0.50 PerfScore 1.25
 G_M4126_IG14:
        mov      r15d, dword ptr [rbx+0x100]
        mov      edx, dword ptr [rbx+0x08]
        sub      r15d, edx
        cmp      r15d, r14d
        cmovg    r15d, r14d
        cmp      r15d, r14d
        ja       G_M4126_IG17
        lea      rdi, bword ptr [rbx+0xF8]
        mov      esi, dword ptr [rdi+0x08]
        cmp      edx, esi
        ja       G_M4126_IG17
        mov      rdi, bword ptr [rdi]
        mov      eax, edx
        lea      rdi, bword ptr [rdi+4*rax]
        sub      esi, edx
        cmp      r15d, esi
        ja       G_M4126_IG18
-       mov      r12d, r15d
-       shl      r12, 2
-       mov      rdx, r12
+       mov      edx, r15d
+       shl      rdx, 2
        mov      rsi, r13
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
        add      dword ptr [rbx+0x08], r15d
-       add      r13, r12
+       mov      edi, r15d
+       lea      r13, bword ptr [r13+4*rdi]
        sub      r14d, r15d
        je       SHORT G_M4126_IG15
        mov      rdi, rbx
        mov      esi, r14d
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.SegmentedArrayBuilder`1[int]:Expand(int):this
        call     [rax]System.Collections.Generic.SegmentedArrayBuilder`1[int]:Expand(int):this
        mov      rdi, bword ptr [rbx+0xF8]
        mov      eax, dword ptr [rbx+0x100]
        cmp      r14d, eax
        ja       SHORT G_M4126_IG18
        mov      edx, r14d
        shl      rdx, 2
        mov      rsi, r13
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
        mov      dword ptr [rbx+0x08], r14d
-						;; size=166 bbWeight=0.50 PerfScore 18.62
+						;; size=168 bbWeight=0.50 PerfScore 19.50
 G_M4126_IG15:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M4126_IG16:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M4126_IG17:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M4126_IG18:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        call     [rax]System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M4126_IG19:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 G_M4126_IG20:
        push     rax
 						;; size=1 bbWeight=0 PerfScore 0.00
 G_M4126_IG21:
        cmp      gword ptr [rbp-0x30], 0
        je       SHORT G_M4126_IG22
        mov      rdi, gword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=0 PerfScore 0.00
 G_M4126_IG22:
        nop      
 						;; size=1 bbWeight=0 PerfScore 0.00
 G_M4126_IG23:
        add      rsp, 8
        ret      
 						;; size=5 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 760, prolog size 22, PerfScore 191.88, instruction count 188, allocated bytes for code 760 (MethodHash=a8b1efe1) for method System.Collections.Generic.SegmentedArrayBuilder`1[int]:AddRange(System.Collections.Generic.IEnumerable`1[int]):this (FullOpts)
+; Total bytes of code 753, prolog size 22, PerfScore 195.75, instruction count 186, allocated bytes for code 753 (MethodHash=a8b1efe1) for method System.Collections.Generic.SegmentedArrayBuilder`1[int]:AddRange(System.Collections.Generic.IEnumerable`1[int]):this (FullOpts)
 ; ============================================================

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

[MihuBot]

@EgorBo