[JitDiff X64] [EgorBo] Remove unsafe code from IBinaryInteger.TryReadBigEndi ...

[MihuBot]

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

Main commit: dotnet/runtime@bbccf5e
PR commit: EgorBo/runtime-1@1866790

Diffs

Found 82 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46226918
Total bytes of diff: 46227290
Total bytes of delta: 372 (0.00 % of base)
Total relative delta: 1.69
    diff is a regression.
    relative diff is a regression.


Total byte diff includes -10 bytes from reconciling methods
	Base had    1 unique methods,       10 unique bytes
	Diff had    0 unique methods,        0 unique bytes

Top file regressions (bytes):
         372 : System.Private.CoreLib.dasm (0.00 % of base)

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

Top method regressions (bytes):
          36 (11.58 % of base) : System.Private.CoreLib.dasm - System.Int32:System.Numerics.IBinaryInteger<System.Int32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (11.36 % of base) : System.Private.CoreLib.dasm - System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (11.36 % of base) : System.Private.CoreLib.dasm - System.IntPtr:System.Numerics.IBinaryInteger<nint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (20.11 % of base) : System.Private.CoreLib.dasm - System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (20.00 % of base) : System.Private.CoreLib.dasm - System.UInt64:System.Numerics.IBinaryInteger<System.UInt64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (20.00 % of base) : System.Private.CoreLib.dasm - System.UIntPtr:System.Numerics.IBinaryInteger<nuint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          34 (20.24 % of base) : System.Private.CoreLib.dasm - System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          34 (12.93 % of base) : System.Private.CoreLib.dasm - System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          34 (20.24 % of base) : System.Private.CoreLib.dasm - System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          32 (7.34 % of base) : System.Private.CoreLib.dasm - System.Int128:System.Numerics.IBinaryInteger<System.Int128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          32 (13.68 % of base) : System.Private.CoreLib.dasm - System.UInt128:System.Numerics.IBinaryInteger<System.UInt128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)

Top method improvements (bytes):
         -10 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Buffers.Binary.BinaryPrimitives:ReverseEndianness(char):char (FullOpts) (1 base, 0 diff methods)

Top method regressions (percentages):
          34 (20.24 % of base) : System.Private.CoreLib.dasm - System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          34 (20.24 % of base) : System.Private.CoreLib.dasm - System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (20.11 % of base) : System.Private.CoreLib.dasm - System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (20.00 % of base) : System.Private.CoreLib.dasm - System.UInt64:System.Numerics.IBinaryInteger<System.UInt64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (20.00 % of base) : System.Private.CoreLib.dasm - System.UIntPtr:System.Numerics.IBinaryInteger<nuint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          32 (13.68 % of base) : System.Private.CoreLib.dasm - System.UInt128:System.Numerics.IBinaryInteger<System.UInt128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          34 (12.93 % of base) : System.Private.CoreLib.dasm - System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (11.58 % of base) : System.Private.CoreLib.dasm - System.Int32:System.Numerics.IBinaryInteger<System.Int32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (11.36 % of base) : System.Private.CoreLib.dasm - System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          36 (11.36 % of base) : System.Private.CoreLib.dasm - System.IntPtr:System.Numerics.IBinaryInteger<nint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          32 (7.34 % of base) : System.Private.CoreLib.dasm - System.Int128:System.Numerics.IBinaryInteger<System.Int128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)

Top method improvements (percentages):
         -10 (-100.00 % of base) : System.Private.CoreLib.dasm - System.Buffers.Binary.BinaryPrimitives:ReverseEndianness(char):char (FullOpts) (1 base, 0 diff methods)

12 total methods with Code Size differences (1 improved, 11 regressed), 286345 unchanged.

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

Artifacts:

• diff-frameworks.txt (5 KB)
• ShortDiffsRegressions.md (50 KB)
• LongDiffsRegressions.md (202 KB)
• jit-diffs-main.zip (157 MB)
• jit-diffs-pr.zip (157 MB)

[MihuBot]

Top method regressions

