[JitDiff X64] [EgorBo] Remove more fixed buffers and replace them with Inlin ...

[MihuBot]

Job completed in 2 minutes 51 seconds (remote runner delay: 0 seconds).
dotnet/runtime#125574

Main commit: dotnet/runtime@c38f37a
PR commit: EgorBo/runtime-1@76e36a4

Diffs

Diffs

Found 85 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45392490
Total bytes of diff: 45392654
Total bytes of delta: 164 (0.00 % of base)
Total relative delta: 0.01
    diff is a regression.
    relative diff is a regression.


Total byte diff includes 159 bytes from reconciling methods
	Base had    0 unique methods,        0 unique bytes
	Diff had   24 unique methods,      159 unique bytes

Top file regressions (bytes):
         103 : System.Text.Encodings.Web.dasm (0.45 % of base)
          58 : System.Net.Quic.dasm (0.04 % of base)
           3 : System.Net.NetworkInformation.dasm (0.01 % of base)

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

Top method regressions (bytes):
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[byte,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[double,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[int,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[long,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[short,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[System.Nullable`1[int],System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[System.Numerics.Vector`1[float],System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[byte,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[byte,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[double,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[double,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[int,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[int,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[long,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[long,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[short,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[short,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Nullable`1[int],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Nullable`1[int],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Numerics.Vector`1[float],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Numerics.Vector`1[float],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           5 (0.86 % of base) : System.Net.Quic.dasm - System.Net.Quic.MsQuicTlsSecret:WriteSecret():this (FullOpts)
           4 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[System.__Canon,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           4 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.__Canon,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           4 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.__Canon,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           2 (0.16 % of base) : System.Net.NetworkInformation.dasm - System.Net.NetworkInformation.LinuxNetworkInterface:GetLinuxNetworkInterfaces():System.Net.NetworkInformation.NetworkInterface[] (FullOpts)
           1 (1.09 % of base) : System.Net.NetworkInformation.dasm - System.Net.NetworkInformation.IPAddressUtil:GetIPAddressFromNativeInfo(ptr):System.Net.IPAddress (FullOpts)

Top method improvements (bytes):
          -3 (-0.79 % of base) : System.Text.Encodings.Web.dasm - System.Text.Encodings.Web.OptimizedInboxTextEncoder+AsciiPreescapedData:PopulatePreescapedData(byref,System.Text.Encodings.Web.ScalarEscaperBase):this (FullOpts)

Top method regressions (percentages):
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[byte,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[double,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[int,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[long,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[short,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           4 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[System.__Canon,System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[System.Nullable`1[int],System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsReadOnlySpan[System.Numerics.Vector`1[float],System.Nullable`1[int]](byref,int):System.ReadOnlySpan`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[byte,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[byte,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[double,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[double,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[int,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[int,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[long,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[long,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[short,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[short,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           4 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.__Canon,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           4 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.__Canon,System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Nullable`1[int],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Nullable`1[int],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Net.Quic.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Numerics.Vector`1[float],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           7 (Infinity of base) : System.Text.Encodings.Web.dasm - <PrivateImplementationDetails>:InlineArrayAsSpan[System.Numerics.Vector`1[float],System.Nullable`1[int]](byref,int):System.Span`1[System.Nullable`1[int]] (FullOpts) (0 base, 1 diff methods)
           1 (1.09 % of base) : System.Net.NetworkInformation.dasm - System.Net.NetworkInformation.IPAddressUtil:GetIPAddressFromNativeInfo(ptr):System.Net.IPAddress (FullOpts)
           5 (0.86 % of base) : System.Net.Quic.dasm - System.Net.Quic.MsQuicTlsSecret:WriteSecret():this (FullOpts)
           2 (0.16 % of base) : System.Net.NetworkInformation.dasm - System.Net.NetworkInformation.LinuxNetworkInterface:GetLinuxNetworkInterfaces():System.Net.NetworkInformation.NetworkInterface[] (FullOpts)

Top method improvements (percentages):
          -3 (-0.79 % of base) : System.Text.Encodings.Web.dasm - System.Text.Encodings.Web.OptimizedInboxTextEncoder+AsciiPreescapedData:PopulatePreescapedData(byref,System.Text.Encodings.Web.ScalarEscaperBase):this (FullOpts)

28 total methods with Code Size differences (1 improved, 27 regressed), 284649 unchanged.

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

Artifacts:

• diff-frameworks.txt (13 KB)
• ShortDiffsImprovements.md (15 KB)
• ShortDiffsRegressions.md (58 KB)
• LongDiffsRegressions.md (90 KB)
• jit-diffs-main.zip (155 MB)
• jit-diffs-pr.zip (155 MB)

[MihuBot]

Top method regressions

5 (0.86 % of base) - System.Net.Quic.MsQuicTlsSecret:WriteSecret():this

 ; Assembly listing for method System.Net.Quic.MsQuicTlsSecret:WriteSecret():this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 32 single block inlinees; 11 inlinees without PGO data
+; 0 inlinees with PGO data; 56 single block inlinees; 11 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T02] (  8,  5.50)     ref  ->  rbx         this class-hnd single-def <System.Net.Quic.MsQuicTlsSecret>
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
 ;* V02 loc1         [V02    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
 ;* V03 loc2         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
 ;* V04 loc3         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
 ;* V05 loc4         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
-;  V06 OutArgs      [V06    ] (  1,  1   )  struct (48) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <UNNAMED>
-;* V07 tmp1         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V08 tmp2         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg <System.ReadOnlySpan`1[byte]>
-;* V09 tmp3         [V09    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V10 tmp4         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V11 tmp5         [V11    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V12 tmp6         [V12    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
-;* V13 tmp7         [V13    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V14 tmp8         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V15 tmp9         [V15    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V16 tmp10        [V16    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
-;* V17 tmp11        [V17    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V18 tmp12        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V19 tmp13        [V19    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V20 tmp14        [V20    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
-;* V21 tmp15        [V21    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V22 tmp16        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V23 tmp17        [V23    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V24 tmp18        [V24    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
-;* V25 tmp19        [V25    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V26 tmp20        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V27 tmp21        [V27    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;* V28 tmp22        [V28    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
-;* V29 tmp23        [V29    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
-;* V30 tmp24        [V30    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
-;* V31 tmp25        [V31    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
-;* V32 tmp26        [V32    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
-;* V33 tmp27        [V33    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V34 tmp28        [V34,T05] (  2,  4   )   byref  ->  rcx         single-def "Inlining Arg"
-;* V35 tmp29        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[byte]>
-;* V36 tmp30        [V36    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V37 tmp31        [V37,T33] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V38 tmp32        [V38    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V39 tmp33        [V39,T16] (  3,  3   )     int  ->  r14         "Inlining Arg"
-;  V40 tmp34        [V40,T28] (  2,  2   )    long  ->  r15         "Inlining Arg"
-;* V41 tmp35        [V41,T34] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V42 tmp36        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V43 tmp37        [V43,T17] (  3,  3   )     int  ->  r12         "Inlining Arg"
-;  V44 tmp38        [V44,T29] (  2,  2   )    long  ->  r13         "Inlining Arg"
-;* V45 tmp39        [V45,T35] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V46 tmp40        [V46    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V47 tmp41        [V47,T18] (  3,  3   )     int  ->   r9         "Inlining Arg"
-;  V48 tmp42        [V48,T30] (  2,  2   )    long  ->   r8         "Inlining Arg"
-;* V49 tmp43        [V49,T36] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V50 tmp44        [V50    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V51 tmp45        [V51,T19] (  3,  3   )     int  ->  r11         "Inlining Arg"
-;  V52 tmp46        [V52,T31] (  2,  2   )    long  ->  r10         "Inlining Arg"
-;* V53 tmp47        [V53,T37] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V54 tmp48        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V55 tmp49        [V55,T20] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V56 tmp50        [V56,T32] (  2,  2   )    long  ->  rcx         "Inlining Arg"
-;* V57 tmp51        [V57    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V58 tmp52        [V58    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V59 tmp53        [V59    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V60 tmp54        [V60    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V61 tmp55        [V61    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V62 tmp56        [V62    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V63 tmp57        [V63    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V64 tmp58        [V64    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V65 tmp59        [V65    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V66 tmp60        [V66    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V67 tmp61        [V67    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V68 tmp62        [V68    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V69 tmp63        [V69    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V70 tmp64        [V70    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V71 tmp65        [V71    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V72 tmp66        [V72    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V73 tmp67        [V73    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V74 tmp68        [V74    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V75 tmp69        [V75    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V76 tmp70        [V76    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V77 tmp71        [V77,T11] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V78 tmp72        [V78,T12] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V79 tmp73        [V79,T13] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V80 tmp74        [V80,T14] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V81 tmp75        [V81,T15] (  3,  3   )   byref  ->  rax         single-def "Inlining Arg"
-;* V82 tmp76        [V82    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;* V83 tmp77        [V83    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
-;* V84 tmp78        [V84    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V85 tmp79        [V85    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V86 tmp80        [V86    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V87 tmp81        [V87    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;* V88 tmp82        [V88    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
-;* V89 tmp83        [V89    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
-;* V90 tmp84        [V90    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V91 tmp85        [V91    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
-;  V92 tmp86        [V92,T38] (  2,  1   )   byref  ->  rdi         single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V93 tmp87        [V93    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V94 tmp88        [V94,T26] (  3,  2   )   byref  ->  rdi         "field V08._reference (fldOffset=0x0)" P-INDEP
-;  V95 tmp89        [V95,T27] (  3,  2   )     int  ->  rsi         "field V08._length (fldOffset=0x8)" P-INDEP
-;* V96 tmp90        [V96    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V97 tmp91        [V97    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V98 tmp92        [V98,T39] (  2,  1   )   byref  ->  r15         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V99 tmp93        [V99    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V100 tmp94       [V100    ] (  0,  0   )   byref  ->  zero-ref    "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V101 tmp95       [V101    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;  V102 tmp96       [V102,T21] (  4,  2.50)   byref  ->  r15         "field V12._reference (fldOffset=0x0)" P-INDEP
-;  V103 tmp97       [V103,T06] (  5,  3.50)     int  ->  r14         "field V12._length (fldOffset=0x8)" P-INDEP
-;* V104 tmp98       [V104    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V105 tmp99       [V105    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
-;  V106 tmp100      [V106,T40] (  2,  1   )   byref  ->  r13         single-def "field V14._reference (fldOffset=0x0)" P-INDEP
-;* V107 tmp101      [V107    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V108 tmp102      [V108    ] (  0,  0   )   byref  ->  zero-ref    "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V109 tmp103      [V109    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;  V110 tmp104      [V110,T22] (  4,  2.50)   byref  ->  [rbp-0x40]  "field V16._reference (fldOffset=0x0)" P-INDEP
-;  V111 tmp105      [V111,T07] (  5,  3.50)     int  ->  r12         "field V16._length (fldOffset=0x8)" P-INDEP
-;* V112 tmp106      [V112    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V113 tmp107      [V113    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;  V114 tmp108      [V114,T41] (  2,  1   )   byref  ->   r8         single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V115 tmp109      [V115    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V116 tmp110      [V116    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V117 tmp111      [V117    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;  V118 tmp112      [V118,T23] (  4,  2.50)   byref  ->  [rbp-0x48]  "field V20._reference (fldOffset=0x0)" P-INDEP
-;  V119 tmp113      [V119,T08] (  5,  3.50)     int  ->  [rbp-0x2C]  "field V20._length (fldOffset=0x8)" P-INDEP
-;* V120 tmp114      [V120    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
-;* V121 tmp115      [V121    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
-;  V122 tmp116      [V122,T42] (  2,  1   )   byref  ->  r10         single-def "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V123 tmp117      [V123    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V124 tmp118      [V124    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
-;* V125 tmp119      [V125    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
-;  V126 tmp120      [V126,T24] (  4,  2.50)   byref  ->  [rbp-0x50]  "field V24._reference (fldOffset=0x0)" P-INDEP
-;  V127 tmp121      [V127,T09] (  5,  3.50)     int  ->  [rbp-0x30]  "field V24._length (fldOffset=0x8)" P-INDEP
-;* V128 tmp122      [V128    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;* V129 tmp123      [V129    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
-;  V130 tmp124      [V130,T43] (  2,  1   )   byref  ->  rcx         single-def "field V26._reference (fldOffset=0x0)" P-INDEP
-;* V131 tmp125      [V131    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
-;* V132 tmp126      [V132    ] (  0,  0   )   byref  ->  zero-ref    "field V27._reference (fldOffset=0x0)" P-INDEP
-;* V133 tmp127      [V133    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
-;  V134 tmp128      [V134,T25] (  4,  2.50)   byref  ->  [rbp-0x58]  "field V28._reference (fldOffset=0x0)" P-INDEP
-;  V135 tmp129      [V135,T10] (  5,  3.50)     int  ->  [rbp-0x34]  "field V28._length (fldOffset=0x8)" P-INDEP
-;* V136 tmp130      [V136    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V29._reference (fldOffset=0x0)" P-INDEP
-;* V137 tmp131      [V137    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
-;* V138 tmp132      [V138    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
-;* V139 tmp133      [V139    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
-;* V140 tmp134      [V140    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
-;* V141 tmp135      [V141    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
-;* V142 tmp136      [V142    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V32._reference (fldOffset=0x0)" P-INDEP
-;* V143 tmp137      [V143    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
-;* V144 tmp138      [V144    ] (  0,  0   )   byref  ->  zero-ref    "field V33._reference (fldOffset=0x0)" P-INDEP
-;* V145 tmp139      [V145    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
-;* V146 tmp140      [V146    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
-;* V147 tmp141      [V147    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
-;* V148 tmp142      [V148    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V38._reference (fldOffset=0x0)" P-INDEP
-;* V149 tmp143      [V149    ] (  0,  0   )     int  ->  zero-ref    "field V38._length (fldOffset=0x8)" P-INDEP
-;* V150 tmp144      [V150    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
-;* V151 tmp145      [V151    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
-;* V152 tmp146      [V152    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V46._reference (fldOffset=0x0)" P-INDEP
-;* V153 tmp147      [V153    ] (  0,  0   )     int  ->  zero-ref    "field V46._length (fldOffset=0x8)" P-INDEP
-;* V154 tmp148      [V154    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
-;* V155 tmp149      [V155    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
-;* V156 tmp150      [V156    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V54._reference (fldOffset=0x0)" P-INDEP
-;* V157 tmp151      [V157    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
-;* V158 tmp152      [V158    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V57._reference (fldOffset=0x0)" P-INDEP
-;* V159 tmp153      [V159    ] (  0,  0   )     int  ->  zero-ref    "field V57._length (fldOffset=0x8)" P-INDEP
-;* V160 tmp154      [V160    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V58._reference (fldOffset=0x0)" P-INDEP
-;* V161 tmp155      [V161    ] (  0,  0   )     int  ->  zero-ref    "field V58._length (fldOffset=0x8)" P-INDEP
-;* V162 tmp156      [V162    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V61._reference (fldOffset=0x0)" P-INDEP
-;* V163 tmp157      [V163    ] (  0,  0   )     int  ->  zero-ref    "field V61._length (fldOffset=0x8)" P-INDEP
-;* V164 tmp158      [V164    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V62._reference (fldOffset=0x0)" P-INDEP
-;* V165 tmp159      [V165    ] (  0,  0   )     int  ->  zero-ref    "field V62._length (fldOffset=0x8)" P-INDEP
-;* V166 tmp160      [V166    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V65._reference (fldOffset=0x0)" P-INDEP
-;* V167 tmp161      [V167    ] (  0,  0   )     int  ->  zero-ref    "field V65._length (fldOffset=0x8)" P-INDEP
-;* V168 tmp162      [V168    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V66._reference (fldOffset=0x0)" P-INDEP
-;* V169 tmp163      [V169    ] (  0,  0   )     int  ->  zero-ref    "field V66._length (fldOffset=0x8)" P-INDEP
-;* V170 tmp164      [V170    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V69._reference (fldOffset=0x0)" P-INDEP
-;* V171 tmp165      [V171    ] (  0,  0   )     int  ->  zero-ref    "field V69._length (fldOffset=0x8)" P-INDEP
-;* V172 tmp166      [V172    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V70._reference (fldOffset=0x0)" P-INDEP
-;* V173 tmp167      [V173    ] (  0,  0   )     int  ->  zero-ref    "field V70._length (fldOffset=0x8)" P-INDEP
-;* V174 tmp168      [V174    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V73._reference (fldOffset=0x0)" P-INDEP
-;* V175 tmp169      [V175    ] (  0,  0   )     int  ->  zero-ref    "field V73._length (fldOffset=0x8)" P-INDEP
-;* V176 tmp170      [V176    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V74._reference (fldOffset=0x0)" P-INDEP
-;* V177 tmp171      [V177    ] (  0,  0   )     int  ->  zero-ref    "field V74._length (fldOffset=0x8)" P-INDEP
-;  V178 tmp172      [V178,T00] ( 30, 16   )    long  ->  registers   "Field obj"
-;  V179 cse0        [V179,T01] ( 13,  7.50)    long  ->  rax         "CSE #01: aggressive"
-;  V180 cse1        [V180,T03] (  7,  7   )     int  ->  rcx         "CSE #03: moderate"
-;  V181 cse2        [V181,T04] (  2,  2   )    long  ->  rcx         "CSE #02: moderate"
+;* V06 loc5         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
+;* V07 loc6         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
+;  V08 OutArgs      [V08    ] (  1,  1   )  struct (48) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <UNNAMED>
+;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    multireg-arg <System.ReadOnlySpan`1[byte]>
+;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
+;* V13 tmp5         [V13    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V15 tmp7         [V15    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
+;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V17 tmp9         [V17    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V18 tmp10        [V18    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
+;* V19 tmp11        [V19    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V20 tmp12        [V20    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V21 tmp13        [V21    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
+;* V22 tmp14        [V22    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V23 tmp15        [V23    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
+;* V24 tmp16        [V24    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
+;* V25 tmp17        [V25    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
+;* V26 tmp18        [V26    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
+;* V27 tmp19        [V27    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
+;* V28 tmp20        [V28    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
+;* V29 tmp21        [V29    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;  V30 tmp22        [V30,T05] (  2,  4   )   byref  ->  rcx         single-def "Inlining Arg"
+;* V31 tmp23        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[byte]>
+;  V32 tmp24        [V32,T28] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;* V33 tmp25        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V34 tmp26        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V35 tmp27        [V35    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V36 tmp28        [V36,T34] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V37 tmp29        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V38 tmp30        [V38,T29] (  2,  2   )   byref  ->  r15         single-def "Inlining Arg"
+;* V39 tmp31        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V40 tmp32        [V40,T16] (  3,  3   )     int  ->  r14         "Inlining Arg"
+;* V41 tmp33        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V42 tmp34        [V42    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V43 tmp35        [V43,T35] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V44 tmp36        [V44    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V45 tmp37        [V45,T30] (  2,  2   )   byref  ->  r13         single-def "Inlining Arg"
+;* V46 tmp38        [V46    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V47 tmp39        [V47,T17] (  3,  3   )     int  ->  r12         "Inlining Arg"
+;* V48 tmp40        [V48    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V49 tmp41        [V49    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V50 tmp42        [V50,T36] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V51 tmp43        [V51    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V52 tmp44        [V52,T31] (  2,  2   )   byref  ->   r8         single-def "Inlining Arg"
+;* V53 tmp45        [V53    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V54 tmp46        [V54,T18] (  3,  3   )     int  ->   r9         "Inlining Arg"
+;* V55 tmp47        [V55    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V56 tmp48        [V56    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V57 tmp49        [V57,T37] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V58 tmp50        [V58    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V59 tmp51        [V59,T32] (  2,  2   )   byref  ->  r10         single-def "Inlining Arg"
+;* V60 tmp52        [V60    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V61 tmp53        [V61,T19] (  3,  3   )     int  ->  r11         "Inlining Arg"
+;* V62 tmp54        [V62    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V63 tmp55        [V63    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V64 tmp56        [V64,T38] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V65 tmp57        [V65    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V66 tmp58        [V66,T33] (  2,  2   )   byref  ->  rcx         single-def "Inlining Arg"
+;* V67 tmp59        [V67    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V68 tmp60        [V68,T20] (  3,  3   )     int  ->  rax         "Inlining Arg"
+;* V69 tmp61        [V69    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V70 tmp62        [V70    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V71 tmp63        [V71    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V72 tmp64        [V72    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V73 tmp65        [V73    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V74 tmp66        [V74    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V75 tmp67        [V75    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V76 tmp68        [V76    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V77 tmp69        [V77    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V78 tmp70        [V78    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V79 tmp71        [V79    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V80 tmp72        [V80    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V81 tmp73        [V81    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V82 tmp74        [V82    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V83 tmp75        [V83    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V84 tmp76        [V84    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V85 tmp77        [V85    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V86 tmp78        [V86    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V87 tmp79        [V87    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V88 tmp80        [V88    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V89 tmp81        [V89    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V90 tmp82        [V90    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V91 tmp83        [V91,T11] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V92 tmp84        [V92,T12] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V93 tmp85        [V93,T13] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V94 tmp86        [V94,T14] (  3,  3   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V95 tmp87        [V95,T15] (  3,  3   )   byref  ->  rax         single-def "Inlining Arg"
+;* V96 tmp88        [V96    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;* V97 tmp89        [V97    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
+;* V98 tmp90        [V98    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V02._reference (fldOffset=0x0)" P-INDEP
+;* V99 tmp91        [V99    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
+;* V100 tmp92       [V100    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;* V101 tmp93       [V101    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
+;* V102 tmp94       [V102    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V103 tmp95       [V103    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V104 tmp96       [V104    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V105 tmp97       [V105    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V106 tmp98       [V106    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V107 tmp99       [V107    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V108 tmp100      [V108    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V109 tmp101      [V109    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V110 tmp102      [V110,T26] (  3,  2   )   byref  ->  rdi         "field V09._reference (fldOffset=0x0)" P-INDEP
+;  V111 tmp103      [V111,T27] (  3,  2   )     int  ->  rsi         "field V09._length (fldOffset=0x8)" P-INDEP
+;* V112 tmp104      [V112    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V113 tmp105      [V113    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V114 tmp106      [V114    ] (  0,  0   )   byref  ->  zero-ref    "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V115 tmp107      [V115    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;  V116 tmp108      [V116,T21] (  4,  2.50)   byref  ->  r15         "field V12._reference (fldOffset=0x0)" P-INDEP
+;  V117 tmp109      [V117,T06] (  5,  3.50)     int  ->  r14         "field V12._length (fldOffset=0x8)" P-INDEP
+;* V118 tmp110      [V118    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V119 tmp111      [V119    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V120 tmp112      [V120    ] (  0,  0   )   byref  ->  zero-ref    "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V121 tmp113      [V121    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;  V122 tmp114      [V122,T22] (  4,  2.50)   byref  ->  [rbp-0x40]  "field V15._reference (fldOffset=0x0)" P-INDEP
+;  V123 tmp115      [V123,T07] (  5,  3.50)     int  ->  r12         "field V15._length (fldOffset=0x8)" P-INDEP
+;* V124 tmp116      [V124    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V125 tmp117      [V125    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V126 tmp118      [V126    ] (  0,  0   )   byref  ->  zero-ref    "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V127 tmp119      [V127    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;  V128 tmp120      [V128,T23] (  4,  2.50)   byref  ->  [rbp-0x48]  "field V18._reference (fldOffset=0x0)" P-INDEP
+;  V129 tmp121      [V129,T08] (  5,  3.50)     int  ->  [rbp-0x2C]  "field V18._length (fldOffset=0x8)" P-INDEP
+;* V130 tmp122      [V130    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V131 tmp123      [V131    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;* V132 tmp124      [V132    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V133 tmp125      [V133    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;  V134 tmp126      [V134,T24] (  4,  2.50)   byref  ->  [rbp-0x50]  "field V21._reference (fldOffset=0x0)" P-INDEP
+;  V135 tmp127      [V135,T09] (  5,  3.50)     int  ->  [rbp-0x30]  "field V21._length (fldOffset=0x8)" P-INDEP
+;* V136 tmp128      [V136    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V137 tmp129      [V137    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;* V138 tmp130      [V138    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V139 tmp131      [V139    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;  V140 tmp132      [V140,T25] (  4,  2.50)   byref  ->  [rbp-0x58]  "field V24._reference (fldOffset=0x0)" P-INDEP
+;  V141 tmp133      [V141,T10] (  5,  3.50)     int  ->  [rbp-0x34]  "field V24._length (fldOffset=0x8)" P-INDEP
+;* V142 tmp134      [V142    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V143 tmp135      [V143    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V144 tmp136      [V144    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V145 tmp137      [V145    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V146 tmp138      [V146    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
+;* V147 tmp139      [V147    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
+;* V148 tmp140      [V148    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V28._reference (fldOffset=0x0)" P-INDEP
+;* V149 tmp141      [V149    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
+;* V150 tmp142      [V150    ] (  0,  0   )   byref  ->  zero-ref    "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V151 tmp143      [V151    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;* V152 tmp144      [V152    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V153 tmp145      [V153    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V154 tmp146      [V154    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V33._reference (fldOffset=0x0)" P-INDEP
+;* V155 tmp147      [V155    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
+;* V156 tmp148      [V156    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
+;* V157 tmp149      [V157    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
+;* V158 tmp150      [V158    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V159 tmp151      [V159    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
+;* V160 tmp152      [V160    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V161 tmp153      [V161    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;* V162 tmp154      [V162    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
+;* V163 tmp155      [V163    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
+;* V164 tmp156      [V164    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V44._reference (fldOffset=0x0)" P-INDEP
+;* V165 tmp157      [V165    ] (  0,  0   )     int  ->  zero-ref    "field V44._length (fldOffset=0x8)" P-INDEP
+;* V166 tmp158      [V166    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V46._reference (fldOffset=0x0)" P-INDEP
+;* V167 tmp159      [V167    ] (  0,  0   )     int  ->  zero-ref    "field V46._length (fldOffset=0x8)" P-INDEP
+;* V168 tmp160      [V168    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V48._reference (fldOffset=0x0)" P-INDEP
+;* V169 tmp161      [V169    ] (  0,  0   )     int  ->  zero-ref    "field V48._length (fldOffset=0x8)" P-INDEP
+;* V170 tmp162      [V170    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V51._reference (fldOffset=0x0)" P-INDEP
+;* V171 tmp163      [V171    ] (  0,  0   )     int  ->  zero-ref    "field V51._length (fldOffset=0x8)" P-INDEP
+;* V172 tmp164      [V172    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V53._reference (fldOffset=0x0)" P-INDEP
+;* V173 tmp165      [V173    ] (  0,  0   )     int  ->  zero-ref    "field V53._length (fldOffset=0x8)" P-INDEP
+;* V174 tmp166      [V174    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V55._reference (fldOffset=0x0)" P-INDEP
+;* V175 tmp167      [V175    ] (  0,  0   )     int  ->  zero-ref    "field V55._length (fldOffset=0x8)" P-INDEP
+;* V176 tmp168      [V176    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V58._reference (fldOffset=0x0)" P-INDEP
+;* V177 tmp169      [V177    ] (  0,  0   )     int  ->  zero-ref    "field V58._length (fldOffset=0x8)" P-INDEP
+;* V178 tmp170      [V178    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V60._reference (fldOffset=0x0)" P-INDEP
+;* V179 tmp171      [V179    ] (  0,  0   )     int  ->  zero-ref    "field V60._length (fldOffset=0x8)" P-INDEP
+;* V180 tmp172      [V180    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V62._reference (fldOffset=0x0)" P-INDEP
+;* V181 tmp173      [V181    ] (  0,  0   )     int  ->  zero-ref    "field V62._length (fldOffset=0x8)" P-INDEP
+;* V182 tmp174      [V182    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V65._reference (fldOffset=0x0)" P-INDEP
+;* V183 tmp175      [V183    ] (  0,  0   )     int  ->  zero-ref    "field V65._length (fldOffset=0x8)" P-INDEP
+;* V184 tmp176      [V184    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V67._reference (fldOffset=0x0)" P-INDEP
+;* V185 tmp177      [V185    ] (  0,  0   )     int  ->  zero-ref    "field V67._length (fldOffset=0x8)" P-INDEP
+;* V186 tmp178      [V186    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V69._reference (fldOffset=0x0)" P-INDEP
+;* V187 tmp179      [V187    ] (  0,  0   )     int  ->  zero-ref    "field V69._length (fldOffset=0x8)" P-INDEP
+;* V188 tmp180      [V188    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V71._reference (fldOffset=0x0)" P-INDEP
+;* V189 tmp181      [V189    ] (  0,  0   )     int  ->  zero-ref    "field V71._length (fldOffset=0x8)" P-INDEP
+;* V190 tmp182      [V190    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V72._reference (fldOffset=0x0)" P-INDEP
+;* V191 tmp183      [V191    ] (  0,  0   )     int  ->  zero-ref    "field V72._length (fldOffset=0x8)" P-INDEP
+;* V192 tmp184      [V192    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V75._reference (fldOffset=0x0)" P-INDEP
+;* V193 tmp185      [V193    ] (  0,  0   )     int  ->  zero-ref    "field V75._length (fldOffset=0x8)" P-INDEP
+;* V194 tmp186      [V194    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V76._reference (fldOffset=0x0)" P-INDEP
+;* V195 tmp187      [V195    ] (  0,  0   )     int  ->  zero-ref    "field V76._length (fldOffset=0x8)" P-INDEP
+;* V196 tmp188      [V196    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V79._reference (fldOffset=0x0)" P-INDEP
+;* V197 tmp189      [V197    ] (  0,  0   )     int  ->  zero-ref    "field V79._length (fldOffset=0x8)" P-INDEP
+;* V198 tmp190      [V198    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V80._reference (fldOffset=0x0)" P-INDEP
+;* V199 tmp191      [V199    ] (  0,  0   )     int  ->  zero-ref    "field V80._length (fldOffset=0x8)" P-INDEP
+;* V200 tmp192      [V200    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V83._reference (fldOffset=0x0)" P-INDEP
+;* V201 tmp193      [V201    ] (  0,  0   )     int  ->  zero-ref    "field V83._length (fldOffset=0x8)" P-INDEP
+;* V202 tmp194      [V202    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V84._reference (fldOffset=0x0)" P-INDEP
+;* V203 tmp195      [V203    ] (  0,  0   )     int  ->  zero-ref    "field V84._length (fldOffset=0x8)" P-INDEP
+;* V204 tmp196      [V204    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V87._reference (fldOffset=0x0)" P-INDEP
+;* V205 tmp197      [V205    ] (  0,  0   )     int  ->  zero-ref    "field V87._length (fldOffset=0x8)" P-INDEP
+;* V206 tmp198      [V206    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V88._reference (fldOffset=0x0)" P-INDEP
+;* V207 tmp199      [V207    ] (  0,  0   )     int  ->  zero-ref    "field V88._length (fldOffset=0x8)" P-INDEP
+;  V208 tmp200      [V208,T00] ( 30, 16   )    long  ->  registers   "Field obj"
+;  V209 cse0        [V209,T01] ( 13,  7.50)    long  ->  rax         "CSE #01: aggressive"
+;  V210 cse1        [V210,T03] (  7,  7   )     int  ->  rcx         "CSE #03: moderate"
+;  V211 cse2        [V211,T04] (  2,  2   )    long  ->  rcx         "CSE #02: moderate"
 ;
 ; Lcl frame size = 104
 
 G_M50081_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 104
        lea      rbp, [rsp+0x90]
        mov      rbx, rdi
 						;; size=25 bbWeight=1 PerfScore 7.00
 G_M50081_IG02:
        mov      rax, qword ptr [rbx+0x08]
        mov      rcx, rax
        inc      rcx
        movzx    rcx, byte  ptr [rcx]
        test     cl, 1
        je       SHORT G_M50081_IG04
 						;; size=18 bbWeight=1 PerfScore 5.75
 G_M50081_IG03:
        mov      rdx, rax
        cmp      byte  ptr [rdx], dl
        lea      rdi, [rdx+0x02]
        mov      esi, 32
        jmp      SHORT G_M50081_IG05
 						;; size=16 bbWeight=0.50 PerfScore 3.00
 G_M50081_IG04:
        xor      rdi, rdi
        xor      esi, esi
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M50081_IG05:
        mov      edx, ecx
        sar      edx, 2
        movsxd   rdx, edx
        test     dl, 1
        je       SHORT G_M50081_IG07
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M50081_IG06:
        mov      rdx, rax
        cmp      byte  ptr [rdx], dl
        lea      r15, [rdx+0x62]
        movzx    r14, byte  ptr [rax]
-       test     r14d, r14d
-       jl       G_M50081_IG31
+       cmp      r14d, 64
+       ja       G_M50081_IG31
        jmp      SHORT G_M50081_IG08
-						;; size=24 bbWeight=0.50 PerfScore 4.50
+						;; size=25 bbWeight=0.50 PerfScore 4.50
 G_M50081_IG07:
        xor      r15, r15
        xor      r14d, r14d
 						;; size=6 bbWeight=0.50 PerfScore 0.25
 G_M50081_IG08:
        mov      edx, ecx
        sar      edx, 3
        movsxd   rdx, edx
        test     dl, 1
        je       SHORT G_M50081_IG10
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M50081_IG09:
        mov      rdx, rax
        cmp      byte  ptr [rdx], dl
        lea      r13, [rdx+0xA2]
        movzx    r12, byte  ptr [rax]
-       test     r12d, r12d
-       jl       G_M50081_IG31
+       cmp      r12d, 64
+       ja       G_M50081_IG31
        jmp      SHORT G_M50081_IG11
-						;; size=27 bbWeight=0.50 PerfScore 4.50
+						;; size=28 bbWeight=0.50 PerfScore 4.50
 G_M50081_IG10:
        xor      r13, r13
        xor      r12d, r12d
 						;; size=6 bbWeight=0.50 PerfScore 0.25
 G_M50081_IG11:
        mov      edx, ecx
        sar      edx, 4
        movsxd   rdx, edx
        test     dl, 1
        je       SHORT G_M50081_IG13
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M50081_IG12:
        mov      rdx, rax
        cmp      byte  ptr [rdx], dl
        lea      r8, [rdx+0xE2]
        movzx    r9, byte  ptr [rax]
-       test     r9d, r9d
-       jl       G_M50081_IG31
+       cmp      r9d, 64
+       ja       G_M50081_IG31
        jmp      SHORT G_M50081_IG14
-						;; size=27 bbWeight=0.50 PerfScore 4.50
+						;; size=28 bbWeight=0.50 PerfScore 4.50
 G_M50081_IG13:
        xor      r8, r8
        xor      r9d, r9d
 						;; size=6 bbWeight=0.50 PerfScore 0.25
 G_M50081_IG14:
        mov      edx, ecx
        sar      edx, 5
        movsxd   rdx, edx
        test     dl, 1
        je       SHORT G_M50081_IG16
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M50081_IG15:
        mov      rdx, rax
        cmp      byte  ptr [rdx], dl
        lea      r10, [rdx+0x122]
        movzx    r11, byte  ptr [rax]
-       test     r11d, r11d
-       jl       G_M50081_IG31
+       cmp      r11d, 64
+       ja       G_M50081_IG31
        jmp      SHORT G_M50081_IG17
-						;; size=27 bbWeight=0.50 PerfScore 4.50
+						;; size=28 bbWeight=0.50 PerfScore 4.50
 G_M50081_IG16:
        xor      r10, r10
        xor      r11d, r11d
 						;; size=6 bbWeight=0.50 PerfScore 0.25
 G_M50081_IG17:
        sar      ecx, 1
        movsxd   rdx, ecx
        test     dl, 1
        je       SHORT G_M50081_IG19
 						;; size=10 bbWeight=1 PerfScore 2.00
 G_M50081_IG18:
        mov      rdx, rax
        cmp      byte  ptr [rdx], dl
        lea      rcx, [rdx+0x22]
        movzx    rax, byte  ptr [rax]
-       test     eax, eax
-       jl       G_M50081_IG31
+       cmp      eax, 64
+       ja       G_M50081_IG31
        mov      edx, eax
        mov      rax, rcx
        mov      ecx, edx
        jmp      SHORT G_M50081_IG20
-						;; size=29 bbWeight=0.50 PerfScore 4.88
+						;; size=30 bbWeight=0.50 PerfScore 4.88
 G_M50081_IG19:
        xor      rcx, rcx
        xor      rax, rax
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M50081_IG20:
        mov      bword ptr [rbp-0x48], r8
        mov      bword ptr [rsp], r8
        mov      dword ptr [rbp-0x2C], r9d
        mov      dword ptr [rsp+0x08], r9d
        mov      bword ptr [rbp-0x50], r10
        mov      bword ptr [rsp+0x10], r10
        mov      dword ptr [rbp-0x30], r11d
        mov      dword ptr [rsp+0x18], r11d
        mov      bword ptr [rbp-0x58], rax
        mov      bword ptr [rsp+0x20], rax
        mov      dword ptr [rbp-0x34], ecx
        mov      dword ptr [rsp+0x28], ecx
        mov      rdx, r15
        mov      ecx, r14d
        mov      bword ptr [rbp-0x40], r13
        mov      r8, r13
        mov      r9d, r12d
        mov      r13, 0xD1FFAB1E      ; code for SslKeyLogger:WriteSecrets(System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte])
        call     [r13]SslKeyLogger:WriteSecrets(System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte])
        test     r14d, r14d
        je       SHORT G_M50081_IG22
 						;; size=86 bbWeight=1 PerfScore 18.50
 G_M50081_IG21:
        mov      esi, r14d
        mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        call     [rax]System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        mov      rdx, qword ptr [rbx+0x08]
        lea      rsi, [rdx+0x01]
        and      byte  ptr [rsi], -5
 						;; size=29 bbWeight=0.50 PerfScore 4.62
 G_M50081_IG22:
        test     r12d, r12d
        je       SHORT G_M50081_IG24
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M50081_IG23:
        mov      esi, r12d
        mov      rdi, bword ptr [rbp-0x40]
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        call     [rax]System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        mov      rdx, qword ptr [rbx+0x08]
        lea      rsi, [rdx+0x01]
        and      byte  ptr [rsi], -9
 						;; size=30 bbWeight=0.50 PerfScore 5.00
 G_M50081_IG24:
        mov      r15d, dword ptr [rbp-0x2C]
        test     r15d, r15d
        je       SHORT G_M50081_IG26
 						;; size=9 bbWeight=1 PerfScore 2.25
 G_M50081_IG25:
        mov      esi, r15d
        mov      rdi, bword ptr [rbp-0x48]
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        call     [rax]System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        mov      rdx, qword ptr [rbx+0x08]
        lea      rsi, [rdx+0x01]
        and      byte  ptr [rsi], -17
 						;; size=30 bbWeight=0.50 PerfScore 5.00
 G_M50081_IG26:
        mov      r15d, dword ptr [rbp-0x30]
        test     r15d, r15d
        je       SHORT G_M50081_IG28
 						;; size=9 bbWeight=1 PerfScore 2.25
 G_M50081_IG27:
        mov      esi, r15d
        mov      rdi, bword ptr [rbp-0x50]
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        call     [rax]System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        mov      rdx, qword ptr [rbx+0x08]
        lea      rsi, [rdx+0x01]
        and      byte  ptr [rsi], -33
 						;; size=30 bbWeight=0.50 PerfScore 5.00
 G_M50081_IG28:
        mov      r15d, dword ptr [rbp-0x34]
        test     r15d, r15d
        je       SHORT G_M50081_IG30
 						;; size=9 bbWeight=1 PerfScore 2.25
 G_M50081_IG29:
        mov      esi, r15d
        mov      rdi, bword ptr [rbp-0x58]
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        call     [rax]System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        mov      rdx, qword ptr [rbx+0x08]
        lea      rax, [rdx+0x01]
        and      byte  ptr [rax], -3
 						;; size=30 bbWeight=0.50 PerfScore 5.00
 G_M50081_IG30:
        add      rsp, 104
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M50081_IG31:
        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 582, prolog size 22, PerfScore 106.50, instruction count 172, allocated bytes for code 582 (MethodHash=b19c3c5e) for method System.Net.Quic.MsQuicTlsSecret:WriteSecret():this (FullOpts)
+; Total bytes of code 587, prolog size 22, PerfScore 106.50, instruction count 172, allocated bytes for code 587 (MethodHash=b19c3c5e) for method System.Net.Quic.MsQuicTlsSecret:WriteSecret():this (FullOpts)
 ; ============================================================

1 (1.09 % of base) - System.Net.NetworkInformation.IPAddressUtil:GetIPAddressFromNativeInfo(ptr):System.Net.IPAddress

 ; Assembly listing for method System.Net.NetworkInformation.IPAddressUtil:GetIPAddressFromNativeInfo(ptr):System.Net.IPAddress (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 4 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00,T00] (  4,  4   )    long  ->  rdi         single-def
-;# V01 OutArgs      [V01    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V02 tmp1         [V02    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;  V03 tmp2         [V03,T01] (  3,  6   )     ref  ->  r14         class-hnd exact single-def "NewObj constructor temp" <System.Net.IPAddress>
-;  V04 tmp3         [V04,T02] (  3,  6   )     int  ->  r15         "Inlining Arg"
-;  V05 tmp4         [V05,T03] (  2,  4   )    long  ->  rbx         "Inlining Arg"
-;  V06 tmp5         [V06,T04] (  2,  2   )   byref  ->  rbx         single-def "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V07 tmp6         [V07    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
+;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V03 tmp1         [V03,T01] (  3,  6   )     ref  ->  r14         class-hnd exact single-def "NewObj constructor temp" <System.Net.IPAddress>
+;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;  V05 tmp3         [V05,T03] (  2,  4   )   byref  ->  rbx         single-def "Inlining Arg"
+;* V06 tmp4         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V07 tmp5         [V07,T02] (  3,  6   )     int  ->  r15         "Inlining Arg"
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V10 tmp8         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;* V11 tmp9         [V11    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
+;* V12 tmp10        [V12    ] (  0,  0   )   byref  ->  zero-ref    "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V13 tmp11        [V13    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V14 tmp12        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 8
 
 G_M28757_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        push     rax
        lea      rbp, [rsp+0x20]
 						;; size=12 bbWeight=1 PerfScore 5.50
 G_M28757_IG02:
        lea      rbx, [rdi+0x04]
        movzx    r15, byte  ptr [rdi+0x14]
-       test     r15d, r15d
-       jl       SHORT G_M28757_IG04
+       cmp      r15d, 16
+       ja       SHORT G_M28757_IG04
        mov      rdi, 0xD1FFAB1E      ; System.Net.IPAddress
        call     CORINFO_HELP_NEWSFAST
        mov      r14, rax
        mov      rsi, rbx
        mov      edx, r15d
        mov      rdi, r14
        mov      rax, 0xD1FFAB1E      ; code for System.Net.IPAddress:.ctor(System.ReadOnlySpan`1[byte]):this
        call     [rax]System.Net.IPAddress:.ctor(System.ReadOnlySpan`1[byte]):this
        mov      rax, r14
-						;; size=56 bbWeight=1 PerfScore 9.50
+						;; size=57 bbWeight=1 PerfScore 9.50
 G_M28757_IG03:
        add      rsp, 8
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=1 PerfScore 3.25
 G_M28757_IG04:
        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 92, prolog size 12, PerfScore 18.25, instruction count 28, allocated bytes for code 92 (MethodHash=4d1f8faa) for method System.Net.NetworkInformation.IPAddressUtil:GetIPAddressFromNativeInfo(ptr):System.Net.IPAddress (FullOpts)
+; Total bytes of code 93, prolog size 12, PerfScore 18.25, instruction count 28, allocated bytes for code 93 (MethodHash=4d1f8faa) for method System.Net.NetworkInformation.IPAddressUtil:GetIPAddressFromNativeInfo(ptr):System.Net.IPAddress (FullOpts)
 ; ============================================================

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

[MihuBot]

Top method improvements

-3 (-0.79 % of base) - System.Text.Encodings.Web.OptimizedInboxTextEncoder+AsciiPreescapedData:PopulatePreescapedData(byref,System.Text.Encodings.Web.ScalarEscaperBase):this

 ; Assembly listing for method System.Text.Encodings.Web.OptimizedInboxTextEncoder+AsciiPreescapedData:PopulatePreescapedData(byref,System.Text.Encodings.Web.ScalarEscaperBase):this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 6 single block inlinees; 6 inlinees without PGO data
+; 0 inlinees with PGO data; 9 single block inlinees; 6 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T10] (  3,  3   )   byref  ->  rdi         this single-def
 ;  V01 arg1         [V01,T11] (  3,  3   )   byref  ->  rsi         single-def
 ;  V02 arg2         [V02,T12] (  3,  3   )     ref  ->  rdx         class-hnd single-def <System.Text.Encodings.Web.ScalarEscaperBase>
 ;* V03 loc0         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[char]>
-;  V04 loc1         [V04,T01] (  9, 47   )     int  ->  r12        
+;* V04 loc1         [V04,T17] (  0,  0   )     int  ->  zero-ref   
 ;  V05 loc2         [V05,T02] (  5, 43.68)    long  ->  [rbp-0x48]  ptr
 ;  V06 loc3         [V06,T05] (  7, 20   )     int  ->  [rbp-0x4C]  ptr
 ;* V07 loc4         [V07    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op <System.Text.Rune>
 ;* V08 loc5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[char]>
 ;  V09 loc6         [V09,T15] (  2,  4   )     int  ->  rcx        
 ;* V10 loc7         [V10    ] (  0,  0   )     int  ->  zero-ref   
-;# V11 OutArgs      [V11    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V12 tmp1         [V12    ] (  2,  2   )  struct (16) [rbp-0x40]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal" <UNNAMED>
-;* V13 tmp2         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[char]>
-;* V14 tmp3         [V14    ] (  0,  0   )  struct ( 8) zero-ref    "impAppendStmt" <System.Text.Rune>
-;* V15 tmp4         [V15    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[char]>
-;* V16 tmp5         [V16    ] (  0,  0   )  struct ( 8) zero-ref    "Inlining Arg" <System.Text.Rune>
-;* V17 tmp6         [V17    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V18 tmp7         [V18    ] (  0,  0   )  ushort  ->  zero-ref    "Inlining Arg"
-;* V19 tmp8         [V19    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inline ldloca(s) first use temp"
-;* V20 tmp9         [V20    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inline ldloca(s) first use temp"
-;  V21 tmp10        [V21,T06] (  3, 12   )     int  ->  rdx         "Inlining Arg"
-;* V22 tmp11        [V22    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[char]>
-;* V23 tmp12        [V23    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V24 tmp13        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[char]>
-;  V25 tmp14        [V25,T08] (  2,  8   )   byref  ->  rdi         "Inlining Arg"
-;  V26 tmp15        [V26,T09] (  2,  8   )     int  ->  rsi         "Inlining Arg"
-;  V27 tmp16        [V27,T04] (  4, 20.84)   byref  ->  r13         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V28 tmp17        [V28,T17] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;* V29 tmp18        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V07._value (fldOffset=0x0)" P-INDEP
-;* V30 tmp19        [V30    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp20        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;  V32 tmp21        [V32,T16] (  2,  2   )   byref  ->  r13         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V33 tmp22        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
-;* V34 tmp23        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V14._value (fldOffset=0x0)" P-INDEP
-;* V35 tmp24        [V35    ] (  0,  0   )   byref  ->  zero-ref    "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp25        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V37 tmp26        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V16._value (fldOffset=0x0)" P-INDEP
-;* V38 tmp27        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp28        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V40 tmp29        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp30        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
-;  V42 cse0         [V42,T03] (  3, 24   )     int  ->  [rbp-0x50]  spill-single-def ptr "CSE #01: aggressive"
-;  V43 rat0         [V43,T00] (  6, 67.36)    long  ->  rcx         "Widened IV V09"
-;  V44 rat1         [V44    ] (  1,  1   )    long  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V45 rat2         [V45,T07] (  3, 10   )   byref  ->  r14         single-def "V00 shadow"
-;  V46 rat3         [V46,T13] (  3,  5   )   byref  ->  r15         single-def "V01 shadow"
-;  V47 rat4         [V47,T14] (  3,  5   )     ref  ->  rbx         single-def "V02 shadow"
+;* V11 loc8         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[ulong]>
+;# V12 OutArgs      [V12    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V13 tmp1         [V13    ] (  2,  2   )  struct (16) [rbp-0x40]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal" <UNNAMED>
+;* V14 tmp2         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[char]>
+;* V15 tmp3         [V15    ] (  0,  0   )  struct ( 8) zero-ref    "impAppendStmt" <System.Text.Rune>
+;* V16 tmp4         [V16    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[char]>
+;* V17 tmp5         [V17    ] (  0,  0   )  struct ( 8) zero-ref    "Inlining Arg" <System.Text.Rune>
+;* V18 tmp6         [V18    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V19 tmp7         [V19    ] (  0,  0   )  ushort  ->  zero-ref    "Inlining Arg"
+;* V20 tmp8         [V20    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inline ldloca(s) first use temp"
+;* V21 tmp9         [V21    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inline ldloca(s) first use temp"
+;  V22 tmp10        [V22,T06] (  3, 12   )     int  ->  rdx         "Inlining Arg"
+;* V23 tmp11        [V23    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[char]>
+;* V24 tmp12        [V24    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V25 tmp13        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[char]>
+;  V26 tmp14        [V26,T08] (  2,  8   )   byref  ->  rdi         "Inlining Arg"
+;  V27 tmp15        [V27,T09] (  2,  8   )     int  ->  rsi         "Inlining Arg"
+;* V28 tmp16        [V28    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V29 tmp17        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ulong]>
+;  V30 tmp18        [V30,T04] (  4, 20.84)   byref  ->  r13         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;* V31 tmp19        [V31,T18] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp20        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V07._value (fldOffset=0x0)" P-INDEP
+;* V33 tmp21        [V33    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V34 tmp22        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V35 tmp23        [V35    ] (  0,  0   )   byref  ->  zero-ref    "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V36 tmp24        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;  V37 tmp25        [V37,T16] (  2,  2   )   byref  ->  r13         single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V38 tmp26        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V39 tmp27        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V15._value (fldOffset=0x0)" P-INDEP
+;* V40 tmp28        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp29        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V42 tmp30        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V17._value (fldOffset=0x0)" P-INDEP
+;* V43 tmp31        [V43    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V44 tmp32        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;* V45 tmp33        [V45    ] (  0,  0   )   byref  ->  zero-ref    "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V46 tmp34        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V47 tmp35        [V47    ] (  0,  0   )   byref  ->  zero-ref    "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V48 tmp36        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;  V49 cse0         [V49,T03] (  3, 24   )     int  ->  [rbp-0x50]  spill-single-def ptr "CSE #01: aggressive"
+;  V50 rat0         [V50,T01] (  9, 47   )    long  ->  r12         "Widened IV V04"
+;  V51 rat1         [V51,T00] (  6, 67.36)    long  ->  rcx         "Widened IV V09"
+;  V52 rat2         [V52    ] (  1,  1   )    long  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
+;  V53 rat3         [V53,T07] (  3, 10   )   byref  ->  r14         single-def "V00 shadow"
+;  V54 rat4         [V54,T13] (  3,  5   )   byref  ->  r15         single-def "V01 shadow"
+;  V55 rat5         [V55,T14] (  3,  5   )     ref  ->  rbx         single-def "V02 shadow"
 ;
 ; Lcl frame size = 40
 
 G_M6249_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 40
        lea      rbp, [rsp+0x50]
        mov      rax, 0xD1FFAB1E
        mov      qword ptr [rbp-0x30], rax
 						;; size=33 bbWeight=1 PerfScore 8.00
 G_M6249_IG02:
        mov      rbx, rdx
        mov      r15, rsi
        mov      r14, rdi
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_MEMZERO
        mov      rdi, r14
        mov      esi, 0x400
        call     [rax]CORINFO_HELP_MEMZERO
        vxorps   xmm0, xmm0, xmm0
        vmovups  xmmword ptr [rbp-0x40], xmm0
        lea      r13, [rbp-0x40]
        xor      r12d, r12d
 						;; size=45 bbWeight=1 PerfScore 6.58
 G_M6249_IG03:
        lea      edx, [r12+D1FFAB1EH]
        xor      edx, 0xD800
        cmp      edx, 0xD1FFAB1E
        jb       G_M6249_IG14
        lea      eax, [r12+0x01]
        mov      dword ptr [rbp-0x50], eax
        mov      edx, eax
        and      edx, -129
        cmp      edx, 32
        jbe      SHORT G_M6249_IG05
 						;; size=47 bbWeight=8 PerfScore 42.00
 G_M6249_IG04:
        movzx    rdx, r12w
        cmp      byte  ptr [r15], r15b
        mov      ecx, edx
        shr      ecx, 5
        mov      ecx, dword ptr [r15+4*rcx]
        bt       ecx, edx
        jb       G_M6249_IG13
 						;; size=25 bbWeight=2 PerfScore 15.00
 G_M6249_IG05:
        mov      rdx, r13
        mov      ecx, 6
        mov      rdi, rbx
        mov      esi, r12d
        mov      r8, qword ptr [rbx]
        mov      r8, qword ptr [r8+0x40]
        call     [r8+0x20]System.Text.Encodings.Web.ScalarEscaperBase:EncodeUtf16(System.Text.Rune,System.Span`1[char]):int:this
        xor      ecx, ecx
        mov      qword ptr [rbp-0x48], rcx
        cmp      eax, 8
        ja       G_M6249_IG15
        mov      esi, eax
        lea      rdi, bword ptr [r13+2*rsi]
        mov      esi, 8
        mov      dword ptr [rbp-0x4C], eax
        sub      esi, eax
        add      rsi, rsi
        mov      rdx, 0xD1FFAB1E      ; code for System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        call     [rdx]System.SpanHelpers:ClearWithoutReferences(byref,nuint)
        mov      eax, dword ptr [rbp-0x4C]
        lea      ecx, [rax-0x01]
        test     ecx, ecx
        jge      SHORT G_M6249_IG08
 						;; size=82 bbWeight=2 PerfScore 41.00
 G_M6249_IG06:
        mov      rdi, qword ptr [rbp-0x48]
        jmp      SHORT G_M6249_IG09
        align    [2 bytes for IG07]
 						;; size=8 bbWeight=1 PerfScore 3.00
 G_M6249_IG07:
        mov      qword ptr [rbp-0x48], rdi
 						;; size=4 bbWeight=7.92 PerfScore 7.92
 G_M6249_IG08:
        movzx    rdx, word  ptr [r13+2*rcx]
        mov      rdi, qword ptr [rbp-0x48]
        shl      rdi, 8
        or       rdi, rdx
        dec      ecx
        jns      SHORT G_M6249_IG07
 						;; size=21 bbWeight=15.84 PerfScore 79.20
 G_M6249_IG09:
-       movsxd   rcx, r12d
        mov      eax, eax
        shl      rax, 56
        or       rax, rdi
-       mov      qword ptr [r14+8*rcx], rax
+       mov      qword ptr [r14+8*r12], rax
        mov      r12d, dword ptr [rbp-0x50]
        cmp      r12d, 128
        jl       G_M6249_IG03
-						;; size=33 bbWeight=8 PerfScore 36.00
+						;; size=30 bbWeight=8 PerfScore 34.00
 G_M6249_IG10:
        mov      r9, 0xD1FFAB1E
        cmp      qword ptr [rbp-0x30], r9
        je       SHORT G_M6249_IG11
        call     CORINFO_HELP_FAIL_FAST
 						;; size=21 bbWeight=1 PerfScore 4.25
 G_M6249_IG11:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
 G_M6249_IG12:
        add      rsp, 40
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M6249_IG13:
        mov      edi, r12d
        mov      ecx, 1
        mov      eax, ecx
        jmp      SHORT G_M6249_IG09
 						;; size=12 bbWeight=2 PerfScore 5.50
 G_M6249_IG14:
        mov      edi, 7
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 G_M6249_IG15:
        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 378, prolog size 33, PerfScore 252.95, instruction count 103, allocated bytes for code 378 (MethodHash=6bf6e796) for method System.Text.Encodings.Web.OptimizedInboxTextEncoder+AsciiPreescapedData:PopulatePreescapedData(byref,System.Text.Encodings.Web.ScalarEscaperBase):this (FullOpts)
+; Total bytes of code 375, prolog size 33, PerfScore 250.95, instruction count 102, allocated bytes for code 375 (MethodHash=6bf6e796) for method System.Text.Encodings.Web.OptimizedInboxTextEncoder+AsciiPreescapedData:PopulatePreescapedData(byref,System.Text.Encodings.Web.ScalarEscaperBase):this (FullOpts)
 ; ============================================================

[MihuBot]

@EgorBo