[JitDiff X64] [EgorBo] Reduce Unsafe usage in TryWriteSignificand/TryHash he ...

[MihuBot]

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

Main commit: dotnet/runtime@41fad31
PR commit: EgorBo/runtime-1@2fab70c

Diffs

Diffs

Found 85 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46154992
Total bytes of diff: 46155607
Total bytes of delta: 615 (0.00 % of base)
Total relative delta: 5.62
    diff is a regression.
    relative diff is a regression.


Total byte diff includes 405 bytes from reconciling methods
	Base had    4 unique methods,     1709 unique bytes
	Diff had   12 unique methods,     2114 unique bytes

Top file regressions (bytes):
         508 : System.Private.CoreLib.dasm (0.01 % of base)
         107 : System.IO.Hashing.dasm (0.27 % of base)

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

Top method regressions (bytes):
         482 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__NegativeN|239_1(double,int):double (FullOpts) (0 base, 1 diff methods)
         469 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__PositiveN|239_0(double,int):double (FullOpts) (0 base, 1 diff methods)
         384 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__NegativeN|239_1(float,int):float (FullOpts) (0 base, 1 diff methods)
         374 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__PositiveN|239_0(float,int):float (FullOpts) (0 base, 1 diff methods)
          65 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          62 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          62 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          58 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          54 (158.82 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:GetCurrentHashCore(System.Span`1[byte]):this (FullOpts)
          47 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          37 (176.19 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:WriteBigEndian128(byref,System.Span`1[byte]) (FullOpts)
          34 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          34 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
           9 (25.71 % of base) : System.Private.CoreLib.dasm - System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           9 (13.43 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           9 (14.06 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (20.00 % of base) : System.Private.CoreLib.dasm - System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (12.31 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (12.90 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (23.53 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (23.53 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (12.77 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (13.95 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (12.77 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (13.95 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (9.68 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (10.34 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           4 (1.71 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(byte[]):byte[] (FullOpts)
           3 (1.23 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(byte[],long):byte[] (FullOpts)
           3 (1.49 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(System.ReadOnlySpan`1[byte],long):byte[] (FullOpts)
           3 (1.80 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(System.ReadOnlySpan`1[byte],System.Span`1[byte],long):int (FullOpts)
           3 (1.70 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:TryHash(System.ReadOnlySpan`1[byte],System.Span`1[byte],byref,long):bool (FullOpts)

Top method improvements (bytes):
        -482 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__NegativeN|235_1(double,int):double (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__PositiveN|235_0(double,int):double (FullOpts) (1 base, 0 diff methods)
        -384 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__NegativeN|235_1(float,int):float (FullOpts) (1 base, 0 diff methods)
        -374 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__PositiveN|235_0(float,int):float (FullOpts) (1 base, 0 diff methods)

Top method regressions (percentages):
         482 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__NegativeN|239_1(double,int):double (FullOpts) (0 base, 1 diff methods)
         469 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__PositiveN|239_0(double,int):double (FullOpts) (0 base, 1 diff methods)
          47 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          43 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          65 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          62 (Infinity of base) : System.Private.CoreLib.dasm - System.Double:TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
         384 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__NegativeN|239_1(float,int):float (FullOpts) (0 base, 1 diff methods)
         374 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__PositiveN|239_0(float,int):float (FullOpts) (0 base, 1 diff methods)
          34 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          34 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          62 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          58 (Infinity of base) : System.Private.CoreLib.dasm - System.Single:TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts) (0 base, 1 diff methods)
          37 (176.19 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:WriteBigEndian128(byref,System.Span`1[byte]) (FullOpts)
          54 (158.82 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:GetCurrentHashCore(System.Span`1[byte]):this (FullOpts)
           9 (25.71 % of base) : System.Private.CoreLib.dasm - System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (23.53 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (23.53 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (20.00 % of base) : System.Private.CoreLib.dasm - System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           9 (14.06 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (13.95 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (13.95 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteExponentLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           9 (13.43 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (12.90 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (12.77 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (12.77 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           8 (12.31 % of base) : System.Private.CoreLib.dasm - System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (10.34 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           6 (9.68 % of base) : System.Private.CoreLib.dasm - System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
           3 (1.80 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(System.ReadOnlySpan`1[byte],System.Span`1[byte],long):int (FullOpts)
           4 (1.71 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(byte[]):byte[] (FullOpts)
           3 (1.70 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:TryHash(System.ReadOnlySpan`1[byte],System.Span`1[byte],byref,long):bool (FullOpts)
           3 (1.49 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(System.ReadOnlySpan`1[byte],long):byte[] (FullOpts)
           3 (1.23 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.XxHash128:Hash(byte[],long):byte[] (FullOpts)

Top method improvements (percentages):
        -482 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__NegativeN|235_1(double,int):double (FullOpts) (1 base, 0 diff methods)
        -469 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Double:<RootN>g__PositiveN|235_0(double,int):double (FullOpts) (1 base, 0 diff methods)
        -384 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__NegativeN|235_1(float,int):float (FullOpts) (1 base, 0 diff methods)
        -374 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Single:<RootN>g__PositiveN|235_0(float,int):float (FullOpts) (1 base, 0 diff methods)

37 total methods with Code Size differences (4 improved, 33 regressed), 286874 unchanged.

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

Artifacts:

• diff-frameworks.txt (14 KB)
• ShortDiffsRegressions.md (57 KB)
• LongDiffsRegressions.md (160 KB)
• jit-diffs-pr.zip (158 MB)
• jit-diffs-main.zip (158 MB)

[MihuBot]

Top method regressions

54 (158.82 % of base) - System.IO.Hashing.XxHash128:GetCurrentHashCore(System.Span`1[byte]):this

 ; Assembly listing for method System.IO.Hashing.XxHash128:GetCurrentHashCore(System.Span`1[byte]):this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 6 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.IO.Hashing.XxHash128>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
 ;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    multireg-ret multireg-dest ld-addr-op <System.IO.Hashing.XxHash128+Hash128>
 ;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V04 tmp1         [V04    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBRM] multireg-ret multireg-dest "Return value temp for multireg return" <System.IO.Hashing.XxHash128+Hash128>
-;  V05 tmp2         [V05,T03] (  2,  2   )    long  ->  rax         "Inline stloc first use temp"
-;  V06 tmp3         [V06,T04] (  2,  2   )    long  ->  rcx         "Inline stloc first use temp"
-;* V07 tmp4         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "dup spill"
-;* V08 tmp5         [V08    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "NewObj constructor temp"
-;* V09 tmp6         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V10 tmp7         [V10,T01] (  3,  3   )   byref  ->  rbx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V11 tmp8         [V11,T02] (  1,  1   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V12 tmp9         [V12,T05] (  2,  2   )    long  ->  rax         "field V02.Low64 (fldOffset=0x0)" P-INDEP
-;  V13 tmp10        [V13,T06] (  2,  2   )    long  ->  rdx         "field V02.High64 (fldOffset=0x8)" P-INDEP
-;* V14 tmp11        [V14    ] (  0,  0   )    long  ->  zero-ref    "field V04.Low64 (fldOffset=0x0)" P-DEP
-;* V15 tmp12        [V15    ] (  0,  0   )    long  ->  zero-ref    "field V04.High64 (fldOffset=0x8)" P-DEP
-;* V16 tmp13        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V17 tmp14        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V05 tmp2         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V06 tmp3         [V06    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V07 tmp4         [V07    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V08 tmp5         [V08,T05] (  2,  2   )    long  ->  rdi         ld-addr-op "Inline stloc first use temp"
+;* V09 tmp6         [V09    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V10 tmp7         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V11 tmp8         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V12 tmp9         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V13 tmp10        [V13,T03] (  2,  4   )   byref  ->  rbx         single-def "Inlining Arg"
+;  V14 tmp11        [V14,T04] (  2,  4   )     int  ->  r15         "Inlining Arg"
+;* V15 tmp12        [V15    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V16 tmp13        [V16,T06] (  2,  2   )    long  ->  rdi         ld-addr-op "Inline stloc first use temp"
+;* V17 tmp14        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V18 tmp15        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V19 tmp16        [V19,T01] (  3,  3   )   byref  ->  rbx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V20 tmp17        [V20,T02] (  3,  3   )     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V21 tmp18        [V21,T07] (  2,  2   )    long  ->  rax         "field V02.Low64 (fldOffset=0x0)" P-INDEP
+;  V22 tmp19        [V22,T08] (  2,  2   )    long  ->  rdx         "field V02.High64 (fldOffset=0x8)" P-INDEP
+;* V23 tmp20        [V23    ] (  0,  0   )    long  ->  zero-ref    "field V04.Low64 (fldOffset=0x0)" P-DEP
+;* V24 tmp21        [V24    ] (  0,  0   )    long  ->  zero-ref    "field V04.High64 (fldOffset=0x8)" P-DEP
+;* V25 tmp22        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V26 tmp23        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V27 tmp24        [V27    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V28 tmp25        [V28    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V29 tmp26        [V29    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V30 tmp27        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V31 tmp28        [V31    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V32 tmp29        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V33 tmp30        [V33    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V34 tmp31        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V35 tmp32        [V35    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V36 tmp33        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;* V37 tmp34        [V37    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V38 tmp35        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V39 tmp36        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V40 tmp37        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M40039_IG01:
+       push     rbp
+       push     r15
        push     rbx
+       lea      rbp, [rsp+0x10]
        mov      rbx, rsi
-						;; size=4 bbWeight=1 PerfScore 1.25
+       mov      r15d, edx
+						;; size=15 bbWeight=1 PerfScore 4.00
 G_M40039_IG02:
        mov      rax, 0xD1FFAB1E      ; code for System.IO.Hashing.XxHash128:GetCurrentHashAsHash128():System.IO.Hashing.XxHash128+Hash128:this
        call     [rax]System.IO.Hashing.XxHash128:GetCurrentHashAsHash128():System.IO.Hashing.XxHash128+Hash128:this
-       bswap    rax
-       mov      rcx, rdx
-       bswap    rcx
-       mov      qword ptr [rbx], rcx
-       mov      qword ptr [rbx+0x08], rax
-						;; size=28 bbWeight=1 PerfScore 7.50
+       mov      rdi, rdx
+       bswap    rdi
+       cmp      r15d, 8
+       jl       SHORT G_M40039_IG04
+       mov      qword ptr [rbx], rdi
+       add      rbx, 8
+       add      r15d, -8
+       mov      rdi, rax
+       bswap    rdi
+       cmp      r15d, 8
+       jl       SHORT G_M40039_IG04
+       mov      qword ptr [rbx], rdi
+						;; size=50 bbWeight=1 PerfScore 10.75
 G_M40039_IG03:
        pop      rbx
+       pop      r15
+       pop      rbp
        ret      
-						;; size=2 bbWeight=1 PerfScore 1.50
+						;; size=5 bbWeight=1 PerfScore 2.50
+G_M40039_IG04:
+       mov      edi, 40
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 34, prolog size 1, PerfScore 10.25, instruction count 11, allocated bytes for code 34 (MethodHash=da866398) for method System.IO.Hashing.XxHash128:GetCurrentHashCore(System.Span`1[byte]):this (FullOpts)
+; Total bytes of code 88, prolog size 9, PerfScore 17.25, instruction count 28, allocated bytes for code 88 (MethodHash=da866398) for method System.IO.Hashing.XxHash128:GetCurrentHashCore(System.Span`1[byte]):this (FullOpts)
 ; ============================================================

37 (176.19 % of base) - System.IO.Hashing.XxHash128:WriteBigEndian128(byref,System.Span`1[byte])

 ; Assembly listing for method System.IO.Hashing.XxHash128:WriteBigEndian128(byref,System.Span`1[byte]) (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 2 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00,T00] (  4,  4   )   byref  ->  rdi         single-def
-;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
-;  V02 loc0         [V02,T02] (  4,  4   )    long  ->  rax        
-;  V03 loc1         [V03,T03] (  4,  4   )    long  ->  rcx        
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V05 tmp1         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "dup spill"
-;* V06 tmp2         [V06    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "NewObj constructor temp"
-;* V07 tmp3         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V08 tmp4         [V08,T01] (  3,  3   )   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V09 tmp5         [V09,T04] (  1,  1   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V10 tmp6         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V11 tmp7         [V11    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V04 tmp2         [V04    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V05 tmp3         [V05,T05] (  2,  2   )    long  ->  rax         ld-addr-op "Inline stloc first use temp"
+;* V06 tmp4         [V06    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V07 tmp5         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V08 tmp6         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V10 tmp8         [V10,T03] (  2,  4   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V11 tmp9         [V11,T04] (  2,  4   )     int  ->  rdx         "Inlining Arg"
+;* V12 tmp10        [V12    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V13 tmp11        [V13,T06] (  2,  2   )    long  ->  rdi         ld-addr-op "Inline stloc first use temp"
+;* V14 tmp12        [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V15 tmp13        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V16 tmp14        [V16,T01] (  3,  3   )   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V17 tmp15        [V17,T02] (  3,  3   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;* V19 tmp17        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
+;* V20 tmp18        [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp19        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V22 tmp20        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp21        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V24 tmp22        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V25 tmp23        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V26 tmp24        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V27 tmp25        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V28 tmp26        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V29 tmp27        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V30 tmp28        [V30    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V31 tmp29        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M19432_IG01:
-						;; size=0 bbWeight=1 PerfScore 0.00
+       push     rbp
+       mov      rbp, rsp
+						;; size=4 bbWeight=1 PerfScore 1.25
 G_M19432_IG02:
-       mov      rax, qword ptr [rdi]
-       mov      rcx, qword ptr [rdi+0x08]
-       bswap    rax
-       bswap    rcx
-       mov      qword ptr [rsi], rcx
-       mov      qword ptr [rsi+0x08], rax
-						;; size=20 bbWeight=1 PerfScore 8.00
+       movbe    rax, qword ptr [rdi+0x08]
+       cmp      edx, 8
+       jl       SHORT G_M19432_IG04
+       mov      qword ptr [rsi], rax
+       add      rsi, 8
+       add      edx, -8
+       movbe    rdi, qword ptr [rdi]
+       cmp      edx, 8
+       jl       SHORT G_M19432_IG04
+       mov      qword ptr [rsi], rdi
+						;; size=34 bbWeight=1 PerfScore 9.00
 G_M19432_IG03:
+       pop      rbp
        ret      
-						;; size=1 bbWeight=1 PerfScore 1.00
+						;; size=2 bbWeight=1 PerfScore 1.50
+G_M19432_IG04:
+       mov      edi, 40
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 21, prolog size 0, PerfScore 9.00, instruction count 7, allocated bytes for code 21 (MethodHash=66d5b417) for method System.IO.Hashing.XxHash128:WriteBigEndian128(byref,System.Span`1[byte]) (FullOpts)
+; Total bytes of code 58, prolog size 4, PerfScore 11.75, instruction count 18, allocated bytes for code 58 (MethodHash=66d5b417) for method System.IO.Hashing.XxHash128:WriteBigEndian128(byref,System.Span`1[byte]) (FullOpts)
 ; ============================================================

9 (25.71 % of base) - System.Decimal:System.Numerics.IFloatingPoint.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 5 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
 ;  V02 arg2         [V02,T01] (  4,  3   )   byref  ->  rcx         single-def
-;  V03 loc0         [V03,T04] (  2,  1   )    long  ->  rax        
-;  V04 loc1         [V04,T05] (  2,  1   )     int  ->  rdx        
-;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V06 tmp1         [V06    ] (  0,  0   )   byref  ->  zero-ref    single-def "dup spill"
-;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V08 tmp3         [V08,T02] (  3,  2   )   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V09 tmp4         [V09,T03] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V10 tmp5         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V11 tmp6         [V11    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V04 tmp1         [V04    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V05 tmp2         [V05    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;  V06 tmp3         [V06,T05] (  2,  2   )    long  ->  rax         ld-addr-op "Inlining Arg"
+;* V07 tmp4         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V08 tmp5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V09 tmp6         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V10 tmp7         [V10,T04] (  2,  2   )   byref  ->  rsi         single-def "Inlining Arg"
+;* V11 tmp8         [V11,T07] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V12 tmp9         [V12,T06] (  2,  2   )     int  ->  rax         ld-addr-op "Inlining Arg"
+;* V13 tmp10        [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V14 tmp11        [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V15 tmp12        [V15,T03] (  3,  2   )   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V16 tmp13        [V16,T02] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp14        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp15        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V19 tmp16        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp17        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V21 tmp18        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V22 tmp19        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V23 tmp20        [V23    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V24 tmp21        [V24    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V25 tmp22        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V26 tmp23        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V27 tmp24        [V27    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V28 tmp25        [V28    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V29 tmp26        [V29    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V30 tmp27        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M36779_IG01:
-						;; size=0 bbWeight=1 PerfScore 0.00
+       push     rbp
+       mov      rbp, rsp
+						;; size=4 bbWeight=1 PerfScore 1.25
 G_M36779_IG02:
        cmp      edx, 12
        jge      SHORT G_M36779_IG05
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M36779_IG03:
        xor      eax, eax
        mov      dword ptr [rcx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M36779_IG04:
+       pop      rbp
        ret      
-						;; size=1 bbWeight=0.50 PerfScore 0.50
+						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M36779_IG05:
        mov      rax, qword ptr [rdi+0x08]
-       mov      edx, dword ptr [rdi+0x04]
        mov      qword ptr [rsi], rax
-       mov      dword ptr [rsi+0x08], edx
+       add      rsi, 8
+       mov      eax, dword ptr [rdi+0x04]
+       mov      dword ptr [rsi], eax
        mov      dword ptr [rcx], 12
        mov      eax, 1
-						;; size=24 bbWeight=0.50 PerfScore 3.62
+						;; size=27 bbWeight=0.50 PerfScore 3.75
 G_M36779_IG06:
+       pop      rbp
        ret      
-						;; size=1 bbWeight=0.50 PerfScore 0.50
+						;; size=2 bbWeight=0.50 PerfScore 0.75
 
-; Total bytes of code 35, prolog size 0, PerfScore 6.50, instruction count 12, allocated bytes for code 35 (MethodHash=b3397054) for method System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 44, prolog size 4, PerfScore 8.38, instruction count 17, allocated bytes for code 44 (MethodHash=b3397054) for method System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

9 (13.43 % of base) - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T00] (  4,  3   )   byref  ->  rdi         this single-def
-;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
+;  V00 this         [V00,T00] (  4,  4   )   byref  ->  rdi         this single-def
+;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
 ;  V02 arg2         [V02,T01] (  4,  3   )   byref  ->  rbx         single-def
-;  V03 loc0         [V03,T04] (  2,  1   )    long  ->  rax        
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V05 tmp1         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V06 tmp2         [V06,T03] (  2,  1.50)   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V07 tmp3         [V07,T02] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V08 tmp4         [V08    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V09 tmp5         [V09    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V04 tmp1         [V04,T04] (  3,  2   )   ubyte  ->  rax         "Inline return value spill temp"
+;* V05 tmp2         [V05    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V06 tmp3         [V06    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V07 tmp4         [V07,T05] (  2,  1.50)    long  ->  rax         ld-addr-op "Inline stloc first use temp"
+;* V08 tmp5         [V08    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V09 tmp6         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V10 tmp7         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V11 tmp8         [V11,T03] (  2,  1.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V12 tmp9         [V12,T02] (  2,  2   )     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V13 tmp10        [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp11        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp12        [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp13        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 8
 
 G_M62507_IG01:
+       push     rbp
        push     r15
+       push     r14
        push     rbx
        push     rax
-       mov      r15, rsi
+       lea      rbp, [rsp+0x20]
+       mov      r14, rsi
+       mov      r15d, edx
        mov      rbx, rcx
-						;; size=10 bbWeight=1 PerfScore 3.50
+						;; size=21 bbWeight=1 PerfScore 6.25
 G_M62507_IG02:
-       cmp      edx, 8
-       jge      SHORT G_M62507_IG05
-						;; size=5 bbWeight=1 PerfScore 1.25
-G_M62507_IG03:
-       xor      eax, eax
-       mov      dword ptr [rbx], eax
-						;; size=4 bbWeight=0.50 PerfScore 0.62
-G_M62507_IG04:
-       add      rsp, 8
-       pop      rbx
-       pop      r15
-       ret      
-						;; size=8 bbWeight=0.50 PerfScore 1.12
-G_M62507_IG05:
        cmp      byte  ptr [rdi], dil
        mov      rax, 0xD1FFAB1E      ; code for System.Double:get_Significand():ulong:this
        call     [rax]System.Double:get_Significand():ulong:this
        bswap    rax
-       mov      qword ptr [r15], rax
+       cmp      r15d, 8
+       jl       SHORT G_M62507_IG04
+						;; size=24 bbWeight=1 PerfScore 7.50
+G_M62507_IG03:
+       mov      qword ptr [r14], rax
        mov      dword ptr [rbx], 8
        mov      eax, 1
-						;; size=32 bbWeight=0.50 PerfScore 4.25
-G_M62507_IG06:
+       jmp      SHORT G_M62507_IG05
+						;; size=16 bbWeight=0.50 PerfScore 2.12
+G_M62507_IG04:
+       xor      eax, eax
+       mov      dword ptr [rbx], eax
+						;; size=4 bbWeight=0.50 PerfScore 0.62
+G_M62507_IG05:
        add      rsp, 8
        pop      rbx
+       pop      r14
        pop      r15
+       pop      rbp
        ret      
-						;; size=8 bbWeight=0.50 PerfScore 1.12
+						;; size=11 bbWeight=1 PerfScore 3.25
 
-; Total bytes of code 67, prolog size 4, PerfScore 11.88, instruction count 24, allocated bytes for code 67 (MethodHash=07520bd4) for method System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 76, prolog size 12, PerfScore 19.75, instruction count 27, allocated bytes for code 76 (MethodHash=07520bd4) for method System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

9 (14.06 % of base) - System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 1 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T00] (  4,  3   )   byref  ->  rdi         this single-def
-;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
+;  V00 this         [V00,T00] (  4,  4   )   byref  ->  rdi         this single-def
+;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
 ;  V02 arg2         [V02,T01] (  4,  3   )   byref  ->  rbx         single-def
-;  V03 loc0         [V03,T04] (  2,  1   )    long  ->  rax        
-;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V05 tmp1         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V06 tmp2         [V06,T03] (  2,  1.50)   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V07 tmp3         [V07,T02] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V08 tmp4         [V08    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V09 tmp5         [V09    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V04 tmp1         [V04,T05] (  3,  2   )   ubyte  ->  rax         "Inline return value spill temp"
+;* V05 tmp2         [V05    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V06 tmp3         [V06,T04] (  2,  3   )    long  ->  rax         ld-addr-op "Inlining Arg"
+;* V07 tmp4         [V07    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V08 tmp5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V09 tmp6         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V10 tmp7         [V10,T03] (  2,  1.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V11 tmp8         [V11,T02] (  2,  2   )     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V12 tmp9         [V12    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V13 tmp10        [V13    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V14 tmp11        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V15 tmp12        [V15    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 8
 
 G_M6635_IG01:
+       push     rbp
        push     r15
+       push     r14
        push     rbx
        push     rax
-       mov      r15, rsi
+       lea      rbp, [rsp+0x20]
+       mov      r14, rsi
+       mov      r15d, edx
        mov      rbx, rcx
-						;; size=10 bbWeight=1 PerfScore 3.50
+						;; size=21 bbWeight=1 PerfScore 6.25
 G_M6635_IG02:
-       cmp      edx, 8
-       jge      SHORT G_M6635_IG05
-						;; size=5 bbWeight=1 PerfScore 1.25
-G_M6635_IG03:
-       xor      eax, eax
-       mov      dword ptr [rbx], eax
-						;; size=4 bbWeight=0.50 PerfScore 0.62
-G_M6635_IG04:
-       add      rsp, 8
-       pop      rbx
-       pop      r15
-       ret      
-						;; size=8 bbWeight=0.50 PerfScore 1.12
-G_M6635_IG05:
        cmp      byte  ptr [rdi], dil
        mov      rax, 0xD1FFAB1E      ; code for System.Double:get_Significand():ulong:this
        call     [rax]System.Double:get_Significand():ulong:this
-       mov      qword ptr [r15], rax
+       cmp      r15d, 8
+       jl       SHORT G_M6635_IG04
+						;; size=21 bbWeight=1 PerfScore 6.50
+G_M6635_IG03:
+       mov      qword ptr [r14], rax
        mov      dword ptr [rbx], 8
        mov      eax, 1
-						;; size=29 bbWeight=0.50 PerfScore 3.75
-G_M6635_IG06:
+       jmp      SHORT G_M6635_IG05
+						;; size=16 bbWeight=0.50 PerfScore 2.12
+G_M6635_IG04:
+       xor      eax, eax
+       mov      dword ptr [rbx], eax
+						;; size=4 bbWeight=0.50 PerfScore 0.62
+G_M6635_IG05:
        add      rsp, 8
        pop      rbx
+       pop      r14
        pop      r15
+       pop      rbp
        ret      
-						;; size=8 bbWeight=0.50 PerfScore 1.12
+						;; size=11 bbWeight=1 PerfScore 3.25
 
-; Total bytes of code 64, prolog size 4, PerfScore 11.38, instruction count 23, allocated bytes for code 64 (MethodHash=c94fe614) for method System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 73, prolog size 12, PerfScore 18.75, instruction count 26, allocated bytes for code 73 (MethodHash=c94fe614) for method System.Runtime.InteropServices.NFloat:System.Numerics.IFloatingPoint<System.Runtime.InteropServices.NFloat>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

8 (20.00 % of base) - System.Decimal:System.Numerics.IFloatingPoint.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
 ;  V02 arg2         [V02,T01] (  4,  3   )   byref  ->  rcx         single-def
-;  V03 loc0         [V03,T04] (  4,  2   )     int  ->  rax        
-;  V04 loc1         [V04,T05] (  4,  2   )    long  ->  rdx        
-;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V06 tmp1         [V06    ] (  0,  0   )   byref  ->  zero-ref    single-def "dup spill"
-;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V08 tmp3         [V08,T02] (  3,  2   )   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V09 tmp4         [V09,T03] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V10 tmp5         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V11 tmp6         [V11    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V04 tmp1         [V04    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V05 tmp2         [V05    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V06 tmp3         [V06,T05] (  2,  1   )     int  ->  rax         ld-addr-op "Inline stloc first use temp"
+;* V07 tmp4         [V07    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V08 tmp5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V09 tmp6         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V10 tmp7         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V11 tmp8         [V11,T04] (  2,  2   )   byref  ->  rsi         single-def "Inlining Arg"
+;* V12 tmp9         [V12,T07] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V13 tmp10        [V13    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V14 tmp11        [V14,T06] (  2,  1   )    long  ->  rax         ld-addr-op "Inline stloc first use temp"
+;* V15 tmp12        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V16 tmp13        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V17 tmp14        [V17,T03] (  3,  2   )   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V18 tmp15        [V18,T02] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V19 tmp16        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp17        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V21 tmp18        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V22 tmp19        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V23 tmp20        [V23    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V24 tmp21        [V24    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V25 tmp22        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V26 tmp23        [V26    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V27 tmp24        [V27    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V28 tmp25        [V28    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V29 tmp26        [V29    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V30 tmp27        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V31 tmp28        [V31    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V32 tmp29        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M21099_IG01:
-						;; size=0 bbWeight=1 PerfScore 0.00
+       push     rbp
+       mov      rbp, rsp
+						;; size=4 bbWeight=1 PerfScore 1.25
 G_M21099_IG02:
        cmp      edx, 12
        jge      SHORT G_M21099_IG05
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M21099_IG03:
        xor      eax, eax
        mov      dword ptr [rcx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M21099_IG04:
+       pop      rbp
        ret      
-						;; size=1 bbWeight=0.50 PerfScore 0.50
+						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M21099_IG05:
-       mov      eax, dword ptr [rdi+0x04]
-       mov      rdx, qword ptr [rdi+0x08]
-       bswap    eax
-       bswap    rdx
+       movbe    eax, dword ptr [rdi+0x04]
        mov      dword ptr [rsi], eax
-       mov      qword ptr [rsi+0x04], rdx
+       add      rsi, 4
+       movbe    rax, qword ptr [rdi+0x08]
+       mov      qword ptr [rsi], rax
        mov      dword ptr [rcx], 12
        mov      eax, 1
-						;; size=29 bbWeight=0.50 PerfScore 4.38
+						;; size=31 bbWeight=0.50 PerfScore 3.75
 G_M21099_IG06:
+       pop      rbp
        ret      
-						;; size=1 bbWeight=0.50 PerfScore 0.50
+						;; size=2 bbWeight=0.50 PerfScore 0.75
 
-; Total bytes of code 40, prolog size 0, PerfScore 7.25, instruction count 14, allocated bytes for code 40 (MethodHash=0404ad94) for method System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 48, prolog size 4, PerfScore 8.38, instruction count 17, allocated bytes for code 48 (MethodHash=0404ad94) for method System.Decimal:System.Numerics.IFloatingPoint<System.Decimal>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

8 (12.31 % of base) - System.Double:System.Numerics.IFloatingPoint.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
 ;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rbx         single-def
 ;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V04 tmp1         [V04    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V05 tmp2         [V05,T04] (  2,  1.50)    long  ->  rax         ld-addr-op "Inline stloc first use temp"
-;* V06 tmp3         [V06    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V07 tmp4         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V04 tmp1         [V04,T04] (  3,  2   )   ubyte  ->  rax         "Inline return value spill temp"
+;* V05 tmp2         [V05    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V06 tmp3         [V06,T05] (  2,  1.50)    long  ->  rax         ld-addr-op "Inline stloc first use temp"
+;* V07 tmp4         [V07    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V08 tmp5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V09 tmp6         [V09,T03] (  2,  1.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V10 tmp7         [V10,T02] (  2,  2   )     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V11 tmp8         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V12 tmp9         [V12    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;* V13 tmp10        [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V14 tmp11        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V09 tmp6         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V10 tmp7         [V10,T03] (  2,  1.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V11 tmp8         [V11,T02] (  2,  2   )     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V12 tmp9         [V12    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V13 tmp10        [V13    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V14 tmp11        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V15 tmp12        [V15    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
 ;
-; Lcl frame size = 0
+; Lcl frame size = 8
 
 G_M20331_IG01:
+       push     rbp
        push     r15
        push     r14
        push     rbx
+       push     rax
+       lea      rbp, [rsp+0x20]
        mov      r14, rsi
        mov      r15d, edx
        mov      rbx, rcx
-						;; size=14 bbWeight=1 PerfScore 3.75
+						;; size=21 bbWeight=1 PerfScore 6.25
 G_M20331_IG02:
        mov      rax, 0xD1FFAB1E      ; code for System.Double:get_Significand():ulong:this
        call     [rax]System.Double:get_Significand():ulong:this
        bswap    rax
        cmp      r15d, 8
-       jl       SHORT G_M20331_IG05
+       jl       SHORT G_M20331_IG04
 						;; size=21 bbWeight=1 PerfScore 5.50
 G_M20331_IG03:
        mov      qword ptr [r14], rax
        mov      dword ptr [rbx], 8
        mov      eax, 1
-						;; size=14 bbWeight=0.50 PerfScore 1.12
+       jmp      SHORT G_M20331_IG05
+						;; size=16 bbWeight=0.50 PerfScore 2.12
 G_M20331_IG04:
-       pop      rbx
-       pop      r14
-       pop      r15
-       ret      
-						;; size=6 bbWeight=0.50 PerfScore 1.25
-G_M20331_IG05:
        xor      eax, eax
        mov      dword ptr [rbx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
-G_M20331_IG06:
+G_M20331_IG05:
+       add      rsp, 8
        pop      rbx
        pop      r14
        pop      r15
+       pop      rbp
        ret      
-						;; size=6 bbWeight=0.50 PerfScore 1.25
+						;; size=11 bbWeight=1 PerfScore 3.25
 
-; Total bytes of code 65, prolog size 5, PerfScore 13.50, instruction count 24, allocated bytes for code 65 (MethodHash=33e0b094) for method System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 73, prolog size 12, PerfScore 17.75, instruction count 26, allocated bytes for code 73 (MethodHash=33e0b094) for method System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

8 (12.90 % of base) - System.Double:System.Numerics.IFloatingPoint.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 2 inlinees without PGO data
+; 0 inlinees with PGO data; 1 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
 ;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rbx         single-def
 ;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V04 tmp1         [V04,T04] (  2,  3   )    long  ->  rax         ld-addr-op "Inlining Arg"
-;* V05 tmp2         [V05    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V06 tmp3         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V04 tmp1         [V04,T05] (  3,  2   )   ubyte  ->  rax         "Inline return value spill temp"
+;  V05 tmp2         [V05,T04] (  2,  3   )    long  ->  rax         ld-addr-op "Inlining Arg"
+;* V06 tmp3         [V06    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V07 tmp4         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V08 tmp5         [V08,T03] (  2,  1.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V09 tmp6         [V09,T02] (  2,  2   )     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V10 tmp7         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V11 tmp8         [V11    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V12 tmp9         [V12    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V13 tmp10        [V13    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V08 tmp5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V09 tmp6         [V09,T03] (  2,  1.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V10 tmp7         [V10,T02] (  2,  2   )     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V11 tmp8         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V12 tmp9         [V12    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V13 tmp10        [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp11        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
 ;
-; Lcl frame size = 0
+; Lcl frame size = 8
 
 G_M27819_IG01:
+       push     rbp
        push     r15
        push     r14
        push     rbx
+       push     rax
+       lea      rbp, [rsp+0x20]
        mov      r14, rsi
        mov      r15d, edx
        mov      rbx, rcx
-						;; size=14 bbWeight=1 PerfScore 3.75
+						;; size=21 bbWeight=1 PerfScore 6.25
 G_M27819_IG02:
        mov      rax, 0xD1FFAB1E      ; code for System.Double:get_Significand():ulong:this
        call     [rax]System.Double:get_Significand():ulong:this
        cmp      r15d, 8
-       jl       SHORT G_M27819_IG05
+       jl       SHORT G_M27819_IG04
 						;; size=18 bbWeight=1 PerfScore 4.50
 G_M27819_IG03:
        mov      qword ptr [r14], rax
        mov      dword ptr [rbx], 8
        mov      eax, 1
-						;; size=14 bbWeight=0.50 PerfScore 1.12
+       jmp      SHORT G_M27819_IG05
+						;; size=16 bbWeight=0.50 PerfScore 2.12
 G_M27819_IG04:
-       pop      rbx
-       pop      r14
-       pop      r15
-       ret      
-						;; size=6 bbWeight=0.50 PerfScore 1.25
-G_M27819_IG05:
        xor      eax, eax
        mov      dword ptr [rbx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
-G_M27819_IG06:
+G_M27819_IG05:
+       add      rsp, 8
        pop      rbx
        pop      r14
        pop      r15
+       pop      rbp
        ret      
-						;; size=6 bbWeight=0.50 PerfScore 1.25
+						;; size=11 bbWeight=1 PerfScore 3.25
 
-; Total bytes of code 62, prolog size 5, PerfScore 12.50, instruction count 23, allocated bytes for code 62 (MethodHash=273a9354) for method System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 70, prolog size 12, PerfScore 16.75, instruction count 25, allocated bytes for code 70 (MethodHash=273a9354) for method System.Double:System.Numerics.IFloatingPoint<System.Double>.TryWriteSignificandLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

8 (23.53 % of base) - System.Single:System.Numerics.IFloatingPoint.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 3 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  2.50)   byref  ->  rdi         this single-def
-;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
+;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
 ;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rcx         single-def
 ;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V04 tmp1         [V04    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
-;* V05 tmp2         [V05    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V06 tmp3         [V06,T03] (  2,  1.50)   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V07 tmp4         [V07,T02] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V04 tmp1         [V04,T04] (  3,  2   )   ubyte  ->  rdi         "Inline return value spill temp"
+;* V05 tmp2         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V06 tmp3         [V06    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
+;* V07 tmp4         [V07    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V08 tmp5         [V08,T03] (  2,  1.50)   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V09 tmp6         [V09,T02] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V10 tmp7         [V10    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V11 tmp8         [V11    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M23589_IG01:
-						;; size=0 bbWeight=1 PerfScore 0.00
+       push     rbp
+       mov      rbp, rsp
+						;; size=4 bbWeight=1 PerfScore 1.25
 G_M23589_IG02:
        test     edx, edx
        jg       SHORT G_M23589_IG05
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M23589_IG03:
-       xor      eax, eax
-       mov      dword ptr [rcx], eax
+       xor      edi, edi
+       mov      dword ptr [rcx], edi
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M23589_IG04:
-       ret      
-						;; size=1 bbWeight=0.50 PerfScore 0.50
+       jmp      SHORT G_M23589_IG06
+						;; size=2 bbWeight=0.50 PerfScore 1.00
 G_M23589_IG05:
        mov      eax, dword ptr [rdi]
        shr      eax, 23
        movzx    rax, al
        add      eax, -127
        mov      byte  ptr [rsi], al
        mov      dword ptr [rcx], 1
-       mov      eax, 1
+       mov      edi, 1
 						;; size=24 bbWeight=0.50 PerfScore 2.62
 G_M23589_IG06:
+       mov      eax, edi
+						;; size=2 bbWeight=1 PerfScore 0.25
+G_M23589_IG07:
+       pop      rbp
        ret      
-						;; size=1 bbWeight=0.50 PerfScore 0.50
+						;; size=2 bbWeight=1 PerfScore 1.50
 
-; Total bytes of code 34, prolog size 0, PerfScore 5.50, instruction count 13, allocated bytes for code 34 (MethodHash=288ba3da) for method System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 42, prolog size 4, PerfScore 8.50, instruction count 17, allocated bytes for code 42 (MethodHash=288ba3da) for method System.Single:System.Numerics.IFloatingPoint<System.Single>.TryWriteExponentBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

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

[MihuBot]

@EgorBo