[JitDiff X64] [EgorBo] Remove unsafe code from StringParser

[MihuBot]

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

Main commit: dotnet/runtime@9e58389
PR commit: EgorBo/runtime-1@a74125c

Diffs

Found 84 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45394156
Total bytes of diff: 45394295
Total bytes of delta: 139 (0.00 % of base)
Total relative delta: 0.73
    diff is a regression.
    relative diff is a regression.


Top file regressions (bytes):
          83 : System.Diagnostics.Process.dasm (0.08 % of base)
          56 : System.Net.NetworkInformation.dasm (0.10 % of base)

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

Top method regressions (bytes):
          29 (14.22 % of base) : System.Diagnostics.Process.dasm - System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
          29 (14.22 % of base) : System.Net.NetworkInformation.dasm - System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
          27 (13.57 % of base) : System.Diagnostics.Process.dasm - System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
          27 (13.57 % of base) : System.Net.NetworkInformation.dasm - System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
          27 (17.65 % of base) : System.Diagnostics.Process.dasm - System.IO.StringParser:ParseNextUInt64():ulong:this (FullOpts)

Top method regressions (percentages):
          27 (17.65 % of base) : System.Diagnostics.Process.dasm - System.IO.StringParser:ParseNextUInt64():ulong:this (FullOpts)
          29 (14.22 % of base) : System.Diagnostics.Process.dasm - System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
          29 (14.22 % of base) : System.Net.NetworkInformation.dasm - System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
          27 (13.57 % of base) : System.Diagnostics.Process.dasm - System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
          27 (13.57 % of base) : System.Net.NetworkInformation.dasm - System.IO.StringParser:ParseNextInt32():int:this (FullOpts)

5 total methods with Code Size differences (0 improved, 5 regressed), 284690 unchanged.

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

Artifacts:

• diff-frameworks.txt (2 KB)
• ShortDiffsRegressions.md (49 KB)
• jit-diffs-pr.zip (155 MB)
• jit-diffs-main.zip (155 MB)

[MihuBot]

Top method regressions

29 (14.22 % of base) - System.IO.StringParser:ParseNextInt64():long:this

 ; Assembly listing for method System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T03] (  6,  6   )   byref  ->  rbx         this single-def
