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

[MihuBot]

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

Main commit: dotnet/runtime@4c86aad
PR commit: EgorBo/runtime-1@17072bd

Diffs

Found 83 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46196407
Total bytes of diff: 46196385
Total bytes of delta: -22 (-0.00 % of base)
Total relative delta: -0.05
    diff is an improvement.
    relative diff is an improvement.


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 improvements (bytes):
         -22 : System.Private.CoreLib.dasm (-0.00 % of base)

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

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)
          -3 (-0.69 % of base) : System.Private.CoreLib.dasm - System.Int128:System.Numerics.IBinaryInteger<System.Int128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -3 (-1.28 % of base) : System.Private.CoreLib.dasm - System.UInt128:System.Numerics.IBinaryInteger<System.UInt128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.60 % of base) : System.Private.CoreLib.dasm - System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.38 % of base) : System.Private.CoreLib.dasm - System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.60 % of base) : System.Private.CoreLib.dasm - System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.56 % of base) : System.Private.CoreLib.dasm - System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.56 % of base) : System.Private.CoreLib.dasm - System.UInt64:System.Numerics.IBinaryInteger<System.UInt64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.56 % of base) : System.Private.CoreLib.dasm - System.UIntPtr:System.Numerics.IBinaryInteger<nuint>.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)
          -3 (-1.28 % of base) : System.Private.CoreLib.dasm - System.UInt128:System.Numerics.IBinaryInteger<System.UInt128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -3 (-0.69 % of base) : System.Private.CoreLib.dasm - System.Int128:System.Numerics.IBinaryInteger<System.Int128>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.60 % of base) : System.Private.CoreLib.dasm - System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.60 % of base) : System.Private.CoreLib.dasm - System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.56 % of base) : System.Private.CoreLib.dasm - System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.56 % of base) : System.Private.CoreLib.dasm - System.UInt64:System.Numerics.IBinaryInteger<System.UInt64>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.56 % of base) : System.Private.CoreLib.dasm - System.UIntPtr:System.Numerics.IBinaryInteger<nuint>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
          -1 (-0.38 % of base) : System.Private.CoreLib.dasm - System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)

9 total methods with Code Size differences (9 improved, 0 regressed), 286350 unchanged.

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

Artifacts:

• diff-frameworks.txt (4 KB)
• ShortDiffsImprovements.md (56 KB)
• LongDiffsImprovements.md (146 KB)
• jit-diffs-main.zip (157 MB)
• jit-diffs-pr.zip (157 MB)

[MihuBot]

Top method improvements

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

 ; Assembly listing for method System.Char:System.Numerics.IBinaryInteger<System.Char>.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
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 12 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 12 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00    ] ( 14,  9.50)  struct (16) [rbp-0x20]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T03] (  3,  2.50)   ubyte  ->  rdx         single-def
 ;  V02 arg2         [V02,T02] (  4,  3   )   byref  ->  rbx         single-def
 ;  V03 loc0         [V03,T05] (  4,  2.50)  ushort  ->  r15        
