[X64] [xtqqczze] BinaryWriter perf improvements

[MihuBot]

Build completed in 1 hour 32 minutes.
dotnet/runtime#99775

Diffs

Found 266 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 38993071
Total bytes of diff: 38994199
Total bytes of delta: 1128 (0.00 % of base)
Total relative delta: -1.36
    diff is a regression.
    relative diff is an improvement.


Total byte diff includes 248 bytes from reconciling methods
	Base had    1 unique methods,       37 unique bytes
	Diff had    7 unique methods,      285 unique bytes

Top file regressions (bytes):
         776 : System.IO.Compression.dasm (0.82 % of base)
         269 : System.Security.Cryptography.dasm (0.02 % of base)
         254 : System.Private.Xml.dasm (0.01 % of base)
          32 : System.Private.CoreLib.dasm (0.00 % of base)
          11 : System.IO.IsolatedStorage.dasm (0.05 % of base)
          11 : System.Configuration.ConfigurationManager.dasm (0.00 % of base)
           9 : System.ComponentModel.TypeConverter.dasm (0.00 % of base)

Top file improvements (bytes):
        -159 : System.Resources.Writer.dasm (-1.65 % of base)
         -75 : System.Resources.Extensions.dasm (-0.22 % of base)

9 total files with Code Size differences (2 improved, 7 regressed), 247 unchanged.