-;  V01 loc0         [V01,T06] (  3,  5.50)   ubyte  ->  rax        
-;  V02 loc1         [V02,T02] (  5, 10   )    long  ->  rcx        
-;  V03 loc2         [V03    ] (  3,  2   )   byref  ->  [rbp-0x10]  must-init pinned
-;  V04 loc3         [V04,T00] ( 11, 21.50)    long  ->  rdi        
-;  V05 loc4         [V05,T05] (  5,  7.50)    long  ->  rdx        
-;  V06 loc5         [V06,T01] (  4, 12   )     int  ->  rsi        
-;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V08 tmp1         [V08,T07] (  3,  5   )     ref  ->  rdx         class-hnd exact single-def "dup spill" <System.String>
-;* V09 tmp2         [V09    ] (  0,  0   )     ref  ->  zero-ref    single-def
-;  V10 tmp3         [V10,T08] (  4,  3   )    long  ->  rdx        
-;  V11 tmp4         [V11,T04] (  3,  8   )    long  ->  rcx        
-;* V12 tmp5         [V12    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.String>
-;  V13 tmp6         [V13,T09] (  2,  2   )    long  ->  rdx         "Cast away GC"
+;  V01 loc0         [V01,T10] (  5,  3.50)     int  ->  rax        
+;  V02 loc1         [V02,T14] (  2,  2   )     int  ->  rdi        
+;* V03 loc2         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[char]>
+;  V04 loc3         [V04,T08] (  3,  5.46)   ubyte  ->  rcx        
+;  V05 loc4         [V05,T02] (  5,  9.92)    long  ->  rdx        
+;  V06 loc5         [V06,T11] (  3,  2.50)     int  ->  rsi        
+;  V07 loc6         [V07,T01] (  4, 11.88)     int  ->   r8        
+;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V09 tmp1         [V09,T04] (  3,  7.92)    long  ->  rdx        
+;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;  V11 tmp3         [V11,T06] (  4,  6   )     ref  ->  rcx         class-hnd exact single-def "Inlining Arg" <System.String>
+;  V12 tmp4         [V12,T09] (  4,  5   )     int  ->  rdi         "Inlining Arg"
+;* V13 tmp5         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
+;* V15 tmp7         [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V16 tmp8         [V16,T07] (  3,  5.96)   byref  ->  rax         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;  V17 tmp9         [V17,T05] (  5,  7.46)     int  ->  rdi         "field V03._length (fldOffset=0x8)" P-INDEP
+;  V18 tmp10        [V18,T12] (  3,  2   )   byref  ->  rax         "field V10._reference (fldOffset=0x0)" P-INDEP
+;  V19 tmp11        [V19,T13] (  3,  2   )     int  ->  rdi         "field V10._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp12        [V20,T15] (  2,  1   )   byref  ->  rax         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V22 tmp14        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;  V24 rat0         [V24,T00] (  6, 17.84)    long  ->  rsi         "Widened IV V06"
 ;
 ; Lcl frame size = 8
 
 G_M38271_IG01:
        push     rbp
        push     rbx
        push     rax
        lea      rbp, [rsp+0x10]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x10], rax
        mov      rbx, rdi
-						;; size=17 bbWeight=1 PerfScore 5.00
+						;; size=11 bbWeight=1 PerfScore 3.75
 G_M38271_IG02:
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:MoveNext():bool:this
        call     [rax]System.IO.StringParser:MoveNext():bool:this
        test     eax, eax
-       je       G_M38271_IG14
-       xor      eax, eax
-       xor      ecx, ecx
-       mov      rdx, gword ptr [rbx]
-       test     rdx, rdx
+       je       G_M38271_IG15
+       mov      eax, dword ptr [rbx+0x08]
+       mov      edi, dword ptr [rbx+0x0C]
+       mov      rcx, gword ptr [rbx]
+       sub      edi, eax
+       test     rcx, rcx
        je       SHORT G_M38271_IG04
-						;; size=35 bbWeight=1 PerfScore 8.50
+						;; size=39 bbWeight=1 PerfScore 12.25
 G_M38271_IG03:
-       add      rdx, 12
-       mov      bword ptr [rbp-0x10], rdx
-       mov      rdx, bword ptr [rbp-0x10]
+       mov      edx, eax
+       mov      esi, edi
+       add      rdx, rsi
+       mov      esi, dword ptr [rcx+0x08]
+       cmp      rdx, rsi
+       ja       G_M38271_IG14
+       mov      eax, eax
+       lea      rax, bword ptr [rcx+2*rax+0x0C]
        jmp      SHORT G_M38271_IG05
-       align    [0 bytes for IG08]
-						;; size=14 bbWeight=0.50 PerfScore 2.12
+       align    [5 bytes for IG08]
+						;; size=33 bbWeight=0.50 PerfScore 3.62
 G_M38271_IG04:
-       xor      edx, edx
-						;; size=2 bbWeight=0.50 PerfScore 0.12
+       or       eax, edi
+       jne      SHORT G_M38271_IG14
+       xor      rax, rax
+       xor      edi, edi
+						;; size=8 bbWeight=0.50 PerfScore 0.88
 G_M38271_IG05:
-       movsxd   rdi, dword ptr [rbx+0x08]
-       lea      rdi, [rdx+2*rdi]
-       movsxd   rsi, dword ptr [rbx+0x0C]
-       lea      rdx, [rdx+2*rsi]
-       cmp      rdi, rdx
-       je       SHORT G_M38271_IG14
-       cmp      word  ptr [rdi], 45
+       test     edi, edi
+       je       SHORT G_M38271_IG15
+       xor      ecx, ecx
+       xor      edx, edx
+       xor      esi, esi
+       cmp      word  ptr [rax], 45
        jne      SHORT G_M38271_IG07
-						;; size=27 bbWeight=1 PerfScore 14.25
+						;; size=16 bbWeight=1 PerfScore 6.00
 G_M38271_IG06:
-       mov      eax, 1
-       add      rdi, 2
-       cmp      rdi, rdx
-       je       SHORT G_M38271_IG14
-						;; size=14 bbWeight=0.50 PerfScore 0.88
+       mov      ecx, 1
+       mov      esi, 1
+       cmp      edi, 1
+       je       SHORT G_M38271_IG15
+						;; size=15 bbWeight=0.50 PerfScore 0.88
 G_M38271_IG07:
-       cmp      rdi, rdx
-       je       SHORT G_M38271_IG12
-						;; size=5 bbWeight=1 PerfScore 1.25
-G_M38271_IG08:
-       movzx    rsi, word  ptr [rdi]
-       add      esi, -48
-       cmp      esi, 9
-       ja       SHORT G_M38271_IG14
-       test     eax, eax
-       je       SHORT G_M38271_IG10
-						;; size=15 bbWeight=4 PerfScore 19.00
-G_M38271_IG09:
-       imul     r8, rcx, 10
-       jo       SHORT G_M38271_IG15
-       mov      ecx, esi
-       sub      r8, rcx
-       jo       SHORT G_M38271_IG15
-       mov      rcx, r8
-       jmp      SHORT G_M38271_IG11
-						;; size=18 bbWeight=2 PerfScore 13.50
-G_M38271_IG10:
-       imul     rcx, rcx, 10
-       jo       SHORT G_M38271_IG15
        mov      esi, esi
-       add      rcx, rsi
-       jo       SHORT G_M38271_IG15
-						;; size=13 bbWeight=2 PerfScore 9.00
+       cmp      esi, edi
+       jge      SHORT G_M38271_IG12
+						;; size=6 bbWeight=1 PerfScore 1.50
+G_M38271_IG08:
+       movzx    r8, word  ptr [rax+2*rsi]
+       add      r8d, -48
+       cmp      r8d, 9
+       ja       SHORT G_M38271_IG15
+       test     ecx, ecx
+       je       SHORT G_M38271_IG10
+						;; size=19 bbWeight=3.96 PerfScore 18.81
+G_M38271_IG09:
+       imul     r9, rdx, 10
+       jo       SHORT G_M38271_IG16
+       mov      edx, r8d
+       sub      r9, rdx
+       jo       SHORT G_M38271_IG16
+       mov      rdx, r9
+       jmp      SHORT G_M38271_IG11
+						;; size=19 bbWeight=1.98 PerfScore 13.36
+G_M38271_IG10:
+       imul     rdx, rdx, 10
+       jo       SHORT G_M38271_IG16
+       mov      r8d, r8d
+       add      rdx, r8
+       jo       SHORT G_M38271_IG16
+						;; size=14 bbWeight=1.98 PerfScore 8.91
 G_M38271_IG11:
-       add      rdi, 2
-       cmp      rdi, rdx
-       jne      SHORT G_M38271_IG08
-						;; size=9 bbWeight=4 PerfScore 6.00
+       inc      esi
+       cmp      esi, edi
+       jl       SHORT G_M38271_IG08
+						;; size=6 bbWeight=3.96 PerfScore 5.94
 G_M38271_IG12:
-       xor      eax, eax
-       mov      bword ptr [rbp-0x10], rax
-       mov      rax, rcx
-						;; size=9 bbWeight=1 PerfScore 1.50
+       mov      rax, rdx
+						;; size=3 bbWeight=1 PerfScore 0.25
 G_M38271_IG13:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M38271_IG14:
+       mov      edi, 33
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M38271_IG15:
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:ThrowForInvalidData()
        call     [rax]System.IO.StringParser:ThrowForInvalidData()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M38271_IG15:
+G_M38271_IG16:
        call     CORINFO_HELP_OVERFLOW
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 204, prolog size 17, PerfScore 83.38, instruction count 70, allocated bytes for code 204 (MethodHash=362e6a80) for method System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
+; Total bytes of code 233, prolog size 11, PerfScore 78.40, instruction count 79, allocated bytes for code 233 (MethodHash=362e6a80) for method System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
 ; ============================================================

29 (14.22 % of base) - System.IO.StringParser:ParseNextInt64():long:this

 ; Assembly listing for method System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T03] (  6,  6   )   byref  ->  rbx         this single-def
