[JitDiff X64] [EgorBo] Remove more unsafe code from IPAddress parsing

[MihuBot]

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

Diffs

Diffs

Found 85 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45918512
Total bytes of diff: 45921479
Total bytes of delta: 2967 (0.01 % of base)
Total relative delta: 3.82
    diff is a regression.
    relative diff is a regression.


Total byte diff includes 2660 bytes from reconciling methods
	Base had   24 unique methods,    13642 unique bytes
	Diff had   28 unique methods,    16302 unique bytes

Top file regressions (bytes):
        1681 : System.Net.Primitives.dasm (1.53 % of base)
        1286 : System.Private.Uri.dasm (1.20 % of base)

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

Top method regressions (bytes):
        1355 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[long](System.ReadOnlySpan`1[long]):bool (FullOpts) (0 base, 1 diff methods)
        1337 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[short](System.ReadOnlySpan`1[short]):bool (FullOpts) (0 base, 1 diff methods)
        1319 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[int](System.ReadOnlySpan`1[int]):bool (FullOpts) (0 base, 1 diff methods)
        1002 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long (FullOpts) (0 base, 1 diff methods)
        1002 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         983 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[byte](System.ReadOnlySpan`1[byte]):bool (FullOpts) (0 base, 1 diff methods)
         599 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         599 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](System.ReadOnlySpan`1[long],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](System.ReadOnlySpan`1[long],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](System.ReadOnlySpan`1[short],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](System.ReadOnlySpan`1[short],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         498 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](System.ReadOnlySpan`1[int],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         498 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](System.ReadOnlySpan`1[int],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         305 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         305 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          72 (112.50 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          72 (112.50 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          72 (112.50 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          71 (110.94 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[byte](System.ReadOnlySpan`1[byte],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[byte](System.ReadOnlySpan`1[byte],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[int](System.ReadOnlySpan`1[int],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[int](System.ReadOnlySpan`1[int],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[long](System.ReadOnlySpan`1[long],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[long](System.ReadOnlySpan`1[long],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[short](System.ReadOnlySpan`1[short],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[short](System.ReadOnlySpan`1[short],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          48 (1.84 % of base) : System.Private.Uri.dasm - System.Uri:CheckAuthorityHelper(ptr,int,int,byref,byref,System.UriParser,byref):int:this (FullOpts)
          38 (8.82 % of base) : System.Private.Uri.dasm - System.Uri:CheckHostName(System.String):int (FullOpts)
          29 (4.42 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseCanonicalName(System.String,int,int,byref):System.String (FullOpts)
          29 (4.28 % of base) : System.Private.Uri.dasm - System.Net.IPv6AddressHelper:InternalIsValid(ptr,int,byref,bool):bool (FullOpts)

Top method improvements (bytes):
       -1000 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[long](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
        -995 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[short](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
        -981 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[int](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
        -874 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -874 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -812 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[byte](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
        -504 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -504 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -466 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -466 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -289 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -289 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[byte](System.ReadOnlySpan`1[byte],byref):bool (FullOpts)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[int](System.ReadOnlySpan`1[int],byref):bool (FullOpts)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[long](System.ReadOnlySpan`1[long],byref):bool (FullOpts)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[short](System.ReadOnlySpan`1[short],byref):bool (FullOpts)
         -12 (-4.53 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],int,byref):bool (FullOpts)
         -12 (-4.03 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],int,byref):bool (FullOpts)
         -12 (-4.03 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[long](System.ReadOnlySpan`1[long],System.Span`1[ushort],int,byref):bool (FullOpts)
         -12 (-4.51 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[short](System.ReadOnlySpan`1[short],System.Span`1[ushort],int,byref):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[byte](System.ReadOnlySpan`1[byte]):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[int](System.ReadOnlySpan`1[int]):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[long](System.ReadOnlySpan`1[long]):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[short](System.ReadOnlySpan`1[short]):bool (FullOpts)

Top method regressions (percentages):
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[byte](System.ReadOnlySpan`1[byte],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[byte](System.ReadOnlySpan`1[byte],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[int](System.ReadOnlySpan`1[int],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[int](System.ReadOnlySpan`1[int],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[long](System.ReadOnlySpan`1[long],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[long](System.ReadOnlySpan`1[long],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[short](System.ReadOnlySpan`1[short],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
          64 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[short](System.ReadOnlySpan`1[short],byref,bool,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         305 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         305 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         498 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](System.ReadOnlySpan`1[int],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         498 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](System.ReadOnlySpan`1[int],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](System.ReadOnlySpan`1[long],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](System.ReadOnlySpan`1[long],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](System.ReadOnlySpan`1[short],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         501 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](System.ReadOnlySpan`1[short],byref,bool,bool):bool (FullOpts) (0 base, 1 diff methods)
         599 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         599 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         996 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long (FullOpts) (0 base, 1 diff methods)
        1002 (Infinity of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long (FullOpts) (0 base, 1 diff methods)
        1002 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long (FullOpts) (0 base, 1 diff methods)
         983 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[byte](System.ReadOnlySpan`1[byte]):bool (FullOpts) (0 base, 1 diff methods)
        1319 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[int](System.ReadOnlySpan`1[int]):bool (FullOpts) (0 base, 1 diff methods)
        1355 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[long](System.ReadOnlySpan`1[long]):bool (FullOpts) (0 base, 1 diff methods)
        1337 (Infinity of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[short](System.ReadOnlySpan`1[short]):bool (FullOpts) (0 base, 1 diff methods)
          72 (112.50 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          72 (112.50 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          72 (112.50 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          71 (110.94 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool (FullOpts)
          38 (8.82 % of base) : System.Private.Uri.dasm - System.Uri:CheckHostName(System.String):int (FullOpts)
          29 (4.42 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseCanonicalName(System.String,int,int,byref):System.String (FullOpts)
          29 (4.28 % of base) : System.Private.Uri.dasm - System.Net.IPv6AddressHelper:InternalIsValid(ptr,int,byref,bool):bool (FullOpts)
          48 (1.84 % of base) : System.Private.Uri.dasm - System.Uri:CheckAuthorityHelper(ptr,int,int,byref,byref,System.UriParser,byref):int:this (FullOpts)

Top method improvements (percentages):
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
         -64 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -289 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -289 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[byte](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -466 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -466 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[int](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[long](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:IsValidCanonical[short](ptr,int,byref,bool,bool):bool (FullOpts) (1 base, 0 diff methods)
        -504 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -504 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -864 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -874 (-100.00 % of base) : System.Private.Uri.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -874 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long (FullOpts) (1 base, 0 diff methods)
        -812 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[byte](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
        -981 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[int](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
       -1000 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[long](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
        -995 (-100.00 % of base) : System.Net.Primitives.dasm - System.Net.IPv6AddressHelper:IsValidStrict[short](ptr,int,int):bool (FullOpts) (1 base, 0 diff methods)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[byte](System.ReadOnlySpan`1[byte],byref):bool (FullOpts)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[int](System.ReadOnlySpan`1[int],byref):bool (FullOpts)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[long](System.ReadOnlySpan`1[long],byref):bool (FullOpts)
         -13 (-12.87 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIpv4[short](System.ReadOnlySpan`1[short],byref):bool (FullOpts)
         -12 (-4.53 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],int,byref):bool (FullOpts)
         -12 (-4.51 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[short](System.ReadOnlySpan`1[short],System.Span`1[ushort],int,byref):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[byte](System.ReadOnlySpan`1[byte]):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[int](System.ReadOnlySpan`1[int]):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[long](System.ReadOnlySpan`1[long]):bool (FullOpts)
          -6 (-4.35 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:IsValid[short](System.ReadOnlySpan`1[short]):bool (FullOpts)
         -12 (-4.03 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],int,byref):bool (FullOpts)
         -12 (-4.03 % of base) : System.Net.Primitives.dasm - System.Net.IPAddressParser:TryParseIPv6[long](System.ReadOnlySpan`1[long],System.Span`1[ushort],int,byref):bool (FullOpts)

72 total methods with Code Size differences (36 improved, 36 regressed), 282857 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (87 MB)
• build-artifacts-main.zip (675 MB)
• build-clr-checked-pr.zip (87 MB)
• build-artifacts-pr.zip (676 MB)
• jit-diffs-main.zip (154 MB)
• jit-diffs-pr.zip (154 MB)
• diff-frameworks.txt (26 KB)
• ShortDiffsRegressions.md (43 KB)
• LongDiffsRegressions.md (215 KB)
• ShortDiffsImprovements.md (51 KB)
• LongDiffsImprovements.md (123 KB)

[MihuBot]

Top method regressions

72 (112.50 % of base) - System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool

 ; Assembly listing for method System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
-; fully interruptible
+; rbp based frame
+; partially interruptible
 ; No PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T01] (  4,  3   )    long  ->  rdi         single-def
-;  V01 arg1         [V01,T02] (  4,  3   )     int  ->  rsi         single-def
-;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rdx         single-def
-;  V03 arg3         [V03,T04] (  3,  3   )   ubyte  ->  rcx         single-def
-;  V04 arg4         [V04,T03] (  4,  3   )   ubyte  ->   r8         single-def
-;  V05 arg5         [V05,T05] (  3,  3   )   ubyte  ->   r9         single-def
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V07 cse0         [V07,T06] (  3,  2.50)     int  ->  rcx         "CSE #01: aggressive"
+;  V00 arg0         [V00,T05] (  3,  3   )    long  ->  rdi         single-def
+;  V01 arg1         [V01,T00] (  5,  5   )     int  ->  rbx         single-def
+;  V02 arg2         [V02,T01] (  4,  4   )   byref  ->  r15         single-def
+;  V03 arg3         [V03,T03] (  4,  3.50)   ubyte  ->  rcx         single-def
+;  V04 arg4         [V04,T04] (  4,  3   )   ubyte  ->   r8         single-def
+;  V05 arg5         [V05,T06] (  3,  3   )   ubyte  ->   r9         single-def
+;  V06 loc0         [V06    ] (  3,  2   )     int  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
+;  V09 tmp2         [V09,T07] (  3,  4   )     int  ->  r14         "impAppendStmt"
+;  V10 tmp3         [V10,T02] (  4,  6   )     int  ->  rsi         "Inlining Arg"
+;* V11 tmp4         [V11    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[int]>
+;  V13 tmp6         [V13,T08] (  3,  2   )   byref  ->  rdi         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp7         [V14    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp8         [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp9         [V16    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 8
 
 G_M33040_IG01:
+       push     rbp
+       push     r15
+       push     r14
+       push     rbx
        push     rax
-						;; size=1 bbWeight=1 PerfScore 1.00
+       lea      rbp, [rsp+0x20]
+       mov      ebx, esi
+       mov      r15, rdx
+						;; size=17 bbWeight=1 PerfScore 6.00
 G_M33040_IG02:
-       movzx    rcx, cl
+       mov      esi, dword ptr [r15]
+       sub      esi, ebx
+       js       SHORT G_M33040_IG07
+       movsxd   rdx, ebx
+       lea      rdi, [rdi+4*rdx]
+       movzx    rdx, cl
        movzx    rax, r9b
-       or       eax, ecx
-       jne      SHORT G_M33040_IG05
-						;; size=11 bbWeight=1 PerfScore 1.75
+       or       edx, eax
+       jne      SHORT G_M33040_IG04
+						;; size=25 bbWeight=1 PerfScore 5.75
 G_M33040_IG03:
        movzx    rcx, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long
        cmp      rax, -1
-       setne    al
-       movzx    rax, al
-						;; size=26 bbWeight=0.50 PerfScore 2.50
+       setne    r14b
+       movzx    r14, r14b
+       jmp      SHORT G_M33040_IG05
+						;; size=34 bbWeight=0.50 PerfScore 3.75
 G_M33040_IG04:
-       add      rsp, 8
-       ret      
-						;; size=5 bbWeight=0.50 PerfScore 0.62
-G_M33040_IG05:
+       movzx    rcx, cl
        movzx    r8, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[int](ptr,int,byref,bool,bool):bool
-						;; size=14 bbWeight=0.50 PerfScore 0.25
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[int](System.ReadOnlySpan`1[int],byref,bool,bool):bool
+       call     [rax]System.Net.IPv4AddressHelper:IsValidCanonical[int](System.ReadOnlySpan`1[int],byref,bool,bool):bool
+       mov      r14d, eax
+						;; size=26 bbWeight=0.50 PerfScore 2.25
+G_M33040_IG05:
+       add      ebx, dword ptr [rbp-0x20]
+       mov      dword ptr [r15], ebx
+       movzx    rax, r14b
+						;; size=10 bbWeight=1 PerfScore 3.25
 G_M33040_IG06:
        add      rsp, 8
-       tail.jmp [rax]System.Net.IPv4AddressHelper:IsValidCanonical[int](ptr,int,byref,bool,bool):bool
-						;; size=7 bbWeight=0.50 PerfScore 2.12
+       pop      rbx
+       pop      r14
+       pop      r15
+       pop      rbp
+       ret      
+						;; size=11 bbWeight=1 PerfScore 3.25
+G_M33040_IG07:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 64, prolog size 1, PerfScore 8.25, instruction count 17, allocated bytes for code 64 (MethodHash=d85b7eef) for method System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool (FullOpts)
+; Total bytes of code 136, prolog size 12, PerfScore 24.25, instruction count 43, allocated bytes for code 136 (MethodHash=d85b7eef) for method System.Net.IPv4AddressHelper:IsValid[int](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; ============================================================

72 (112.50 % of base) - System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool

 ; Assembly listing for method System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
-; fully interruptible
+; rbp based frame
+; partially interruptible
 ; No PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T01] (  4,  3   )    long  ->  rdi         single-def
-;  V01 arg1         [V01,T02] (  4,  3   )     int  ->  rsi         single-def
-;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rdx         single-def
-;  V03 arg3         [V03,T04] (  3,  3   )   ubyte  ->  rcx         single-def
-;  V04 arg4         [V04,T03] (  4,  3   )   ubyte  ->   r8         single-def
-;  V05 arg5         [V05,T05] (  3,  3   )   ubyte  ->   r9         single-def
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V07 cse0         [V07,T06] (  3,  2.50)     int  ->  rcx         "CSE #01: aggressive"
+;  V00 arg0         [V00,T05] (  3,  3   )    long  ->  rdi         single-def
+;  V01 arg1         [V01,T00] (  5,  5   )     int  ->  rbx         single-def
+;  V02 arg2         [V02,T01] (  4,  4   )   byref  ->  r15         single-def
+;  V03 arg3         [V03,T03] (  4,  3.50)   ubyte  ->  rcx         single-def
+;  V04 arg4         [V04,T04] (  4,  3   )   ubyte  ->   r8         single-def
+;  V05 arg5         [V05,T06] (  3,  3   )   ubyte  ->   r9         single-def
+;  V06 loc0         [V06    ] (  3,  2   )     int  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[long]>
+;  V09 tmp2         [V09,T07] (  3,  4   )     int  ->  r14         "impAppendStmt"
+;  V10 tmp3         [V10,T02] (  4,  6   )     int  ->  rsi         "Inlining Arg"
+;* V11 tmp4         [V11    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[long]>
+;  V13 tmp6         [V13,T08] (  3,  2   )   byref  ->  rdi         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp7         [V14    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp8         [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp9         [V16    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 8
 
 G_M64137_IG01:
+       push     rbp
+       push     r15
+       push     r14
+       push     rbx
        push     rax
-						;; size=1 bbWeight=1 PerfScore 1.00
+       lea      rbp, [rsp+0x20]
+       mov      ebx, esi
+       mov      r15, rdx
+						;; size=17 bbWeight=1 PerfScore 6.00
 G_M64137_IG02:
-       movzx    rcx, cl
+       mov      esi, dword ptr [r15]
+       sub      esi, ebx
+       js       SHORT G_M64137_IG07
+       movsxd   rdx, ebx
+       lea      rdi, [rdi+8*rdx]
+       movzx    rdx, cl
        movzx    rax, r9b
-       or       eax, ecx
-       jne      SHORT G_M64137_IG05
-						;; size=11 bbWeight=1 PerfScore 1.75
+       or       edx, eax
+       jne      SHORT G_M64137_IG04
+						;; size=25 bbWeight=1 PerfScore 5.75
 G_M64137_IG03:
        movzx    rcx, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long
        cmp      rax, -1
-       setne    al
-       movzx    rax, al
-						;; size=26 bbWeight=0.50 PerfScore 2.50
+       setne    r14b
+       movzx    r14, r14b
+       jmp      SHORT G_M64137_IG05
+						;; size=34 bbWeight=0.50 PerfScore 3.75
 G_M64137_IG04:
-       add      rsp, 8
-       ret      
-						;; size=5 bbWeight=0.50 PerfScore 0.62
-G_M64137_IG05:
+       movzx    rcx, cl
        movzx    r8, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[long](ptr,int,byref,bool,bool):bool
-						;; size=14 bbWeight=0.50 PerfScore 0.25
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[long](System.ReadOnlySpan`1[long],byref,bool,bool):bool
+       call     [rax]System.Net.IPv4AddressHelper:IsValidCanonical[long](System.ReadOnlySpan`1[long],byref,bool,bool):bool
+       mov      r14d, eax
+						;; size=26 bbWeight=0.50 PerfScore 2.25
+G_M64137_IG05:
+       add      ebx, dword ptr [rbp-0x20]
+       mov      dword ptr [r15], ebx
+       movzx    rax, r14b
+						;; size=10 bbWeight=1 PerfScore 3.25
 G_M64137_IG06:
        add      rsp, 8
-       tail.jmp [rax]System.Net.IPv4AddressHelper:IsValidCanonical[long](ptr,int,byref,bool,bool):bool
-						;; size=7 bbWeight=0.50 PerfScore 2.12
+       pop      rbx
+       pop      r14
+       pop      r15
+       pop      rbp
+       ret      
+						;; size=11 bbWeight=1 PerfScore 3.25
+G_M64137_IG07:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 64, prolog size 1, PerfScore 8.25, instruction count 17, allocated bytes for code 64 (MethodHash=c0860576) for method System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool (FullOpts)
+; Total bytes of code 136, prolog size 12, PerfScore 24.25, instruction count 43, allocated bytes for code 136 (MethodHash=c0860576) for method System.Net.IPv4AddressHelper:IsValid[long](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; ============================================================

72 (112.50 % of base) - System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool

 ; Assembly listing for method System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
-; fully interruptible
+; rbp based frame
+; partially interruptible
 ; No PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T01] (  4,  3   )    long  ->  rdi         single-def
-;  V01 arg1         [V01,T02] (  4,  3   )     int  ->  rsi         single-def
-;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rdx         single-def
-;  V03 arg3         [V03,T04] (  3,  3   )   ubyte  ->  rcx         single-def
-;  V04 arg4         [V04,T03] (  4,  3   )   ubyte  ->   r8         single-def
-;  V05 arg5         [V05,T05] (  3,  3   )   ubyte  ->   r9         single-def
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V07 cse0         [V07,T06] (  3,  2.50)     int  ->  rcx         "CSE #01: aggressive"
+;  V00 arg0         [V00,T05] (  3,  3   )    long  ->  rdi         single-def
+;  V01 arg1         [V01,T00] (  5,  5   )     int  ->  rbx         single-def
+;  V02 arg2         [V02,T01] (  4,  4   )   byref  ->  r15         single-def
+;  V03 arg3         [V03,T03] (  4,  3.50)   ubyte  ->  rcx         single-def
+;  V04 arg4         [V04,T04] (  4,  3   )   ubyte  ->   r8         single-def
+;  V05 arg5         [V05,T06] (  3,  3   )   ubyte  ->   r9         single-def
+;  V06 loc0         [V06    ] (  3,  2   )     int  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[short]>
+;  V09 tmp2         [V09,T07] (  3,  4   )     int  ->  r14         "impAppendStmt"
+;  V10 tmp3         [V10,T02] (  4,  6   )     int  ->  rsi         "Inlining Arg"
+;* V11 tmp4         [V11    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[short]>
+;  V13 tmp6         [V13,T08] (  3,  2   )   byref  ->  rdi         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp7         [V14    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp8         [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp9         [V16    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 8
 
 G_M43537_IG01:
+       push     rbp
+       push     r15
+       push     r14
+       push     rbx
        push     rax
-						;; size=1 bbWeight=1 PerfScore 1.00
+       lea      rbp, [rsp+0x20]
+       mov      ebx, esi
+       mov      r15, rdx
+						;; size=17 bbWeight=1 PerfScore 6.00
 G_M43537_IG02:
-       movzx    rcx, cl
+       mov      esi, dword ptr [r15]
+       sub      esi, ebx
+       js       SHORT G_M43537_IG07
+       movsxd   rdx, ebx
+       lea      rdi, [rdi+2*rdx]
+       movzx    rdx, cl
        movzx    rax, r9b
-       or       eax, ecx
-       jne      SHORT G_M43537_IG05
-						;; size=11 bbWeight=1 PerfScore 1.75
+       or       edx, eax
+       jne      SHORT G_M43537_IG04
+						;; size=25 bbWeight=1 PerfScore 5.75
 G_M43537_IG03:
        movzx    rcx, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long
        cmp      rax, -1
-       setne    al
-       movzx    rax, al
-						;; size=26 bbWeight=0.50 PerfScore 2.50
+       setne    r14b
+       movzx    r14, r14b
+       jmp      SHORT G_M43537_IG05
+						;; size=34 bbWeight=0.50 PerfScore 3.75
 G_M43537_IG04:
-       add      rsp, 8
-       ret      
-						;; size=5 bbWeight=0.50 PerfScore 0.62
-G_M43537_IG05:
+       movzx    rcx, cl
        movzx    r8, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[short](ptr,int,byref,bool,bool):bool
-						;; size=14 bbWeight=0.50 PerfScore 0.25
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[short](System.ReadOnlySpan`1[short],byref,bool,bool):bool
+       call     [rax]System.Net.IPv4AddressHelper:IsValidCanonical[short](System.ReadOnlySpan`1[short],byref,bool,bool):bool
+       mov      r14d, eax
+						;; size=26 bbWeight=0.50 PerfScore 2.25
+G_M43537_IG05:
+       add      ebx, dword ptr [rbp-0x20]
+       mov      dword ptr [r15], ebx
+       movzx    rax, r14b
+						;; size=10 bbWeight=1 PerfScore 3.25
 G_M43537_IG06:
        add      rsp, 8
-       tail.jmp [rax]System.Net.IPv4AddressHelper:IsValidCanonical[short](ptr,int,byref,bool,bool):bool
-						;; size=7 bbWeight=0.50 PerfScore 2.12
+       pop      rbx
+       pop      r14
+       pop      r15
+       pop      rbp
+       ret      
+						;; size=11 bbWeight=1 PerfScore 3.25
+G_M43537_IG07:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 64, prolog size 1, PerfScore 8.25, instruction count 17, allocated bytes for code 64 (MethodHash=f38155ee) for method System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool (FullOpts)
+; Total bytes of code 136, prolog size 12, PerfScore 24.25, instruction count 43, allocated bytes for code 136 (MethodHash=f38155ee) for method System.Net.IPv4AddressHelper:IsValid[short](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; ============================================================

71 (110.94 % of base) - System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool

 ; Assembly listing for method System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
-; fully interruptible
+; rbp based frame
+; partially interruptible
 ; No PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T01] (  4,  3   )    long  ->  rdi         single-def
-;  V01 arg1         [V01,T02] (  4,  3   )     int  ->  rsi         single-def
-;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rdx         single-def
-;  V03 arg3         [V03,T04] (  3,  3   )   ubyte  ->  rcx         single-def
-;  V04 arg4         [V04,T03] (  4,  3   )   ubyte  ->   r8         single-def
-;  V05 arg5         [V05,T05] (  3,  3   )   ubyte  ->   r9         single-def
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V07 cse0         [V07,T06] (  3,  2.50)     int  ->  rcx         "CSE #01: aggressive"
+;  V00 arg0         [V00,T05] (  3,  3   )    long  ->  rdi         single-def
+;  V01 arg1         [V01,T00] (  5,  5   )     int  ->  rbx         single-def
+;  V02 arg2         [V02,T01] (  4,  4   )   byref  ->  r15         single-def
+;  V03 arg3         [V03,T03] (  4,  3.50)   ubyte  ->  rcx         single-def
+;  V04 arg4         [V04,T04] (  4,  3   )   ubyte  ->   r8         single-def
+;  V05 arg5         [V05,T06] (  3,  3   )   ubyte  ->   r9         single-def
+;  V06 loc0         [V06    ] (  3,  2   )     int  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V09 tmp2         [V09,T07] (  3,  4   )     int  ->  r14         "impAppendStmt"
+;  V10 tmp3         [V10,T02] (  4,  6   )     int  ->  rsi         "Inlining Arg"
+;* V11 tmp4         [V11    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V13 tmp6         [V13,T08] (  3,  2   )   byref  ->  rdi         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp7         [V14    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp8         [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp9         [V16    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 8
 
 G_M31625_IG01:
+       push     rbp
+       push     r15
+       push     r14
+       push     rbx
        push     rax
-						;; size=1 bbWeight=1 PerfScore 1.00
+       lea      rbp, [rsp+0x20]
+       mov      ebx, esi
+       mov      r15, rdx
+						;; size=17 bbWeight=1 PerfScore 6.00
 G_M31625_IG02:
-       movzx    rcx, cl
+       mov      esi, dword ptr [r15]
+       sub      esi, ebx
+       js       SHORT G_M31625_IG07
+       movsxd   rdx, ebx
+       add      rdi, rdx
+       movzx    rdx, cl
        movzx    rax, r9b
-       or       eax, ecx
-       jne      SHORT G_M31625_IG05
-						;; size=11 bbWeight=1 PerfScore 1.75
+       or       edx, eax
+       jne      SHORT G_M31625_IG04
+						;; size=24 bbWeight=1 PerfScore 5.50
 G_M31625_IG03:
        movzx    rcx, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long
        cmp      rax, -1
-       setne    al
-       movzx    rax, al
-						;; size=26 bbWeight=0.50 PerfScore 2.50
+       setne    r14b
+       movzx    r14, r14b
+       jmp      SHORT G_M31625_IG05
+						;; size=34 bbWeight=0.50 PerfScore 3.75
 G_M31625_IG04:
-       add      rsp, 8
-       ret      
-						;; size=5 bbWeight=0.50 PerfScore 0.62
-G_M31625_IG05:
+       movzx    rcx, cl
        movzx    r8, r8b
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[byte](ptr,int,byref,bool,bool):bool
-						;; size=14 bbWeight=0.50 PerfScore 0.25
+       lea      rdx, [rbp-0x20]
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:IsValidCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool,bool):bool
+       call     [rax]System.Net.IPv4AddressHelper:IsValidCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool,bool):bool
+       mov      r14d, eax
+						;; size=26 bbWeight=0.50 PerfScore 2.25
+G_M31625_IG05:
+       add      ebx, dword ptr [rbp-0x20]
+       mov      dword ptr [r15], ebx
+       movzx    rax, r14b
+						;; size=10 bbWeight=1 PerfScore 3.25
 G_M31625_IG06:
        add      rsp, 8
-       tail.jmp [rax]System.Net.IPv4AddressHelper:IsValidCanonical[byte](ptr,int,byref,bool,bool):bool
-						;; size=7 bbWeight=0.50 PerfScore 2.12
+       pop      rbx
+       pop      r14
+       pop      r15
+       pop      rbp
+       ret      
+						;; size=11 bbWeight=1 PerfScore 3.25
+G_M31625_IG07:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 64, prolog size 1, PerfScore 8.25, instruction count 17, allocated bytes for code 64 (MethodHash=832e8476) for method System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool (FullOpts)
+; Total bytes of code 135, prolog size 12, PerfScore 24.00, instruction count 43, allocated bytes for code 135 (MethodHash=832e8476) for method System.Net.IPv4AddressHelper:IsValid[byte](ptr,int,byref,bool,bool,bool):bool (FullOpts)
 ; ============================================================

38 (8.82 % of base) - System.Uri:CheckHostName(System.String):int

 ; Assembly listing for method System.Uri:CheckHostName(System.String):int (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 8 single block inlinees; 6 inlinees without PGO data
+; 0 inlinees with PGO data; 9 single block inlinees; 7 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00,T00] ( 12,  7.50)     ref  ->  rbx         class-hnd <System.String>
-;  V01 loc0         [V01    ] (  9,  4.50)     int  ->  [rbp-0x28]  do-not-enreg[X] addr-exposed ld-addr-op
+;  V01 loc0         [V01    ] ( 10,  5   )     int  ->  [rbp-0x28]  do-not-enreg[X] addr-exposed ld-addr-op
 ;  V02 loc1         [V02    ] (  4,  2   )     int  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed ld-addr-op
 ;* V03 loc2         [V03    ] (  0,  0   )    long  ->  zero-ref   
 ;  V04 loc3         [V04    ] (  6,  3   )   byref  ->  [rbp-0x38]  must-init pinned
 ;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V06 tmp1         [V06    ] (  0,  0   )    long  ->  zero-ref   
 ;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[char]>
 ;* V08 tmp3         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[char]>
-;  V09 tmp4         [V09,T10] (  3,  1.50)    long  ->  rdi        
-;* V10 tmp5         [V10,T11] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;  V09 tmp4         [V09,T12] (  3,  1.50)    long  ->  rdi        
+;* V10 tmp5         [V10,T14] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V11 tmp6         [V11    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V12 tmp7         [V12    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V13 tmp8         [V13    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;* V14 tmp9         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V15 tmp10        [V15    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V16 tmp11        [V16    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V17 tmp12        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
-;  V18 tmp13        [V18,T04] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V19 tmp14        [V19,T06] (  2,  2   )     int  ->  rsi         "Inlining Arg"
-;* V20 tmp15        [V20    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V21 tmp16        [V21    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V22 tmp17        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
-;  V23 tmp18        [V23,T05] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V24 tmp19        [V24,T07] (  2,  2   )     int  ->  rsi         "Inlining Arg"
-;  V25 tmp20        [V25,T08] (  2,  2   )     int  ->  rax         "Single return block return value"
-;* V26 tmp21        [V26    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp22        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp23        [V28    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp24        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V30 tmp25        [V30    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp26        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V32 tmp27        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V33 tmp28        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V34 tmp29        [V34    ] (  0,  0   )   byref  ->  zero-ref    "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V35 tmp30        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp31        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp32        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;* V38 tmp33        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp34        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
-;* V40 tmp35        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp36        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;  V42 tmp37        [V42,T02] (  3,  3   )    long  ->  r13         "Cast away GC"
-;  V43 tmp38        [V43,T09] (  2,  2   )    long  ->  rdi         "Cast away GC"
-;  V44 cse0         [V44,T01] ( 12,  6   )     int  ->  r15         "CSE #01: aggressive"
-;  V45 cse1         [V45,T03] (  4,  2   )   byref  ->  r14         "CSE #02: moderate"
+;* V14 tmp9         [V14    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;  V15 tmp10        [V15    ] (  2,  1   )     int  ->  [rbp-0x40]  do-not-enreg[X] addr-exposed ld-addr-op "Inline ldloca(s) first use temp"
+;  V16 tmp11        [V16,T07] (  2,  2   )     int  ->  rdi         "impAppendStmt"
+;  V17 tmp12        [V17,T02] (  3,  3   )     int  ->  rsi         "Inlining Arg"
+;* V18 tmp13        [V18    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[char]>
+;* V19 tmp14        [V19    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;* V20 tmp15        [V20    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V21 tmp16        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
+;  V22 tmp17        [V22,T05] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V23 tmp18        [V23,T08] (  2,  2   )     int  ->  rsi         "Inlining Arg"
+;* V24 tmp19        [V24    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;* V25 tmp20        [V25    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V26 tmp21        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
+;  V27 tmp22        [V27,T06] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V28 tmp23        [V28,T09] (  2,  2   )     int  ->  rsi         "Inlining Arg"
+;  V29 tmp24        [V29,T10] (  2,  2   )     int  ->  rax         "Single return block return value"
+;* V30 tmp25        [V30    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V31 tmp26        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp27        [V32    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V33 tmp28        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V34 tmp29        [V34,T13] (  2,  1   )   byref  ->  rdi         single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V35 tmp30        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V36 tmp31        [V36    ] (  0,  0   )   byref  ->  zero-ref    "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V37 tmp32        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V38 tmp33        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp34        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp35        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp36        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;* V42 tmp37        [V42    ] (  0,  0   )   byref  ->  zero-ref    "field V21._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp38        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp39        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp40        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp41        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp42        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V48 tmp43        [V48    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V49 tmp44        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;  V50 tmp45        [V50,T03] (  3,  3   )    long  ->  r13         "Cast away GC"
+;  V51 tmp46        [V51,T11] (  2,  2   )    long  ->  rdi         "Cast away GC"
+;  V52 cse0         [V52,T01] ( 12,  6   )     int  ->  r15         "CSE #01: aggressive"
+;  V53 cse1         [V53,T04] (  4,  2   )   byref  ->  r14         "CSE #02: moderate"
 ;
 ; Lcl frame size = 32
 
 G_M30002_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     rbx
        sub      rsp, 32
        lea      rbp, [rsp+0x40]
        xor      eax, eax
        mov      qword ptr [rbp-0x38], rax
        mov      rbx, rdi
 						;; size=26 bbWeight=1 PerfScore 7.25
 G_M30002_IG02:
        test     rbx, rbx
        je       G_M30002_IG11
 						;; size=9 bbWeight=1 PerfScore 1.25
 G_M30002_IG03:
        mov      r15d, dword ptr [rbx+0x08]
        test     r15d, r15d
        je       G_M30002_IG11
        mov      dword ptr [rbp-0x28], r15d
        lea      r14, bword ptr [rbx+0x0C]
        mov      bword ptr [rbp-0x38], r14
        mov      r13, bword ptr [rbp-0x38]
        cmp      word  ptr [rbx+0x0C], 91
        jne      SHORT G_M30002_IG04
        mov      edx, r15d
        cmp      word  ptr [rbx+2*rdx+0x0A], 93
        jne      SHORT G_M30002_IG04
        lea      rdx, [rbp-0x28]
        mov      rdi, r13
        mov      esi, 1
        xor      ecx, ecx
        mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:InternalIsValid(ptr,int,byref,bool):bool
        call     [rax]System.Net.IPv6AddressHelper:InternalIsValid(ptr,int,byref,bool):bool
        test     eax, eax
        je       SHORT G_M30002_IG04
        cmp      dword ptr [rbp-0x28], r15d
        je       G_M30002_IG13
 						;; size=87 bbWeight=0.50 PerfScore 11.88
 G_M30002_IG04:
        mov      dword ptr [rbp-0x28], r15d
-       lea      rdx, [rbp-0x28]
+       mov      esi, dword ptr [rbp-0x28]
+       test     esi, esi
+       jl       G_M30002_IG19
        mov      rdi, r13
-       xor      esi, esi
+       lea      rdx, [rbp-0x40]
        xor      ecx, ecx
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[char](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[char](ptr,int,byref,bool):long
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[char](System.ReadOnlySpan`1[char],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[char](System.ReadOnlySpan`1[char],byref,bool):long
        cmp      rax, -1
+       setne    dil
+       movzx    rdi, dil
+       mov      esi, dword ptr [rbp-0x40]
+       mov      dword ptr [rbp-0x28], esi
+       test     edi, edi
        je       SHORT G_M30002_IG05
        cmp      dword ptr [rbp-0x28], r15d
        je       G_M30002_IG17
-						;; size=43 bbWeight=0.50 PerfScore 4.88
+						;; size=68 bbWeight=0.50 PerfScore 7.62
 G_M30002_IG05:
        xor      edi, edi
        mov      bword ptr [rbp-0x38], rdi
        mov      rdi, r14
        mov      esi, r15d
        lea      r8, [rbp-0x30]
        xor      edx, edx
        xor      ecx, ecx
        mov      rax, 0xD1FFAB1E      ; code for System.DomainNameHelper:IsValid(System.ReadOnlySpan`1[char],bool,bool,byref):bool
        call     [rax]System.DomainNameHelper:IsValid(System.ReadOnlySpan`1[char],bool,bool,byref):bool
        test     eax, eax
        je       SHORT G_M30002_IG06
        cmp      dword ptr [rbp-0x30], r15d
        je       G_M30002_IG15
 						;; size=46 bbWeight=0.50 PerfScore 5.12
 G_M30002_IG06:
        mov      rdi, r14
        mov      esi, r15d
        lea      r8, [rbp-0x30]
        mov      edx, 1
        xor      ecx, ecx
        mov      rax, 0xD1FFAB1E      ; code for System.DomainNameHelper:IsValid(System.ReadOnlySpan`1[char],bool,bool,byref):bool
        call     [rax]System.DomainNameHelper:IsValid(System.ReadOnlySpan`1[char],bool,bool,byref):bool
        test     eax, eax
        je       SHORT G_M30002_IG07
        cmp      dword ptr [rbp-0x30], r15d
        je       G_M30002_IG15
 						;; size=43 bbWeight=0.50 PerfScore 4.50
 G_M30002_IG07:
        add      r15d, 2
        mov      dword ptr [rbp-0x28], r15d
        mov      rsi, rbx
        mov      rdi, 0xD1FFAB1E      ; '['
        mov      rdx, 0xD1FFAB1E      ; ']'
        mov      rax, 0xD1FFAB1E      ; code for System.String:Concat(System.String,System.String,System.String):System.String
        call     [rax]System.String:Concat(System.String,System.String,System.String):System.String
        mov      rbx, rax
        test     rbx, rbx
        je       SHORT G_M30002_IG08
        lea      rdx, bword ptr [rbx+0x0C]
        mov      bword ptr [rbp-0x38], rdx
        mov      rdi, bword ptr [rbp-0x38]
        jmp      SHORT G_M30002_IG09
 						;; size=65 bbWeight=0.50 PerfScore 5.62
 G_M30002_IG08:
        xor      edi, edi
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M30002_IG09:
        lea      rdx, [rbp-0x28]
        mov      esi, 1
        xor      ecx, ecx
        mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:InternalIsValid(ptr,int,byref,bool):bool
        call     [rax]System.Net.IPv6AddressHelper:InternalIsValid(ptr,int,byref,bool):bool
        test     eax, eax
        je       SHORT G_M30002_IG10
        mov      eax, dword ptr [rbp-0x28]
        cmp      eax, dword ptr [rbx+0x08]
        je       SHORT G_M30002_IG13
 						;; size=35 bbWeight=0.50 PerfScore 5.25
 G_M30002_IG10:
        xor      eax, eax
        mov      bword ptr [rbp-0x38], rax
 						;; size=6 bbWeight=0.50 PerfScore 0.62
 G_M30002_IG11:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M30002_IG12:
        add      rsp, 32
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=13 bbWeight=0.50 PerfScore 1.88
 G_M30002_IG13:
        mov      eax, 4
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M30002_IG14:
        add      rsp, 32
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=13 bbWeight=0.50 PerfScore 1.88
 G_M30002_IG15:
        mov      eax, 2
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M30002_IG16:
        add      rsp, 32
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=13 bbWeight=0.50 PerfScore 1.88
 G_M30002_IG17:
        mov      eax, 3
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M30002_IG18:
        add      rsp, 32
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=13 bbWeight=0.50 PerfScore 1.88
+G_M30002_IG19:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 431, prolog size 23, PerfScore 54.50, instruction count 128, allocated bytes for code 431 (MethodHash=5b218acd) for method System.Uri:CheckHostName(System.String):int (FullOpts)
+; Total bytes of code 469, prolog size 23, PerfScore 57.25, instruction count 138, allocated bytes for code 469 (MethodHash=5b218acd) for method System.Uri:CheckHostName(System.String):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/4025d1d1afe87e2dddf93491f8a10a90

[MihuBot]

Top method improvements

-13 (-12.87 % of base) - System.Net.IPAddressParser:TryParseIpv4[byte](System.ReadOnlySpan`1[byte],byref):bool

 ; Assembly listing for method System.Net.IPAddressParser:TryParseIpv4[byte](System.ReadOnlySpan`1[byte],byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T00] (  4,  3   )   byref  ->  rbx         single-def
-;  V02 loc0         [V02    ] (  3,  2.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
-;  V03 loc1         [V03,T05] (  3,  2.50)    long  ->  rax        
-;  V04 loc2         [V04    ] (  2,  2   )   byref  ->  [rbp-0x20]  pinned
-;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V06 tmp1         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V07 tmp2         [V07    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V08 tmp3         [V08    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V09 tmp4         [V09,T01] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V10 tmp5         [V10,T02] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V11 tmp6         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V12 tmp7         [V12    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;  V13 tmp8         [V13,T03] (  2,  4   )    long  ->  rdi         "Cast away GC"
-;  V14 tmp9         [V14,T04] (  2,  4   )    long  ->  rdi         "argument with side effect"
+;  V02 loc0         [V02,T03] (  3,  2.50)    long  ->  rax        
+;  V03 loc1         [V03    ] (  2,  1.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V06 tmp2         [V06    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V08 tmp4         [V08,T01] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M63744_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      r15d, esi
        mov      rbx, rdx
 						;; size=19 bbWeight=1 PerfScore 4.25
 G_M63744_IG02:
-       mov      dword ptr [rbp-0x18], r15d
-       mov      bword ptr [rbp-0x20], rdi
+       mov      esi, r15d
        lea      rdx, [rbp-0x18]
-       xor      esi, esi
        mov      ecx, 1
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[byte](ptr,int,byref,bool):long
-       xor      ecx, ecx
-       mov      bword ptr [rbp-0x20], rcx
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[byte](System.ReadOnlySpan`1[byte],byref,bool):long
        cmp      rax, -1
        je       SHORT G_M63744_IG04
-						;; size=43 bbWeight=1 PerfScore 8.75
+						;; size=30 bbWeight=1 PerfScore 5.50
 G_M63744_IG03:
        cmp      dword ptr [rbp-0x18], r15d
        je       SHORT G_M63744_IG06
 						;; size=6 bbWeight=0.50 PerfScore 1.50
 G_M63744_IG04:
        xor      eax, eax
        mov      qword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M63744_IG05:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M63744_IG06:
        bswap    eax
        mov      qword ptr [rbx], rax
        mov      eax, 1
 						;; size=10 bbWeight=0.50 PerfScore 0.88
 G_M63744_IG07:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 
-; Total bytes of code 101, prolog size 13, PerfScore 18.75, instruction count 35, allocated bytes for code 101 (MethodHash=a18906ff) for method System.Net.IPAddressParser:TryParseIpv4[byte](System.ReadOnlySpan`1[byte],byref):bool (FullOpts)
+; Total bytes of code 88, prolog size 13, PerfScore 15.50, instruction count 31, allocated bytes for code 88 (MethodHash=a18906ff) for method System.Net.IPAddressParser:TryParseIpv4[byte](System.ReadOnlySpan`1[byte],byref):bool (FullOpts)
 ; ============================================================

-13 (-12.87 % of base) - System.Net.IPAddressParser:TryParseIpv4[int](System.ReadOnlySpan`1[int],byref):bool

 ; Assembly listing for method System.Net.IPAddressParser:TryParseIpv4[int](System.ReadOnlySpan`1[int],byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[int]>
 ;  V01 arg1         [V01,T00] (  4,  3   )   byref  ->  rbx         single-def
-;  V02 loc0         [V02    ] (  3,  2.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
-;  V03 loc1         [V03,T05] (  3,  2.50)    long  ->  rax        
-;  V04 loc2         [V04    ] (  2,  2   )   byref  ->  [rbp-0x20]  pinned
-;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V06 tmp1         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[int]>
-;* V07 tmp2         [V07    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V08 tmp3         [V08    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V09 tmp4         [V09,T01] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V10 tmp5         [V10,T02] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V11 tmp6         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V12 tmp7         [V12    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;  V13 tmp8         [V13,T03] (  2,  4   )    long  ->  rdi         "Cast away GC"
-;  V14 tmp9         [V14,T04] (  2,  4   )    long  ->  rdi         "argument with side effect"
+;  V02 loc0         [V02,T03] (  3,  2.50)    long  ->  rax        
+;  V03 loc1         [V03    ] (  2,  1.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V06 tmp2         [V06    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V08 tmp4         [V08,T01] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M29024_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      r15d, esi
        mov      rbx, rdx
 						;; size=19 bbWeight=1 PerfScore 4.25
 G_M29024_IG02:
-       mov      dword ptr [rbp-0x18], r15d
-       mov      bword ptr [rbp-0x20], rdi
+       mov      esi, r15d
        lea      rdx, [rbp-0x18]
-       xor      esi, esi
        mov      ecx, 1
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[int](ptr,int,byref,bool):long
-       xor      ecx, ecx
-       mov      bword ptr [rbp-0x20], rcx
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[int](System.ReadOnlySpan`1[int],byref,bool):long
        cmp      rax, -1
        je       SHORT G_M29024_IG04
-						;; size=43 bbWeight=1 PerfScore 8.75
+						;; size=30 bbWeight=1 PerfScore 5.50
 G_M29024_IG03:
        cmp      dword ptr [rbp-0x18], r15d
        je       SHORT G_M29024_IG06
 						;; size=6 bbWeight=0.50 PerfScore 1.50
 G_M29024_IG04:
        xor      eax, eax
        mov      qword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M29024_IG05:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M29024_IG06:
        bswap    eax
        mov      qword ptr [rbx], rax
        mov      eax, 1
 						;; size=10 bbWeight=0.50 PerfScore 0.88
 G_M29024_IG07:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 
-; Total bytes of code 101, prolog size 13, PerfScore 18.75, instruction count 35, allocated bytes for code 101 (MethodHash=6c338e9f) for method System.Net.IPAddressParser:TryParseIpv4[int](System.ReadOnlySpan`1[int],byref):bool (FullOpts)
+; Total bytes of code 88, prolog size 13, PerfScore 15.50, instruction count 31, allocated bytes for code 88 (MethodHash=6c338e9f) for method System.Net.IPAddressParser:TryParseIpv4[int](System.ReadOnlySpan`1[int],byref):bool (FullOpts)
 ; ============================================================

-13 (-12.87 % of base) - System.Net.IPAddressParser:TryParseIpv4[long](System.ReadOnlySpan`1[long],byref):bool

 ; Assembly listing for method System.Net.IPAddressParser:TryParseIpv4[long](System.ReadOnlySpan`1[long],byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[long]>
 ;  V01 arg1         [V01,T00] (  4,  3   )   byref  ->  rbx         single-def
-;  V02 loc0         [V02    ] (  3,  2.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
-;  V03 loc1         [V03,T05] (  3,  2.50)    long  ->  rax        
-;  V04 loc2         [V04    ] (  2,  2   )   byref  ->  [rbp-0x20]  pinned
-;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V06 tmp1         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[long]>
-;* V07 tmp2         [V07    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V08 tmp3         [V08    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V09 tmp4         [V09,T01] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V10 tmp5         [V10,T02] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V11 tmp6         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V12 tmp7         [V12    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;  V13 tmp8         [V13,T03] (  2,  4   )    long  ->  rdi         "Cast away GC"
-;  V14 tmp9         [V14,T04] (  2,  4   )    long  ->  rdi         "argument with side effect"
+;  V02 loc0         [V02,T03] (  3,  2.50)    long  ->  rax        
+;  V03 loc1         [V03    ] (  2,  1.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V06 tmp2         [V06    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V08 tmp4         [V08,T01] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M55296_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      r15d, esi
        mov      rbx, rdx
 						;; size=19 bbWeight=1 PerfScore 4.25
 G_M55296_IG02:
-       mov      dword ptr [rbp-0x18], r15d
-       mov      bword ptr [rbp-0x20], rdi
+       mov      esi, r15d
        lea      rdx, [rbp-0x18]
-       xor      esi, esi
        mov      ecx, 1
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[long](ptr,int,byref,bool):long
-       xor      ecx, ecx
-       mov      bword ptr [rbp-0x20], rcx
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[long](System.ReadOnlySpan`1[long],byref,bool):long
        cmp      rax, -1
        je       SHORT G_M55296_IG04
-						;; size=43 bbWeight=1 PerfScore 8.75
+						;; size=30 bbWeight=1 PerfScore 5.50
 G_M55296_IG03:
        cmp      dword ptr [rbp-0x18], r15d
        je       SHORT G_M55296_IG06
 						;; size=6 bbWeight=0.50 PerfScore 1.50
 G_M55296_IG04:
        xor      eax, eax
        mov      qword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M55296_IG05:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M55296_IG06:
        bswap    eax
        mov      qword ptr [rbx], rax
        mov      eax, 1
 						;; size=10 bbWeight=0.50 PerfScore 0.88
 G_M55296_IG07:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 
-; Total bytes of code 101, prolog size 13, PerfScore 18.75, instruction count 35, allocated bytes for code 101 (MethodHash=5e3a27ff) for method System.Net.IPAddressParser:TryParseIpv4[long](System.ReadOnlySpan`1[long],byref):bool (FullOpts)
+; Total bytes of code 88, prolog size 13, PerfScore 15.50, instruction count 31, allocated bytes for code 88 (MethodHash=5e3a27ff) for method System.Net.IPAddressParser:TryParseIpv4[long](System.ReadOnlySpan`1[long],byref):bool (FullOpts)
 ; ============================================================

-13 (-12.87 % of base) - System.Net.IPAddressParser:TryParseIpv4[short](System.ReadOnlySpan`1[short],byref):bool

 ; Assembly listing for method System.Net.IPAddressParser:TryParseIpv4[short](System.ReadOnlySpan`1[short],byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[short]>
 ;  V01 arg1         [V01,T00] (  4,  3   )   byref  ->  rbx         single-def
-;  V02 loc0         [V02    ] (  3,  2.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
-;  V03 loc1         [V03,T05] (  3,  2.50)    long  ->  rax        
-;  V04 loc2         [V04    ] (  2,  2   )   byref  ->  [rbp-0x20]  pinned
-;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V06 tmp1         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[short]>
-;* V07 tmp2         [V07    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V08 tmp3         [V08    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V09 tmp4         [V09,T01] (  3,  3   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V10 tmp5         [V10,T02] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;* V11 tmp6         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V12 tmp7         [V12    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;  V13 tmp8         [V13,T03] (  2,  4   )    long  ->  rdi         "Cast away GC"
-;  V14 tmp9         [V14,T04] (  2,  4   )    long  ->  rdi         "argument with side effect"
+;  V02 loc0         [V02,T03] (  3,  2.50)    long  ->  rax        
+;  V03 loc1         [V03    ] (  2,  1.50)     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed ld-addr-op
+;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V06 tmp2         [V06    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  2,  2   )   byref  ->  rdi         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V08 tmp4         [V08,T01] (  3,  2.50)     int  ->  r15         single-def "field V00._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M27584_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      r15d, esi
        mov      rbx, rdx
 						;; size=19 bbWeight=1 PerfScore 4.25
 G_M27584_IG02:
-       mov      dword ptr [rbp-0x18], r15d
-       mov      bword ptr [rbp-0x20], rdi
+       mov      esi, r15d
        lea      rdx, [rbp-0x18]
-       xor      esi, esi
        mov      ecx, 1
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long
-       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[short](ptr,int,byref,bool):long
-       xor      ecx, ecx
-       mov      bword ptr [rbp-0x20], rcx
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long
+       call     [rax]System.Net.IPv4AddressHelper:ParseNonCanonical[short](System.ReadOnlySpan`1[short],byref,bool):long
        cmp      rax, -1
        je       SHORT G_M27584_IG04
-						;; size=43 bbWeight=1 PerfScore 8.75
+						;; size=30 bbWeight=1 PerfScore 5.50
 G_M27584_IG03:
        cmp      dword ptr [rbp-0x18], r15d
        je       SHORT G_M27584_IG06
 						;; size=6 bbWeight=0.50 PerfScore 1.50
 G_M27584_IG04:
        xor      eax, eax
        mov      qword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M27584_IG05:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M27584_IG06:
        bswap    eax
        mov      qword ptr [rbx], rax
        mov      eax, 1
 						;; size=10 bbWeight=0.50 PerfScore 0.88
 G_M27584_IG07:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 
-; Total bytes of code 101, prolog size 13, PerfScore 18.75, instruction count 35, allocated bytes for code 101 (MethodHash=c843943f) for method System.Net.IPAddressParser:TryParseIpv4[short](System.ReadOnlySpan`1[short],byref):bool (FullOpts)
+; Total bytes of code 88, prolog size 13, PerfScore 15.50, instruction count 31, allocated bytes for code 88 (MethodHash=c843943f) for method System.Net.IPAddressParser:TryParseIpv4[short](System.ReadOnlySpan`1[short],byref):bool (FullOpts)
 ; ============================================================

-12 (-4.53 % of base) - System.Net.IPAddressParser:TryParseIPv6[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],int,byref):bool

 ; Assembly listing for method System.Net.IPAddressParser:TryParseIPv6[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],int,byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 6 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 5 inlinees without PGO data
 ; Final local variable assignments
 ;
-;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
+;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.ReadOnlySpan`1[byte]>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[ushort]>
 ;* V02 arg2         [V02    ] (  0,  0   )     int  ->  zero-ref    single-def
 ;  V03 arg3         [V03,T00] (  6,  4   )   byref  ->  rbx         single-def
 ;  V04 loc0         [V04    ] ( 10,  5   )  struct (16) [rbp-0x38]  do-not-enreg[XSA] multireg-arg must-init addr-exposed ld-addr-op <System.ReadOnlySpan`1[byte]>
-;  V05 loc1         [V05    ] (  2,  1.50)   byref  ->  [rbp-0x40]  pinned
-;* V06 loc2         [V06    ] (  0,  0   )   ubyte  ->  zero-ref   
-;  V07 loc3         [V07,T10] (  3,  1.50)     int  ->  rax        
-;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
-;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;  V12 tmp4         [V12,T07] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V13 tmp5         [V13,T09] (  2,  2   )     int  ->  rax         "Inlining Arg"
-;* V14 tmp6         [V14    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V17 tmp9         [V17    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V18 tmp10        [V18    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V19 tmp11        [V19    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V20 tmp12        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V21 tmp13        [V21    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V22 tmp14        [V22    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.Globalization.CultureInfo>
-;  V23 tmp15        [V23,T11] (  2,  1   )     ref  ->  rcx         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
-;  V24 tmp16        [V24,T08] (  2,  2   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.Globalization.CultureInfo>
-;* V25 tmp17        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;  V26 tmp18        [V26,T01] (  4,  3.50)   byref  ->  r15         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V27 tmp19        [V27,T02] (  3,  2.50)     int  ->  r14         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V28 tmp20        [V28,T05] (  2,  1.50)   byref  ->  r13         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V29 tmp21        [V29,T06] (  2,  1.50)     int  ->  r12         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp22        [V30    ] (  6,  3   )   byref  ->  [rbp-0x38]  do-not-enreg[X] addr-exposed "field V04._reference (fldOffset=0x0)" P-DEP
-;  V31 tmp23        [V31    ] (  7,  3.50)     int  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V04._length (fldOffset=0x8)" P-DEP
-;* V32 tmp24        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V33 tmp25        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V35 tmp27        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp28        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp29        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;  V38 tmp30        [V38,T12] (  2,  1   )   byref  ->  r15         single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;  V39 tmp31        [V39,T13] (  2,  1   )     int  ->  r14         "field V16._length (fldOffset=0x8)" P-INDEP
-;* V40 tmp32        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp33        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;* V42 tmp34        [V42    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V43 tmp35        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;  V44 tmp36        [V44,T03] (  2,  4   )    long  ->  rdi         "Cast away GC"
-;  V45 tmp37        [V45,T04] (  2,  4   )    long  ->  rdi         "argument with side effect"
+;* V05 loc1         [V05    ] (  0,  0   )   ubyte  ->  zero-ref   
+;  V06 loc2         [V06,T08] (  3,  1.50)     int  ->  rax        
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
+;* V09 tmp2         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V10 tmp3         [V10,T05] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V11 tmp4         [V11,T07] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V13 tmp6         [V13    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V14 tmp7         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V15 tmp8         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V16 tmp9         [V16    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V17 tmp10        [V17    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V18 tmp11        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V19 tmp12        [V19    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V20 tmp13        [V20    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.Globalization.CultureInfo>
+;  V21 tmp14        [V21,T09] (  2,  1   )     ref  ->  rcx         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
+;  V22 tmp15        [V22,T06] (  2,  2   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.Globalization.CultureInfo>
+;* V23 tmp16        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;  V24 tmp17        [V24,T01] (  3,  2.50)   byref  ->  r15         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V25 tmp18        [V25,T02] (  3,  2.50)     int  ->  r14         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V26 tmp19        [V26,T03] (  2,  1.50)   byref  ->  r13         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V27 tmp20        [V27,T04] (  2,  1.50)     int  ->  r12         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V28 tmp21        [V28    ] (  6,  3   )   byref  ->  [rbp-0x38]  do-not-enreg[X] addr-exposed "field V04._reference (fldOffset=0x0)" P-DEP
+;  V29 tmp22        [V29    ] (  7,  3.50)     int  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V04._length (fldOffset=0x8)" P-DEP
+;* V30 tmp23        [V30    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V31 tmp24        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp25        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V33 tmp26        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;  V34 tmp27        [V34,T10] (  2,  1   )   byref  ->  r15         single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;  V35 tmp28        [V35,T11] (  2,  1   )     int  ->  r14         "field V14._length (fldOffset=0x8)" P-INDEP
+;* V36 tmp29        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V37 tmp30        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V38 tmp31        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp32        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 24
 
 G_M50438_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x40]
        xor      eax, eax
        mov      qword ptr [rbp-0x38], rax
        mov      r15, rdi
        mov      r14d, esi
        mov      r13, rdx
        mov      r12d, ecx
        mov      rbx, r9
 						;; size=40 bbWeight=1 PerfScore 9.25
 G_M50438_IG02:
-       mov      bword ptr [rbp-0x40], r15
        mov      rdi, r15
-       mov      edx, r14d
-       xor      esi, esi
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:IsValidStrict[byte](ptr,int,int):bool
-       call     [rax]System.Net.IPv6AddressHelper:IsValidStrict[byte](ptr,int,int):bool
+       mov      esi, r14d
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:IsValidStrict[byte](System.ReadOnlySpan`1[byte]):bool
+       call     [rax]System.Net.IPv6AddressHelper:IsValidStrict[byte](System.ReadOnlySpan`1[byte]):bool
        test     eax, eax
        je       G_M50438_IG08
-						;; size=32 bbWeight=1 PerfScore 6.25
+						;; size=26 bbWeight=1 PerfScore 5.00
 G_M50438_IG03:
-       xor      edi, edi
-       mov      bword ptr [rbp-0x40], rdi
        mov      rdi, r15
        mov      esi, r14d
        mov      rdx, r13
        mov      ecx, r12d
        lea      r8, [rbp-0x38]
        mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:Parse[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],byref)
        call     [rax]System.Net.IPv6AddressHelper:Parse[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],byref)
        cmp      dword ptr [rbp-0x30], 1
        jle      SHORT G_M50438_IG04
        mov      rdi, bword ptr [rbp-0x38]
        inc      rdi
        mov      eax, dword ptr [rbp-0x30]
        dec      eax
        mov      bword ptr [rbp-0x38], rdi
        mov      dword ptr [rbp-0x30], eax
        mov      r15, bword ptr [rbp-0x38]
        mov      r14d, dword ptr [rbp-0x30]
        mov      rdi, 0xD1FFAB1E      ; const ptr
        mov      rdi, gword ptr [rdi]
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
        mov      rcx, rax
        mov      rdi, r15
        mov      esi, r14d
        mov      r8, rbx
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Number:TryParseBinaryIntegerStyle[byte,uint](System.ReadOnlySpan`1[byte],int,System.Globalization.NumberFormatInfo,byref):int
        call     [rax]System.Number:TryParseBinaryIntegerStyle[byte,uint](System.ReadOnlySpan`1[byte],int,System.Globalization.NumberFormatInfo,byref):int
        test     eax, eax
        je       SHORT G_M50438_IG06
        mov      rdi, bword ptr [rbp-0x38]
        mov      rsi, qword ptr [rbp-0x30]
        mov      rax, 0xD1FFAB1E      ; code for System.Net.NetworkInformation.InterfaceInfoPal:InterfaceNameToIndex[byte](System.ReadOnlySpan`1[byte]):uint
        call     [rax]System.Net.NetworkInformation.InterfaceInfoPal:InterfaceNameToIndex[byte](System.ReadOnlySpan`1[byte]):uint
        test     eax, eax
        jne      SHORT G_M50438_IG05
-						;; size=146 bbWeight=0.50 PerfScore 16.62
+						;; size=140 bbWeight=0.50 PerfScore 16.00
 G_M50438_IG04:
        xor      eax, eax
        mov      dword ptr [rbx], eax
        jmp      SHORT G_M50438_IG06
 						;; size=6 bbWeight=0.50 PerfScore 1.62
 G_M50438_IG05:
        mov      dword ptr [rbx], eax
 						;; size=2 bbWeight=0.50 PerfScore 0.50
 G_M50438_IG06:
        mov      eax, 1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M50438_IG07:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M50438_IG08:
        xor      eax, eax
        mov      dword ptr [rbx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M50438_IG09:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 
-; Total bytes of code 265, prolog size 25, PerfScore 39.25, instruction count 84, allocated bytes for code 265 (MethodHash=5b7b3af9) for method System.Net.IPAddressParser:TryParseIPv6[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],int,byref):bool (FullOpts)
+; Total bytes of code 253, prolog size 25, PerfScore 37.38, instruction count 80, allocated bytes for code 253 (MethodHash=5b7b3af9) for method System.Net.IPAddressParser:TryParseIPv6[byte](System.ReadOnlySpan`1[byte],System.Span`1[ushort],int,byref):bool (FullOpts)
 ; ============================================================

-12 (-4.03 % of base) - System.Net.IPAddressParser:TryParseIPv6[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],int,byref):bool

 ; Assembly listing for method System.Net.IPAddressParser:TryParseIPv6[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],int,byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 6 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 5 inlinees without PGO data
 ; Final local variable assignments
 ;
-;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[int]>
+;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.ReadOnlySpan`1[int]>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[ushort]>
 ;* V02 arg2         [V02    ] (  0,  0   )     int  ->  zero-ref    single-def
 ;  V03 arg3         [V03,T00] (  6,  4   )   byref  ->  rbx         single-def
 ;  V04 loc0         [V04    ] ( 10,  5   )  struct (16) [rbp-0x38]  do-not-enreg[XSA] multireg-arg must-init addr-exposed ld-addr-op <System.ReadOnlySpan`1[int]>
-;  V05 loc1         [V05    ] (  2,  1.50)   byref  ->  [rbp-0x40]  pinned
-;* V06 loc2         [V06    ] (  0,  0   )   ubyte  ->  zero-ref   
-;  V07 loc3         [V07,T10] (  3,  1.50)     int  ->  rax        
-;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[char]>
-;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[int]>
-;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
-;  V12 tmp4         [V12,T07] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V13 tmp5         [V13,T09] (  2,  2   )     int  ->  rax         "Inlining Arg"
-;* V14 tmp6         [V14    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[int]>
-;* V17 tmp9         [V17    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;  V18 tmp10        [V18,T13] (  2,  1   )     int  ->  r14         "Inline stloc first use temp"
-;* V19 tmp11        [V19    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V20 tmp12        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[int]>
-;* V21 tmp13        [V21    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V22 tmp14        [V22    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.Globalization.CultureInfo>
-;  V23 tmp15        [V23,T11] (  2,  1   )     ref  ->  rcx         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
-;  V24 tmp16        [V24,T08] (  2,  2   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.Globalization.CultureInfo>
-;* V25 tmp17        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;  V26 tmp18        [V26,T01] (  4,  3.50)   byref  ->  r15         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V27 tmp19        [V27,T02] (  3,  2.50)     int  ->  r14         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V28 tmp20        [V28,T05] (  2,  1.50)   byref  ->  r13         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V29 tmp21        [V29,T06] (  2,  1.50)     int  ->  r12         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp22        [V30    ] (  6,  3   )   byref  ->  [rbp-0x38]  do-not-enreg[X] addr-exposed "field V04._reference (fldOffset=0x0)" P-DEP
-;  V31 tmp23        [V31    ] (  7,  3.50)     int  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V04._length (fldOffset=0x8)" P-DEP
-;* V32 tmp24        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V33 tmp25        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V35 tmp27        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp28        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp29        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;  V38 tmp30        [V38,T12] (  2,  1   )   byref  ->  r15         single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;  V39 tmp31        [V39,T14] (  2,  1   )     int  ->  rdi         "field V16._length (fldOffset=0x8)" P-INDEP
-;* V40 tmp32        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp33        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;* V42 tmp34        [V42    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V43 tmp35        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;  V44 tmp36        [V44,T03] (  2,  4   )    long  ->  rdi         "Cast away GC"
-;  V45 tmp37        [V45,T04] (  2,  4   )    long  ->  rdi         "argument with side effect"
+;* V05 loc1         [V05    ] (  0,  0   )   ubyte  ->  zero-ref   
+;  V06 loc2         [V06,T08] (  3,  1.50)     int  ->  rax        
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[char]>
+;* V09 tmp2         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[int]>
+;  V10 tmp3         [V10,T05] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V11 tmp4         [V11,T07] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V13 tmp6         [V13    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V14 tmp7         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[int]>
+;* V15 tmp8         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;  V16 tmp9         [V16,T11] (  2,  1   )     int  ->  r14         "Inline stloc first use temp"
+;* V17 tmp10        [V17    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V18 tmp11        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[int]>
+;* V19 tmp12        [V19    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V20 tmp13        [V20    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.Globalization.CultureInfo>
+;  V21 tmp14        [V21,T09] (  2,  1   )     ref  ->  rcx         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
+;  V22 tmp15        [V22,T06] (  2,  2   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.Globalization.CultureInfo>
+;* V23 tmp16        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;  V24 tmp17        [V24,T01] (  3,  2.50)   byref  ->  r15         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V25 tmp18        [V25,T02] (  3,  2.50)     int  ->  r14         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V26 tmp19        [V26,T03] (  2,  1.50)   byref  ->  r13         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V27 tmp20        [V27,T04] (  2,  1.50)     int  ->  r12         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V28 tmp21        [V28    ] (  6,  3   )   byref  ->  [rbp-0x38]  do-not-enreg[X] addr-exposed "field V04._reference (fldOffset=0x0)" P-DEP
+;  V29 tmp22        [V29    ] (  7,  3.50)     int  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V04._length (fldOffset=0x8)" P-DEP
+;* V30 tmp23        [V30    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V31 tmp24        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp25        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V33 tmp26        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;  V34 tmp27        [V34,T10] (  2,  1   )   byref  ->  r15         single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;  V35 tmp28        [V35,T12] (  2,  1   )     int  ->  rdi         "field V14._length (fldOffset=0x8)" P-INDEP
+;* V36 tmp29        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V37 tmp30        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V38 tmp31        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp32        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 24
 
 G_M38630_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x40]
        xor      eax, eax
        mov      qword ptr [rbp-0x38], rax
        mov      r15, rdi
        mov      r14d, esi
        mov      r13, rdx
        mov      r12d, ecx
        mov      rbx, r9
 						;; size=40 bbWeight=1 PerfScore 9.25
 G_M38630_IG02:
-       mov      bword ptr [rbp-0x40], r15
        mov      rdi, r15
-       mov      edx, r14d
-       xor      esi, esi
-       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:IsValidStrict[int](ptr,int,int):bool
-       call     [rax]System.Net.IPv6AddressHelper:IsValidStrict[int](ptr,int,int):bool
+       mov      esi, r14d
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:IsValidStrict[int](System.ReadOnlySpan`1[int]):bool
+       call     [rax]System.Net.IPv6AddressHelper:IsValidStrict[int](System.ReadOnlySpan`1[int]):bool
        test     eax, eax
        je       G_M38630_IG08
-						;; size=32 bbWeight=1 PerfScore 6.25
+						;; size=26 bbWeight=1 PerfScore 5.00
 G_M38630_IG03:
-       xor      edi, edi
-       mov      bword ptr [rbp-0x40], rdi
        mov      rdi, r15
        mov      esi, r14d
        mov      rdx, r13
        mov      ecx, r12d
        lea      r8, [rbp-0x38]
        mov      rax, 0xD1FFAB1E      ; code for System.Net.IPv6AddressHelper:Parse[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],byref)
        call     [rax]System.Net.IPv6AddressHelper:Parse[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],byref)
        cmp      dword ptr [rbp-0x30], 1
        jle      G_M38630_IG04
        mov      rdi, bword ptr [rbp-0x38]
        add      rdi, 4
        mov      eax, dword ptr [rbp-0x30]
        dec      eax
        mov      bword ptr [rbp-0x38], rdi
        mov      dword ptr [rbp-0x30], eax
        mov      r15, bword ptr [rbp-0x38]
        mov      edi, dword ptr [rbp-0x30]
        mov      r14d, edi
        shl      r14, 2
        shr      r14, 1
        cmp      r14, 0xD1FFAB1E
        ja       G_M38630_IG10
        mov      rdi, 0xD1FFAB1E      ; const ptr
        mov      rdi, gword ptr [rdi]
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
        mov      rcx, rax
        mov      rdi, r15
        mov      esi, r14d
        mov      r8, rbx
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Number:TryParseBinaryIntegerStyle[char,uint](System.ReadOnlySpan`1[char],int,System.Globalization.NumberFormatInfo,byref):int
        call     [rax]System.Number:TryParseBinaryIntegerStyle[char,uint](System.ReadOnlySpan`1[char],int,System.Globalization.NumberFormatInfo,byref):int
        test     eax, eax
        je       SHORT G_M38630_IG06
        mov      rdi, bword ptr [rbp-0x38]
        mov      rsi, qword ptr [rbp-0x30]
        mov      rax, 0xD1FFAB1E      ; code for System.Net.NetworkInformation.InterfaceInfoPal:InterfaceNameToIndex[int](System.ReadOnlySpan`1[int]):uint
        call     [rax]System.Net.NetworkInformation.InterfaceInfoPal:InterfaceNameToIndex[int](System.ReadOnlySpan`1[int]):uint
        test     eax, eax
        jne      SHORT G_M38630_IG05
-						;; size=173 bbWeight=0.50 PerfScore 17.88
+						;; size=167 bbWeight=0.50 PerfScore 17.25
 G_M38630_IG04:
        xor      eax, eax
        mov      dword ptr [rbx], eax
        jmp      SHORT G_M38630_IG06
 						;; size=6 bbWeight=0.50 PerfScore 1.62
 G_M38630_IG05:
        mov      dword ptr [rbx], eax
 						;; size=2 bbWeight=0.50 PerfScore 0.50
 G_M38630_IG06:
        mov      eax, 1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M38630_IG07:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M38630_IG08:
        xor      eax, eax
        mov      dword ptr [rbx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M38630_IG09:
        add      rsp, 24
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M38630_IG10:
        call     CORINFO_HELP_OVERFLOW
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 298, prolog size 25, PerfScore 40.50, instruction count 91, allocated bytes for code 298 (MethodHash=eb946919) for method System.Net.IPAddressParser:TryParseIPv6[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],int,byref):bool (FullOpts)
+; Total bytes of code 286, prolog size 25, PerfScore 38.62, instruction count 87, allocated bytes for code 286 (MethodHash=eb946919) for method System.Net.IPAddressParser:TryParseIPv6[int](System.ReadOnlySpan`1[int],System.Span`1[ushort],int,byref):bool (FullOpts)
 ; ============================================================

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

[MihuBot]

@EgorBo