-;* V04 loc1         [V04    ] (  0,  0   )   byref  ->  zero-ref    single-def
-;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref   
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V07 tmp1         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;* V08 tmp2         [V08    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
-;  V09 tmp3         [V09,T04] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V10 tmp4         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V11 tmp5         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V12 tmp6         [V12    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V13 tmp7         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V14 tmp8         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V15 tmp9         [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V16 tmp10        [V16    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V17 tmp11        [V17    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V18 tmp12        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V19 tmp13        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V20 tmp14        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V21 tmp15        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V22 tmp16        [V22    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V23 tmp17        [V23    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V24 tmp18        [V24    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V25 tmp19        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V26 tmp20        [V26,T01] (  9,  6   )   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V27 tmp21        [V27,T00] ( 10,  7   )     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V28 tmp22        [V28    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp23        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp24        [V30,T06] (  2,  1   )   byref  ->  rdi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp25        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V32 tmp26        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V33 tmp27        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
-;* V34 tmp28        [V34    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
-;* V35 tmp29        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp30        [V36    ] (  0,  0   )   byref  ->  zero-ref    "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp31        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V38 tmp32        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp33        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V04 loc1         [V04    ] (  0,  0   )   byref  ->  zero-ref   
+;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V06 tmp1         [V06    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V08 tmp3         [V08    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;  V09 tmp4         [V09,T04] (  3,  3   )     int  ->  rdx         "Inlining Arg"
+;* V10 tmp5         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V11 tmp6         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V12 tmp7         [V12    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V13 tmp8         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V14 tmp9         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V15 tmp10        [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V16 tmp11        [V16    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V17 tmp12        [V17    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V18 tmp13        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V19 tmp14        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V20 tmp15        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V21 tmp16        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V22 tmp17        [V22    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V23 tmp18        [V23    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V24 tmp19        [V24    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;  V25 tmp20        [V25,T07] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V26 tmp21        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V27 tmp22        [V27,T06] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
+;* V28 tmp23        [V28,T09] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V29 tmp24        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V30 tmp25        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V31 tmp26        [V31,T01] (  9,  6   )   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V32 tmp27        [V32,T00] ( 10,  7   )     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V33 tmp28        [V33    ] (  0,  0   )   byref  ->  zero-ref    "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V34 tmp29        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V35 tmp30        [V35    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V36 tmp31        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V37 tmp32        [V37,T08] (  2,  1   )   byref  ->  rdi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V38 tmp33        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V39 tmp34        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V40 tmp35        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V41 tmp36        [V41    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V42 tmp37        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V43 tmp38        [V43    ] (  0,  0   )   byref  ->  zero-ref    "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V44 tmp39        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V45 tmp40        [V45    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V46 tmp41        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V47 tmp42        [V47    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V48 tmp43        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;* V49 tmp44        [V49    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V50 tmp45        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M35796_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      bword ptr [rbp-0x20], rdi
        mov      qword ptr [rbp-0x18], rsi
        mov      rbx, rcx
 						;; size=24 bbWeight=1 PerfScore 6.00
 G_M35796_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x18], 0
        je       SHORT G_M35796_IG07
 						;; size=9 bbWeight=1 PerfScore 2.25
 G_M35796_IG03:
        test     dl, dl
        jne      SHORT G_M35796_IG04
        mov      rdi, bword ptr [rbp-0x20]
        cmp      byte  ptr [rdi], 0
        jl       SHORT G_M35796_IG09
 						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M35796_IG04:
        cmp      dword ptr [rbp-0x18], 2
        jle      SHORT G_M35796_IG05
        mov      edx, dword ptr [rbp-0x18]
        add      edx, -2
        cmp      edx, dword ptr [rbp-0x18]
        ja       SHORT G_M35796_IG11
        mov      rdi, bword ptr [rbp-0x20]
        xor      esi, esi
        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      SHORT G_M35796_IG09
 						;; size=39 bbWeight=0.50 PerfScore 5.50
 G_M35796_IG05:
        cmp      dword ptr [rbp-0x18], 2
        jge      SHORT G_M35796_IG06
        mov      rax, bword ptr [rbp-0x20]
        movzx    r15, byte  ptr [rax]
        jmp      SHORT G_M35796_IG07
 						;; size=16 bbWeight=0.50 PerfScore 3.50
 G_M35796_IG06:
-       mov      rax, bword ptr [rbp-0x20]
-       mov      ecx, dword ptr [rbp-0x18]
-       add      ecx, -2
-       movbe    ax, word  ptr [rax+rcx]
+       mov      eax, dword ptr [rbp-0x18]
+       add      eax, -2
+       add      rax, bword ptr [rbp-0x20]
+       movbe    ax, word  ptr [rax]
        movzx    r15, ax
-						;; size=20 bbWeight=0.50 PerfScore 2.25
+						;; size=19 bbWeight=0.50 PerfScore 2.25
 G_M35796_IG07:
        mov      word  ptr [rbx], r15w
        mov      eax, 1
 						;; size=9 bbWeight=0.50 PerfScore 0.62
 G_M35796_IG08:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M35796_IG09:
        mov      word  ptr [rbx], 0
        xor      eax, eax
 						;; size=7 bbWeight=0.50 PerfScore 0.62
 G_M35796_IG10:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M35796_IG11:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 168, prolog size 13, PerfScore 26.12, instruction count 55, allocated bytes for code 168 (MethodHash=99ce742b) for method System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 167, prolog size 13, PerfScore 26.12, instruction count 55, allocated bytes for code 167 (MethodHash=99ce742b) for method System.Char:System.Numerics.IBinaryInteger<System.Char>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; ============================================================

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

 ; Assembly listing for method System.Int16:System.Numerics.IBinaryInteger<System.Int16>.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
 ; partially 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    ] ( 18, 11.50)  struct (16) [rbp-0x20]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T02] (  5,  3.50)   ubyte  ->  registers  
 ;  V02 arg2         [V02,T03] (  4,  3   )   byref  ->  rbx         single-def
 ;  V03 loc0         [V03,T04] (  5,  3   )   short  ->  r15        
 ;  V04 loc1         [V04,T06] (  4,  2   )    byte  ->  rdi        
-;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def
-;* V06 loc3         [V06    ] (  0,  0   )   byref  ->  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,T08] (  2,  2   )     int  ->  rax         "Span.get_Item index"
-;  V10 tmp3         [V10,T05] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V11 tmp4         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V12 tmp5         [V12    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V13 tmp6         [V13    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
-;* V14 tmp7         [V14    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V15 tmp8         [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V16 tmp9         [V16,T09] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
-;* V17 tmp10        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V18 tmp11        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V19 tmp12        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V20 tmp13        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V21 tmp14        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V22 tmp15        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V23 tmp16        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V24 tmp17        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V25 tmp18        [V25    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V26 tmp19        [V26    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V27 tmp20        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V28 tmp21        [V28    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
-;* V29 tmp22        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V30 tmp23        [V30,T01] ( 11,  7   )   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V31 tmp24        [V31,T00] ( 12,  8   )     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V32 tmp25        [V32    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V33 tmp26        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;  V34 tmp27        [V34,T10] (  2,  1   )   byref  ->  rsi         single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V35 tmp28        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp29        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp30        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V38 tmp31        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp32        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;* V40 tmp33        [V40    ] (  0,  0   )   byref  ->  zero-ref    "field V21._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp34        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
-;* V42 tmp35        [V42    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V29._reference (fldOffset=0x0)" P-INDEP
-;* V43 tmp36        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
-;  V44 cse0         [V44,T07] (  4,  2   )     int  ->  r15         "CSE #01: moderate"
+;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref   
+;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V07 tmp1         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V08 tmp2         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;  V09 tmp3         [V09,T09] (  2,  2   )     int  ->  rax         "Span.get_Item index"
+;  V10 tmp4         [V10,T05] (  3,  3   )     int  ->  rdx         "Inlining Arg"
+;* V11 tmp5         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V12 tmp6         [V12    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V13 tmp7         [V13    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
+;* V14 tmp8         [V14    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V15 tmp9         [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V16 tmp10        [V16,T10] (  2,  2   )   ubyte  ->  rax         "Inlining Arg"
+;* V17 tmp11        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V18 tmp12        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V19 tmp13        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V20 tmp14        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V21 tmp15        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V22 tmp16        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V23 tmp17        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V24 tmp18        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V25 tmp19        [V25    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V26 tmp20        [V26    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V27 tmp21        [V27    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V28 tmp22        [V28    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;  V29 tmp23        [V29,T11] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V30 tmp24        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V31 tmp25        [V31,T08] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
+;* V32 tmp26        [V32,T13] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V33 tmp27        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V34 tmp28        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V35 tmp29        [V35,T01] ( 11,  7   )   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V36 tmp30        [V36,T00] ( 12,  8   )     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V37 tmp31        [V37    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V38 tmp32        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V39 tmp33        [V39    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V40 tmp34        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V41 tmp35        [V41,T12] (  2,  1   )   byref  ->  rsi         single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V42 tmp36        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V43 tmp37        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V44 tmp38        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V45 tmp39        [V45    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V46 tmp40        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V47 tmp41        [V47    ] (  0,  0   )   byref  ->  zero-ref    "field V21._reference (fldOffset=0x0)" P-INDEP
+;* V48 tmp42        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;* V49 tmp43        [V49    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V50 tmp44        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V51 tmp45        [V51    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V33._reference (fldOffset=0x0)" P-INDEP
+;* V52 tmp46        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
+;* V53 tmp47        [V53    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V34._reference (fldOffset=0x0)" P-INDEP
+;* V54 tmp48        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
+;  V55 cse0         [V55,T07] (  4,  2   )     int  ->  r15         "CSE #01: moderate"
 ;
 ; Lcl frame size = 16
 
 G_M56468_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      bword ptr [rbp-0x20], rdi
        mov      qword ptr [rbp-0x18], rsi
        mov      rbx, rcx
 						;; size=24 bbWeight=1 PerfScore 6.00
 G_M56468_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x18], 0
        je       G_M56468_IG08
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M56468_IG03:
        mov      rdi, bword ptr [rbp-0x20]
        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    r15, dl
        test     r15d, r15d
        je       SHORT G_M56468_IG04
        test     edi, edi
        jge      SHORT G_M56468_IG04
        cmp      dword ptr [rbp-0x18], 2
        jge      G_M56468_IG10
 						;; size=53 bbWeight=0.50 PerfScore 5.00
 G_M56468_IG04:
        cmp      dword ptr [rbp-0x18], 2
        jle      SHORT G_M56468_IG05
        mov      edx, dword ptr [rbp-0x18]
        add      edx, -2
        cmp      edx, dword ptr [rbp-0x18]
        ja       G_M56468_IG12
        mov      rsi, bword ptr [rbp-0x20]
        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      SHORT G_M56468_IG10
        mov      eax, dword ptr [rbp-0x18]
        add      eax, -2
        mov      rcx, bword ptr [rbp-0x20]
        cmp      byte  ptr [rcx+rax], 0
        setl     al
        movzx    rax, al
        cmp      eax, r15d
        je       SHORT G_M56468_IG10
 						;; size=75 bbWeight=0.50 PerfScore 8.88
 G_M56468_IG05:
        cmp      dword ptr [rbp-0x18], 2
        jge      SHORT G_M56468_IG07
        test     r15d, r15d
        jne      SHORT G_M56468_IG06
        mov      rax, bword ptr [rbp-0x20]
        movsx    r15, byte  ptr [rax]
        jmp      SHORT G_M56468_IG08
 						;; size=21 bbWeight=0.50 PerfScore 4.12
 G_M56468_IG06:
        mov      rax, bword ptr [rbp-0x20]
        movzx    r15, byte  ptr [rax]
        jmp      SHORT G_M56468_IG08
 						;; size=10 bbWeight=0.50 PerfScore 2.50
 G_M56468_IG07:
-       mov      rax, bword ptr [rbp-0x20]
-       mov      ecx, dword ptr [rbp-0x18]
-       add      ecx, -2
-       movbe    ax, word  ptr [rax+rcx]
+       mov      eax, dword ptr [rbp-0x18]
+       add      eax, -2
+       add      rax, bword ptr [rbp-0x20]
+       movbe    ax, word  ptr [rax]
        movsx    r15, ax
-						;; size=20 bbWeight=0.50 PerfScore 2.25
+						;; size=19 bbWeight=0.50 PerfScore 2.25
 G_M56468_IG08:
        mov      word  ptr [rbx], r15w
        mov      eax, 1
 						;; size=9 bbWeight=0.50 PerfScore 0.62
 G_M56468_IG09:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M56468_IG10:
        mov      word  ptr [rbx], 0
        xor      eax, eax
 						;; size=7 bbWeight=0.50 PerfScore 0.62
 G_M56468_IG11:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M56468_IG12:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 263, prolog size 13, PerfScore 35.00, instruction count 81, allocated bytes for code 263 (MethodHash=7d6b236b) for method System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 262, prolog size 13, PerfScore 35.00, instruction count 81, allocated bytes for code 262 (MethodHash=7d6b236b) for method System.Int16:System.Numerics.IBinaryInteger<System.Int16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; ============================================================

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

 ; Assembly listing for method System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.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
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 11 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 12 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00    ] ( 14,  9.50)  struct (16) [rbp-0x20]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T03] (  3,  2.50)   ubyte  ->  rdx         single-def
 ;  V02 arg2         [V02,T02] (  4,  3   )   byref  ->  rbx         single-def
 ;  V03 loc0         [V03,T05] (  4,  2.50)  ushort  ->  r15        
-;* V04 loc1         [V04    ] (  0,  0   )   byref  ->  zero-ref    single-def
-;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref   
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V07 tmp1         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;* V08 tmp2         [V08    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
-;  V09 tmp3         [V09,T04] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V10 tmp4         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V11 tmp5         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V12 tmp6         [V12    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V13 tmp7         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V14 tmp8         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V15 tmp9         [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V16 tmp10        [V16    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V17 tmp11        [V17    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V18 tmp12        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V19 tmp13        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V20 tmp14        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V21 tmp15        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V22 tmp16        [V22    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V23 tmp17        [V23    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V24 tmp18        [V24    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V25 tmp19        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V26 tmp20        [V26,T01] (  9,  6   )   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V27 tmp21        [V27,T00] ( 10,  7   )     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V28 tmp22        [V28    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp23        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp24        [V30,T06] (  2,  1   )   byref  ->  rdi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V31 tmp25        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V32 tmp26        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V33 tmp27        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
-;* V34 tmp28        [V34    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
-;* V35 tmp29        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp30        [V36    ] (  0,  0   )   byref  ->  zero-ref    "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp31        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V38 tmp32        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp33        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V04 loc1         [V04    ] (  0,  0   )   byref  ->  zero-ref   
+;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V06 tmp1         [V06    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V08 tmp3         [V08    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;  V09 tmp4         [V09,T04] (  3,  3   )     int  ->  rdx         "Inlining Arg"
+;* V10 tmp5         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V11 tmp6         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V12 tmp7         [V12    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V13 tmp8         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V14 tmp9         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V15 tmp10        [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V16 tmp11        [V16    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V17 tmp12        [V17    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V18 tmp13        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V19 tmp14        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V20 tmp15        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V21 tmp16        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V22 tmp17        [V22    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V23 tmp18        [V23    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V24 tmp19        [V24    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;  V25 tmp20        [V25,T07] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V26 tmp21        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V27 tmp22        [V27,T06] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
+;* V28 tmp23        [V28,T09] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V29 tmp24        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V30 tmp25        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V31 tmp26        [V31,T01] (  9,  6   )   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V32 tmp27        [V32,T00] ( 10,  7   )     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V33 tmp28        [V33    ] (  0,  0   )   byref  ->  zero-ref    "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V34 tmp29        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V35 tmp30        [V35    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V36 tmp31        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V37 tmp32        [V37,T08] (  2,  1   )   byref  ->  rdi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V38 tmp33        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V39 tmp34        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V40 tmp35        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V41 tmp36        [V41    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V42 tmp37        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V43 tmp38        [V43    ] (  0,  0   )   byref  ->  zero-ref    "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V44 tmp39        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V45 tmp40        [V45    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V46 tmp41        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V47 tmp42        [V47    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V48 tmp43        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;* V49 tmp44        [V49    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V50 tmp45        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M26996_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      bword ptr [rbp-0x20], rdi
        mov      qword ptr [rbp-0x18], rsi
        mov      rbx, rcx
 						;; size=24 bbWeight=1 PerfScore 6.00
 G_M26996_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x18], 0
        je       SHORT G_M26996_IG07
 						;; size=9 bbWeight=1 PerfScore 2.25
 G_M26996_IG03:
        test     dl, dl
        jne      SHORT G_M26996_IG04
        mov      rdi, bword ptr [rbp-0x20]
        cmp      byte  ptr [rdi], 0
        jl       SHORT G_M26996_IG09
 						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M26996_IG04:
        cmp      dword ptr [rbp-0x18], 2
        jle      SHORT G_M26996_IG05
        mov      edx, dword ptr [rbp-0x18]
        add      edx, -2
        cmp      edx, dword ptr [rbp-0x18]
        ja       SHORT G_M26996_IG11
        mov      rdi, bword ptr [rbp-0x20]
        xor      esi, esi
        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      SHORT G_M26996_IG09
 						;; size=39 bbWeight=0.50 PerfScore 5.50
 G_M26996_IG05:
        cmp      dword ptr [rbp-0x18], 2
        jge      SHORT G_M26996_IG06
        mov      rax, bword ptr [rbp-0x20]
        movzx    r15, byte  ptr [rax]
        jmp      SHORT G_M26996_IG07
 						;; size=16 bbWeight=0.50 PerfScore 3.50
 G_M26996_IG06:
-       mov      rax, bword ptr [rbp-0x20]
-       mov      ecx, dword ptr [rbp-0x18]
-       add      ecx, -2
-       movbe    ax, word  ptr [rax+rcx]
+       mov      eax, dword ptr [rbp-0x18]
+       add      eax, -2
+       add      rax, bword ptr [rbp-0x20]
+       movbe    ax, word  ptr [rax]
        movzx    r15, ax
-						;; size=20 bbWeight=0.50 PerfScore 2.25
+						;; size=19 bbWeight=0.50 PerfScore 2.25
 G_M26996_IG07:
        mov      word  ptr [rbx], r15w
        mov      eax, 1
 						;; size=9 bbWeight=0.50 PerfScore 0.62
 G_M26996_IG08:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M26996_IG09:
        mov      word  ptr [rbx], 0
        xor      eax, eax
 						;; size=7 bbWeight=0.50 PerfScore 0.62
 G_M26996_IG10:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M26996_IG11:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 168, prolog size 13, PerfScore 26.12, instruction count 55, allocated bytes for code 168 (MethodHash=4823968b) for method System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 167, prolog size 13, PerfScore 26.12, instruction count 55, allocated bytes for code 167 (MethodHash=4823968b) for method System.UInt16:System.Numerics.IBinaryInteger<System.UInt16>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
 ; ============================================================

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

 ; Assembly listing for method System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.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; 11 single block inlinees; 5 inlinees without PGO data
+; 0 inlinees with PGO data; 12 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00    ] ( 15, 13.50)  struct (16) [rbp-0x20]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
+;  V00 arg0         [V00    ] ( 15, 16.92)  struct (16) [rbp-0x20]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;  V01 arg1         [V01,T05] (  3,  2.50)   ubyte  ->  rdx         single-def
 ;  V02 arg2         [V02,T04] (  4,  3   )   byref  ->  rbx         single-def
-;  V03 loc0         [V03,T02] (  5, 10   )     int  ->  r15        
-;  V04 loc1         [V04,T06] (  2,  4.50)   byref  ->  rax         single-def
-;* V05 loc2         [V05    ] (  0,  0   )   byref  ->  zero-ref   
-;  V06 loc3         [V06,T00] (  5, 16.50)     int  ->  rcx        
-;# 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   )    byte  ->  zero-ref    "Inlining Arg"
-;  V10 tmp3         [V10,T07] (  3,  3   )     int  ->  rdx         "Inlining Arg"
-;* V11 tmp4         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V12 tmp5         [V12    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V13 tmp6         [V13    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V14 tmp7         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V15 tmp8         [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V16 tmp9         [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V17 tmp10        [V17    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V18 tmp11        [V18    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V19 tmp12        [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V20 tmp13        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V21 tmp14        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V22 tmp15        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V23 tmp16        [V23    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V24 tmp17        [V24    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
-;* V25 tmp18        [V25    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V26 tmp19        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;  V27 tmp20        [V27,T03] (  9,  6   )   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
-;  V28 tmp21        [V28,T01] ( 11, 11   )     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
-;* V29 tmp22        [V29    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V30 tmp23        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;  V31 tmp24        [V31,T08] (  2,  1   )   byref  ->  rdi         single-def "field V11._reference (fldOffset=0x0)" P-INDEP
-;* V32 tmp25        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
-;* V33 tmp26        [V33    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp27        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
-;* V35 tmp28        [V35    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp29        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V37 tmp30        [V37    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V38 tmp31        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;* V39 tmp32        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
-;* V40 tmp33        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;  V03 loc0         [V03,T03] (  5,  9.92)     int  ->  r15        
+;* V04 loc1         [V04    ] (  0,  0   )   byref  ->  zero-ref   
+;* V05 loc2         [V05,T11] (  0,  0   )     int  ->  zero-ref   
+;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V07 tmp1         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V08 tmp2         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V09 tmp3         [V09    ] (  0,  0   )    byte  ->  zero-ref    "Inlining Arg"
+;  V10 tmp4         [V10,T06] (  3,  3   )     int  ->  rdx         "Inlining Arg"
+;* V11 tmp5         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V12 tmp6         [V12    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V13 tmp7         [V13    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V14 tmp8         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V15 tmp9         [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V16 tmp10        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V17 tmp11        [V17    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V18 tmp12        [V18    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V19 tmp13        [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V20 tmp14        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V21 tmp15        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V22 tmp16        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V23 tmp17        [V23    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V24 tmp18        [V24    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V25 tmp19        [V25    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inlining Arg"
+;  V26 tmp20        [V26,T08] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V27 tmp21        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V28 tmp22        [V28,T07] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
+;* V29 tmp23        [V29,T10] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V30 tmp24        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V31 tmp25        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V32 tmp26        [V32,T02] (  9,  9.46)   byref  ->  [rbp-0x20]  do-not-enreg[] single-def "field V00._reference (fldOffset=0x0)" P-DEP
+;  V33 tmp27        [V33,T01] ( 11, 10.96)     int  ->  [rbp-0x18]  do-not-enreg[] single-def "field V00._length (fldOffset=0x8)" P-DEP
+;* V34 tmp28        [V34    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V35 tmp29        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V36 tmp30        [V36    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V37 tmp31        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;  V38 tmp32        [V38,T09] (  2,  1   )   byref  ->  rdi         single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp33        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp34        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp35        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V42 tmp36        [V42    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp37        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp38        [V44    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp39        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp40        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp41        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
+;* V48 tmp42        [V48    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V49 tmp43        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V50 tmp44        [V50    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V51 tmp45        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;  V52 rat0         [V52,T00] (  5, 16.34)    long  ->  rax         "Widened IV V05"
 ;
 ; Lcl frame size = 16
 
 G_M28084_IG01:
        push     rbp
        push     r15
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x20]
        mov      bword ptr [rbp-0x20], rdi
        mov      qword ptr [rbp-0x18], rsi
        mov      rbx, rcx
 						;; size=24 bbWeight=1 PerfScore 6.00
 G_M28084_IG02:
        xor      r15d, r15d
        cmp      dword ptr [rbp-0x18], 0
        je       SHORT G_M28084_IG07
 						;; size=9 bbWeight=1 PerfScore 2.25
 G_M28084_IG03:
        test     dl, dl
        jne      SHORT G_M28084_IG04
        mov      rdi, bword ptr [rbp-0x20]
        cmp      byte  ptr [rdi], 0
        jl       SHORT G_M28084_IG10
 						;; size=13 bbWeight=0.50 PerfScore 2.62
 G_M28084_IG04:
        cmp      dword ptr [rbp-0x18], 4
        jle      SHORT G_M28084_IG05
        mov      edx, dword ptr [rbp-0x18]
        add      edx, -4
        cmp      edx, dword ptr [rbp-0x18]
        ja       SHORT G_M28084_IG12
        mov      rdi, bword ptr [rbp-0x20]
        xor      esi, esi
        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      SHORT G_M28084_IG10
 						;; size=39 bbWeight=0.50 PerfScore 5.50
 G_M28084_IG05:
-       mov      rax, bword ptr [rbp-0x20]
        cmp      dword ptr [rbp-0x18], 4
        jge      SHORT G_M28084_IG09
-       xor      ecx, ecx
-       align    [0 bytes for IG06]
-						;; size=12 bbWeight=0.50 PerfScore 1.62
+       xor      eax, eax
+       align    [3 bytes for IG06]
+						;; size=11 bbWeight=0.50 PerfScore 1.25
 G_M28084_IG06:
-       movsxd   rdx, ecx
-       movzx    rdx, byte  ptr [rax+rdx]
+       mov      rcx, bword ptr [rbp-0x20]
+       movzx    rcx, byte  ptr [rcx+rax]
        shl      r15d, 8
-       or       r15d, edx
-       inc      ecx
-       cmp      ecx, dword ptr [rbp-0x18]
+       or       r15d, ecx
+       inc      eax
+       cmp      eax, dword ptr [rbp-0x18]
        jl       SHORT G_M28084_IG06
-						;; size=21 bbWeight=4 PerfScore 21.00
+						;; size=22 bbWeight=3.96 PerfScore 23.76
 G_M28084_IG07:
        mov      dword ptr [rbx], r15d
        mov      eax, 1
 						;; size=8 bbWeight=0.50 PerfScore 0.62
 G_M28084_IG08:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M28084_IG09:
-       mov      rax, bword ptr [rbp-0x20]
-       mov      ecx, dword ptr [rbp-0x18]
-       add      ecx, -4
-       movbe    r15d, dword ptr [rax+rcx]
+       mov      eax, dword ptr [rbp-0x18]
+       add      eax, -4
+       add      rax, bword ptr [rbp-0x20]
+       movbe    r15d, dword ptr [rax]
        jmp      SHORT G_M28084_IG07
-						;; size=18 bbWeight=0.50 PerfScore 3.12
+						;; size=17 bbWeight=0.50 PerfScore 3.12
 G_M28084_IG10:
        xor      eax, eax
        mov      dword ptr [rbx], eax
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M28084_IG11:
        add      rsp, 16
        pop      rbx
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M28084_IG12:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 179, prolog size 24, PerfScore 46.12, instruction count 62, allocated bytes for code 179 (MethodHash=4329924b) for method System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.TryReadBigEndian(System.ReadOnlySpan`1[byte],bool,byref):bool (FullOpts)
+; Total bytes of code 178, prolog size 24, PerfScore 48.51, instruction count 61, allocated bytes for code 178 (MethodHash=4329924b) for method System.UInt32:System.Numerics.IBinaryInteger<System.UInt32>.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/645cee657ad4043629667b042e61e99f

[MihuBot]

@EgorBo