-;  V01 loc0         [V01,T06] (  3,  5.50)   ubyte  ->  rax        
-;  V02 loc1         [V02,T02] (  5, 10   )    long  ->  rcx        
-;  V03 loc2         [V03    ] (  3,  2   )   byref  ->  [rbp-0x10]  must-init pinned
-;  V04 loc3         [V04,T00] ( 11, 21.50)    long  ->  rdi        
-;  V05 loc4         [V05,T05] (  5,  7.50)    long  ->  rdx        
-;  V06 loc5         [V06,T01] (  4, 12   )     int  ->  rsi        
-;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V08 tmp1         [V08,T07] (  3,  5   )     ref  ->  rdx         class-hnd exact single-def "dup spill" <System.String>
-;* V09 tmp2         [V09    ] (  0,  0   )     ref  ->  zero-ref    single-def
-;  V10 tmp3         [V10,T08] (  4,  3   )    long  ->  rdx        
-;  V11 tmp4         [V11,T04] (  3,  8   )    long  ->  rcx        
-;* V12 tmp5         [V12    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.String>
-;  V13 tmp6         [V13,T09] (  2,  2   )    long  ->  rdx         "Cast away GC"
+;  V01 loc0         [V01,T10] (  5,  3.50)     int  ->  rax        
+;  V02 loc1         [V02,T14] (  2,  2   )     int  ->  rdi        
+;* V03 loc2         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[char]>
+;  V04 loc3         [V04,T08] (  3,  5.46)   ubyte  ->  rcx        
+;  V05 loc4         [V05,T02] (  5,  9.92)    long  ->  rdx        
+;  V06 loc5         [V06,T11] (  3,  2.50)     int  ->  rsi        
+;  V07 loc6         [V07,T01] (  4, 11.88)     int  ->   r8        
+;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V09 tmp1         [V09,T04] (  3,  7.92)    long  ->  rdx        
+;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;  V11 tmp3         [V11,T06] (  4,  6   )     ref  ->  rcx         class-hnd exact single-def "Inlining Arg" <System.String>
+;  V12 tmp4         [V12,T09] (  4,  5   )     int  ->  rdi         "Inlining Arg"
+;* V13 tmp5         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
+;* V15 tmp7         [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V16 tmp8         [V16,T07] (  3,  5.96)   byref  ->  rax         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;  V17 tmp9         [V17,T05] (  5,  7.46)     int  ->  rdi         "field V03._length (fldOffset=0x8)" P-INDEP
+;  V18 tmp10        [V18,T12] (  3,  2   )   byref  ->  rax         "field V10._reference (fldOffset=0x0)" P-INDEP
+;  V19 tmp11        [V19,T13] (  3,  2   )     int  ->  rdi         "field V10._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp12        [V20,T15] (  2,  1   )   byref  ->  rax         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V22 tmp14        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;  V24 rat0         [V24,T00] (  6, 17.84)    long  ->  rsi         "Widened IV V06"
 ;
 ; Lcl frame size = 8
 
 G_M38271_IG01:
        push     rbp
        push     rbx
        push     rax
        lea      rbp, [rsp+0x10]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x10], rax
        mov      rbx, rdi
-						;; size=17 bbWeight=1 PerfScore 5.00
+						;; size=11 bbWeight=1 PerfScore 3.75
 G_M38271_IG02:
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:MoveNext():bool:this
        call     [rax]System.IO.StringParser:MoveNext():bool:this
        test     eax, eax
-       je       G_M38271_IG14
-       xor      eax, eax
-       xor      ecx, ecx
-       mov      rdx, gword ptr [rbx]
-       test     rdx, rdx
+       je       G_M38271_IG15
+       mov      eax, dword ptr [rbx+0x08]
+       mov      edi, dword ptr [rbx+0x0C]
+       mov      rcx, gword ptr [rbx]
+       sub      edi, eax
+       test     rcx, rcx
        je       SHORT G_M38271_IG04
-						;; size=35 bbWeight=1 PerfScore 8.50
+						;; size=39 bbWeight=1 PerfScore 12.25
 G_M38271_IG03:
-       add      rdx, 12
-       mov      bword ptr [rbp-0x10], rdx
-       mov      rdx, bword ptr [rbp-0x10]
+       mov      edx, eax
+       mov      esi, edi
+       add      rdx, rsi
+       mov      esi, dword ptr [rcx+0x08]
+       cmp      rdx, rsi
+       ja       G_M38271_IG14
+       mov      eax, eax
+       lea      rax, bword ptr [rcx+2*rax+0x0C]
        jmp      SHORT G_M38271_IG05
-       align    [0 bytes for IG08]
-						;; size=14 bbWeight=0.50 PerfScore 2.12
+       align    [5 bytes for IG08]
+						;; size=33 bbWeight=0.50 PerfScore 3.62
 G_M38271_IG04:
-       xor      edx, edx
-						;; size=2 bbWeight=0.50 PerfScore 0.12
+       or       eax, edi
+       jne      SHORT G_M38271_IG14
+       xor      rax, rax
+       xor      edi, edi
+						;; size=8 bbWeight=0.50 PerfScore 0.88
 G_M38271_IG05:
-       movsxd   rdi, dword ptr [rbx+0x08]
-       lea      rdi, [rdx+2*rdi]
-       movsxd   rsi, dword ptr [rbx+0x0C]
-       lea      rdx, [rdx+2*rsi]
-       cmp      rdi, rdx
-       je       SHORT G_M38271_IG14
-       cmp      word  ptr [rdi], 45
+       test     edi, edi
+       je       SHORT G_M38271_IG15
+       xor      ecx, ecx
+       xor      edx, edx
+       xor      esi, esi
+       cmp      word  ptr [rax], 45
        jne      SHORT G_M38271_IG07
-						;; size=27 bbWeight=1 PerfScore 14.25
+						;; size=16 bbWeight=1 PerfScore 6.00
 G_M38271_IG06:
-       mov      eax, 1
-       add      rdi, 2
-       cmp      rdi, rdx
-       je       SHORT G_M38271_IG14
-						;; size=14 bbWeight=0.50 PerfScore 0.88
+       mov      ecx, 1
+       mov      esi, 1
+       cmp      edi, 1
+       je       SHORT G_M38271_IG15
+						;; size=15 bbWeight=0.50 PerfScore 0.88
 G_M38271_IG07:
-       cmp      rdi, rdx
-       je       SHORT G_M38271_IG12
-						;; size=5 bbWeight=1 PerfScore 1.25
-G_M38271_IG08:
-       movzx    rsi, word  ptr [rdi]
-       add      esi, -48
-       cmp      esi, 9
-       ja       SHORT G_M38271_IG14
-       test     eax, eax
-       je       SHORT G_M38271_IG10
-						;; size=15 bbWeight=4 PerfScore 19.00
-G_M38271_IG09:
-       imul     r8, rcx, 10
-       jo       SHORT G_M38271_IG15
-       mov      ecx, esi
-       sub      r8, rcx
-       jo       SHORT G_M38271_IG15
-       mov      rcx, r8
-       jmp      SHORT G_M38271_IG11
-						;; size=18 bbWeight=2 PerfScore 13.50
-G_M38271_IG10:
-       imul     rcx, rcx, 10
-       jo       SHORT G_M38271_IG15
        mov      esi, esi
-       add      rcx, rsi
-       jo       SHORT G_M38271_IG15
-						;; size=13 bbWeight=2 PerfScore 9.00
+       cmp      esi, edi
+       jge      SHORT G_M38271_IG12
+						;; size=6 bbWeight=1 PerfScore 1.50
+G_M38271_IG08:
+       movzx    r8, word  ptr [rax+2*rsi]
+       add      r8d, -48
+       cmp      r8d, 9
+       ja       SHORT G_M38271_IG15
+       test     ecx, ecx
+       je       SHORT G_M38271_IG10
+						;; size=19 bbWeight=3.96 PerfScore 18.81
+G_M38271_IG09:
+       imul     r9, rdx, 10
+       jo       SHORT G_M38271_IG16
+       mov      edx, r8d
+       sub      r9, rdx
+       jo       SHORT G_M38271_IG16
+       mov      rdx, r9
+       jmp      SHORT G_M38271_IG11
+						;; size=19 bbWeight=1.98 PerfScore 13.36
+G_M38271_IG10:
+       imul     rdx, rdx, 10
+       jo       SHORT G_M38271_IG16
+       mov      r8d, r8d
+       add      rdx, r8
+       jo       SHORT G_M38271_IG16
+						;; size=14 bbWeight=1.98 PerfScore 8.91
 G_M38271_IG11:
-       add      rdi, 2
-       cmp      rdi, rdx
-       jne      SHORT G_M38271_IG08
-						;; size=9 bbWeight=4 PerfScore 6.00
+       inc      esi
+       cmp      esi, edi
+       jl       SHORT G_M38271_IG08
+						;; size=6 bbWeight=3.96 PerfScore 5.94
 G_M38271_IG12:
-       xor      eax, eax
-       mov      bword ptr [rbp-0x10], rax
-       mov      rax, rcx
-						;; size=9 bbWeight=1 PerfScore 1.50
+       mov      rax, rdx
+						;; size=3 bbWeight=1 PerfScore 0.25
 G_M38271_IG13:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M38271_IG14:
+       mov      edi, 33
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M38271_IG15:
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:ThrowForInvalidData()
        call     [rax]System.IO.StringParser:ThrowForInvalidData()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M38271_IG15:
+G_M38271_IG16:
        call     CORINFO_HELP_OVERFLOW
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 204, prolog size 17, PerfScore 83.38, instruction count 70, allocated bytes for code 204 (MethodHash=362e6a80) for method System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
+; Total bytes of code 233, prolog size 11, PerfScore 78.40, instruction count 79, allocated bytes for code 233 (MethodHash=362e6a80) for method System.IO.StringParser:ParseNextInt64():long:this (FullOpts)
 ; ============================================================

27 (13.57 % of base) - System.IO.StringParser:ParseNextInt32():int:this

 ; Assembly listing for method System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T03] (  6,  6   )   byref  ->  rbx         this single-def