36 (11.58 % of base) - System.Int32:System.Numerics.IBinaryInteger.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool

 ; Assembly listing for method System.Int32:System.Numerics.IBinaryInteger<System.Int32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 12 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 13 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00    ] ( 19, 15.50)  struct (16) [rbp-0x28]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
+;  V00 arg0         [V00    ] ( 21, 19.92)  struct (16) [rbp-0x28]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T04] (  5,  3.50)   ubyte  ->  registers  
 ;  V02 arg2         [V02,T05] (  4,  3   )   byref  ->  rbx         single-def
-;  V03 loc0         [V03,T02] (  7, 11   )     int  ->  r15        
+;  V03 loc0         [V03,T03] (  7, 10.92)     int  ->  r15        
 ;  V04 loc1         [V04,T08] (  4,  2   )    byte  ->  rdi        
-;  V05 loc2         [V05,T06] (  2,  4.50)   byref  ->  rax         single-def
-;* V06 loc3         [V06    ] (  0,  0   )   byref  ->  zero-ref   
-;  V07 loc4         [V07,T00] (  5, 16.50)     int  ->  rcx        
-;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V10 tmp2         [V10,T10] (  2,  2   )     int  ->  rax         "Span.get_Item index"
-;  V11 tmp3         [V11,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V13 tmp5         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V14 tmp6         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
-;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V17 tmp9         [V17,T11] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
-;* V18 tmp10        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V19 tmp11        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V20 tmp12        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V22 tmp14        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V24 tmp16        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V25 tmp17        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V26 tmp18        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V27 tmp19        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V28 tmp20        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V29 tmp21        [V29    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
-;* V30 tmp22        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V31 tmp23        [V31,T03] ( 10,  6.50)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V32 tmp24        [V32,T01] ( 14, 12.50)     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V33 tmp25        [V33    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V35 tmp27        [V35,T12] (  2,  1   )   byref  ->  rsi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp28        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;* V37 tmp29        [V37    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V38 tmp30        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V39 tmp31        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V40 tmp32        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V41 tmp33        [V41    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V42 tmp34        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V43 tmp35        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
-;* V44 tmp36        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
-;  V45 cse0         [V45,T09] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
+;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref   
+;* V06 loc3         [V06,T15] (  0,  0   )     int  ->  zero-ref   
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V09 tmp2         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;  V10 tmp3         [V10,T11] (  2,  2   )     int  ->  rax         "Span.get_Item index"
+;  V11 tmp4         [V11,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V13 tmp6         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V14 tmp7         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
+;* V15 tmp8         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V16 tmp9         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V17 tmp10        [V17,T12] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
+;* V18 tmp11        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V19 tmp12        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V20 tmp13        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V21 tmp14        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V22 tmp15        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V23 tmp16        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V24 tmp17        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V25 tmp18        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V26 tmp19        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V27 tmp20        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V28 tmp21        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V29 tmp22        [V29    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;  V30 tmp23        [V30,T06] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;* V31 tmp24        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V32 tmp25        [V32,T10] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V33 tmp26        [V33,T13] (  2,  2   )     int  ->  rcx         "Inlining Arg"
+;* V34 tmp27        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V35 tmp28        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V36 tmp29        [V36,T02] ( 10,  9.96)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V37 tmp30        [V37,T01] ( 16, 13.46)     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V38 tmp31        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp32        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp33        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp34        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;  V42 tmp35        [V42,T14] (  2,  1   )   byref  ->  rsi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp36        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp37        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp38        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp39        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp40        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V48 tmp41        [V48    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V49 tmp42        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;* V50 tmp43        [V50    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V51 tmp44        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V52 tmp45        [V52    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
+;* V53 tmp46        [V53    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
+;* V54 tmp47        [V54    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
+;* V55 tmp48        [V55    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
+;  V56 cse0         [V56,T09] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
+;  V57 rat0         [V57,T00] (  5, 16.34)    long  ->  rax         "Widened IV V06"
 ;
 ; Lcl frame size = 24
 
 G_M5396_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x30]
        mov      bword ptr [rbp-0x28], rdi
        mov      qword ptr [rbp-0x20], rsi
        mov      rbx, rcx
 						;; size=26 bbWeight=1 PerfScore 7.00
 G_M5396_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x20], 0
        je       G_M5396_IG09
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M5396_IG03:
        mov      rdi, bword ptr [rbp-0x28]
        movsx    rdi, byte  ptr [rdi]
        sar      edi, 31
        movsx    rdi, dil
        movzx    rdx, dl
        test     edi, edi
        sete     sil
        movzx    rsi, sil
        or       edx, esi
        movzx    r14, dl
        test     r14d, r14d
        je       SHORT G_M5396_IG04
        test     edi, edi
        jge      SHORT G_M5396_IG04
        cmp      dword ptr [rbp-0x20], 4
        jge      G_M5396_IG11
 						;; size=53 bbWeight=0.50 PerfScore 5.00
 G_M5396_IG04:
        cmp      dword ptr [rbp-0x20], 4
        jle      SHORT G_M5396_IG05
        mov      edx, dword ptr [rbp-0x20]
        add      edx, -4
        cmp      edx, dword ptr [rbp-0x20]
        ja       G_M5396_IG13
        mov      rsi, bword ptr [rbp-0x28]
        movzx    rax, dil
        mov      rdi, rsi
        mov      esi, eax
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        call     [rax]System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        test     eax, eax
        jge      G_M5396_IG11
        mov      eax, dword ptr [rbp-0x20]
        add      eax, -4
-       mov      rcx, bword ptr [rbp-0x28]
-       cmp      byte  ptr [rcx+rax], 0
+       mov      rdi, bword ptr [rbp-0x28]
+       cmp      byte  ptr [rdi+rax], 0
        setl     al
        movzx    rax, al
        cmp      eax, r14d
-       je       SHORT G_M5396_IG11
-						;; size=79 bbWeight=0.50 PerfScore 8.88
+       je       G_M5396_IG11
+						;; size=83 bbWeight=0.50 PerfScore 8.88
 G_M5396_IG05:
-       mov      rax, bword ptr [rbp-0x28]
        cmp      dword ptr [rbp-0x20], 4
        jge      SHORT G_M5396_IG08
-       xor      ecx, ecx
+       xor      eax, eax
        align    [9 bytes for IG06]
-						;; size=21 bbWeight=0.50 PerfScore 1.75
+						;; size=17 bbWeight=0.50 PerfScore 1.25
 G_M5396_IG06:
-       movsxd   rdx, ecx
-       movzx    rdx, byte  ptr [rax+rdx]
+       mov      rdi, bword ptr [rbp-0x28]
+       movzx    rdi, byte  ptr [rdi+rax]
        shl      r15d, 8
-       or       r15d, edx
-       inc      ecx
-       cmp      ecx, dword ptr [rbp-0x20]
+       or       r15d, edi
+       inc      eax
+       cmp      eax, dword ptr [rbp-0x20]
        jl       SHORT G_M5396_IG06
-						;; size=21 bbWeight=4 PerfScore 21.00
+						;; size=23 bbWeight=3.96 PerfScore 23.76
 G_M5396_IG07:
        test     r14d, r14d
        jne      SHORT G_M5396_IG09
        mov      eax, dword ptr [rbp-0x20]
        neg      eax
        lea      eax, [8*rax+0x1F]
-       mov      ecx, 0xD1FFAB1E
-       sarx     eax, ecx, eax
+       mov      edi, 0xD1FFAB1E
+       sarx     eax, edi, eax
        or       eax, r15d
        mov      r15d, eax
        jmp      SHORT G_M5396_IG09
 						;; size=35 bbWeight=0.50 PerfScore 3.12
 G_M5396_IG08:
-       mov      rax, bword ptr [rbp-0x28]
+       mov      eax, dword ptr [rbp-0x20]
+       add      eax, -4
+       cmp      eax, dword ptr [rbp-0x20]
+       ja       SHORT G_M5396_IG13
+       mov      edi, eax
+       add      rdi, bword ptr [rbp-0x28]
        mov      ecx, dword ptr [rbp-0x20]
-       add      ecx, -4
-       movbe    r15d, dword ptr [rax+rcx]
-						;; size=16 bbWeight=0.50 PerfScore 2.12
+       sub      ecx, eax
+       cmp      ecx, 4
+       jl       SHORT G_M5396_IG14
+       movbe    r15d, dword ptr [rdi]
+						;; size=32 bbWeight=0.50 PerfScore 4.50
 G_M5396_IG09:
        mov      dword ptr [rbx], r15d
        mov      eax, 1
 						;; size=8 bbWeight=0.50 PerfScore 0.62
 G_M5396_IG10:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M5396_IG11:
        xor      eax, eax
        mov      dword ptr [rbx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M5396_IG12:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M5396_IG13:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
+G_M5396_IG14:
+       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 311, prolog size 26, PerfScore 55.62, instruction count 95, allocated bytes for code 311 (MethodHash=d20aeaeb) for method System.Int32:System.Numerics.IBinaryInteger<System.Int32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 347, prolog size 26, PerfScore 60.26, instruction count 105, allocated bytes for code 347 (MethodHash=d20aeaeb) for method System.Int32:System.Numerics.IBinaryInteger<System.Int32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; ============================================================

36 (11.36 % of base) - System.Int64:System.Numerics.IBinaryInteger.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool

 ; Assembly listing for method System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 12 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 13 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00    ] ( 19, 15.50)  struct (16) [rbp-0x28]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
+;  V00 arg0         [V00    ] ( 21, 19.92)  struct (16) [rbp-0x28]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T04] (  5,  3.50)   ubyte  ->  registers  
 ;  V02 arg2         [V02,T05] (  4,  3   )   byref  ->  rbx         single-def
-;  V03 loc0         [V03,T02] (  7, 11   )    long  ->  r15        
+;  V03 loc0         [V03,T03] (  7, 10.92)    long  ->  r15        
 ;  V04 loc1         [V04,T08] (  4,  2   )    byte  ->  rdi        
-;  V05 loc2         [V05,T06] (  2,  4.50)   byref  ->  rax         single-def
-;* V06 loc3         [V06    ] (  0,  0   )   byref  ->  zero-ref   
-;  V07 loc4         [V07,T00] (  5, 16.50)     int  ->  rcx        
-;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V10 tmp2         [V10,T10] (  2,  2   )     int  ->  rax         "Span.get_Item index"
-;  V11 tmp3         [V11,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V13 tmp5         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V14 tmp6         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
-;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V17 tmp9         [V17,T11] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
-;* V18 tmp10        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V19 tmp11        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V20 tmp12        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V22 tmp14        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V24 tmp16        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V25 tmp17        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V26 tmp18        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V27 tmp19        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V28 tmp20        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V29 tmp21        [V29    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
-;* V30 tmp22        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V31 tmp23        [V31,T03] ( 10,  6.50)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V32 tmp24        [V32,T01] ( 14, 12.50)     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V33 tmp25        [V33    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V35 tmp27        [V35,T12] (  2,  1   )   byref  ->  rsi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp28        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;* V37 tmp29        [V37    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V38 tmp30        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V39 tmp31        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V40 tmp32        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V41 tmp33        [V41    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V42 tmp34        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V43 tmp35        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
-;* V44 tmp36        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
-;  V45 cse0         [V45,T09] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
+;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref   
+;* V06 loc3         [V06,T15] (  0,  0   )     int  ->  zero-ref   
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V09 tmp2         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;  V10 tmp3         [V10,T11] (  2,  2   )     int  ->  rax         "Span.get_Item index"
+;  V11 tmp4         [V11,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V13 tmp6         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V14 tmp7         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
+;* V15 tmp8         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V16 tmp9         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V17 tmp10        [V17,T12] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
+;* V18 tmp11        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V19 tmp12        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V20 tmp13        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V21 tmp14        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V22 tmp15        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V23 tmp16        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V24 tmp17        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V25 tmp18        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V26 tmp19        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V27 tmp20        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V28 tmp21        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V29 tmp22        [V29    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;  V30 tmp23        [V30,T06] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;* V31 tmp24        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V32 tmp25        [V32,T10] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V33 tmp26        [V33,T13] (  2,  2   )     int  ->  rcx         "Inlining Arg"
+;* V34 tmp27        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V35 tmp28        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V36 tmp29        [V36,T02] ( 10,  9.96)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V37 tmp30        [V37,T01] ( 16, 13.46)     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V38 tmp31        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp32        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp33        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp34        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;  V42 tmp35        [V42,T14] (  2,  1   )   byref  ->  rsi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp36        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp37        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp38        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp39        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp40        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V48 tmp41        [V48    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V49 tmp42        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;* V50 tmp43        [V50    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V51 tmp44        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V52 tmp45        [V52    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
+;* V53 tmp46        [V53    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
+;* V54 tmp47        [V54    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
+;* V55 tmp48        [V55    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
+;  V56 cse0         [V56,T09] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
+;  V57 rat0         [V57,T00] (  5, 16.34)    long  ->  rax         "Widened IV V06"
 ;
 ; Lcl frame size = 24
 
 G_M59988_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x30]
        mov      bword ptr [rbp-0x28], rdi
        mov      qword ptr [rbp-0x20], rsi
        mov      rbx, rcx
 						;; size=26 bbWeight=1 PerfScore 7.00
 G_M59988_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x20], 0
        je       G_M59988_IG09
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M59988_IG03:
        mov      rdi, bword ptr [rbp-0x28]
        movsx    rdi, byte  ptr [rdi]
        sar      edi, 31
        movsx    rdi, dil
        movzx    rdx, dl
        test     edi, edi
        sete     sil
        movzx    rsi, sil
        or       edx, esi
        movzx    r14, dl
        test     r14d, r14d
        je       SHORT G_M59988_IG04
        test     edi, edi
        jge      SHORT G_M59988_IG04
        cmp      dword ptr [rbp-0x20], 8
        jge      G_M59988_IG11
 						;; size=53 bbWeight=0.50 PerfScore 5.00
 G_M59988_IG04:
        cmp      dword ptr [rbp-0x20], 8
        jle      SHORT G_M59988_IG05
        mov      edx, dword ptr [rbp-0x20]
        add      edx, -8
        cmp      edx, dword ptr [rbp-0x20]
        ja       G_M59988_IG13
        mov      rsi, bword ptr [rbp-0x28]
        movzx    rax, dil
        mov      rdi, rsi
        mov      esi, eax
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        call     [rax]System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        test     eax, eax
        jge      G_M59988_IG11
        mov      eax, dword ptr [rbp-0x20]
        add      eax, -8
-       mov      rcx, bword ptr [rbp-0x28]
-       cmp      byte  ptr [rcx+rax], 0
+       mov      rdi, bword ptr [rbp-0x28]
+       cmp      byte  ptr [rdi+rax], 0
        setl     al
        movzx    rax, al
        cmp      eax, r14d
-       je       SHORT G_M59988_IG11
-						;; size=79 bbWeight=0.50 PerfScore 8.88
+       je       G_M59988_IG11
+						;; size=83 bbWeight=0.50 PerfScore 8.88
 G_M59988_IG05:
-       mov      rax, bword ptr [rbp-0x28]
        cmp      dword ptr [rbp-0x20], 8
        jge      SHORT G_M59988_IG08
-       xor      ecx, ecx
+       xor      eax, eax
        align    [9 bytes for IG06]
-						;; size=21 bbWeight=0.50 PerfScore 1.75
+						;; size=17 bbWeight=0.50 PerfScore 1.25
 G_M59988_IG06:
-       movsxd   rdx, ecx
-       movzx    rdx, byte  ptr [rax+rdx]
+       mov      rdi, bword ptr [rbp-0x28]
+       movzx    rdi, byte  ptr [rdi+rax]
        shl      r15, 8
-       or       r15, rdx
-       inc      ecx
-       cmp      ecx, dword ptr [rbp-0x20]
+       or       r15, rdi
+       inc      eax
+       cmp      eax, dword ptr [rbp-0x20]
        jl       SHORT G_M59988_IG06
-						;; size=21 bbWeight=4 PerfScore 21.00
+						;; size=23 bbWeight=3.96 PerfScore 23.76
 G_M59988_IG07:
        test     r14d, r14d
        jne      SHORT G_M59988_IG09
        mov      eax, dword ptr [rbp-0x20]
        neg      eax
        lea      eax, [8*rax+0x3F]
-       mov      rcx, 0xD1FFAB1E
-       sarx     rax, rcx, rax
+       mov      rdi, 0xD1FFAB1E
+       sarx     rax, rdi, rax
        or       rax, r15
        mov      r15, rax
        jmp      SHORT G_M59988_IG09
 						;; size=40 bbWeight=0.50 PerfScore 3.12
 G_M59988_IG08:
-       mov      rax, bword ptr [rbp-0x28]
+       mov      eax, dword ptr [rbp-0x20]
+       add      eax, -8
+       cmp      eax, dword ptr [rbp-0x20]
+       ja       SHORT G_M59988_IG13
+       mov      edi, eax
+       add      rdi, bword ptr [rbp-0x28]
        mov      ecx, dword ptr [rbp-0x20]
-       add      ecx, -8
-       movbe    r15, qword ptr [rax+rcx]
-						;; size=16 bbWeight=0.50 PerfScore 2.12
+       sub      ecx, eax
+       cmp      ecx, 8
+       jl       SHORT G_M59988_IG14
+       movbe    r15, qword ptr [rdi]
+						;; size=32 bbWeight=0.50 PerfScore 4.50
 G_M59988_IG09:
        mov      qword ptr [rbx], r15
        mov      eax, 1
 						;; size=8 bbWeight=0.50 PerfScore 0.62
 G_M59988_IG10:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M59988_IG11:
        xor      eax, eax
        mov      qword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M59988_IG12:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M59988_IG13:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
+G_M59988_IG14:
+       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 317, prolog size 26, PerfScore 55.62, instruction count 95, allocated bytes for code 317 (MethodHash=224615ab) for method System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 353, prolog size 26, PerfScore 60.26, instruction count 105, allocated bytes for code 353 (MethodHash=224615ab) for method System.Int64:System.Numerics.IBinaryInteger<System.Int64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; ============================================================

36 (11.36 % of base) - System.IntPtr:System.Numerics.IBinaryInteger.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool

 ; Assembly listing for method System.IntPtr:System.Numerics.IBinaryInteger<nint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 13 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 13 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00    ] ( 19, 15.50)  struct (16) [rbp-0x28]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
+;  V00 arg0         [V00    ] ( 21, 19.92)  struct (16) [rbp-0x28]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T04] (  5,  3.50)   ubyte  ->  registers  
 ;  V02 arg2         [V02,T05] (  4,  3   )   byref  ->  rbx         single-def
-;  V03 loc0         [V03,T02] (  7, 11   )    long  ->  r15        
+;  V03 loc0         [V03,T03] (  7, 10.92)    long  ->  r15        
 ;  V04 loc1         [V04,T08] (  4,  2   )    byte  ->  rdi        
-;  V05 loc2         [V05,T06] (  2,  4.50)   byref  ->  rax         single-def
-;* V06 loc3         [V06    ] (  0,  0   )   byref  ->  zero-ref   
-;  V07 loc4         [V07,T00] (  5, 16.50)     int  ->  rcx        
-;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V10 tmp2         [V10,T10] (  2,  2   )     int  ->  rax         "Span.get_Item index"
-;  V11 tmp3         [V11,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V12 tmp4         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V13 tmp5         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V14 tmp6         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
-;* V15 tmp7         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V17 tmp9         [V17,T11] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
-;* V18 tmp10        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V19 tmp11        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V20 tmp12        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V22 tmp14        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V24 tmp16        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V25 tmp17        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V26 tmp18        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V27 tmp19        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V28 tmp20        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V29 tmp21        [V29    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
-;* V30 tmp22        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V31 tmp23        [V31,T03] ( 10,  6.50)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V32 tmp24        [V32,T01] ( 14, 12.50)     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V33 tmp25        [V33    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V35 tmp27        [V35,T12] (  2,  1   )   byref  ->  rsi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp28        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;* V37 tmp29        [V37    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V38 tmp30        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V39 tmp31        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V40 tmp32        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V41 tmp33        [V41    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V42 tmp34        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V43 tmp35        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
-;* V44 tmp36        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
-;  V45 cse0         [V45,T09] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
+;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref   
+;* V06 loc3         [V06,T15] (  0,  0   )     int  ->  zero-ref   
+;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V08 tmp1         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V09 tmp2         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;  V10 tmp3         [V10,T11] (  2,  2   )     int  ->  rax         "Span.get_Item index"
+;  V11 tmp4         [V11,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
+;* V12 tmp5         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V13 tmp6         [V13    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V14 tmp7         [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
+;* V15 tmp8         [V15    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V16 tmp9         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V17 tmp10        [V17,T12] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
+;* V18 tmp11        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V19 tmp12        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V20 tmp13        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V21 tmp14        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V22 tmp15        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V23 tmp16        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V24 tmp17        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V25 tmp18        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V26 tmp19        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V27 tmp20        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V28 tmp21        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V29 tmp22        [V29    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;  V30 tmp23        [V30,T06] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;* V31 tmp24        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V32 tmp25        [V32,T10] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V33 tmp26        [V33,T13] (  2,  2   )     int  ->  rcx         "Inlining Arg"
+;* V34 tmp27        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V35 tmp28        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V36 tmp29        [V36,T02] ( 10,  9.96)   byref  ->  [rbp-0x28]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V37 tmp30        [V37,T01] ( 16, 13.46)     int  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V38 tmp31        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp32        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp33        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp34        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;  V42 tmp35        [V42,T14] (  2,  1   )   byref  ->  rsi         single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp36        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp37        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp38        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp39        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp40        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V48 tmp41        [V48    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V49 tmp42        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;* V50 tmp43        [V50    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V51 tmp44        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V52 tmp45        [V52    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
+;* V53 tmp46        [V53    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
+;* V54 tmp47        [V54    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
+;* V55 tmp48        [V55    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
+;  V56 cse0         [V56,T09] (  4,  2   )     int  ->  r14         "CSE #01: moderate"
+;  V57 rat0         [V57,T00] (  5, 16.34)    long  ->  rax         "Widened IV V06"
 ;
 ; Lcl frame size = 24
 
 G_M44711_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x30]
        mov      bword ptr [rbp-0x28], rdi
        mov      qword ptr [rbp-0x20], rsi
        mov      rbx, rcx
 						;; size=26 bbWeight=1 PerfScore 7.00
 G_M44711_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x20], 0
        je       G_M44711_IG09
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M44711_IG03:
        mov      rdi, bword ptr [rbp-0x28]
        movsx    rdi, byte  ptr [rdi]
        sar      edi, 31
        movsx    rdi, dil
        movzx    rdx, dl
        test     edi, edi
        sete     sil
        movzx    rsi, sil
        or       edx, esi
        movzx    r14, dl
        test     r14d, r14d
        je       SHORT G_M44711_IG04
        test     edi, edi
        jge      SHORT G_M44711_IG04
        cmp      dword ptr [rbp-0x20], 8
        jge      G_M44711_IG11
 						;; size=53 bbWeight=0.50 PerfScore 5.00
 G_M44711_IG04:
        cmp      dword ptr [rbp-0x20], 8
        jle      SHORT G_M44711_IG05
        mov      edx, dword ptr [rbp-0x20]
        add      edx, -8
        cmp      edx, dword ptr [rbp-0x20]
        ja       G_M44711_IG13
        mov      rsi, bword ptr [rbp-0x28]
        movzx    rax, dil
        mov      rdi, rsi
        mov      esi, eax
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        call     [rax]System.SpanHelpers:NonPackedIndexOfValueType[byte,System.SpanHelpers+Negate`1[byte]](byref,byte,int):int
        test     eax, eax
        jge      G_M44711_IG11
        mov      eax, dword ptr [rbp-0x20]
        add      eax, -8
-       mov      rcx, bword ptr [rbp-0x28]
-       cmp      byte  ptr [rcx+rax], 0
+       mov      rdi, bword ptr [rbp-0x28]
+       cmp      byte  ptr [rdi+rax], 0
        setl     al
        movzx    rax, al
        cmp      eax, r14d
-       je       SHORT G_M44711_IG11
-						;; size=79 bbWeight=0.50 PerfScore 8.88
+       je       G_M44711_IG11
+						;; size=83 bbWeight=0.50 PerfScore 8.88
 G_M44711_IG05:
-       mov      rax, bword ptr [rbp-0x28]
        cmp      dword ptr [rbp-0x20], 8
        jge      SHORT G_M44711_IG08
-       xor      ecx, ecx
+       xor      eax, eax
        align    [9 bytes for IG06]
-						;; size=21 bbWeight=0.50 PerfScore 1.75
+						;; size=17 bbWeight=0.50 PerfScore 1.25
 G_M44711_IG06:
-       movsxd   rdx, ecx
-       movzx    rdx, byte  ptr [rax+rdx]
+       mov      rdi, bword ptr [rbp-0x28]
+       movzx    rdi, byte  ptr [rdi+rax]
        shl      r15, 8
-       or       r15, rdx
-       inc      ecx
-       cmp      ecx, dword ptr [rbp-0x20]
+       or       r15, rdi
+       inc      eax
+       cmp      eax, dword ptr [rbp-0x20]
        jl       SHORT G_M44711_IG06
-						;; size=21 bbWeight=4 PerfScore 21.00
+						;; size=23 bbWeight=3.96 PerfScore 23.76
 G_M44711_IG07:
        test     r14d, r14d
        jne      SHORT G_M44711_IG09
        mov      eax, dword ptr [rbp-0x20]
        neg      eax
        lea      eax, [8*rax+0x3F]
-       mov      rcx, 0xD1FFAB1E
-       sarx     rax, rcx, rax
+       mov      rdi, 0xD1FFAB1E
+       sarx     rax, rdi, rax
        or       rax, r15
        mov      r15, rax
        jmp      SHORT G_M44711_IG09
 						;; size=40 bbWeight=0.50 PerfScore 3.12
 G_M44711_IG08:
-       mov      rax, bword ptr [rbp-0x28]
+       mov      eax, dword ptr [rbp-0x20]
+       add      eax, -8
+       cmp      eax, dword ptr [rbp-0x20]
+       ja       SHORT G_M44711_IG13
+       mov      edi, eax
+       add      rdi, bword ptr [rbp-0x28]
        mov      ecx, dword ptr [rbp-0x20]
-       add      ecx, -8
-       movbe    r15, qword ptr [rax+rcx]
-						;; size=16 bbWeight=0.50 PerfScore 2.12
+       sub      ecx, eax
+       cmp      ecx, 8
+       jl       SHORT G_M44711_IG14
+       movbe    r15, qword ptr [rdi]
+						;; size=32 bbWeight=0.50 PerfScore 4.50
 G_M44711_IG09:
        mov      qword ptr [rbx], r15
        mov      eax, 1
 						;; size=8 bbWeight=0.50 PerfScore 0.62
 G_M44711_IG10:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M44711_IG11:
        xor      eax, eax
        mov      qword ptr [rbx], rax
 						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M44711_IG12:
        add      rsp, 24
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M44711_IG13:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
+G_M44711_IG14:
+       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 317, prolog size 26, PerfScore 55.62, instruction count 95, allocated bytes for code 317 (MethodHash=4de35158) for method System.IntPtr:System.Numerics.IBinaryInteger<nint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 353, prolog size 26, PerfScore 60.26, instruction count 105, allocated bytes for code 353 (MethodHash=4de35158) for method System.IntPtr:System.Numerics.IBinaryInteger<nint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (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/303c78b6cfa4748d911b1003f3b041f6

[MihuBot]

@EgorBo