Top method regressions (bytes):
         269 (16.00 % of base) : System.Security.Cryptography.dasm - System.Security.Cryptography.CapiHelper:ToKeyBlob(System.Security.Cryptography.DSAParameters):ubyte[] (FullOpts)
         231 (11.73 % of base) : System.Private.Xml.dasm - System.Xml.Xsl.Runtime.XmlQueryStaticData:GetObjectData(byref,byref):this (FullOpts)
         150 (11.50 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCentralDirectoryFileHeader():this (FullOpts)
         125 (14.64 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeader(ubyte):this (FullOpts)
         113 (24.30 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlock(System.IO.Stream,long,long,long) (FullOpts)
         101 (9.22 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteLocalFileHeader(ubyte):ubyte:this (FullOpts)
          69 (16.67 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64ExtraField:WriteBlock(System.IO.Stream):this (FullOpts)
          69 (17.25 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteDataDescriptor():this (FullOpts)
          63 (11.95 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipEndOfCentralDirectoryBlock:WriteBlock(System.IO.Stream,long,long,long,ubyte[]) (FullOpts)
          49 (14.98 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryLocator:WriteBlock(System.IO.Stream,long) (FullOpts)
          45 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[double](double):this (FullOpts) (0 base, 1 diff methods)
          44 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[long](long):this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[int](int):this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[short](short):this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[ubyte](ubyte):this (FullOpts) (0 base, 1 diff methods)
          37 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:<WriteCharsCommonWithoutLengthPrefix>g__WriteToOutStream|40_0(ubyte[],int,int,ubyte):this (FullOpts) (0 base, 1 diff methods)
          37 (10.45 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:WriteBlock(System.IO.Stream):this (FullOpts)
          30 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[System.Numerics.Vector`1[float]](System.Numerics.Vector`1[float]):this (FullOpts) (0 base, 1 diff methods)
          23 (3.19 % of base) : System.Private.Xml.dasm - System.Xml.XmlWriterSettings:GetObjectData(System.Xml.Xsl.Runtime.XmlQueryDataWriter):this (FullOpts)
          14 (0.30 % of base) : System.Private.CoreLib.dasm - System.Reflection.Emit.CustomAttributeBuilder:.ctor(System.Reflection.ConstructorInfo,System.Object[],System.Reflection.PropertyInfo[],System.Object[],System.Reflection.FieldInfo[],System.Object[]):this (FullOpts)
          11 (1.85 % of base) : System.IO.IsolatedStorage.dasm - System.Security.IdentityHelper:GetNormalizedStrongNameHash(System.Reflection.AssemblyName):System.String (FullOpts)
          11 (1.85 % of base) : System.Configuration.ConfigurationManager.dasm - System.Security.IdentityHelper:GetNormalizedStrongNameHash(System.Reflection.AssemblyName):System.String (FullOpts)
           9 (1.18 % of base) : System.ComponentModel.TypeConverter.dasm - System.ComponentModel.Design.DesigntimeLicenseContextSerializer:Serialize(System.IO.Stream,System.String,System.ComponentModel.Design.DesigntimeLicenseContext) (FullOpts)

Top method improvements (bytes):
        -159 (-4.66 % of base) : System.Resources.Writer.dasm - System.Resources.ResourceWriter:Generate():this (FullOpts)
         -75 (-2.27 % of base) : System.Resources.Extensions.dasm - System.Resources.Extensions.PreserializedResourceWriter:Generate():this (FullOpts)
         -37 (-100.00 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:<WriteCharsCommonWithoutLengthPrefix>g__WriteToOutStream|39_0(ubyte[],int,int,ubyte):this (FullOpts) (1 base, 0 diff methods)
         -29 (-39.73 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(short):this (FullOpts)
         -29 (-39.73 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(System.Half):this (FullOpts)
         -28 (-5.44 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(ushort):this (FullOpts) (2 methods)
         -25 (-36.76 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(int):this (FullOpts)
         -25 (-36.23 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(long):this (FullOpts)
         -25 (-36.76 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(uint):this (FullOpts)
         -25 (-36.23 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(ulong):this (FullOpts)
         -22 (-32.84 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(double):this (FullOpts)
         -22 (-32.84 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(float):this (FullOpts)

Top method regressions (percentages):
          37 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:<WriteCharsCommonWithoutLengthPrefix>g__WriteToOutStream|40_0(ubyte[],int,int,ubyte):this (FullOpts) (0 base, 1 diff methods)
          45 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[double](double):this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[int](int):this (FullOpts) (0 base, 1 diff methods)
          44 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[long](long):this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[short](short):this (FullOpts) (0 base, 1 diff methods)
          30 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[System.Numerics.Vector`1[float]](System.Numerics.Vector`1[float]):this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:WriteBytes[ubyte](ubyte):this (FullOpts) (0 base, 1 diff methods)
         113 (24.30 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryRecord:WriteBlock(System.IO.Stream,long,long,long) (FullOpts)
          69 (17.25 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteDataDescriptor():this (FullOpts)
          69 (16.67 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64ExtraField:WriteBlock(System.IO.Stream):this (FullOpts)
         269 (16.00 % of base) : System.Security.Cryptography.dasm - System.Security.Cryptography.CapiHelper:ToKeyBlob(System.Security.Cryptography.DSAParameters):ubyte[] (FullOpts)
          49 (14.98 % of base) : System.IO.Compression.dasm - System.IO.Compression.Zip64EndOfCentralDirectoryLocator:WriteBlock(System.IO.Stream,long) (FullOpts)
         125 (14.64 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeader(ubyte):this (FullOpts)
          63 (11.95 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipEndOfCentralDirectoryBlock:WriteBlock(System.IO.Stream,long,long,long,ubyte[]) (FullOpts)
         231 (11.73 % of base) : System.Private.Xml.dasm - System.Xml.Xsl.Runtime.XmlQueryStaticData:GetObjectData(byref,byref):this (FullOpts)
         150 (11.50 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteCentralDirectoryFileHeader():this (FullOpts)
          37 (10.45 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipGenericExtraField:WriteBlock(System.IO.Stream):this (FullOpts)
         101 (9.22 % of base) : System.IO.Compression.dasm - System.IO.Compression.ZipArchiveEntry:WriteLocalFileHeader(ubyte):ubyte:this (FullOpts)
          23 (3.19 % of base) : System.Private.Xml.dasm - System.Xml.XmlWriterSettings:GetObjectData(System.Xml.Xsl.Runtime.XmlQueryDataWriter):this (FullOpts)
          11 (1.85 % of base) : System.IO.IsolatedStorage.dasm - System.Security.IdentityHelper:GetNormalizedStrongNameHash(System.Reflection.AssemblyName):System.String (FullOpts)
          11 (1.85 % of base) : System.Configuration.ConfigurationManager.dasm - System.Security.IdentityHelper:GetNormalizedStrongNameHash(System.Reflection.AssemblyName):System.String (FullOpts)
           9 (1.18 % of base) : System.ComponentModel.TypeConverter.dasm - System.ComponentModel.Design.DesigntimeLicenseContextSerializer:Serialize(System.IO.Stream,System.String,System.ComponentModel.Design.DesigntimeLicenseContext) (FullOpts)
          14 (0.30 % of base) : System.Private.CoreLib.dasm - System.Reflection.Emit.CustomAttributeBuilder:.ctor(System.Reflection.ConstructorInfo,System.Object[],System.Reflection.PropertyInfo[],System.Object[],System.Reflection.FieldInfo[],System.Object[]):this (FullOpts)

Top method improvements (percentages):
         -37 (-100.00 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:<WriteCharsCommonWithoutLengthPrefix>g__WriteToOutStream|39_0(ubyte[],int,int,ubyte):this (FullOpts) (1 base, 0 diff methods)
         -29 (-39.73 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(short):this (FullOpts)
         -29 (-39.73 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(System.Half):this (FullOpts)
         -25 (-36.76 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(int):this (FullOpts)
         -25 (-36.76 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(uint):this (FullOpts)
         -25 (-36.23 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(long):this (FullOpts)
         -25 (-36.23 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(ulong):this (FullOpts)
         -22 (-32.84 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(double):this (FullOpts)
         -22 (-32.84 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(float):this (FullOpts)
         -28 (-5.44 % of base) : System.Private.CoreLib.dasm - System.IO.BinaryWriter:Write(ushort):this (FullOpts) (2 methods)
        -159 (-4.66 % of base) : System.Resources.Writer.dasm - System.Resources.ResourceWriter:Generate():this (FullOpts)
         -75 (-2.27 % of base) : System.Resources.Extensions.dasm - System.Resources.Extensions.PreserializedResourceWriter:Generate():this (FullOpts)

35 total methods with Code Size differences (12 improved, 23 regressed), 239661 unchanged.

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

Artifacts:

• build-artifacts-main.zip (693 MB)
• build-clr-checked-main.zip (76 MB)
• build-artifacts-pr.zip (693 MB)
• build-clr-checked-pr.zip (76 MB)
• jit-diffs-frameworks.zip (255 MB)
• diff-frameworks.txt (12 KB)
• build-logs.txt (1 MB)

[MihuBot]

Top method regressions

125 (14.64 % of base) - System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeader(ubyte):this

 ; Assembly listing for method System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeader(ubyte):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 12 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 67 single block inlinees; 29 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] ( 30, 19.50)     ref  ->  rbx         this class-hnd single-def <System.IO.Compression.ZipArchiveEntry>
 ;  V01 arg1         [V01,T07] (  4,  3.50)   ubyte  ->  r15         single-def
-;  V02 loc0         [V02,T17] (  2,  2   )    long  ->  r14        
+;  V02 loc0         [V02,T28] (  2,  2   )    long  ->  r14        
 ;* V03 loc1         [V03    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact single-def <System.IO.BinaryWriter>
 ;* V04 loc2         [V04    ] (  0,  0   )   ubyte  ->  zero-ref   
 ;  V05 loc3         [V05,T08] (  4,  4   )   ubyte  ->  r13        
 ;* V06 loc4         [V06    ] (  0,  0   )     int  ->  zero-ref   
 ;* V07 loc5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
 ;  V09 tmp1         [V09,T00] ( 18, 23   )     ref  ->  r12         class-hnd exact single-def "NewObj constructor temp" <System.IO.BinaryWriter>
-;  V10 tmp2         [V10,T14] (  3,  2   )     int  ->  rsi        
-;  V11 tmp3         [V11,T18] (  3,  1.50)     int  ->  [rbp-0x2C] 
-;  V12 tmp4         [V12,T15] (  3,  2   )     int  ->  [rbp-0x30] 
+;  V10 tmp2         [V10,T25] (  3,  2   )     int  ->  rsi        
+;  V11 tmp3         [V11,T37] (  3,  1.50)     int  ->  [rbp-0x2C] 
+;  V12 tmp4         [V12,T26] (  3,  2   )     int  ->  [rbp-0x30] 
 ;* V13 tmp5         [V13    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
 ;  V14 tmp6         [V14,T09] (  2,  4   )     ref  ->  r13         class-hnd single-def "Inlining Arg" <System.IO.Compression.ZipArchive>
 ;  V15 tmp7         [V15,T02] (  5, 10   )     ref  ->  r13         class-hnd single-def "Inlining Arg" <System.IO.Stream>
-;  V16 tmp8         [V16,T03] (  4,  7   )     ref  ->  [rbp-0x38]  class-hnd exact spill-single-def "Inlining Arg" <System.Text.UTF8Encoding+UTF8EncodingSealed>
+;  V16 tmp8         [V16,T03] (  4,  7   )     ref  ->  [rbp-0x70]  class-hnd exact spill-single-def "Inlining Arg" <System.Text.UTF8Encoding+UTF8EncodingSealed>
 ;* V17 tmp9         [V17    ] (  0,  0   )     ref  ->  zero-ref   
 ;* V18 tmp10        [V18    ] (  0,  0   )     ref  ->  zero-ref    single-def
-;  V19 tmp11        [V19,T16] (  3,  2   )     int  ->  rdi        
-;  V20 tmp12        [V20,T19] (  3,  0   )     ref  ->  rbx         class-hnd exact single-def "NewObj constructor temp" <System.ArgumentException>
+;  V19 tmp11        [V19,T27] (  3,  2   )     int  ->  rdi        
+;  V20 tmp12        [V20,T71] (  3,  0   )     ref  ->  rbx         class-hnd exact single-def "NewObj constructor temp" <System.ArgumentException>
 ;  V21 tmp13        [V21,T10] (  4,  3   )   ubyte  ->  rdi         "Inline return value spill temp"
 ;* V22 tmp14        [V22    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
-;* V23 tmp15        [V23    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
-;* V24 tmp16        [V24    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
-;* V25 tmp17        [V25    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
-;  V26 tmp18        [V26,T04] (  3,  6   )     ref  ->  rdi         single-def "argument with side effect"
-;  V27 tmp19        [V27,T11] (  3,  3   )     ref  ->  rdi         single-def "argument with side effect"
-;  V28 tmp20        [V28,T12] (  3,  3   )     ref  ->  rdi         single-def "argument with side effect"
-;  V29 tmp21        [V29,T05] (  3,  6   )     ref  ->  rdi         single-def "argument with side effect"
-;  V30 tmp22        [V30,T13] (  3,  3   )     ref  ->  rdi         single-def "argument with side effect"
-;  V31 tmp23        [V31,T06] (  3,  6   )     ref  ->  rdi         single-def "argument with side effect"
-;  V32 tmp24        [V32,T20] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
+;* V23 tmp15        [V23    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V24 tmp16        [V24,T29] (  2,  2   )  ushort  ->  rsi         "Inlining Arg"
+;  V25 tmp17        [V25    ] (  2,  2   )  ushort  ->  [rbp-0x34]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V26 tmp18        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ushort]>
+;  V27 tmp19        [V27,T11] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V28 tmp20        [V28    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V29 tmp21        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
+;* V30 tmp22        [V30    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V31 tmp23        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
+;* V32 tmp24        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V33 tmp25        [V33    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V34 tmp26        [V34    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V35 tmp27        [V35,T30] (  2,  2   )  ushort  ->  rsi         "Inlining Arg"
+;  V36 tmp28        [V36    ] (  2,  2   )  ushort  ->  [rbp-0x38]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V37 tmp29        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ushort]>
+;  V38 tmp30        [V38,T12] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V39 tmp31        [V39    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V40 tmp32        [V40    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
+;* V41 tmp33        [V41    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V42 tmp34        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
+;* V43 tmp35        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V44 tmp36        [V44    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V45 tmp37        [V45    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
+;* V46 tmp38        [V46    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V47 tmp39        [V47,T31] (  2,  2   )     int  ->  rsi         "Inlining Arg"
+;  V48 tmp40        [V48    ] (  2,  2   )     int  ->  [rbp-0x3C]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V49 tmp41        [V49    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V50 tmp42        [V50,T13] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V51 tmp43        [V51    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V52 tmp44        [V52    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V53 tmp45        [V53    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V54 tmp46        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V55 tmp47        [V55    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V56 tmp48        [V56    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V57 tmp49        [V57    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V58 tmp50        [V58    ] (  2,  2   )     int  ->  [rbp-0x40]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V59 tmp51        [V59    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V60 tmp52        [V60,T14] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V61 tmp53        [V61    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V62 tmp54        [V62    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V63 tmp55        [V63    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V64 tmp56        [V64    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V65 tmp57        [V65    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V66 tmp58        [V66    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V67 tmp59        [V67    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V68 tmp60        [V68    ] (  2,  2   )     int  ->  [rbp-0x44]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V69 tmp61        [V69    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V70 tmp62        [V70,T15] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V71 tmp63        [V71    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V72 tmp64        [V72    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V73 tmp65        [V73    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V74 tmp66        [V74    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V75 tmp67        [V75    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V76 tmp68        [V76    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V77 tmp69        [V77    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V78 tmp70        [V78    ] (  2,  2   )     int  ->  [rbp-0x48]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V79 tmp71        [V79    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V80 tmp72        [V80,T16] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V81 tmp73        [V81    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V82 tmp74        [V82    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V83 tmp75        [V83    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V84 tmp76        [V84    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* 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   )     ref  ->  zero-ref    single-def
+;  V88 tmp80        [V88    ] (  2,  2   )     int  ->  [rbp-0x4C]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V89 tmp81        [V89    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V90 tmp82        [V90,T17] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V91 tmp83        [V91    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V92 tmp84        [V92    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V93 tmp85        [V93    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V94 tmp86        [V94    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V95 tmp87        [V95    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V96 tmp88        [V96    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V97 tmp89        [V97    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V98 tmp90        [V98    ] (  2,  2   )     int  ->  [rbp-0x50]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V99 tmp91        [V99    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V100 tmp92       [V100,T18] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V101 tmp93       [V101    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V102 tmp94       [V102    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V103 tmp95       [V103    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V104 tmp96       [V104    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V105 tmp97       [V105    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V106 tmp98       [V106    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V107 tmp99       [V107    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
+;* V108 tmp100      [V108    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V109 tmp101      [V109,T32] (  2,  2   )    long  ->  rsi         "Inlining Arg"
+;  V110 tmp102      [V110    ] (  2,  2   )    long  ->  [rbp-0x58]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V111 tmp103      [V111    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ulong]>
+;  V112 tmp104      [V112,T19] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V113 tmp105      [V113    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V114 tmp106      [V114    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V115 tmp107      [V115    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V116 tmp108      [V116    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V117 tmp109      [V117    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V118 tmp110      [V118    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V119 tmp111      [V119    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V120 tmp112      [V120,T33] (  2,  2   )    long  ->  rsi         "Inlining Arg"
+;  V121 tmp113      [V121    ] (  2,  2   )    long  ->  [rbp-0x60]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V122 tmp114      [V122    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ulong]>
+;  V123 tmp115      [V123,T20] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V124 tmp116      [V124    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V125 tmp117      [V125    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V126 tmp118      [V126    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V127 tmp119      [V127    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V128 tmp120      [V128    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V129 tmp121      [V129    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V130 tmp122      [V130    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.IO.Compression.ZipArchive>
+;* V131 tmp123      [V131    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V132 tmp124      [V132,T34] (  2,  2   )     int  ->  rsi         "Inlining Arg"
+;  V133 tmp125      [V133    ] (  2,  2   )     int  ->  [rbp-0x64]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V134 tmp126      [V134    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V135 tmp127      [V135,T21] (  3,  3   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V136 tmp128      [V136    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V137 tmp129      [V137    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V138 tmp130      [V138    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V139 tmp131      [V139    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V140 tmp132      [V140    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V141 tmp133      [V141    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V142 tmp134      [V142    ] (  0,  0   )     ref  ->  zero-ref   
+;  V143 tmp135      [V143,T35] (  2,  2   )    long  ->  rsi         "Inlining Arg"
+;* V144 tmp136      [V144    ] (  0,  0   )     ref  ->  zero-ref   
+;  V145 tmp137      [V145,T36] (  2,  2   )    long  ->  rsi         "Inlining Arg"
+;  V146 tmp138      [V146,T38] (  2,  1   )   byref  ->  rsi         single-def "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V147 tmp139      [V147    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V148 tmp140      [V148    ] (  0,  0   )   byref  ->  zero-ref    "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    single-def "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,T39] (  2,  1   )   byref  ->  rsi         single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V153 tmp145      [V153,T60] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V154 tmp146      [V154    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V155 tmp147      [V155    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;  V156 tmp148      [V156,T40] (  2,  1   )   byref  ->  rsi         single-def "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V157 tmp149      [V157    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
+;* V158 tmp150      [V158    ] (  0,  0   )   byref  ->  zero-ref    "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V159 tmp151      [V159    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;* V160 tmp152      [V160    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V40._reference (fldOffset=0x0)" P-INDEP
+;* V161 tmp153      [V161    ] (  0,  0   )     int  ->  zero-ref    "field V40._length (fldOffset=0x8)" P-INDEP
+;  V162 tmp154      [V162,T41] (  2,  1   )   byref  ->  rsi         single-def "field V41._reference (fldOffset=0x0)" P-INDEP
+;* V163 tmp155      [V163,T61] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
+;* V164 tmp156      [V164    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
+;* V165 tmp157      [V165    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
+;  V166 tmp158      [V166,T42] (  2,  1   )   byref  ->  rsi         single-def "field V49._reference (fldOffset=0x0)" P-INDEP
+;* V167 tmp159      [V167    ] (  0,  0   )     int  ->  zero-ref    "field V49._length (fldOffset=0x8)" P-INDEP
+;* V168 tmp160      [V168    ] (  0,  0   )   byref  ->  zero-ref    "field V51._reference (fldOffset=0x0)" P-INDEP
+;* V169 tmp161      [V169    ] (  0,  0   )     int  ->  zero-ref    "field V51._length (fldOffset=0x8)" P-INDEP
+;* V170 tmp162      [V170    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V52._reference (fldOffset=0x0)" P-INDEP
+;* V171 tmp163      [V171    ] (  0,  0   )     int  ->  zero-ref    "field V52._length (fldOffset=0x8)" P-INDEP
+;  V172 tmp164      [V172,T43] (  2,  1   )   byref  ->  rsi         single-def "field V53._reference (fldOffset=0x0)" P-INDEP
+;* V173 tmp165      [V173,T62] (  0,  0   )     int  ->  zero-ref    "field V53._length (fldOffset=0x8)" P-INDEP
+;* V174 tmp166      [V174    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V54._reference (fldOffset=0x0)" P-INDEP
+;* V175 tmp167      [V175    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
+;  V176 tmp168      [V176,T44] (  2,  1   )   byref  ->  rsi         single-def "field V59._reference (fldOffset=0x0)" P-INDEP
+;* V177 tmp169      [V177    ] (  0,  0   )     int  ->  zero-ref    "field V59._length (fldOffset=0x8)" P-INDEP
+;* V178 tmp170      [V178    ] (  0,  0   )   byref  ->  zero-ref    "field V61._reference (fldOffset=0x0)" P-INDEP
+;* V179 tmp171      [V179    ] (  0,  0   )     int  ->  zero-ref    "field V61._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,T45] (  2,  1   )   byref  ->  rsi         single-def "field V63._reference (fldOffset=0x0)" P-INDEP
+;* V183 tmp175      [V183,T63] (  0,  0   )     int  ->  zero-ref    "field V63._length (fldOffset=0x8)" P-INDEP
+;* V184 tmp176      [V184    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V64._reference (fldOffset=0x0)" P-INDEP
+;* V185 tmp177      [V185    ] (  0,  0   )     int  ->  zero-ref    "field V64._length (fldOffset=0x8)" P-INDEP
+;  V186 tmp178      [V186,T46] (  2,  1   )   byref  ->  rsi         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    "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,T47] (  2,  1   )   byref  ->  rsi         single-def "field V73._reference (fldOffset=0x0)" P-INDEP
+;* V193 tmp185      [V193,T64] (  0,  0   )     int  ->  zero-ref    "field V73._length (fldOffset=0x8)" P-INDEP
+;* V194 tmp186      [V194    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V74._reference (fldOffset=0x0)" P-INDEP
+;* V195 tmp187      [V195    ] (  0,  0   )     int  ->  zero-ref    "field V74._length (fldOffset=0x8)" P-INDEP
+;  V196 tmp188      [V196,T48] (  2,  1   )   byref  ->  rsi         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    "field V81._reference (fldOffset=0x0)" P-INDEP
+;* V199 tmp191      [V199    ] (  0,  0   )     int  ->  zero-ref    "field V81._length (fldOffset=0x8)" P-INDEP
+;* V200 tmp192      [V200    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V82._reference (fldOffset=0x0)" P-INDEP
+;* V201 tmp193      [V201    ] (  0,  0   )     int  ->  zero-ref    "field V82._length (fldOffset=0x8)" P-INDEP
+;  V202 tmp194      [V202,T49] (  2,  1   )   byref  ->  rsi         single-def "field V83._reference (fldOffset=0x0)" P-INDEP
+;* V203 tmp195      [V203,T65] (  0,  0   )     int  ->  zero-ref    "field V83._length (fldOffset=0x8)" P-INDEP
+;* V204 tmp196      [V204    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V84._reference (fldOffset=0x0)" P-INDEP
+;* V205 tmp197      [V205    ] (  0,  0   )     int  ->  zero-ref    "field V84._length (fldOffset=0x8)" P-INDEP
+;  V206 tmp198      [V206,T50] (  2,  1   )   byref  ->  rsi         single-def "field V89._reference (fldOffset=0x0)" P-INDEP
+;* V207 tmp199      [V207    ] (  0,  0   )     int  ->  zero-ref    "field V89._length (fldOffset=0x8)" P-INDEP
+;* V208 tmp200      [V208    ] (  0,  0   )   byref  ->  zero-ref    "field V91._reference (fldOffset=0x0)" P-INDEP
+;* V209 tmp201      [V209    ] (  0,  0   )     int  ->  zero-ref    "field V91._length (fldOffset=0x8)" P-INDEP
+;* V210 tmp202      [V210    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V92._reference (fldOffset=0x0)" P-INDEP
+;* V211 tmp203      [V211    ] (  0,  0   )     int  ->  zero-ref    "field V92._length (fldOffset=0x8)" P-INDEP
+;  V212 tmp204      [V212,T51] (  2,  1   )   byref  ->  rsi         single-def "field V93._reference (fldOffset=0x0)" P-INDEP
+;* V213 tmp205      [V213,T66] (  0,  0   )     int  ->  zero-ref    "field V93._length (fldOffset=0x8)" P-INDEP
+;* V214 tmp206      [V214    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V94._reference (fldOffset=0x0)" P-INDEP
+;* V215 tmp207      [V215    ] (  0,  0   )     int  ->  zero-ref    "field V94._length (fldOffset=0x8)" P-INDEP
+;  V216 tmp208      [V216,T52] (  2,  1   )   byref  ->  rsi         single-def "field V99._reference (fldOffset=0x0)" P-INDEP
+;* V217 tmp209      [V217    ] (  0,  0   )     int  ->  zero-ref    "field V99._length (fldOffset=0x8)" P-INDEP
+;* V218 tmp210      [V218    ] (  0,  0   )   byref  ->  zero-ref    "field V101._reference (fldOffset=0x0)" P-INDEP
+;* V219 tmp211      [V219    ] (  0,  0   )     int  ->  zero-ref    "field V101._length (fldOffset=0x8)" P-INDEP
+;* V220 tmp212      [V220    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V102._reference (fldOffset=0x0)" P-INDEP
+;* V221 tmp213      [V221    ] (  0,  0   )     int  ->  zero-ref    "field V102._length (fldOffset=0x8)" P-INDEP
+;  V222 tmp214      [V222,T53] (  2,  1   )   byref  ->  rsi         single-def "field V103._reference (fldOffset=0x0)" P-INDEP
+;* V223 tmp215      [V223,T67] (  0,  0   )     int  ->  zero-ref    "field V103._length (fldOffset=0x8)" P-INDEP
+;* V224 tmp216      [V224    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V104._reference (fldOffset=0x0)" P-INDEP
+;* V225 tmp217      [V225    ] (  0,  0   )     int  ->  zero-ref    "field V104._length (fldOffset=0x8)" P-INDEP
+;  V226 tmp218      [V226,T54] (  2,  1   )   byref  ->  rsi         single-def "field V111._reference (fldOffset=0x0)" P-INDEP
+;* V227 tmp219      [V227    ] (  0,  0   )     int  ->  zero-ref    "field V111._length (fldOffset=0x8)" P-INDEP
+;* V228 tmp220      [V228    ] (  0,  0   )   byref  ->  zero-ref    "field V113._reference (fldOffset=0x0)" P-INDEP
+;* V229 tmp221      [V229    ] (  0,  0   )     int  ->  zero-ref    "field V113._length (fldOffset=0x8)" P-INDEP
+;* V230 tmp222      [V230    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V114._reference (fldOffset=0x0)" P-INDEP
+;* V231 tmp223      [V231    ] (  0,  0   )     int  ->  zero-ref    "field V114._length (fldOffset=0x8)" P-INDEP
+;  V232 tmp224      [V232,T55] (  2,  1   )   byref  ->  rsi         single-def "field V115._reference (fldOffset=0x0)" P-INDEP
+;* V233 tmp225      [V233,T68] (  0,  0   )     int  ->  zero-ref    "field V115._length (fldOffset=0x8)" P-INDEP
+;* V234 tmp226      [V234    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V116._reference (fldOffset=0x0)" P-INDEP
+;* V235 tmp227      [V235    ] (  0,  0   )     int  ->  zero-ref    "field V116._length (fldOffset=0x8)" P-INDEP
+;  V236 tmp228      [V236,T56] (  2,  1   )   byref  ->  rsi         single-def "field V122._reference (fldOffset=0x0)" P-INDEP
+;* V237 tmp229      [V237    ] (  0,  0   )     int  ->  zero-ref    "field V122._length (fldOffset=0x8)" P-INDEP
+;* V238 tmp230      [V238    ] (  0,  0   )   byref  ->  zero-ref    "field V124._reference (fldOffset=0x0)" P-INDEP
+;* V239 tmp231      [V239    ] (  0,  0   )     int  ->  zero-ref    "field V124._length (fldOffset=0x8)" P-INDEP
+;* V240 tmp232      [V240    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V125._reference (fldOffset=0x0)" P-INDEP
+;* V241 tmp233      [V241    ] (  0,  0   )     int  ->  zero-ref    "field V125._length (fldOffset=0x8)" P-INDEP
+;  V242 tmp234      [V242,T57] (  2,  1   )   byref  ->  rsi         single-def "field V126._reference (fldOffset=0x0)" P-INDEP
+;* V243 tmp235      [V243,T69] (  0,  0   )     int  ->  zero-ref    "field V126._length (fldOffset=0x8)" P-INDEP
+;* V244 tmp236      [V244    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V127._reference (fldOffset=0x0)" P-INDEP
+;* V245 tmp237      [V245    ] (  0,  0   )     int  ->  zero-ref    "field V127._length (fldOffset=0x8)" P-INDEP
+;  V246 tmp238      [V246,T58] (  2,  1   )   byref  ->  rsi         single-def "field V134._reference (fldOffset=0x0)" P-INDEP
+;* V247 tmp239      [V247    ] (  0,  0   )     int  ->  zero-ref    "field V134._length (fldOffset=0x8)" P-INDEP
+;* V248 tmp240      [V248    ] (  0,  0   )   byref  ->  zero-ref    "field V136._reference (fldOffset=0x0)" P-INDEP
+;* V249 tmp241      [V249    ] (  0,  0   )     int  ->  zero-ref    "field V136._length (fldOffset=0x8)" P-INDEP
+;* V250 tmp242      [V250    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V137._reference (fldOffset=0x0)" P-INDEP
+;* V251 tmp243      [V251    ] (  0,  0   )     int  ->  zero-ref    "field V137._length (fldOffset=0x8)" P-INDEP
+;  V252 tmp244      [V252,T59] (  2,  1   )   byref  ->  rsi         single-def "field V138._reference (fldOffset=0x0)" P-INDEP
+;* V253 tmp245      [V253,T70] (  0,  0   )     int  ->  zero-ref    "field V138._length (fldOffset=0x8)" P-INDEP
+;* V254 tmp246      [V254    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V139._reference (fldOffset=0x0)" P-INDEP
+;* V255 tmp247      [V255    ] (  0,  0   )     int  ->  zero-ref    "field V139._length (fldOffset=0x8)" P-INDEP
+;  V256 tmp248      [V256,T04] (  3,  6   )     ref  ->  rdi         single-def "argument with side effect"
+;  V257 tmp249      [V257,T22] (  3,  3   )     ref  ->  rdi         single-def "argument with side effect"
+;  V258 tmp250      [V258,T23] (  3,  3   )     ref  ->  rdi         single-def "argument with side effect"
+;  V259 tmp251      [V259,T05] (  3,  6   )     ref  ->  rdi         single-def "argument with side effect"
+;  V260 tmp252      [V260,T24] (  3,  3   )     ref  ->  rdi         single-def "argument with side effect"
+;  V261 tmp253      [V261,T06] (  3,  6   )     ref  ->  rdi         single-def "argument with side effect"
+;  V262 tmp254      [V262,T72] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
 ;
-; Lcl frame size = 24
+; Lcl frame size = 72
 
 G_M24499_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
-       sub      rsp, 24
-       lea      rbp, [rsp+0x40]
+       sub      rsp, 72
+       lea      rbp, [rsp+0x70]
        mov      rbx, rdi
        mov      r15d, esi
 						;; size=25 bbWeight=1 PerfScore 7.25
 G_M24499_IG02:
        mov      rdi, gword ptr [rbx+0x08]
        mov      rdi, gword ptr [rdi+0x08]
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x48]
        call     [rax+0x10]System.IO.Stream:get_Position():long:this
        mov      r14, rax
        mov      r13, gword ptr [rbx+0x08]
        mov      rdi, 0xD1FFAB1E      ; System.IO.BinaryWriter
        call     CORINFO_HELP_NEWSFAST
        mov      r12, rax
        mov      r13, gword ptr [r13+0x08]
        mov      rdi, 0xD1FFAB1E      ; const ptr
        mov      rax, gword ptr [rdi]
-       mov      gword ptr [rbp-0x38], rax
+       mov      gword ptr [rbp-0x70], rax
        test     r13, r13
        je       G_M24499_IG31
        mov      rdi, r13
        mov      rcx, qword ptr [r13]
        mov      rcx, qword ptr [rcx+0x40]
        call     [rcx+0x30]System.IO.Stream:get_CanWrite():ubyte:this
        test     eax, eax
        je       G_M24499_IG32
        lea      rdi, bword ptr [r12+0x08]
        mov      rsi, r13
        call     CORINFO_HELP_ASSIGN_REF
        lea      rdi, bword ptr [r12+0x10]
-       mov      rsi, gword ptr [rbp-0x38]
+       mov      rsi, gword ptr [rbp-0x70]
        call     CORINFO_HELP_ASSIGN_REF
        mov      byte  ptr [r12+0x18], 0
-       mov      r13, gword ptr [rbp-0x38]
+       mov      r13, gword ptr [rbp-0x70]
        cmp      dword ptr [r13+0x20], 0xFDE9
        jne      SHORT G_M24499_IG04
 						;; size=142 bbWeight=1 PerfScore 40.00
 G_M24499_IG03:
        mov      rdi, gword ptr [r13+0x10]
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x40]
        call     [rax+0x28]System.Text.EncoderFallback:get_MaxCharCount():int:this
        xor      edi, edi
        cmp      eax, 1
        setle    dil
        jmp      SHORT G_M24499_IG05
 						;; size=25 bbWeight=0.50 PerfScore 6.25
 G_M24499_IG04:
        xor      edi, edi
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M24499_IG05:
        mov      byte  ptr [r12+0x19], dil
        mov      edi, 0xD1FFAB1E
        cmp      qword ptr [rbx+0x50], rdi
        jg       SHORT G_M24499_IG07
 						;; size=16 bbWeight=1 PerfScore 5.25
 G_M24499_IG06:
        mov      edi, 0xD1FFAB1E
        cmp      qword ptr [rbx+0x58], rdi
        setg     dil
        movzx    rdi, dil
        jmp      SHORT G_M24499_IG08
 						;; size=19 bbWeight=0.50 PerfScore 3.25
 G_M24499_IG07:
        mov      edi, 1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M24499_IG08:
        test     edi, edi
        je       SHORT G_M24499_IG10
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M24499_IG09:
        xor      esi, esi
        test     r15b, r15b
        sete     sil
        jmp      SHORT G_M24499_IG11
 						;; size=11 bbWeight=0.50 PerfScore 1.75
 G_M24499_IG10:
        xor      esi, esi
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M24499_IG11:
        movzx    r13, sil
        test     edi, edi
        jne      SHORT G_M24499_IG13
 						;; size=8 bbWeight=1 PerfScore 1.50
 G_M24499_IG12:
        mov      eax, dword ptr [rbx+0x50]
        jmp      SHORT G_M24499_IG14
 						;; size=5 bbWeight=0.50 PerfScore 2.00
 G_M24499_IG13:
        mov      dword ptr [rbp-0x2C], -1
        jmp      SHORT G_M24499_IG15
 						;; size=9 bbWeight=0.50 PerfScore 1.50
 G_M24499_IG14:
        mov      ecx, dword ptr [rbx+0x58]
        jmp      SHORT G_M24499_IG16
 						;; size=5 bbWeight=1 PerfScore 4.00
 G_M24499_IG15:
        mov      dword ptr [rbp-0x30], -1
        mov      eax, dword ptr [rbp-0x2C]
        mov      ecx, dword ptr [rbp-0x30]
 						;; size=13 bbWeight=0.50 PerfScore 1.50
 G_M24499_IG16:
        test     r13d, r13d
        je       G_M24499_IG23
 						;; size=9 bbWeight=1 PerfScore 1.25
 G_M24499_IG17:
        cmp      word  ptr [rbx+0x76], 45
        jae      SHORT G_M24499_IG18
        mov      word  ptr [rbx+0x76], 45
 						;; size=13 bbWeight=0.50 PerfScore 2.50
 G_M24499_IG18:
        cmp      word  ptr [rbx+0x74], 45
        jae      G_M24499_IG22
        mov      word  ptr [rbx+0x74], 45
        mov      dword ptr [rbp-0x30], ecx
        mov      dword ptr [rbp-0x2C], eax
 						;; size=23 bbWeight=0.50 PerfScore 3.50
 G_M24499_IG19:
        or       word  ptr [rbx+0x78], 8
        mov      rdi, gword ptr [rbx+0x08]
        mov      rdi, gword ptr [rdi+0x08]
        mov      rsi, qword ptr [rbx+0x60]
        add      rsi, 4
        xor      edx, edx
        mov      r8, qword ptr [rdi]
        mov      r8, qword ptr [r8+0x60]
        call     [r8+0x08]System.IO.Stream:Seek(long,int):long:this
        movzx    rsi, word  ptr [rbx+0x76]
-       mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(ushort):this
-       call     [rax]System.IO.BinaryWriter:Write(ushort):this
+       mov      word  ptr [rbp-0x34], si
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x34]
+       mov      edx, 2
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        movzx    rsi, word  ptr [rbx+0x78]
-       mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(ushort):this
-       call     [rax]System.IO.BinaryWriter:Write(ushort):this
-						;; size=72 bbWeight=0.50 PerfScore 13.75
+       mov      word  ptr [rbp-0x38], si
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x38]
+       mov      edx, 2
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
+						;; size=98 bbWeight=0.50 PerfScore 21.00
 G_M24499_IG20:
        mov      rdi, gword ptr [rbx+0x08]
        mov      rdi, gword ptr [rdi+0x08]
        mov      rsi, qword ptr [rbx+0x60]
        add      rsi, 14
        xor      edx, edx
        mov      r8, qword ptr [rdi]
        mov      r8, qword ptr [r8+0x60]
        call     [r8+0x08]System.IO.Stream:Seek(long,int):long:this
        test     r13d, r13d
        jne      SHORT G_M24499_IG24
 						;; size=34 bbWeight=1 PerfScore 14.75
 G_M24499_IG21:
        mov      esi, dword ptr [rbx+0x6C]
-       mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(uint):this
-       call     [rax]System.IO.BinaryWriter:Write(uint):this
-       mov      rdi, r12
+       mov      dword ptr [rbp-0x3C], esi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x3C]
+       mov      edx, 4
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        mov      esi, dword ptr [rbp-0x2C]
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(uint):this
-       call     [rax]System.IO.BinaryWriter:Write(uint):this
-       mov      rdi, r12
+       mov      dword ptr [rbp-0x40], esi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x40]
+       mov      edx, 4
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        mov      esi, dword ptr [rbp-0x30]
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(uint):this
-       call     [rax]System.IO.BinaryWriter:Write(uint):this
+       mov      dword ptr [rbp-0x44], esi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x44]
+       mov      edx, 4
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        jmp      SHORT G_M24499_IG25
-						;; size=56 bbWeight=0.50 PerfScore 8.25
+						;; size=92 bbWeight=0.50 PerfScore 19.12
 G_M24499_IG22:
        mov      dword ptr [rbp-0x30], ecx
        mov      dword ptr [rbp-0x2C], eax
        jmp      G_M24499_IG19
 						;; size=11 bbWeight=0.25 PerfScore 1.00
 G_M24499_IG23:
        mov      dword ptr [rbp-0x30], ecx
        mov      dword ptr [rbp-0x2C], eax
-       jmp      SHORT G_M24499_IG20
-						;; size=8 bbWeight=0.50 PerfScore 2.00
+       jmp      G_M24499_IG20
+						;; size=11 bbWeight=0.50 PerfScore 2.00
 G_M24499_IG24:
-       mov      rdi, r12
        xor      esi, esi
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(uint):this
-       call     [rax]System.IO.BinaryWriter:Write(uint):this
-       mov      rdi, r12
+       mov      dword ptr [rbp-0x48], esi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x48]
+       mov      edx, 4
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        xor      esi, esi
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(uint):this
-       call     [rax]System.IO.BinaryWriter:Write(uint):this
-       mov      rdi, r12
+       mov      dword ptr [rbp-0x4C], esi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x4C]
+       mov      edx, 4
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        xor      esi, esi
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(uint):this
-       call     [rax]System.IO.BinaryWriter:Write(uint):this
-						;; size=51 bbWeight=0.50 PerfScore 5.62
+       mov      dword ptr [rbp-0x50], esi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x50]
+       mov      edx, 4
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
+						;; size=87 bbWeight=0.50 PerfScore 16.50
 G_M24499_IG25:
        test     r15b, r15b
        je       SHORT G_M24499_IG27
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M24499_IG26:
        mov      rdi, gword ptr [rbx+0x08]
        mov      rdi, gword ptr [rdi+0x08]
        mov      rsi, qword ptr [rbx+0x60]
        mov      rdx, gword ptr [rbx+0x30]
        mov      edx, dword ptr [rdx+0x08]
        lea      rsi, [rsi+rdx+0x22]
        xor      edx, edx
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x08]System.IO.Stream:Seek(long,int):long:this
        mov      rsi, qword ptr [rbx+0x58]
-       mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(long):this
-       call     [rax]System.IO.BinaryWriter:Write(long):this
+       mov      qword ptr [rbp-0x58], rsi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x58]
+       mov      edx, 8
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        mov      rsi, qword ptr [rbx+0x50]
-       mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(long):this
-       call     [rax]System.IO.BinaryWriter:Write(long):this
-						;; size=74 bbWeight=0.50 PerfScore 14.62
+       mov      qword ptr [rbp-0x60], rsi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x60]
+       mov      edx, 8
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
+						;; size=100 bbWeight=0.50 PerfScore 21.88
 G_M24499_IG27:
        mov      rdi, gword ptr [rbx+0x08]
        mov      rdi, gword ptr [rdi+0x08]
        mov      rsi, r14
        xor      edx, edx
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x08]System.IO.Stream:Seek(long,int):long:this
        test     r13d, r13d
-       je       SHORT G_M24499_IG30
+       je       SHORT G_M24499_IG29
 						;; size=28 bbWeight=1 PerfScore 12.75
 G_M24499_IG28:
        mov      esi, dword ptr [rbx+0x6C]
-       mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(uint):this
-       call     [rax]System.IO.BinaryWriter:Write(uint):this
+       mov      dword ptr [rbp-0x64], esi
+       mov      rdi, gword ptr [r12+0x08]
+       lea      rsi, bword ptr [rbp-0x64]
+       mov      edx, 4
+       mov      rax, qword ptr [rdi]
+       mov      rax, qword ptr [rax+0x60]
+       call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
        mov      rsi, qword ptr [rbx+0x50]
        mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(long):this
-       call     [rax]System.IO.BinaryWriter:Write(long):this
+       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:WriteBytes[ulong](ulong):this
+       call     [rax]System.IO.BinaryWriter:WriteBytes[ulong](ulong):this
        mov      rsi, qword ptr [rbx+0x58]
        mov      rdi, r12
-       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:Write(long):this
-						;; size=54 bbWeight=0.50 PerfScore 6.75
+       mov      rax, 0xD1FFAB1E      ; code for System.IO.BinaryWriter:WriteBytes[ulong](ulong):this
+       call     [rax]System.IO.BinaryWriter:WriteBytes[ulong](ulong):this
+						;; size=68 bbWeight=0.50 PerfScore 11.88
 G_M24499_IG29:
-       add      rsp, 24
-       pop      rbx
-       pop      r12
-       pop      r13
-       pop      r14
-       pop      r15
-       pop      rbp
-       tail.jmp [rax]System.IO.BinaryWriter:Write(long):this
-						;; size=17 bbWeight=0.50 PerfScore 2.62
+       nop      
+						;; size=1 bbWeight=1 PerfScore 0.25
 G_M24499_IG30:
-       add      rsp, 24
+       add      rsp, 72
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=15 bbWeight=0.50 PerfScore 2.12
+						;; size=15 bbWeight=1 PerfScore 4.25
 G_M24499_IG31:
        mov      edi, 0x1451C
        mov      rsi, 0xD1FFAB1E
        call     CORINFO_HELP_STRCNS
        mov      rdi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.ArgumentNullException:Throw(System.String)
        call     [rax]System.ArgumentNullException:Throw(System.String)
        int3     
 						;; size=36 bbWeight=0 PerfScore 0.00
 G_M24499_IG32:
        mov      rdi, 0xD1FFAB1E      ; System.ArgumentException
        call     CORINFO_HELP_NEWSFAST
        mov      rbx, rax
        mov      rax, 0xD1FFAB1E      ; code for System.SR:get_Argument_StreamNotWritable():System.String
        call     [rax]System.SR:get_Argument_StreamNotWritable():System.String
        mov      rsi, rax
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.ArgumentException:.ctor(System.String):this
        call     [rax]System.ArgumentException:.ctor(System.String):this
        mov      rdi, rbx
        call     CORINFO_HELP_THROW
        int3     
 						;; size=57 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 854, prolog size 19, PerfScore 168.62, instruction count 223, allocated bytes for code 854 (MethodHash=9116a04c) for method System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeader(ubyte):this (FullOpts)
+; Total bytes of code 979, prolog size 19, PerfScore 209.75, instruction count 261, allocated bytes for code 979 (MethodHash=9116a04c) for method System.IO.Compression.ZipArchiveEntry:WriteCrcAndSizesInLocalHeader(ubyte):this (FullOpts)

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

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

[MihuBot]

Top method improvements

-29 (-39.73 % of base) - System.IO.BinaryWriter:Write(short):this

 ; Assembly listing for method System.IO.BinaryWriter:Write(short):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.BinaryWriter>
 ;  V01 arg1         [V01,T02] (  3,  3   )   short  ->  rsi         single-def
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;* V03 loc1         [V03    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V05 tmp1         [V05    ] (  1,  1   )  struct ( 8) [rbp-0x10]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal"
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ubyte]>
-;  V07 tmp3         [V07,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
-;  V09 tmp5         [V09,T03] (  2,  4   )   short  ->  rsi         ld-addr-op "Inlining Arg"
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "Inlining Arg"
-;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T04] (  3,  3   )   byref  ->  rdx         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp26        [V30,T05] (  2,  2   )   byref  ->  rsi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp27        [V31,T07] (  0,  0   )     int  ->  zero-ref    ptr "field V13._length (fldOffset=0x8)" P-INDEP
-;  V32 GsCookie     [V32    ] (  1,  1   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V33 tmp29        [V33,T06] (  2,  2   )     ref  ->  rdi         single-def "shadowVar"
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
+;* V03 tmp1         [V03    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V04 tmp2         [V04    ] (  2,  4   )  ushort  ->  [rbp-0x04]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V05 tmp3         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ushort]>
+;  V06 tmp4         [V06,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V10 tmp8         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
+;* V11 tmp9         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V12 tmp10        [V12    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V13 tmp11        [V13,T03] (  2,  2   )   byref  ->  rsi         single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp12        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V19 tmp17        [V19,T04] (  2,  2   )   byref  ->  rsi         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp18        [V20,T05] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V22 tmp20        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M12625_IG01:
        push     rbp
        sub      rsp, 16
        lea      rbp, [rsp+0x10]
-       mov      qword ptr [rbp-0x08], 0xD1FFAB1E
-						;; size=18 bbWeight=1 PerfScore 2.75
+						;; size=10 bbWeight=1 PerfScore 1.75
 G_M12625_IG02:
-       lea      rdx, [rbp-0x10]
-       movsx    rsi, si
-       mov      word  ptr [rdx], si
+       mov      word  ptr [rbp-0x04], si
        mov      rdi, gword ptr [rdi+0x08]
-       mov      rsi, rdx
+       lea      rsi, bword ptr [rbp-0x04]
        mov      edx, 2
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
-       cmp      qword ptr [rbp-0x08], 0xD1FFAB1E
-       je       SHORT G_M12625_IG03
-       call     CORINFO_HELP_FAIL_FAST
-						;; size=48 bbWeight=1 PerfScore 15.25
-G_M12625_IG03:
        nop      
-						;; size=1 bbWeight=1 PerfScore 0.25
-G_M12625_IG04:
+						;; size=28 bbWeight=1 PerfScore 11.00
+G_M12625_IG03:
        add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 
-; Total bytes of code 73, prolog size 18, PerfScore 20.00, instruction count 20, allocated bytes for code 73 (MethodHash=ac0aceae) for method System.IO.BinaryWriter:Write(short):this (FullOpts)
+; Total bytes of code 44, prolog size 10, PerfScore 14.50, instruction count 14, allocated bytes for code 44 (MethodHash=ac0aceae) for method System.IO.BinaryWriter:Write(short):this (FullOpts)

-29 (-39.73 % of base) - System.IO.BinaryWriter:Write(System.Half):this

 ; Assembly listing for method System.IO.BinaryWriter:Write(System.Half):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.BinaryWriter>
-;  V01 arg1         [V01,T02] (  3,  3   )  struct ( 8) [rbp-0x18]  do-not-enreg[SF] single-def <System.Half>
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;* V03 loc1         [V03    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V05 tmp1         [V05    ] (  1,  1   )  struct ( 8) [rbp-0x10]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal"
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ubyte]>
-;  V07 tmp3         [V07,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
-;* V09 tmp5         [V09    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Half>
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "Inlining Arg"
-;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T03] (  3,  3   )   byref  ->  rsi         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )  ushort  ->  zero-ref    "field V09._value (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V30 tmp26        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V31 tmp27        [V31,T04] (  2,  2   )   byref  ->  rsi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V32 tmp28        [V32,T06] (  0,  0   )     int  ->  zero-ref    ptr "field V13._length (fldOffset=0x8)" P-INDEP
-;  V33 GsCookie     [V33    ] (  1,  1   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V34 tmp30        [V34,T05] (  2,  2   )     ref  ->  rdi         single-def "shadowVar"
+;* V01 arg1         [V01    ] (  0,  0   )  struct ( 8) zero-ref    single-def <System.Half>
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
+;  V03 tmp1         [V03    ] (  2,  4   )  struct ( 8) [rbp-0x08]  do-not-enreg[XS] addr-exposed ld-addr-op "Inlining Arg" <System.Half>
+;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[System.Half]>
+;  V05 tmp3         [V05,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V06 tmp4         [V06    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[System.Half]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[System.Half]>
+;* V10 tmp8         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V11 tmp9         [V11    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V12 tmp10        [V12,T02] (  2,  2   )  ushort  ->  rsi         single-def "field V01._value (fldOffset=0x0)" P-INDEP
+;  V13 tmp11        [V13    ] (  2,  3   )  ushort  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "field V03._value (fldOffset=0x0)" P-DEP
+;  V14 tmp12        [V14,T03] (  2,  2   )   byref  ->  rsi         single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )   byref  ->  zero-ref    "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V19 tmp17        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp18        [V20,T04] (  2,  2   )   byref  ->  rsi         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp19        [V21,T05] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V22 tmp20        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp21        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;
-; Lcl frame size = 32
+; Lcl frame size = 16
 
 G_M38475_IG01:
        push     rbp
-       sub      rsp, 32
-       lea      rbp, [rsp+0x20]
-       mov      qword ptr [rbp-0x08], 0xD1FFAB1E
-       mov      dword ptr [rbp-0x18], esi
-						;; size=21 bbWeight=1 PerfScore 3.75
+       sub      rsp, 16
+       lea      rbp, [rsp+0x10]
+						;; size=10 bbWeight=1 PerfScore 1.75
 G_M38475_IG02:
-       lea      rsi, [rbp-0x10]
-       movzx    rdx, word  ptr [rbp-0x18]
-       mov      word  ptr [rsi], dx
+       mov      word  ptr [rbp-0x08], si
        mov      rdi, gword ptr [rdi+0x08]
+       lea      rsi, bword ptr [rbp-0x08]
        mov      edx, 2
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
-       cmp      qword ptr [rbp-0x08], 0xD1FFAB1E
-       je       SHORT G_M38475_IG03
-       call     CORINFO_HELP_FAIL_FAST
-						;; size=45 bbWeight=1 PerfScore 15.75
-G_M38475_IG03:
        nop      
-						;; size=1 bbWeight=1 PerfScore 0.25
-G_M38475_IG04:
-       add      rsp, 32
+						;; size=28 bbWeight=1 PerfScore 11.00
+G_M38475_IG03:
+       add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 
-; Total bytes of code 73, prolog size 18, PerfScore 21.50, instruction count 20, allocated bytes for code 73 (MethodHash=65c269b4) for method System.IO.BinaryWriter:Write(System.Half):this (FullOpts)
+; Total bytes of code 44, prolog size 10, PerfScore 14.50, instruction count 14, allocated bytes for code 44 (MethodHash=65c269b4) for method System.IO.BinaryWriter:Write(System.Half):this (FullOpts)

-25 (-36.76 % of base) - System.IO.BinaryWriter:Write(int):this

 ; Assembly listing for method System.IO.BinaryWriter:Write(int):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.BinaryWriter>
 ;  V01 arg1         [V01,T02] (  3,  3   )     int  ->  rsi         single-def
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;* V03 loc1         [V03    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V05 tmp1         [V05    ] (  1,  1   )  struct ( 8) [rbp-0x10]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal"
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ubyte]>
-;  V07 tmp3         [V07,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
-;* V09 tmp5         [V09    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "Inlining Arg"
-;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T03] (  3,  3   )   byref  ->  rdx         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp26        [V30,T04] (  2,  2   )   byref  ->  rsi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp27        [V31,T06] (  0,  0   )     int  ->  zero-ref    ptr "field V13._length (fldOffset=0x8)" P-INDEP
-;  V32 GsCookie     [V32    ] (  1,  1   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V33 tmp29        [V33,T05] (  2,  2   )     ref  ->  rdi         single-def "shadowVar"
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
+;* V03 tmp1         [V03    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V04 tmp2         [V04    ] (  2,  4   )     int  ->  [rbp-0x04]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V05 tmp3         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V06 tmp4         [V06,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V10 tmp8         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V11 tmp9         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V12 tmp10        [V12    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V13 tmp11        [V13,T03] (  2,  2   )   byref  ->  rsi         single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp12        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V19 tmp17        [V19,T04] (  2,  2   )   byref  ->  rsi         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp18        [V20,T05] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V22 tmp20        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M57296_IG01:
        push     rbp
        sub      rsp, 16
        lea      rbp, [rsp+0x10]
-       mov      qword ptr [rbp-0x08], 0xD1FFAB1E
-						;; size=18 bbWeight=1 PerfScore 2.75
+						;; size=10 bbWeight=1 PerfScore 1.75
 G_M57296_IG02:
-       lea      rdx, [rbp-0x10]
-       mov      dword ptr [rdx], esi
+       mov      dword ptr [rbp-0x04], esi
        mov      rdi, gword ptr [rdi+0x08]
-       mov      rsi, rdx
+       lea      rsi, bword ptr [rbp-0x04]
        mov      edx, 4
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
-       cmp      qword ptr [rbp-0x08], 0xD1FFAB1E
-       je       SHORT G_M57296_IG03
-       call     CORINFO_HELP_FAIL_FAST
-						;; size=43 bbWeight=1 PerfScore 15.00
-G_M57296_IG03:
        nop      
-						;; size=1 bbWeight=1 PerfScore 0.25
-G_M57296_IG04:
+						;; size=27 bbWeight=1 PerfScore 11.00
+G_M57296_IG03:
        add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 
-; Total bytes of code 68, prolog size 18, PerfScore 19.75, instruction count 19, allocated bytes for code 68 (MethodHash=35fb202f) for method System.IO.BinaryWriter:Write(int):this (FullOpts)
+; Total bytes of code 43, prolog size 10, PerfScore 14.50, instruction count 14, allocated bytes for code 43 (MethodHash=35fb202f) for method System.IO.BinaryWriter:Write(int):this (FullOpts)

-25 (-36.23 % of base) - System.IO.BinaryWriter:Write(long):this

 ; Assembly listing for method System.IO.BinaryWriter:Write(long):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.BinaryWriter>
 ;  V01 arg1         [V01,T02] (  3,  3   )    long  ->  rsi         single-def
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;* V03 loc1         [V03    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V05 tmp1         [V05    ] (  1,  1   )  struct ( 8) [rbp-0x10]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal"
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ubyte]>
-;  V07 tmp3         [V07,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
-;* V09 tmp5         [V09    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "Inlining Arg"
-;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T03] (  3,  3   )   byref  ->  rdx         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp26        [V30,T04] (  2,  2   )   byref  ->  rsi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp27        [V31,T06] (  0,  0   )     int  ->  zero-ref    ptr "field V13._length (fldOffset=0x8)" P-INDEP
-;  V32 GsCookie     [V32    ] (  1,  1   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V33 tmp29        [V33,T05] (  2,  2   )     ref  ->  rdi         single-def "shadowVar"
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
+;* V03 tmp1         [V03    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V04 tmp2         [V04    ] (  2,  4   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V05 tmp3         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ulong]>
+;  V06 tmp4         [V06,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V10 tmp8         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V11 tmp9         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V12 tmp10        [V12    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V13 tmp11        [V13,T03] (  2,  2   )   byref  ->  rsi         single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp12        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V19 tmp17        [V19,T04] (  2,  2   )   byref  ->  rsi         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp18        [V20,T05] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V22 tmp20        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M16457_IG01:
        push     rbp
        sub      rsp, 16
        lea      rbp, [rsp+0x10]
-       mov      qword ptr [rbp-0x08], 0xD1FFAB1E
-						;; size=18 bbWeight=1 PerfScore 2.75
+						;; size=10 bbWeight=1 PerfScore 1.75
 G_M16457_IG02:
-       lea      rdx, [rbp-0x10]
-       mov      qword ptr [rdx], rsi
+       mov      qword ptr [rbp-0x08], rsi
        mov      rdi, gword ptr [rdi+0x08]
-       mov      rsi, rdx
+       lea      rsi, bword ptr [rbp-0x08]
        mov      edx, 8
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
-       cmp      qword ptr [rbp-0x08], 0xD1FFAB1E
-       je       SHORT G_M16457_IG03
-       call     CORINFO_HELP_FAIL_FAST
-						;; size=44 bbWeight=1 PerfScore 15.00
-G_M16457_IG03:
        nop      
-						;; size=1 bbWeight=1 PerfScore 0.25
-G_M16457_IG04:
+						;; size=28 bbWeight=1 PerfScore 11.00
+G_M16457_IG03:
        add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 
-; Total bytes of code 69, prolog size 18, PerfScore 19.75, instruction count 19, allocated bytes for code 69 (MethodHash=47c9bfb6) for method System.IO.BinaryWriter:Write(long):this (FullOpts)
+; Total bytes of code 44, prolog size 10, PerfScore 14.50, instruction count 14, allocated bytes for code 44 (MethodHash=47c9bfb6) for method System.IO.BinaryWriter:Write(long):this (FullOpts)

-25 (-36.76 % of base) - System.IO.BinaryWriter:Write(uint):this

 ; Assembly listing for method System.IO.BinaryWriter:Write(uint):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.BinaryWriter>
 ;  V01 arg1         [V01,T02] (  3,  3   )     int  ->  rsi         single-def
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;* V03 loc1         [V03    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V05 tmp1         [V05    ] (  1,  1   )  struct ( 8) [rbp-0x10]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal"
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ubyte]>
-;  V07 tmp3         [V07,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
-;* V09 tmp5         [V09    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "Inlining Arg"
-;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T03] (  3,  3   )   byref  ->  rdx         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp26        [V30,T04] (  2,  2   )   byref  ->  rsi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp27        [V31,T06] (  0,  0   )     int  ->  zero-ref    ptr "field V13._length (fldOffset=0x8)" P-INDEP
-;  V32 GsCookie     [V32    ] (  1,  1   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V33 tmp29        [V33,T05] (  2,  2   )     ref  ->  rdi         single-def "shadowVar"
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
+;* V03 tmp1         [V03    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V04 tmp2         [V04    ] (  2,  4   )     int  ->  [rbp-0x04]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V05 tmp3         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[uint]>
+;  V06 tmp4         [V06,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V10 tmp8         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[uint]>
+;* V11 tmp9         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V12 tmp10        [V12    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V13 tmp11        [V13,T03] (  2,  2   )   byref  ->  rsi         single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp12        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V19 tmp17        [V19,T04] (  2,  2   )   byref  ->  rsi         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp18        [V20,T05] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V22 tmp20        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M29605_IG01:
        push     rbp
        sub      rsp, 16
        lea      rbp, [rsp+0x10]
-       mov      qword ptr [rbp-0x08], 0xD1FFAB1E
-						;; size=18 bbWeight=1 PerfScore 2.75
+						;; size=10 bbWeight=1 PerfScore 1.75
 G_M29605_IG02:
-       lea      rdx, [rbp-0x10]
-       mov      dword ptr [rdx], esi
+       mov      dword ptr [rbp-0x04], esi
        mov      rdi, gword ptr [rdi+0x08]
-       mov      rsi, rdx
+       lea      rsi, bword ptr [rbp-0x04]
        mov      edx, 4
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
-       cmp      qword ptr [rbp-0x08], 0xD1FFAB1E
-       je       SHORT G_M29605_IG03
-       call     CORINFO_HELP_FAIL_FAST
-						;; size=43 bbWeight=1 PerfScore 15.00
-G_M29605_IG03:
        nop      
-						;; size=1 bbWeight=1 PerfScore 0.25
-G_M29605_IG04:
+						;; size=27 bbWeight=1 PerfScore 11.00
+G_M29605_IG03:
        add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 
-; Total bytes of code 68, prolog size 18, PerfScore 19.75, instruction count 19, allocated bytes for code 68 (MethodHash=1f5b8c5a) for method System.IO.BinaryWriter:Write(uint):this (FullOpts)
+; Total bytes of code 43, prolog size 10, PerfScore 14.50, instruction count 14, allocated bytes for code 43 (MethodHash=1f5b8c5a) for method System.IO.BinaryWriter:Write(uint):this (FullOpts)

-25 (-36.23 % of base) - System.IO.BinaryWriter:Write(ulong):this

 ; Assembly listing for method System.IO.BinaryWriter:Write(ulong):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.BinaryWriter>
 ;  V01 arg1         [V01,T02] (  3,  3   )    long  ->  rsi         single-def
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;* V03 loc1         [V03    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V05 tmp1         [V05    ] (  1,  1   )  struct ( 8) [rbp-0x10]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal"
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ubyte]>
-;  V07 tmp3         [V07,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
-;* V09 tmp5         [V09    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "Inlining Arg"
-;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T03] (  3,  3   )   byref  ->  rdx         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp26        [V30,T04] (  2,  2   )   byref  ->  rsi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp27        [V31,T06] (  0,  0   )     int  ->  zero-ref    ptr "field V13._length (fldOffset=0x8)" P-INDEP
-;  V32 GsCookie     [V32    ] (  1,  1   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V33 tmp29        [V33,T05] (  2,  2   )     ref  ->  rdi         single-def "shadowVar"
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
+;* V03 tmp1         [V03    ] (  0,  0   )     ref  ->  zero-ref    single-def
+;  V04 tmp2         [V04    ] (  2,  4   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V05 tmp3         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ulong]>
+;  V06 tmp4         [V06,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V10 tmp8         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V11 tmp9         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V12 tmp10        [V12    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V13 tmp11        [V13,T03] (  2,  2   )   byref  ->  rsi         single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp12        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V19 tmp17        [V19,T04] (  2,  2   )   byref  ->  rsi         single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp18        [V20,T05] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V22 tmp20        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M59356_IG01:
        push     rbp
        sub      rsp, 16
        lea      rbp, [rsp+0x10]
-       mov      qword ptr [rbp-0x08], 0xD1FFAB1E
-						;; size=18 bbWeight=1 PerfScore 2.75
+						;; size=10 bbWeight=1 PerfScore 1.75
 G_M59356_IG02:
-       lea      rdx, [rbp-0x10]
-       mov      qword ptr [rdx], rsi
+       mov      qword ptr [rbp-0x08], rsi
        mov      rdi, gword ptr [rdi+0x08]
-       mov      rsi, rdx
+       lea      rsi, bword ptr [rbp-0x08]
        mov      edx, 8
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
-       cmp      qword ptr [rbp-0x08], 0xD1FFAB1E
-       je       SHORT G_M59356_IG03
-       call     CORINFO_HELP_FAIL_FAST
-						;; size=44 bbWeight=1 PerfScore 15.00
-G_M59356_IG03:
        nop      
-						;; size=1 bbWeight=1 PerfScore 0.25
-G_M59356_IG04:
+						;; size=28 bbWeight=1 PerfScore 11.00
+G_M59356_IG03:
        add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 
-; Total bytes of code 69, prolog size 18, PerfScore 19.75, instruction count 19, allocated bytes for code 69 (MethodHash=cb2f1823) for method System.IO.BinaryWriter:Write(ulong):this (FullOpts)
+; Total bytes of code 44, prolog size 10, PerfScore 14.50, instruction count 14, allocated bytes for code 44 (MethodHash=cb2f1823) for method System.IO.BinaryWriter:Write(ulong):this (FullOpts)

-22 (-32.84 % of base) - System.IO.BinaryWriter:Write(double):this

 ; Assembly listing for method System.IO.BinaryWriter:Write(double):this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.BinaryWriter>
-;  V01 arg1         [V01,T06] (  3,  3   )  double  ->  mm0         single-def
-;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;* V03 loc1         [V03    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[ubyte]>
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V05 tmp1         [V05    ] (  1,  1   )  struct ( 8) [rbp-0x10]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal"
-;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[ubyte]>
-;  V07 tmp3         [V07,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
-;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
-;* V09 tmp5         [V09    ] (  0,  0   )  double  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "Inlining Arg"
-;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V03._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T02] (  3,  3   )   byref  ->  rsi         single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def ptr "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp26        [V30,T03] (  2,  2   )   byref  ->  rsi         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp27        [V31,T05] (  0,  0   )     int  ->  zero-ref    ptr "field V13._length (fldOffset=0x8)" P-INDEP
-;  V32 GsCookie     [V32    ] (  1,  1   )    long  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V33 tmp29        [V33,T04] (  2,  2   )     ref  ->  rdi         single-def "shadowVar"
+;  V01 arg1         [V01,T05] (  3,  3   )  double  ->  mm0         single-def
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
+;  V03 tmp1         [V03    ] (  2,  4   )  double  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed ld-addr-op "Inlining Arg"
+;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[double]>
+;  V05 tmp3         [V05,T00] (  3,  6   )     ref  ->  rdi         class-hnd single-def "impAppendStmt" <System.IO.Stream>
+;* V06 tmp4         [V06    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[double]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[double]>
+;* V10 tmp8         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V11 tmp9         [V11    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V12 tmp10        [V12,T02] (  2,  2   )   byref  ->  rsi         single-def "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    "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 V07._reference (fldOffset=0x0)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V18 tmp16        [V18,T03] (  2,  2   )   byref  ->  rsi         single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V19 tmp17        [V19,T04] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V20 tmp18        [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M24630_IG01:
        push     rbp
        sub      rsp, 16
        lea      rbp, [rsp+0x10]
-       mov      qword ptr [rbp-0x08], 0xD1FFAB1E
-						;; size=18 bbWeight=1 PerfScore 2.75
+						;; size=10 bbWeight=1 PerfScore 1.75
 G_M24630_IG02:
-       lea      rsi, [rbp-0x10]
-       vmovsd   qword ptr [rsi], xmm0
+       vmovsd   qword ptr [rbp-0x08], xmm0
        mov      rdi, gword ptr [rdi+0x08]
+       lea      rsi, bword ptr [rbp-0x08]
        mov      edx, 8
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x60]
        call     [rax+0x38]System.IO.Stream:Write(System.ReadOnlySpan`1[ubyte]):this
-       cmp      qword ptr [rbp-0x08], 0xD1FFAB1E
-       je       SHORT G_M24630_IG03
-       call     CORINFO_HELP_FAIL_FAST
-						;; size=42 bbWeight=1 PerfScore 15.75
-G_M24630_IG03:
        nop      
-						;; size=1 bbWeight=1 PerfScore 0.25
-G_M24630_IG04:
+						;; size=29 bbWeight=1 PerfScore 11.00
+G_M24630_IG03:
        add      rsp, 16
        pop      rbp
        ret      
 						;; size=6 bbWeight=1 PerfScore 1.75
 
-; Total bytes of code 67, prolog size 18, PerfScore 20.50, instruction count 18, allocated bytes for code 67 (MethodHash=bcfc9fc9) for method System.IO.BinaryWriter:Write(double):this (FullOpts)
+; Total bytes of code 45, prolog size 10, PerfScore 14.50, instruction count 14, allocated bytes for code 45 (MethodHash=bcfc9fc9) for method System.IO.BinaryWriter:Write(double):this (FullOpts)

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

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

[MihuBot]

@xtqqczze