-;  V01 loc0         [V01,T06] (  3,  5.50)   ubyte  ->  rax        
-;  V02 loc1         [V02,T02] (  5, 10   )     int  ->  rcx        
-;  V03 loc2         [V03    ] (  3,  2   )   byref  ->  [rbp-0x10]  must-init pinned
-;  V04 loc3         [V04,T00] ( 11, 21.50)    long  ->  rdi        
-;  V05 loc4         [V05,T05] (  5,  7.50)    long  ->  rdx        
-;  V06 loc5         [V06,T01] (  4, 12   )     int  ->  rsi        
-;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V08 tmp1         [V08,T07] (  3,  5   )     ref  ->  rdx         class-hnd exact single-def "dup spill" <System.String>
-;* V09 tmp2         [V09    ] (  0,  0   )     ref  ->  zero-ref    single-def
-;  V10 tmp3         [V10,T08] (  4,  3   )    long  ->  rdx        
-;  V11 tmp4         [V11,T04] (  3,  8   )     int  ->   r8        
-;* V12 tmp5         [V12    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.String>
-;  V13 tmp6         [V13,T09] (  2,  2   )    long  ->  rdx         "Cast away GC"
+;  V01 loc0         [V01,T10] (  5,  3.50)     int  ->  rax        
+;  V02 loc1         [V02,T14] (  2,  2   )     int  ->  rdi        
+;* V03 loc2         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[char]>
+;  V04 loc3         [V04,T08] (  3,  5.46)   ubyte  ->  rcx        
+;  V05 loc4         [V05,T02] (  5,  9.92)     int  ->  rdx        
+;  V06 loc5         [V06,T11] (  3,  2.50)     int  ->  rsi        
+;  V07 loc6         [V07,T01] (  4, 11.88)     int  ->   r8        
+;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V09 tmp1         [V09,T04] (  3,  7.92)     int  ->   r9        
+;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;  V11 tmp3         [V11,T06] (  4,  6   )     ref  ->  rcx         class-hnd exact single-def "Inlining Arg" <System.String>
+;  V12 tmp4         [V12,T09] (  4,  5   )     int  ->  rdi         "Inlining Arg"
+;* V13 tmp5         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
+;* V15 tmp7         [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V16 tmp8         [V16,T07] (  3,  5.96)   byref  ->  rax         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;  V17 tmp9         [V17,T05] (  5,  7.46)     int  ->  rdi         "field V03._length (fldOffset=0x8)" P-INDEP
+;  V18 tmp10        [V18,T12] (  3,  2   )   byref  ->  rax         "field V10._reference (fldOffset=0x0)" P-INDEP
+;  V19 tmp11        [V19,T13] (  3,  2   )     int  ->  rdi         "field V10._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp12        [V20,T15] (  2,  1   )   byref  ->  rax         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V22 tmp14        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;  V24 rat0         [V24,T00] (  6, 17.84)    long  ->  rsi         "Widened IV V06"
 ;
 ; Lcl frame size = 8
 
 G_M7397_IG01:
        push     rbp
        push     rbx
        push     rax
        lea      rbp, [rsp+0x10]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x10], rax
        mov      rbx, rdi
-						;; size=17 bbWeight=1 PerfScore 5.00
+						;; size=11 bbWeight=1 PerfScore 3.75
 G_M7397_IG02:
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:MoveNext():bool:this
        call     [rax]System.IO.StringParser:MoveNext():bool:this
        test     eax, eax
-       je       G_M7397_IG14
-       xor      eax, eax
-       xor      ecx, ecx
-       mov      rdx, gword ptr [rbx]
-       test     rdx, rdx
+       je       G_M7397_IG15
+       mov      eax, dword ptr [rbx+0x08]
+       mov      edi, dword ptr [rbx+0x0C]
+       mov      rcx, gword ptr [rbx]
+       sub      edi, eax
+       test     rcx, rcx
        je       SHORT G_M7397_IG04
-						;; size=35 bbWeight=1 PerfScore 8.50
+						;; size=39 bbWeight=1 PerfScore 12.25
 G_M7397_IG03:
-       add      rdx, 12
-       mov      bword ptr [rbp-0x10], rdx
-       mov      rdx, bword ptr [rbp-0x10]
-       jmp      SHORT G_M7397_IG05
-       align    [0 bytes for IG08]
-						;; size=14 bbWeight=0.50 PerfScore 2.12
-G_M7397_IG04:
-       xor      edx, edx
-						;; size=2 bbWeight=0.50 PerfScore 0.12
-G_M7397_IG05:
-       movsxd   rdi, dword ptr [rbx+0x08]
-       lea      rdi, [rdx+2*rdi]
-       movsxd   rsi, dword ptr [rbx+0x0C]
-       lea      rdx, [rdx+2*rsi]
-       cmp      rdi, rdx
-       je       SHORT G_M7397_IG14
-       cmp      word  ptr [rdi], 45
-       jne      SHORT G_M7397_IG07
-						;; size=27 bbWeight=1 PerfScore 14.25
-G_M7397_IG06:
-       mov      eax, 1
-       add      rdi, 2
-       cmp      rdi, rdx
-       je       SHORT G_M7397_IG14
-						;; size=14 bbWeight=0.50 PerfScore 0.88
-G_M7397_IG07:
-       cmp      rdi, rdx
-       je       SHORT G_M7397_IG12
-						;; size=5 bbWeight=1 PerfScore 1.25
-G_M7397_IG08:
-       movzx    rsi, word  ptr [rdi]
-       add      esi, -48
-       cmp      esi, 9
+       mov      edx, eax
+       mov      esi, edi
+       add      rdx, rsi
+       mov      esi, dword ptr [rcx+0x08]
+       cmp      rdx, rsi
        ja       SHORT G_M7397_IG14
-       test     eax, eax
+		  ;; NOP compensation instructions of 4 bytes.
+       mov      eax, eax
+       lea      rax, bword ptr [rcx+2*rax+0x0C]
+       jmp      SHORT G_M7397_IG05
+       align    [5 bytes for IG08]
+						;; size=33 bbWeight=0.50 PerfScore 3.62
+G_M7397_IG04:
+       or       eax, edi
+       jne      SHORT G_M7397_IG14
+       xor      rax, rax
+       xor      edi, edi
+						;; size=8 bbWeight=0.50 PerfScore 0.88
+G_M7397_IG05:
+       test     edi, edi
+       je       SHORT G_M7397_IG15
+       xor      ecx, ecx
+       xor      edx, edx
+       xor      esi, esi
+       cmp      word  ptr [rax], 45
+       jne      SHORT G_M7397_IG07
+						;; size=16 bbWeight=1 PerfScore 6.00
+G_M7397_IG06:
+       mov      ecx, 1
+       mov      esi, 1
+       cmp      edi, 1
+       je       SHORT G_M7397_IG15
+						;; size=15 bbWeight=0.50 PerfScore 0.88
+G_M7397_IG07:
+       mov      esi, esi
+       cmp      esi, edi
+       jge      SHORT G_M7397_IG12
+						;; size=6 bbWeight=1 PerfScore 1.50
+G_M7397_IG08:
+       movzx    r8, word  ptr [rax+2*rsi]
+       add      r8d, -48
+       cmp      r8d, 9
+       ja       SHORT G_M7397_IG15
+       test     ecx, ecx
        je       SHORT G_M7397_IG10
-						;; size=15 bbWeight=4 PerfScore 19.00
+						;; size=19 bbWeight=3.96 PerfScore 18.81
 G_M7397_IG09:
-       imul     r8d, ecx, 10
-       jo       SHORT G_M7397_IG15
-       sub      r8d, esi
-       jo       SHORT G_M7397_IG15
+       imul     r9d, edx, 10
+       jo       SHORT G_M7397_IG16
+       sub      r9d, r8d
+       jo       SHORT G_M7397_IG16
        jmp      SHORT G_M7397_IG11
-						;; size=13 bbWeight=2 PerfScore 12.50
+						;; size=13 bbWeight=1.98 PerfScore 12.38
 G_M7397_IG10:
-       imul     r8d, ecx, 10
-       jo       SHORT G_M7397_IG15
-       add      r8d, esi
-       jo       SHORT G_M7397_IG15
-						;; size=11 bbWeight=2 PerfScore 8.50
+       imul     r9d, edx, 10
+       jo       SHORT G_M7397_IG16
+       add      r9d, r8d
+       jo       SHORT G_M7397_IG16
+						;; size=11 bbWeight=1.98 PerfScore 8.41
 G_M7397_IG11:
-       mov      ecx, r8d
-       add      rdi, 2
-       cmp      rdi, rdx
-       jne      SHORT G_M7397_IG08
-						;; size=12 bbWeight=4 PerfScore 7.00
+       mov      edx, r9d
+       inc      esi
+       cmp      esi, edi
+       jl       SHORT G_M7397_IG08
+						;; size=9 bbWeight=3.96 PerfScore 6.93
 G_M7397_IG12:
-       xor      eax, eax
-       mov      bword ptr [rbp-0x10], rax
-       mov      eax, ecx
-						;; size=8 bbWeight=1 PerfScore 1.50
+       mov      eax, edx
+						;; size=2 bbWeight=1 PerfScore 0.25
 G_M7397_IG13:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M7397_IG14:
+       mov      edi, 33
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M7397_IG15:
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:ThrowForInvalidData()
        call     [rax]System.IO.StringParser:ThrowForInvalidData()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M7397_IG15:
+G_M7397_IG16:
        call     CORINFO_HELP_OVERFLOW
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 199, prolog size 17, PerfScore 82.88, instruction count 68, allocated bytes for code 199 (MethodHash=5cd4e31a) for method System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
+; Total bytes of code 226, prolog size 11, PerfScore 77.90, instruction count 77, allocated bytes for code 226 (MethodHash=5cd4e31a) for method System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
 ; ============================================================

27 (13.57 % of base) - System.IO.StringParser:ParseNextInt32():int:this

 ; Assembly listing for method System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T03] (  6,  6   )   byref  ->  rbx         this single-def
-;  V01 loc0         [V01,T06] (  3,  5.50)   ubyte  ->  rax        
-;  V02 loc1         [V02,T02] (  5, 10   )     int  ->  rcx        
-;  V03 loc2         [V03    ] (  3,  2   )   byref  ->  [rbp-0x10]  must-init pinned
-;  V04 loc3         [V04,T00] ( 11, 21.50)    long  ->  rdi        
-;  V05 loc4         [V05,T05] (  5,  7.50)    long  ->  rdx        
-;  V06 loc5         [V06,T01] (  4, 12   )     int  ->  rsi        
-;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V08 tmp1         [V08,T07] (  3,  5   )     ref  ->  rdx         class-hnd exact single-def "dup spill" <System.String>
-;* V09 tmp2         [V09    ] (  0,  0   )     ref  ->  zero-ref    single-def
-;  V10 tmp3         [V10,T08] (  4,  3   )    long  ->  rdx        
-;  V11 tmp4         [V11,T04] (  3,  8   )     int  ->   r8        
-;* V12 tmp5         [V12    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.String>
-;  V13 tmp6         [V13,T09] (  2,  2   )    long  ->  rdx         "Cast away GC"
+;  V01 loc0         [V01,T10] (  5,  3.50)     int  ->  rax        
+;  V02 loc1         [V02,T14] (  2,  2   )     int  ->  rdi        
+;* V03 loc2         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[char]>
+;  V04 loc3         [V04,T08] (  3,  5.46)   ubyte  ->  rcx        
+;  V05 loc4         [V05,T02] (  5,  9.92)     int  ->  rdx        
+;  V06 loc5         [V06,T11] (  3,  2.50)     int  ->  rsi        
+;  V07 loc6         [V07,T01] (  4, 11.88)     int  ->   r8        
+;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;  V09 tmp1         [V09,T04] (  3,  7.92)     int  ->   r9        
+;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;  V11 tmp3         [V11,T06] (  4,  6   )     ref  ->  rcx         class-hnd exact single-def "Inlining Arg" <System.String>
+;  V12 tmp4         [V12,T09] (  4,  5   )     int  ->  rdi         "Inlining Arg"
+;* V13 tmp5         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
+;* V15 tmp7         [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V16 tmp8         [V16,T07] (  3,  5.96)   byref  ->  rax         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;  V17 tmp9         [V17,T05] (  5,  7.46)     int  ->  rdi         "field V03._length (fldOffset=0x8)" P-INDEP
+;  V18 tmp10        [V18,T12] (  3,  2   )   byref  ->  rax         "field V10._reference (fldOffset=0x0)" P-INDEP
+;  V19 tmp11        [V19,T13] (  3,  2   )     int  ->  rdi         "field V10._length (fldOffset=0x8)" P-INDEP
+;  V20 tmp12        [V20,T15] (  2,  1   )   byref  ->  rax         single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V22 tmp14        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;  V24 rat0         [V24,T00] (  6, 17.84)    long  ->  rsi         "Widened IV V06"
 ;
 ; Lcl frame size = 8
 
 G_M7397_IG01:
        push     rbp
        push     rbx
        push     rax
        lea      rbp, [rsp+0x10]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x10], rax
        mov      rbx, rdi
-						;; size=17 bbWeight=1 PerfScore 5.00
+						;; size=11 bbWeight=1 PerfScore 3.75
 G_M7397_IG02:
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:MoveNext():bool:this
        call     [rax]System.IO.StringParser:MoveNext():bool:this
        test     eax, eax
-       je       G_M7397_IG14
-       xor      eax, eax
-       xor      ecx, ecx
-       mov      rdx, gword ptr [rbx]
-       test     rdx, rdx
+       je       G_M7397_IG15
+       mov      eax, dword ptr [rbx+0x08]
+       mov      edi, dword ptr [rbx+0x0C]
+       mov      rcx, gword ptr [rbx]
+       sub      edi, eax
+       test     rcx, rcx
        je       SHORT G_M7397_IG04
-						;; size=35 bbWeight=1 PerfScore 8.50
+						;; size=39 bbWeight=1 PerfScore 12.25
 G_M7397_IG03:
-       add      rdx, 12
-       mov      bword ptr [rbp-0x10], rdx
-       mov      rdx, bword ptr [rbp-0x10]
-       jmp      SHORT G_M7397_IG05
-       align    [0 bytes for IG08]
-						;; size=14 bbWeight=0.50 PerfScore 2.12
-G_M7397_IG04:
-       xor      edx, edx
-						;; size=2 bbWeight=0.50 PerfScore 0.12
-G_M7397_IG05:
-       movsxd   rdi, dword ptr [rbx+0x08]
-       lea      rdi, [rdx+2*rdi]
-       movsxd   rsi, dword ptr [rbx+0x0C]
-       lea      rdx, [rdx+2*rsi]
-       cmp      rdi, rdx
-       je       SHORT G_M7397_IG14
-       cmp      word  ptr [rdi], 45
-       jne      SHORT G_M7397_IG07
-						;; size=27 bbWeight=1 PerfScore 14.25
-G_M7397_IG06:
-       mov      eax, 1
-       add      rdi, 2
-       cmp      rdi, rdx
-       je       SHORT G_M7397_IG14
-						;; size=14 bbWeight=0.50 PerfScore 0.88
-G_M7397_IG07:
-       cmp      rdi, rdx
-       je       SHORT G_M7397_IG12
-						;; size=5 bbWeight=1 PerfScore 1.25
-G_M7397_IG08:
-       movzx    rsi, word  ptr [rdi]
-       add      esi, -48
-       cmp      esi, 9
+       mov      edx, eax
+       mov      esi, edi
+       add      rdx, rsi
+       mov      esi, dword ptr [rcx+0x08]
+       cmp      rdx, rsi
        ja       SHORT G_M7397_IG14
-       test     eax, eax
+		  ;; NOP compensation instructions of 4 bytes.
+       mov      eax, eax
+       lea      rax, bword ptr [rcx+2*rax+0x0C]
+       jmp      SHORT G_M7397_IG05
+       align    [5 bytes for IG08]
+						;; size=33 bbWeight=0.50 PerfScore 3.62
+G_M7397_IG04:
+       or       eax, edi
+       jne      SHORT G_M7397_IG14
+       xor      rax, rax
+       xor      edi, edi
+						;; size=8 bbWeight=0.50 PerfScore 0.88
+G_M7397_IG05:
+       test     edi, edi
+       je       SHORT G_M7397_IG15
+       xor      ecx, ecx
+       xor      edx, edx
+       xor      esi, esi
+       cmp      word  ptr [rax], 45
+       jne      SHORT G_M7397_IG07
+						;; size=16 bbWeight=1 PerfScore 6.00
+G_M7397_IG06:
+       mov      ecx, 1
+       mov      esi, 1
+       cmp      edi, 1
+       je       SHORT G_M7397_IG15
+						;; size=15 bbWeight=0.50 PerfScore 0.88
+G_M7397_IG07:
+       mov      esi, esi
+       cmp      esi, edi
+       jge      SHORT G_M7397_IG12
+						;; size=6 bbWeight=1 PerfScore 1.50
+G_M7397_IG08:
+       movzx    r8, word  ptr [rax+2*rsi]
+       add      r8d, -48
+       cmp      r8d, 9
+       ja       SHORT G_M7397_IG15
+       test     ecx, ecx
        je       SHORT G_M7397_IG10
-						;; size=15 bbWeight=4 PerfScore 19.00
+						;; size=19 bbWeight=3.96 PerfScore 18.81
 G_M7397_IG09:
-       imul     r8d, ecx, 10
-       jo       SHORT G_M7397_IG15
-       sub      r8d, esi
-       jo       SHORT G_M7397_IG15
+       imul     r9d, edx, 10
+       jo       SHORT G_M7397_IG16
+       sub      r9d, r8d
+       jo       SHORT G_M7397_IG16
        jmp      SHORT G_M7397_IG11
-						;; size=13 bbWeight=2 PerfScore 12.50
+						;; size=13 bbWeight=1.98 PerfScore 12.38
 G_M7397_IG10:
-       imul     r8d, ecx, 10
-       jo       SHORT G_M7397_IG15
-       add      r8d, esi
-       jo       SHORT G_M7397_IG15
-						;; size=11 bbWeight=2 PerfScore 8.50
+       imul     r9d, edx, 10
+       jo       SHORT G_M7397_IG16
+       add      r9d, r8d
+       jo       SHORT G_M7397_IG16
+						;; size=11 bbWeight=1.98 PerfScore 8.41
 G_M7397_IG11:
-       mov      ecx, r8d
-       add      rdi, 2
-       cmp      rdi, rdx
-       jne      SHORT G_M7397_IG08
-						;; size=12 bbWeight=4 PerfScore 7.00
+       mov      edx, r9d
+       inc      esi
+       cmp      esi, edi
+       jl       SHORT G_M7397_IG08
+						;; size=9 bbWeight=3.96 PerfScore 6.93
 G_M7397_IG12:
-       xor      eax, eax
-       mov      bword ptr [rbp-0x10], rax
-       mov      eax, ecx
-						;; size=8 bbWeight=1 PerfScore 1.50
+       mov      eax, edx
+						;; size=2 bbWeight=1 PerfScore 0.25
 G_M7397_IG13:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M7397_IG14:
+       mov      edi, 33
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M7397_IG15:
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:ThrowForInvalidData()
        call     [rax]System.IO.StringParser:ThrowForInvalidData()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M7397_IG15:
+G_M7397_IG16:
        call     CORINFO_HELP_OVERFLOW
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 199, prolog size 17, PerfScore 82.88, instruction count 68, allocated bytes for code 199 (MethodHash=5cd4e31a) for method System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
+; Total bytes of code 226, prolog size 11, PerfScore 77.90, instruction count 77, allocated bytes for code 226 (MethodHash=5cd4e31a) for method System.IO.StringParser:ParseNextInt32():int:this (FullOpts)
 ; ============================================================

27 (17.65 % of base) - System.IO.StringParser:ParseNextUInt64():ulong:this

 ; Assembly listing for method System.IO.StringParser:ParseNextUInt64():ulong:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T03] (  6,  6   )   byref  ->  rbx         this single-def
-;  V01 loc0         [V01,T02] (  4, 10   )    long  ->  rax        
-;  V02 loc1         [V02    ] (  3,  2   )   byref  ->  [rbp-0x10]  must-init pinned
-;  V03 loc2         [V03,T00] (  6, 18   )    long  ->  rcx        
-;  V04 loc3         [V04,T04] (  3,  6   )    long  ->  rdi        
-;  V05 loc4         [V05,T01] (  3, 12   )     int  ->  rsi        
-;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V07 tmp1         [V07,T05] (  3,  5   )     ref  ->  rdx         class-hnd exact single-def "dup spill" <System.String>
-;* V08 tmp2         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
-;  V09 tmp3         [V09,T06] (  4,  3   )    long  ->  rdx        
-;* V10 tmp4         [V10    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.String>
-;  V11 tmp5         [V11,T07] (  2,  2   )    long  ->  rdx         "Cast away GC"
+;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[char]>
+;  V02 loc1         [V02,T02] (  4,  9.42)    long  ->  rax        
+;* V03 loc2         [V03,T13] (  0,  0   )     int  ->  zero-ref   
+;  V04 loc3         [V04,T01] (  3, 11.88)     int  ->   r8        
+;# 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    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
+;  V07 tmp2         [V07,T04] (  4,  6   )     ref  ->  rax         class-hnd exact single-def "Inlining Arg" <System.String>
+;  V08 tmp3         [V08,T06] (  4,  5   )     int  ->  rdi         "Inlining Arg"
+;  V09 tmp4         [V09,T07] (  4,  5   )     int  ->  rcx         "Inlining Arg"
+;* V10 tmp5         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V11 tmp6         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
+;* V12 tmp7         [V12    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V13 tmp8         [V13,T08] (  2,  4.96)   byref  ->  rdi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V14 tmp9         [V14,T05] (  3,  5.96)     int  ->  rcx         "field V01._length (fldOffset=0x8)" P-INDEP
+;  V15 tmp10        [V15,T10] (  3,  2   )   byref  ->  rdi         "field V06._reference (fldOffset=0x0)" P-INDEP
+;  V16 tmp11        [V16,T11] (  3,  2   )     int  ->  rcx         "field V06._length (fldOffset=0x8)" P-INDEP
+;  V17 tmp12        [V17,T12] (  2,  1   )   byref  ->  rdi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp13        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V19 tmp14        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp15        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;  V21 cse0         [V21,T09] (  3,  3   )     int  ->  rdx         "CSE #01: moderate"
+;  V22 rat0         [V22,T00] (  5, 16.34)    long  ->  rsi         "Widened IV V03"
 ;
 ; Lcl frame size = 8
 
 G_M55551_IG01:
        push     rbp
        push     rbx
        push     rax
        lea      rbp, [rsp+0x10]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x10], rax
        mov      rbx, rdi
-						;; size=17 bbWeight=1 PerfScore 5.00
+						;; size=11 bbWeight=1 PerfScore 3.75
 G_M55551_IG02:
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:MoveNext():bool:this
        call     [rax]System.IO.StringParser:MoveNext():bool:this
        test     eax, eax
-       je       SHORT G_M55551_IG09
-       xor      eax, eax
-       mov      rdx, gword ptr [rbx]
-       test     rdx, rdx
+       je       G_M55551_IG10
+       mov      rax, gword ptr [rbx]
+       mov      edx, dword ptr [rbx+0x08]
+       mov      edi, edx
+       mov      ecx, dword ptr [rbx+0x0C]
+       sub      ecx, edx
+       test     rax, rax
        je       SHORT G_M55551_IG04
-						;; size=29 bbWeight=1 PerfScore 8.25
+						;; size=41 bbWeight=1 PerfScore 12.50
 G_M55551_IG03:
-       add      rdx, 12
-       mov      bword ptr [rbp-0x10], rdx
-       mov      rdx, bword ptr [rbp-0x10]
-       jmp      SHORT G_M55551_IG05
-       align    [0 bytes for IG06]
-						;; size=14 bbWeight=0.50 PerfScore 2.12
-G_M55551_IG04:
-       xor      edx, edx
-						;; size=2 bbWeight=0.50 PerfScore 0.12
-G_M55551_IG05:
-       movsxd   rcx, dword ptr [rbx+0x08]
-       lea      rcx, [rdx+2*rcx]
-       movsxd   rdi, dword ptr [rbx+0x0C]
-       lea      rdi, [rdx+2*rdi]
-       cmp      rcx, rdi
-       je       SHORT G_M55551_IG07
-						;; size=21 bbWeight=1 PerfScore 10.25
-G_M55551_IG06:
-       movzx    rsi, word  ptr [rcx]
-       add      esi, -48
-       cmp      esi, 9
+       mov      edx, edi
+       mov      esi, ecx
+       add      rdx, rsi
+       mov      esi, dword ptr [rax+0x08]
+       cmp      rdx, rsi
        ja       SHORT G_M55551_IG09
-       mov      r8d, 10
-       mul      rdx:rax, r8
-       jb       SHORT G_M55551_IG10
-       mov      edx, esi
-       add      rax, rdx
-       jb       SHORT G_M55551_IG10
-       add      rcx, 2
-       cmp      rcx, rdi
-       jne      SHORT G_M55551_IG06
-						;; size=38 bbWeight=4 PerfScore 43.00
-G_M55551_IG07:
+       mov      edi, edi
+       lea      rdi, bword ptr [rax+2*rdi+0x0C]
+       jmp      SHORT G_M55551_IG05
+       align    [4 bytes for IG07]
+						;; size=28 bbWeight=0.50 PerfScore 3.62
+G_M55551_IG04:
+       or       edi, ecx
+       jne      SHORT G_M55551_IG09
+       xor      rdi, rdi
        xor      ecx, ecx
-       mov      bword ptr [rbp-0x10], rcx
-						;; size=6 bbWeight=1 PerfScore 1.25
+						;; size=8 bbWeight=0.50 PerfScore 0.88
+G_M55551_IG05:
+       test     ecx, ecx
+       je       SHORT G_M55551_IG10
+						;; size=4 bbWeight=1 PerfScore 1.25
+G_M55551_IG06:
+       xor      eax, eax
+       xor      esi, esi
+						;; size=4 bbWeight=0.50 PerfScore 0.25
+G_M55551_IG07:
+       movzx    r8, word  ptr [rdi+2*rsi]
+       add      r8d, -48
+       cmp      r8d, 9
+       ja       SHORT G_M55551_IG10
+       mov      r9d, 10
+       mul      rdx:rax, r9
+       jb       SHORT G_M55551_IG11
+       mov      edx, r8d
+       add      rax, rdx
+       jb       SHORT G_M55551_IG11
+       inc      esi
+       cmp      esi, ecx
+       jl       SHORT G_M55551_IG07
+						;; size=40 bbWeight=3.96 PerfScore 42.57
 G_M55551_IG08:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M55551_IG09:
+       mov      edi, 33
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M55551_IG10:
        mov      rax, 0xD1FFAB1E      ; code for System.IO.StringParser:ThrowForInvalidData()
        call     [rax]System.IO.StringParser:ThrowForInvalidData()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M55551_IG10:
+G_M55551_IG11:
        call     CORINFO_HELP_OVERFLOW
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 153, prolog size 17, PerfScore 72.25, instruction count 52, allocated bytes for code 153 (MethodHash=1fff2700) for method System.IO.StringParser:ParseNextUInt64():ulong:this (FullOpts)
+; Total bytes of code 180, prolog size 11, PerfScore 67.07, instruction count 61, allocated bytes for code 180 (MethodHash=1fff2700) for method System.IO.StringParser:ParseNextUInt64():ulong:this (FullOpts)
 ; ============================================================

[MihuBot]

@EgorBo