[JitDiff X64] xtqqczze/dotnet-runtime/bounds-CharToHexLookup2

[MihuBot]

Job completed in 19 minutes 3 seconds (remote runner delay: 1 minute 28 seconds).
https://github.com/xtqqczze/dotnet-runtime/tree/bounds-CharToHexLookup2

Main commit: dotnet/runtime@213a41d
PR commit: xtqqczze/dotnet-runtime@d83f15a

Diffs

Found 99 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45376334
Total bytes of diff: 45376441
Total bytes of delta: 107 (0.00 % of base)
Total relative delta: -7.82
    diff is a regression.
    relative diff is an improvement.


Top file regressions (bytes):
         387 : System.Private.Uri.dasm (0.37 % of base)
         112 : System.Net.NetworkInformation.dasm (0.21 % of base)
           4 : System.Net.Http.dasm (0.00 % of base)

Top file improvements (bytes):
         -76 : System.Private.CoreLib.dasm (-0.00 % of base)
         -40 : System.Security.Cryptography.Pkcs.dasm (-0.01 % of base)
         -40 : System.Private.DataContractSerialization.dasm (-0.00 % of base)
         -40 : System.Security.Cryptography.Xml.dasm (-0.02 % of base)
         -40 : System.Reflection.Metadata.dasm (-0.01 % of base)
         -20 : System.Text.RegularExpressions.dasm (-0.00 % of base)
         -20 : System.Text.Json.dasm (-0.00 % of base)
         -20 : System.Diagnostics.DiagnosticSource.dasm (-0.01 % of base)
         -20 : System.Security.Cryptography.dasm (-0.00 % of base)
         -20 : System.Net.HttpListener.dasm (-0.02 % of base)
         -20 : System.Net.Primitives.dasm (-0.02 % of base)
         -20 : System.Private.Xml.dasm (-0.00 % of base)
         -20 : System.Web.HttpUtility.dasm (-0.11 % of base)

16 total files with Code Size differences (13 improved, 3 regressed), 245 unchanged.

Top method regressions (bytes):
         132 (32.27 % of base) : System.Net.NetworkInformation.dasm - System.Net.NetworkInformation.StringParsingHelpers:ParseIPv6HexString(System.ReadOnlySpan`1[char],bool):System.Net.IPAddress (FullOpts)
         118 (9.55 % of base) : System.Private.Uri.dasm - System.UriHelper:UnescapeString(System.ReadOnlySpan`1[char],byref,char,char,char,int,System.UriParser,bool) (FullOpts)
          78 (5.71 % of base) : System.Private.Uri.dasm - System.IriHelper:EscapeUnescapeIri(byref,System.ReadOnlySpan`1[char],bool) (FullOpts)
          74 (26.91 % of base) : System.Private.Uri.dasm - System.Uri:CheckForUnicodeOrEscapedUnreserved(System.String):bool (FullOpts)
          65 (28.38 % of base) : System.Private.Uri.dasm - System.Uri:HexUnescape(System.String,byref):char (FullOpts)
          64 (28.44 % of base) : System.Private.Uri.dasm - System.Uri:UnescapePathSlashesAndDots(byref,int,bool) (FullOpts)
          56 (12.42 % of base) : System.Private.Uri.dasm - System.UriHelper:Unescape(System.ReadOnlySpan`1[char],byref) (FullOpts)
          24 (2.29 % of base) : System.Net.Http.dasm - System.Net.Http.Headers.ContentDispositionHeaderValue:TryDecode5987(System.String,byref):bool (FullOpts)

Top method improvements (bytes):
         -26 (-2.32 % of base) : System.Private.Uri.dasm - System.Uri:CheckCanonical(System.ReadOnlySpan`1[char],char,byref):int:this (FullOpts)
         -22 (-18.97 % of base) : System.Private.Uri.dasm - System.UriHelper:DecodeHexChars(int,int):char (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.Pkcs.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Text.RegularExpressions.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Text.Json.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.DataContractSerialization.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Net.NetworkInformation.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Net.HttpListener.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.Xml.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Net.Primitives.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.Uri.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Reflection.Metadata.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.CoreLib.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.Xml.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Web.HttpUtility.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Security.Cryptography.Pkcs.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Private.DataContractSerialization.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Security.Cryptography.Xml.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Reflection.Metadata.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Net.Http.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[byte]:FromChar(uint):uint (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[int]:FromChar(uint):uint (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[long]:FromChar(uint):uint (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[short]:FromChar(uint):uint (FullOpts)

Top method regressions (percentages):
         132 (32.27 % of base) : System.Net.NetworkInformation.dasm - System.Net.NetworkInformation.StringParsingHelpers:ParseIPv6HexString(System.ReadOnlySpan`1[char],bool):System.Net.IPAddress (FullOpts)
          64 (28.44 % of base) : System.Private.Uri.dasm - System.Uri:UnescapePathSlashesAndDots(byref,int,bool) (FullOpts)
          65 (28.38 % of base) : System.Private.Uri.dasm - System.Uri:HexUnescape(System.String,byref):char (FullOpts)
          74 (26.91 % of base) : System.Private.Uri.dasm - System.Uri:CheckForUnicodeOrEscapedUnreserved(System.String):bool (FullOpts)
          56 (12.42 % of base) : System.Private.Uri.dasm - System.UriHelper:Unescape(System.ReadOnlySpan`1[char],byref) (FullOpts)
         118 (9.55 % of base) : System.Private.Uri.dasm - System.UriHelper:UnescapeString(System.ReadOnlySpan`1[char],byref,char,char,char,int,System.UriParser,bool) (FullOpts)
          78 (5.71 % of base) : System.Private.Uri.dasm - System.IriHelper:EscapeUnescapeIri(byref,System.ReadOnlySpan`1[char],bool) (FullOpts)
          24 (2.29 % of base) : System.Net.Http.dasm - System.Net.Http.Headers.ContentDispositionHeaderValue:TryDecode5987(System.String,byref):bool (FullOpts)

Top method improvements (percentages):
         -20 (-41.67 % of base) : System.Security.Cryptography.Pkcs.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Private.DataContractSerialization.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Security.Cryptography.Xml.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Reflection.Metadata.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-41.67 % of base) : System.Net.Http.dasm - System.HexConverter:FromUpperChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.Pkcs.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Text.RegularExpressions.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Text.Json.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Diagnostics.DiagnosticSource.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.DataContractSerialization.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Net.NetworkInformation.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Net.HttpListener.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.Xml.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Net.Primitives.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.Uri.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Reflection.Metadata.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.CoreLib.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Private.Xml.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Web.HttpUtility.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[byte]:FromChar(uint):uint (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[int]:FromChar(uint):uint (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[long]:FromChar(uint):uint (FullOpts)
         -14 (-27.45 % of base) : System.Private.CoreLib.dasm - System.Number+HexParser`1[short]:FromChar(uint):uint (FullOpts)
         -22 (-18.97 % of base) : System.Private.Uri.dasm - System.UriHelper:DecodeHexChars(int,int):char (FullOpts)
         -26 (-2.32 % of base) : System.Private.Uri.dasm - System.Uri:CheckCanonical(System.ReadOnlySpan`1[char],char,byref):int:this (FullOpts)

34 total methods with Code Size differences (26 improved, 8 regressed), 284113 unchanged.

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

Artifacts:

• jit-diffs-main.zip (154 MB)
• jit-diffs-pr.zip (154 MB)
• diff-frameworks.txt (10 KB)
• ShortDiffsRegressions.md (55 KB)
• LongDiffsRegressions.md (228 KB)
• ShortDiffsImprovements.md (59 KB)
• LongDiffsImprovements.md (96 KB)

[MihuBot]

Top method regressions

132 (32.27 % of base) - System.Net.NetworkInformation.StringParsingHelpers:ParseIPv6HexString(System.ReadOnlySpan`1[char],bool):System.Net.IPAddress

 ; Assembly listing for method System.Net.NetworkInformation.StringParsingHelpers:ParseIPv6HexString(System.ReadOnlySpan`1[char],bool):System.Net.IPAddress (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
-; partially interruptible
+; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
+; 0 inlinees with PGO data; 10 single block inlinees; 17 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T19] (  3,  3   )  struct (16) [rbp-0x50]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def ptr <System.ReadOnlySpan`1[char]>
-;  V01 arg1         [V01,T20] (  3,  3   )   ubyte  ->  rdx         single-def
+;  V00 arg0         [V00,T28] (  3,  3   )  struct (16) [rbp-0x38]  do-not-enreg[SFA] multireg-arg ld-addr-op single-def ptr <System.ReadOnlySpan`1[char]>
+;  V01 arg1         [V01,T29] (  3,  3   )   ubyte  ->  rdx         single-def
 ;* V02 loc0         [V02    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
-;* V03 loc1         [V03,T24] (  0,  0   )     int  ->  zero-ref   
-;* V04 loc2         [V04,T25] (  0,  0   )     int  ->  zero-ref   
-;  V05 loc3         [V05,T02] (  6,164   )     int  ->  [rbp-0x54]  ptr
-;  V06 loc4         [V06,T09] (  2, 64   )     int  ->  rcx        
-;  V07 loc5         [V07,T04] (  3, 96   )     int  ->  rdi        
+;* V03 loc1         [V03,T33] (  0,  0   )     int  ->  zero-ref   
+;* V04 loc2         [V04,T34] (  0,  0   )     int  ->  zero-ref   
+;  V05 loc3         [V05,T02] (  6,164   )     int  ->  rsi        
+;  V06 loc4         [V06,T14] (  2, 64   )     int  ->   r8        
+;  V07 loc5         [V07,T07] (  3, 96   )     int  ->   r9        
 ;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V09 tmp1         [V09    ] (  1,  1   )  struct (16) [rbp-0x40]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal" <UNNAMED>
+;  V09 tmp1         [V09    ] (  1,  1   )  struct (16) [rbp-0x28]  do-not-enreg[XS] addr-exposed ld-addr-op unsafe-buffer "stackallocLocal" <UNNAMED>
 ;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;  V11 tmp3         [V11,T12] (  3, 23.76)     int  ->  rdi         "Span.get_Item index"
-;  V12 tmp4         [V12,T15] (  2, 15.84)   byref  ->  [rbp-0x70]  spill-single-def ptr "impAppendStmt"
-;  V13 tmp5         [V13,T13] (  3, 23.76)     int  ->  r12         "Span.get_Item index"
-;* V14 tmp6         [V14    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V15 tmp7         [V15,T18] (  3,  6   )     ref  ->  rbx         class-hnd exact single-def "NewObj constructor temp" <System.Net.IPAddress>
+;  V11 tmp3         [V11,T18] (  3, 23.76)     int  ->  rdx         "Span.get_Item index"
+;  V12 tmp4         [V12,T22] (  2, 15.84)   byref  ->  rsi         "impAppendStmt"
+;  V13 tmp5         [V13,T19] (  3, 23.76)     int  ->  rdx         "Span.get_Item index"
+;  V14 tmp6         [V14,T23] (  2, 15.84)     int  ->   r8         "impAppendStmt"
+;  V15 tmp7         [V15,T27] (  3,  6   )     ref  ->  r15         class-hnd exact single-def "NewObj constructor temp" <System.Net.IPAddress>
 ;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V17 tmp9         [V17,T00] (  3,192   )     int  ->  rdx         "Span.get_Item index"
-;  V18 tmp10        [V18,T03] (  2,128   )   byref  ->  [rbp-0x78]  spill-single-def ptr "impAppendStmt"
-;  V19 tmp11        [V19,T01] (  3,192   )     int  ->  [rbp-0x58]  spill-single-def ptr "Span.get_Item index"
-;* V20 tmp12        [V20    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;* V21 tmp13        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V22 tmp14        [V22    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V23 tmp15        [V23    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V24 tmp16        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;  V25 tmp17        [V25,T10] (  4, 37.96)   byref  ->  r14         single-def "field V02._reference (fldOffset=0x0)" P-INDEP
-;* V26 tmp18        [V26,T23] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
-;  V27 tmp19        [V27,T22] (  2,  2   )   byref  ->  r14         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V28 tmp20        [V28    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V29 tmp21        [V29    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V30 tmp22        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V31 tmp23        [V31    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
-;* V32 tmp24        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
-;* V33 tmp25        [V33    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp26        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;  V35 tmp27        [V35,T06] (  5, 72.92)   byref  ->  rbx         single-def "V00.[000..008)"
-;  V36 tmp28        [V36,T07] (  5, 72.92)     int  ->  r15         "V00.[008..012)"
-;* V37 cse0         [V37,T11] (  0,  0   )     int  ->  zero-ref    "CSE #03: aggressive"
-;  V38 cse1         [V38,T05] (  3, 96   )     int  ->  rcx         "CSE #04: aggressive"
-;  V39 cse2         [V39,T17] (  3, 11.88)     int  ->  r12         "CSE #01: moderate"
-;  V40 rat0         [V40,T08] (  5, 72.50)     int  ->  r13         "Strength reduced derived IV"
-;  V41 rat1         [V41,T16] (  4, 12.50)     int  ->  r12         "Trip count IV"
-;  V42 rat2         [V42,T14] (  6, 20.30)    long  ->  r13         "Widened IV V03"
-;  V43 rat3         [V43    ] (  1,  1   )    long  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
-;  V44 rat4         [V44,T21] (  3,  3   )  struct (16) [rbp-0x68]  do-not-enreg[SFA] multireg-arg must-init single-def ptr "V00 shadow" <System.ReadOnlySpan`1[char]>
-;  TEMP_01                                     int  ->  [rbp-0x7C]
+;  V17 tmp9         [V17,T00] (  3,192   )     int  ->  r10         "Span.get_Item index"
+;  V18 tmp10        [V18,T05] (  2,128   )   byref  ->   r9         "impAppendStmt"
+;  V19 tmp11        [V19,T01] (  3,192   )     int  ->   r8         "Span.get_Item index"
+;  V20 tmp12        [V20,T06] (  2,128   )     int  ->  r10         "impAppendStmt"
+;  V21 tmp13        [V21,T20] (  3, 19.80)  ushort  ->  rdx         "Inlining Arg"
+;* V22 tmp14        [V22    ] (  0,  0   )     int  ->  zero-ref    "dup spill"
+;* V23 tmp15        [V23    ] (  0,  0   )     int  ->  zero-ref   
+;  V24 tmp16        [V24,T25] (  4, 11.88)     int  ->   r8         "Inline return value spill temp"
+;* V25 tmp17        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V26 tmp18        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V27 tmp19        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V28 tmp20        [V28,T21] (  3, 19.80)  ushort  ->  rdx         "Inlining Arg"
+;* V29 tmp21        [V29    ] (  0,  0   )     int  ->  zero-ref    "dup spill"
+;* V30 tmp22        [V30    ] (  0,  0   )     int  ->  zero-ref   
+;  V31 tmp23        [V31,T26] (  4, 11.88)     int  ->   r9         "Inline return value spill temp"
+;* V32 tmp24        [V32    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V33 tmp25        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V34 tmp26        [V34    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V35 tmp27        [V35,T03] (  3,144   )  ushort  ->  r10         "Inlining Arg"
+;* V36 tmp28        [V36    ] (  0,  0   )     int  ->  zero-ref    "dup spill"
+;* V37 tmp29        [V37    ] (  0,  0   )     int  ->  zero-ref   
+;  V38 tmp30        [V38,T09] (  4, 80   )     int  ->  r11         "Inline return value spill temp"
+;* V39 tmp31        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V40 tmp32        [V40    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V41 tmp33        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V42 tmp34        [V42,T04] (  3,144   )  ushort  ->   r8         "Inlining Arg"
+;* V43 tmp35        [V43    ] (  0,  0   )     int  ->  zero-ref    "dup spill"
+;* V44 tmp36        [V44    ] (  0,  0   )     int  ->  zero-ref   
+;  V45 tmp37        [V45,T10] (  4, 80   )     int  ->  r11         "Inline return value spill temp"
+;* V46 tmp38        [V46    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V47 tmp39        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V48 tmp40        [V48    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V49 tmp41        [V49    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V50 tmp42        [V50    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V51 tmp43        [V51    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V52 tmp44        [V52    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V53 tmp45        [V53,T15] (  4, 37.96)   byref  ->  rbx         single-def "field V02._reference (fldOffset=0x0)" P-INDEP
+;* V54 tmp46        [V54,T32] (  0,  0   )     int  ->  zero-ref    "field V02._length (fldOffset=0x8)" P-INDEP
+;  V55 tmp47        [V55,T31] (  2,  2   )   byref  ->  rbx         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V56 tmp48        [V56    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V57 tmp49        [V57    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V58 tmp50        [V58    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V59 tmp51        [V59    ] (  0,  0   )   byref  ->  zero-ref    "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V60 tmp52        [V60    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V61 tmp53        [V61    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V62 tmp54        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V63 tmp55        [V63    ] (  0,  0   )   byref  ->  zero-ref    "field V27._reference (fldOffset=0x0)" P-INDEP
+;* V64 tmp56        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
+;* V65 tmp57        [V65    ] (  0,  0   )   byref  ->  zero-ref    "field V32._reference (fldOffset=0x0)" P-INDEP
+;* V66 tmp58        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
+;* V67 tmp59        [V67    ] (  0,  0   )   byref  ->  zero-ref    "field V33._reference (fldOffset=0x0)" P-INDEP
+;* V68 tmp60        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
+;* V69 tmp61        [V69    ] (  0,  0   )   byref  ->  zero-ref    "field V34._reference (fldOffset=0x0)" P-INDEP
+;* V70 tmp62        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
+;* V71 tmp63        [V71    ] (  0,  0   )   byref  ->  zero-ref    "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V72 tmp64        [V72    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;* V73 tmp65        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V40._reference (fldOffset=0x0)" P-INDEP
+;* V74 tmp66        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V40._length (fldOffset=0x8)" P-INDEP
+;* V75 tmp67        [V75    ] (  0,  0   )   byref  ->  zero-ref    "field V41._reference (fldOffset=0x0)" P-INDEP
+;* V76 tmp68        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
+;* V77 tmp69        [V77    ] (  0,  0   )   byref  ->  zero-ref    "field V46._reference (fldOffset=0x0)" P-INDEP
+;* V78 tmp70        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V46._length (fldOffset=0x8)" P-INDEP
+;* V79 tmp71        [V79    ] (  0,  0   )   byref  ->  zero-ref    "field V47._reference (fldOffset=0x0)" P-INDEP
+;* V80 tmp72        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V47._length (fldOffset=0x8)" P-INDEP
+;* V81 tmp73        [V81    ] (  0,  0   )   byref  ->  zero-ref    "field V48._reference (fldOffset=0x0)" P-INDEP
+;* V82 tmp74        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V48._length (fldOffset=0x8)" P-INDEP
+;* V83 tmp75        [V83    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V49._reference (fldOffset=0x0)" P-INDEP
+;* V84 tmp76        [V84    ] (  0,  0   )     int  ->  zero-ref    "field V49._length (fldOffset=0x8)" P-INDEP
+;* V85 tmp77        [V85    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
+;* V86 tmp78        [V86    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
+;  V87 tmp79        [V87,T11] (  5, 72.92)   byref  ->  rdi         single-def "V00.[000..008)"
+;  V88 tmp80        [V88,T12] (  5, 72.92)     int  ->  rax         "V00.[008..012)"
+;* V89 cse0         [V89,T16] (  0,  0   )     int  ->  zero-ref    "CSE #04: moderate"
+;  V90 cse1         [V90,T08] (  3, 96   )     int  ->   r8         "CSE #05: moderate"
+;  V91 rat0         [V91,T13] (  5, 72.50)     int  ->  rcx         "Strength reduced derived IV"
+;  V92 rat1         [V92,T24] (  4, 12.50)     int  ->  rdx         "Trip count IV"
+;  V93 rat2         [V93,T17] (  7, 24.26)    long  ->  rcx         "Widened IV V03"
+;  V94 rat3         [V94    ] (  1,  1   )    long  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
+;  V95 rat4         [V95,T30] (  3,  3   )  struct (16) [rbp-0x48]  do-not-enreg[SFA] multireg-arg must-init single-def ptr "V00 shadow" <System.ReadOnlySpan`1[char]>
 ;
-; Lcl frame size = 88
+; Lcl frame size = 64
 
 G_M18776_IG01:
        push     rbp
        push     r15
-       push     r14
-       push     r13
-       push     r12
        push     rbx
-       sub      rsp, 88
-       lea      rbp, [rsp+0x80]
+       sub      rsp, 64
+       lea      rbp, [rsp+0x50]
        xor      eax, eax
-       mov      qword ptr [rbp-0x68], rax
+       mov      qword ptr [rbp-0x48], rax
        mov      rax, 0xD1FFAB1E
-       mov      qword ptr [rbp-0x30], rax
-       mov      bword ptr [rbp-0x50], rdi
-       mov      qword ptr [rbp-0x48], rsi
-						;; size=50 bbWeight=1 PerfScore 11.25
+       mov      qword ptr [rbp-0x18], rax
+       mov      bword ptr [rbp-0x38], rdi
+       mov      qword ptr [rbp-0x30], rsi
+						;; size=41 bbWeight=1 PerfScore 8.25
 G_M18776_IG02:
-       vmovdqu  xmm0, xmmword ptr [rbp-0x50]
-       vmovdqu  xmmword ptr [rbp-0x68], xmm0
+       vmovdqu  xmm0, xmmword ptr [rbp-0x38]
+       vmovdqu  xmmword ptr [rbp-0x48], xmm0
 						;; size=10 bbWeight=1 PerfScore 4.00
 G_M18776_IG03:
-       mov      rbx, bword ptr [rbp-0x68]
-       mov      r15d, dword ptr [rbp-0x60]
-       lea      r14, [rbp-0x40]
+       mov      rdi, bword ptr [rbp-0x48]
+       mov      eax, dword ptr [rbp-0x40]
+       lea      rbx, [rbp-0x28]
        test     dl, dl
-       jne      G_M18776_IG11
-						;; size=20 bbWeight=1 PerfScore 3.75
+       jne      G_M18776_IG17
+						;; size=19 bbWeight=1 PerfScore 3.75
 G_M18776_IG04:
-       xor      r13d, r13d
-       mov      r12d, 4
-						;; size=9 bbWeight=0.50 PerfScore 0.25
+       xor      ecx, ecx
+       mov      edx, 4
+						;; size=7 bbWeight=0.50 PerfScore 0.25
 G_M18776_IG05:
-       xor      eax, eax
+       xor      esi, esi
+       align    [0 bytes for IG06]
 						;; size=2 bbWeight=4 PerfScore 1.00
 G_M18776_IG06:
-       lea      ecx, [r13+0x03]
-       sub      ecx, eax
-       mov      dword ptr [rbp-0x54], eax
-       lea      edi, [rax+r13]
-       add      ecx, ecx
-       mov      edx, ecx
-       cmp      edi, 16
-       jae      G_M18776_IG13
-       mov      esi, edi
-       add      rsi, r14
-       mov      bword ptr [rbp-0x78], rsi
-       inc      ecx
-       mov      dword ptr [rbp-0x58], ecx
-       cmp      edx, r15d
-       jae      G_M18776_IG13
-       mov      edi, edx
-       movzx    rdi, word  ptr [rbx+2*rdi]
-       mov      rdx, 0xD1FFAB1E      ; code for System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       call     [rdx]System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       shl      eax, 4
-       mov      dword ptr [rbp-0x7C], eax
-       mov      edi, dword ptr [rbp-0x58]
-       cmp      edi, r15d
-       jae      G_M18776_IG13
-       movzx    rdi, word  ptr [rbx+2*rdi]
-       mov      rcx, 0xD1FFAB1E      ; code for System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       call     [rcx]System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       add      eax, dword ptr [rbp-0x7C]
-       mov      rdi, bword ptr [rbp-0x78]
-       mov      byte  ptr [rdi], al
-       mov      eax, dword ptr [rbp-0x54]
-       inc      eax
-       cmp      eax, 4
-       jl       SHORT G_M18776_IG06
-						;; size=120 bbWeight=32 PerfScore 928.00
+       lea      r8d, [rcx+0x03]
+       sub      r8d, esi
+       lea      r9d, [rcx+rsi]
+       add      r8d, r8d
+       mov      r10d, r8d
+       cmp      r9d, 16
+       jae      G_M18776_IG26
+       add      r9, rbx
+       cmp      r10d, eax
+       jae      G_M18776_IG26
+       movzx    r10, word  ptr [rdi+2*r10]
+       cmp      r10d, 256
+       jl       SHORT G_M18776_IG08
+						;; size=53 bbWeight=32 PerfScore 248.00
 G_M18776_IG07:
-       add      r13d, 4
-       dec      r12d
-       jne      G_M18776_IG05
-						;; size=13 bbWeight=4 PerfScore 6.00
+       mov      r11d, 255
+       jmp      SHORT G_M18776_IG09
+						;; size=8 bbWeight=8 PerfScore 18.00
 G_M18776_IG08:
+       mov      r11d, r10d
+       mov      r10, 0xD1FFAB1E      ; static handle
+       movzx    r11, byte  ptr [r10+r11]
+						;; size=18 bbWeight=8 PerfScore 20.00
+G_M18776_IG09:
+       cmp      r11d, 255
+       je       G_M18776_IG25
+       inc      r8d
+       movzx    r10, r11b
+       shl      r10d, 4
+       cmp      r8d, eax
+       jae      G_M18776_IG26
+       movzx    r8, word  ptr [rdi+2*r8]
+       cmp      r8d, 256
+       jl       SHORT G_M18776_IG11
+						;; size=47 bbWeight=32 PerfScore 216.00
+G_M18776_IG10:
+       mov      r11d, 255
+       jmp      SHORT G_M18776_IG12
+						;; size=8 bbWeight=8 PerfScore 18.00
+G_M18776_IG11:
+       mov      r11d, r8d
+       mov      r8, 0xD1FFAB1E      ; static handle
+       movzx    r11, byte  ptr [r8+r11]
+						;; size=18 bbWeight=8 PerfScore 20.00
+G_M18776_IG12:
+       cmp      r11d, 255
+       je       G_M18776_IG25
+       movzx    r8, r11b
+       add      r8d, r10d
+       mov      byte  ptr [r9], r8b
+       inc      esi
+       cmp      esi, 4
+       jl       G_M18776_IG06
+						;; size=34 bbWeight=32 PerfScore 136.00
+G_M18776_IG13:
+       add      ecx, 4
+       dec      edx
+       jne      G_M18776_IG05
+						;; size=11 bbWeight=4 PerfScore 6.00
+G_M18776_IG14:
        mov      rdi, 0xD1FFAB1E      ; System.Net.IPAddress
        call     CORINFO_HELP_NEWSFAST
-       mov      rbx, rax
-       mov      rsi, r14
+       mov      r15, rax
+       mov      rsi, rbx
        mov      edx, 16
-       mov      rdi, rbx
+       mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Net.IPAddress:.ctor(System.ReadOnlySpan`1[byte]):this
        call     [rax]System.Net.IPAddress:.ctor(System.ReadOnlySpan`1[byte]):this
-       mov      rax, rbx
+       mov      rax, r15
        mov      r9, 0xD1FFAB1E
-       cmp      qword ptr [rbp-0x30], r9
-       je       SHORT G_M18776_IG09
+       cmp      qword ptr [rbp-0x18], r9
+       je       SHORT G_M18776_IG15
        call     CORINFO_HELP_FAIL_FAST
 						;; size=65 bbWeight=1 PerfScore 10.00
-G_M18776_IG09:
+G_M18776_IG15:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
-G_M18776_IG10:
-       add      rsp, 88
+G_M18776_IG16:
+       add      rsp, 64
        pop      rbx
-       pop      r12
-       pop      r13
-       pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=15 bbWeight=1 PerfScore 4.25
-G_M18776_IG11:
-       xor      r13d, r13d
-						;; size=3 bbWeight=0.50 PerfScore 0.12
-G_M18776_IG12:
-       lea      r12d, [r13+r13]
-       mov      edi, r12d
-       lea      rax, bword ptr [r14+r13]
-       mov      bword ptr [rbp-0x70], rax
-       inc      r12d
-       cmp      edi, r15d
-       jae      SHORT G_M18776_IG13
-       movzx    rdi, word  ptr [rbx+2*rdi]
-       mov      rcx, 0xD1FFAB1E      ; code for System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       call     [rcx]System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       shl      eax, 4
-       mov      dword ptr [rbp-0x7C], eax
-       cmp      r12d, r15d
-       jae      SHORT G_M18776_IG13
-       mov      edi, r12d
-       movzx    rdi, word  ptr [rbx+2*rdi]
-       mov      rcx, 0xD1FFAB1E      ; code for System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       call     [rcx]System.Net.NetworkInformation.StringParsingHelpers:HexToByte(char):byte
-       add      eax, dword ptr [rbp-0x7C]
-       mov      r12, bword ptr [rbp-0x70]
-       mov      byte  ptr [r12], al
-       inc      r13d
-       cmp      r13d, 16
-       jl       SHORT G_M18776_IG12
-       jmp      G_M18776_IG08
-						;; size=95 bbWeight=3.96 PerfScore 103.95
-G_M18776_IG13:
+						;; size=9 bbWeight=1 PerfScore 2.75
+G_M18776_IG17:
+       xor      ecx, ecx
+       jmp      SHORT G_M18776_IG23
+						;; size=4 bbWeight=0.50 PerfScore 1.12
+G_M18776_IG18:
+       mov      r8d, edx
+       mov      rdx, 0xD1FFAB1E      ; static handle
+       movzx    r8, byte  ptr [rdx+r8]
+						;; size=18 bbWeight=1.98 PerfScore 4.95
+G_M18776_IG19:
+       cmp      r8d, 255
+       je       G_M18776_IG25
+       lea      edx, [2*rcx+0x01]
+       movzx    r8, r8b
+       shl      r8d, 4
+       cmp      edx, eax
+       jae      G_M18776_IG26
+       movzx    rdx, word  ptr [rdi+2*rdx]
+       cmp      edx, 256
+       jl       SHORT G_M18776_IG21
+						;; size=48 bbWeight=3.96 PerfScore 27.72
+G_M18776_IG20:
+       mov      r9d, 255
+       jmp      SHORT G_M18776_IG22
+						;; size=8 bbWeight=1.98 PerfScore 4.46
+G_M18776_IG21:
+       mov      r9d, edx
+       mov      rdx, 0xD1FFAB1E      ; static handle
+       movzx    r9, byte  ptr [rdx+r9]
+						;; size=18 bbWeight=1.98 PerfScore 4.95
+G_M18776_IG22:
+       cmp      r9d, 255
+       je       SHORT G_M18776_IG25
+       movzx    rdx, r9b
+       add      edx, r8d
+       mov      byte  ptr [rsi], dl
+       inc      ecx
+       cmp      ecx, 16
+       jge      G_M18776_IG14
+						;; size=29 bbWeight=3.96 PerfScore 16.83
+G_M18776_IG23:
+       lea      edx, [rcx+rcx]
+       lea      rsi, bword ptr [rbx+rcx]
+       cmp      edx, eax
+       jae      SHORT G_M18776_IG26
+       movzx    rdx, word  ptr [rdi+2*rdx]
+       cmp      edx, 256
+       jl       G_M18776_IG18
+						;; size=27 bbWeight=3.96 PerfScore 21.78
+G_M18776_IG24:
+       mov      r8d, 255
+       jmp      G_M18776_IG19
+						;; size=11 bbWeight=1.98 PerfScore 4.46
+G_M18776_IG25:
+       mov      rax, 0xD1FFAB1E      ; code for System.Net.NetworkInformation.ExceptionHelper:CreateForParseFailure():System.Net.NetworkInformation.NetworkInformationException
+       call     [rax]System.Net.NetworkInformation.ExceptionHelper:CreateForParseFailure():System.Net.NetworkInformation.NetworkInformationException
+       mov      rdi, rax
+       call     CORINFO_HELP_THROW
+       int3     
+						;; size=21 bbWeight=0 PerfScore 0.00
+G_M18776_IG26:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 409, prolog size 42, PerfScore 1072.83, instruction count 111, allocated bytes for code 409 (MethodHash=ef77b6a7) for method System.Net.NetworkInformation.StringParsingHelpers:ParseIPv6HexString(System.ReadOnlySpan`1[char],bool):System.Net.IPAddress (FullOpts)
+; Total bytes of code 541, prolog size 41, PerfScore 798.52, instruction count 129, allocated bytes for code 541 (MethodHash=ef77b6a7) for method System.Net.NetworkInformation.StringParsingHelpers:ParseIPv6HexString(System.ReadOnlySpan`1[char],bool):System.Net.IPAddress (FullOpts)
 ; ============================================================

74 (26.91 % of base) - System.Uri:CheckForUnicodeOrEscapedUnreserved(System.String):bool

 ; Assembly listing for method System.Uri:CheckForUnicodeOrEscapedUnreserved(System.String):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; 7 single block inlinees; 2 inlinees without PGO data
+; 0 inlinees with PGO data; 11 single block inlinees; 9 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T01] (  9, 12.25)     ref  ->  rbx         class-hnd single-def <System.String>
-;  V01 loc0         [V01,T00] ( 10, 24.25)     int  ->  rax        
-;  V02 loc1         [V02,T03] (  3, 10   )  ushort  ->  rdi        
-;  V03 loc2         [V03,T07] (  3,  6   )  ushort  ->  r13        
+;  V00 arg0         [V00,T01] (  9, 16   )     ref  ->  rbx         class-hnd single-def <System.String>
+;  V01 loc0         [V01,T00] ( 10, 28   )     int  ->  rax        
+;  V02 loc1         [V02,T06] (  3, 10   )  ushort  ->  rdi        
+;* V03 loc2         [V03    ] (  0,  0   )  ushort  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[char]>
 ;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
 ;* V07 tmp3         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
 ;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
-;  V09 tmp5         [V09,T12] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V10 tmp6         [V10,T13] (  2,  2   )     int  ->  rsi         "Inlining Arg"
-;  V11 tmp7         [V11,T09] (  2,  4   )     ref  ->  rdx         class-hnd exact single-def "Inlining Arg" <System.Buffers.AsciiCharSearchValues`2[System.Buffers.IndexOfAnyAsciiSearcher+Ssse3AndWasmHandleZeroInNeedle,System.Buffers.SearchValues+FalseConst]>
+;  V09 tmp5         [V09,T15] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V10 tmp6         [V10,T16] (  2,  2   )     int  ->  rsi         "Inlining Arg"
+;  V11 tmp7         [V11,T12] (  2,  4   )     ref  ->  rdx         class-hnd exact single-def "Inlining Arg" <System.Buffers.AsciiCharSearchValues`2[System.Buffers.IndexOfAnyAsciiSearcher+Ssse3AndWasmHandleZeroInNeedle,System.Buffers.SearchValues+FalseConst]>
 ;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
 ;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
 ;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V17 tmp13        [V17    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.Buffers.SearchValues`1[char]>
-;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
-;  V20 tmp16        [V20,T10] (  3,  2   )   byref  ->  rdi         "field V06._reference (fldOffset=0x0)" P-INDEP
-;  V21 tmp17        [V21,T11] (  3,  2   )     int  ->  rsi         "field V06._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
-;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
-;  V30 tmp26        [V30,T06] (  2,  8   )     int  ->  rdi         "argument with side effect"
-;  V31 tmp27        [V31,T02] (  3, 12   )     ref  ->  rdi         "argument with side effect"
-;  V32 cse0         [V32,T04] (  7,  9.50)     int  ->  r15         multi-def "CSE #01: aggressive"
-;  V33 cse1         [V33,T05] (  4,  8   )     int  ->  r14         "CSE #03: aggressive"
-;  V34 cse2         [V34,T08] (  3,  6   )     int  ->  rax         "CSE #02: moderate"
+;  V17 tmp13        [V17,T07] (  4,  8   )  ushort  ->  r14         "Inline return value spill temp"
+;  V18 tmp14        [V18,T04] (  3, 12   )     int  ->  rdi         "Inlining Arg"
+;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;  V20 tmp16        [V20,T05] (  3, 12   )     int  ->  rax         "Inlining Arg"
+;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;  V22 tmp18        [V22,T08] (  4,  8   )     int  ->  rcx         "Inline return value spill temp"
+;* V23 tmp19        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V24 tmp20        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V25 tmp21        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V26 tmp22        [V26,T09] (  4,  8   )     int  ->  rdi         "Inline return value spill temp"
+;* V27 tmp23        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V28 tmp24        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V29 tmp25        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V30 tmp26        [V30    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.Buffers.SearchValues`1[char]>
+;* V31 tmp27        [V31    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V32 tmp28        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;  V33 tmp29        [V33,T13] (  3,  2   )   byref  ->  rdi         "field V06._reference (fldOffset=0x0)" P-INDEP
+;  V34 tmp30        [V34,T14] (  3,  2   )     int  ->  rsi         "field V06._length (fldOffset=0x8)" P-INDEP
+;* V35 tmp31        [V35    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V36 tmp32        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V37 tmp33        [V37    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V38 tmp34        [V38    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V39 tmp35        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V40 tmp36        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;* V41 tmp37        [V41    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V42 tmp38        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V43 tmp39        [V43    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V44 tmp40        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;* V45 tmp41        [V45    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V46 tmp42        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;* V47 tmp43        [V47    ] (  0,  0   )   byref  ->  zero-ref    "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V48 tmp44        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V49 tmp45        [V49    ] (  0,  0   )   byref  ->  zero-ref    "field V27._reference (fldOffset=0x0)" P-INDEP
+;* V50 tmp46        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
+;* V51 tmp47        [V51    ] (  0,  0   )   byref  ->  zero-ref    "field V28._reference (fldOffset=0x0)" P-INDEP
+;* V52 tmp48        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
+;* V53 tmp49        [V53    ] (  0,  0   )   byref  ->  zero-ref    "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V54 tmp50        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;  V55 tmp51        [V55,T03] (  3, 12   )     ref  ->  rdi         "argument with side effect"
+;  V56 cse0         [V56,T02] (  7, 17   )     int  ->  rsi         multi-def "CSE #01: aggressive"
+;  V57 cse1         [V57,T10] (  4,  8   )     int  ->  r15         "CSE #03: moderate"
+;  V58 cse2         [V58,T11] (  3,  6   )     int  ->  rax         "CSE #02: moderate"
 ;
-; Lcl frame size = 0
+; Lcl frame size = 8
 
 G_M10187_IG01:
        push     rbp
        push     r15
        push     r14
-       push     r13
        push     rbx
+       push     rax
        lea      rbp, [rsp+0x20]
        mov      rbx, rdi
-						;; size=16 bbWeight=1 PerfScore 5.75
+						;; size=15 bbWeight=1 PerfScore 5.75
 G_M10187_IG02:
        test     rbx, rbx
        je       SHORT G_M10187_IG04
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M10187_IG03:
        lea      rdi, bword ptr [rbx+0x0C]
-       mov      r15d, dword ptr [rbx+0x08]
-       mov      esi, r15d
+       mov      esi, dword ptr [rbx+0x08]
        jmp      SHORT G_M10187_IG05
-						;; size=13 bbWeight=0.50 PerfScore 2.38
+						;; size=9 bbWeight=0.50 PerfScore 2.25
 G_M10187_IG04:
        xor      rdi, rdi
        xor      esi, esi
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M10187_IG05:
        mov      rdx, 0xD1FFAB1E      ; const ptr
        mov      rdx, gword ptr [rdx]
        add      rdx, 8
        mov      rax, 0xD1FFAB1E      ; code for System.Buffers.IndexOfAnyAsciiSearcher:IndexOfAnyCore[int,System.Buffers.IndexOfAnyAsciiSearcher+Negate,System.Buffers.IndexOfAnyAsciiSearcher+Ssse3AndWasmHandleZeroInNeedle,System.Buffers.SearchValues+FalseConst,System.Buffers.IndexOfAnyAsciiSearcher+IndexOfAnyResultMapper`1[short]](byref,int,byref):int
        call     [rax]System.Buffers.IndexOfAnyAsciiSearcher:IndexOfAnyCore[int,System.Buffers.IndexOfAnyAsciiSearcher+Negate,System.Buffers.IndexOfAnyAsciiSearcher+Ssse3AndWasmHandleZeroInNeedle,System.Buffers.SearchValues+FalseConst,System.Buffers.IndexOfAnyAsciiSearcher+IndexOfAnyResultMapper`1[short]](byref,int,byref):int
        test     eax, eax
-       jl       G_M10187_IG14
+       jge      G_M10187_IG17
 						;; size=37 bbWeight=1 PerfScore 7.00
 G_M10187_IG06:
-       mov      r15d, dword ptr [rbx+0x08]
-       cmp      r15d, eax
-       jle      G_M10187_IG14
-						;; size=13 bbWeight=0.25 PerfScore 0.81
+       xor      eax, eax
+						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M10187_IG07:
-       mov      edi, eax
-       movzx    rdi, word  ptr [rbx+2*rdi+0x0C]
-       cmp      edi, 37
-       je       SHORT G_M10187_IG11
-						;; size=12 bbWeight=4 PerfScore 14.00
-G_M10187_IG08:
-       cmp      edi, 127
-       jle      SHORT G_M10187_IG13
-						;; size=5 bbWeight=2 PerfScore 2.50
-G_M10187_IG09:
-       mov      eax, 1
-						;; size=5 bbWeight=0.50 PerfScore 0.12
-G_M10187_IG10:
+       add      rsp, 8
        pop      rbx
-       pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=9 bbWeight=0.50 PerfScore 1.75
-G_M10187_IG11:
-       lea      r14d, [rax+0x02]
-       cmp      r15d, r14d
-       jbe      SHORT G_M10187_IG13
+						;; size=11 bbWeight=0.50 PerfScore 1.62
+G_M10187_IG08:
+       lea      r15d, [rax+0x02]
+       cmp      esi, r15d
+       jbe      G_M10187_IG16
        inc      eax
-       cmp      eax, r15d
-       jae      G_M10187_IG17
+       cmp      eax, esi
+       jae      G_M10187_IG22
        mov      edi, eax
        movzx    rdi, word  ptr [rbx+2*rdi+0x0C]
-       mov      esi, r14d
-       movzx    rsi, word  ptr [rbx+2*rsi+0x0C]
-       mov      rax, 0xD1FFAB1E      ; code for System.UriHelper:DecodeHexChars(int,int):char
-       call     [rax]System.UriHelper:DecodeHexChars(int,int):char
-       mov      r13d, eax
-       cmp      r13d, 127
-       jg       SHORT G_M10187_IG09
+       mov      eax, r15d
+       movzx    rax, word  ptr [rbx+2*rax+0x0C]
+       cmp      edi, 256
+       jb       SHORT G_M10187_IG09
+       mov      ecx, 255
+       jmp      SHORT G_M10187_IG10
+						;; size=53 bbWeight=2 PerfScore 22.50
+G_M10187_IG09:
+       mov      ecx, edi
+       mov      rdi, 0xD1FFAB1E      ; static handle
+       movzx    rcx, byte  ptr [rdi+rcx]
+						;; size=16 bbWeight=2 PerfScore 5.00
+G_M10187_IG10:
+       cmp      eax, 256
+       jb       SHORT G_M10187_IG11
+       mov      edi, 255
+       jmp      SHORT G_M10187_IG12
+						;; size=14 bbWeight=2 PerfScore 7.00
+G_M10187_IG11:
+       mov      edi, eax
+       mov      rax, 0xD1FFAB1E      ; static handle
+       movzx    rdi, byte  ptr [rax+rdi]
+						;; size=17 bbWeight=2 PerfScore 5.00
+G_M10187_IG12:
+       mov      eax, ecx
+       or       eax, edi
+       cmp      eax, 255
+       je       SHORT G_M10187_IG13
+       shl      ecx, 4
+       or       edi, ecx
+       movzx    r14, di
+       jmp      SHORT G_M10187_IG14
+						;; size=22 bbWeight=2 PerfScore 9.50
+G_M10187_IG13:
+       mov      r14d, 0xFFFF
+						;; size=6 bbWeight=2 PerfScore 0.50
+G_M10187_IG14:
+       cmp      r14d, 127
+       jg       SHORT G_M10187_IG19
        mov      rdi, 0xD1FFAB1E      ; global ptr
        test     byte  ptr [rdi], 1
-       je       SHORT G_M10187_IG16
-						;; size=71 bbWeight=2 PerfScore 33.50
-G_M10187_IG12:
+       je       SHORT G_M10187_IG21
+						;; size=21 bbWeight=2 PerfScore 11.00
+G_M10187_IG15:
        mov      rdi, 0xD1FFAB1E      ; data for System.UriHelper:Unreserved
        mov      rdi, gword ptr [rdi]
-       mov      esi, r13d
+       mov      esi, r14d
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x40]
        call     [rax+0x28]System.Buffers.SearchValues`1[char]:ContainsCore(char):bool:this
        test     eax, eax
-       jne      SHORT G_M10187_IG09
-       mov      eax, r14d
+       jne      SHORT G_M10187_IG19
+       mov      eax, r15d
 						;; size=33 bbWeight=2 PerfScore 22.00
-G_M10187_IG13:
+G_M10187_IG16:
        inc      eax
-       cmp      r15d, eax
-       jg       G_M10187_IG07
-						;; size=11 bbWeight=4 PerfScore 6.00
-G_M10187_IG14:
-       xor      eax, eax
-						;; size=2 bbWeight=0.50 PerfScore 0.12
-G_M10187_IG15:
+						;; size=2 bbWeight=4 PerfScore 1.00
+G_M10187_IG17:
+       mov      esi, dword ptr [rbx+0x08]
+       cmp      esi, eax
+       jle      G_M10187_IG06
+       cmp      eax, esi
+       jae      SHORT G_M10187_IG22
+       mov      edi, eax
+       movzx    rdi, word  ptr [rbx+2*rdi+0x0C]
+       cmp      edi, 37
+       je       G_M10187_IG08
+						;; size=31 bbWeight=4 PerfScore 32.00
+G_M10187_IG18:
+       cmp      edi, 127
+       jle      SHORT G_M10187_IG16
+						;; size=5 bbWeight=2 PerfScore 2.50
+G_M10187_IG19:
+       mov      eax, 1
+						;; size=5 bbWeight=0.50 PerfScore 0.12
+G_M10187_IG20:
+       add      rsp, 8
        pop      rbx
-       pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=9 bbWeight=0.50 PerfScore 1.75
-G_M10187_IG16:
+						;; size=11 bbWeight=0.50 PerfScore 1.62
+G_M10187_IG21:
        mov      rdi, 0xD1FFAB1E      ; System.UriHelper
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
        call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
-       jmp      SHORT G_M10187_IG12
+       jmp      SHORT G_M10187_IG15
 						;; size=24 bbWeight=0 PerfScore 0.00
-G_M10187_IG17:
+G_M10187_IG22:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 275, prolog size 16, PerfScore 99.19, instruction count 81, allocated bytes for code 275 (MethodHash=7251d834) for method System.Uri:CheckForUnicodeOrEscapedUnreserved(System.String):bool (FullOpts)
+; Total bytes of code 349, prolog size 15, PerfScore 138.00, instruction count 100, allocated bytes for code 349 (MethodHash=7251d834) for method System.Uri:CheckForUnicodeOrEscapedUnreserved(System.String):bool (FullOpts)
 ; ============================================================

65 (28.38 % of base) - System.Uri:HexUnescape(System.String,byref):char

 ; Assembly listing for method System.Uri:HexUnescape(System.String,byref):char (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; 1 single block inlinees; 3 inlinees without PGO data
+; 0 inlinees with PGO data; 5 single block inlinees; 10 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  7,  5.50)     ref  ->  rbx         class-hnd single-def <System.String>
-;  V01 arg1         [V01,T01] (  7,  5   )   byref  ->  r15         single-def
-;  V02 loc0         [V02,T13] (  3,  1.50)  ushort  ->  rax        
-;  V03 loc1         [V03,T10] (  4,  2   )     int  ->  rax        
+;  V00 arg0         [V00,T00] (  7,  5.50)     ref  ->  rdi         class-hnd single-def <System.String>
+;  V01 arg1         [V01,T02] (  5,  4   )   byref  ->  rsi         single-def
+;* V02 loc0         [V02    ] (  0,  0   )  ushort  ->  zero-ref   
+;  V03 loc1         [V03,T12] (  4,  2   )     int  ->  rbx        
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V05 tmp1         [V05,T05] (  3,  4   )     int  ->  rdi         "Inlining Arg"
-;  V06 tmp2         [V06,T06] (  3,  4   )     int  ->  rdi         ld-addr-op "Inlining Arg"
-;  V07 tmp3         [V07,T07] (  3,  4   )     int  ->  rsi         "Inlining Arg"
+;  V05 tmp1         [V05,T05] (  3,  4   )     int  ->  rax         "Inlining Arg"
+;  V06 tmp2         [V06,T06] (  3,  4   )     int  ->  rdx         ld-addr-op "Inlining Arg"
+;  V07 tmp3         [V07,T07] (  3,  4   )     int  ->  rax         "Inlining Arg"
 ;* V08 tmp4         [V08    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;  V09 tmp5         [V09,T02] (  3,  6   )     int  ->  rdi         "index expr"
-;  V10 tmp6         [V10,T08] (  3,  3   )     int  ->  rdi         "index expr"
-;  V11 tmp7         [V11,T09] (  3,  3   )     int  ->  r14         "index expr"
-;  V12 tmp8         [V12,T11] (  2,  2   )     int  ->  rdi         "argument with side effect"
-;  V13 tmp9         [V13,T12] (  2,  2   )     int  ->  rsi         "argument with side effect"
-;  V14 cse0         [V14,T03] (  7,  5.50)     int  ->  r14         "CSE #01: aggressive"
-;  V15 cse1         [V15,T04] (  7,  5   )     int  ->  r13         "CSE #02: aggressive"
+;  V09 tmp5         [V09,T13] (  4,  2   )  ushort  ->  rax         "Inline return value spill temp"
+;  V10 tmp6         [V10,T08] (  3,  3   )     int  ->  rax         "Inlining Arg"
+;* V11 tmp7         [V11    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;  V12 tmp8         [V12,T09] (  3,  3   )     int  ->  rcx         "Inlining Arg"
+;* V13 tmp9         [V13    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;  V14 tmp10        [V14,T14] (  4,  2   )     int  ->  rdx         "Inline return value spill temp"
+;* V15 tmp11        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V16 tmp12        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V17 tmp13        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V18 tmp14        [V18,T15] (  4,  2   )     int  ->  rax         "Inline return value spill temp"
+;* V19 tmp15        [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;* V20 tmp16        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V21 tmp17        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V24 tmp20        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V25 tmp21        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V26 tmp22        [V26    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V27 tmp23        [V27    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V28 tmp24        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V29 tmp25        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;* V30 tmp26        [V30    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V31 tmp27        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp28        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
+;* V33 tmp29        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;  V34 tmp30        [V34,T03] (  3,  6   )     int  ->  rax         "index expr"
+;  V35 tmp31        [V35,T10] (  3,  3   )     int  ->  rax         "index expr"
+;  V36 tmp32        [V36,T11] (  3,  3   )     int  ->  rcx         "index expr"
+;  V37 cse0         [V37,T01] (  9,  6.50)     int  ->  rbx         "CSE #01: aggressive"
+;  V38 cse1         [V38,T04] (  7,  5   )     int  ->  r15         "CSE #02: aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M12625_IG01:
        push     rbp
        push     r15
-       push     r14
-       push     r13
        push     rbx
-       lea      rbp, [rsp+0x20]
-       mov      rbx, rdi
-       mov      r15, rsi
-						;; size=19 bbWeight=1 PerfScore 6.00
+       lea      rbp, [rsp+0x10]
+						;; size=9 bbWeight=1 PerfScore 3.50
 G_M12625_IG02:
-       mov      r14d, dword ptr [r15]
-       mov      edi, r14d
-       test     edi, edi
-       jl       G_M12625_IG08
-       mov      edi, r14d
-       mov      r13d, dword ptr [rbx+0x08]
-       mov      esi, r13d
-       cmp      edi, esi
-       jge      G_M12625_IG09
-       mov      edi, r14d
-       cmp      edi, r13d
-       jae      G_M12625_IG10
-       cmp      word  ptr [rbx+2*rdi+0x0C], 37
-       jne      SHORT G_M12625_IG04
+       mov      ebx, dword ptr [rsi]
+       mov      eax, ebx
+       test     eax, eax
+       jl       G_M12625_IG14
+       mov      edx, ebx
+       mov      r15d, dword ptr [rdi+0x08]
+       mov      eax, r15d
+       cmp      edx, eax
+       jge      G_M12625_IG15
+       mov      eax, ebx
+       cmp      eax, r15d
+       jae      G_M12625_IG16
+       cmp      word  ptr [rdi+2*rax+0x0C], 37
+       jne      G_M12625_IG10
 						;; size=52 bbWeight=1 PerfScore 12.75
 G_M12625_IG03:
-       mov      edi, r13d
-       sub      edi, r14d
-       cmp      edi, 3
-       jl       SHORT G_M12625_IG04
-       lea      edi, [r14+0x01]
-       cmp      edi, r13d
-       jae      G_M12625_IG10
-       movzx    rdi, word  ptr [rbx+2*rdi+0x0C]
-       add      r14d, 2
-       cmp      r14d, r13d
-       jae      SHORT G_M12625_IG10
-       mov      esi, r14d
-       movzx    rsi, word  ptr [rbx+2*rsi+0x0C]
-       mov      rax, 0xD1FFAB1E      ; code for System.UriHelper:DecodeHexChars(int,int):char
-       call     [rax]System.UriHelper:DecodeHexChars(int,int):char
-       cmp      eax, 0xFFFF
-       jne      SHORT G_M12625_IG06
-						;; size=65 bbWeight=0.50 PerfScore 6.88
+       mov      eax, r15d
+       sub      eax, ebx
+       cmp      eax, 3
+       jl       G_M12625_IG10
+       lea      eax, [rbx+0x01]
+       cmp      eax, r15d
+       jae      G_M12625_IG16
+       movzx    rax, word  ptr [rdi+2*rax+0x0C]
+       lea      ecx, [rbx+0x02]
+       cmp      ecx, r15d
+       jae      G_M12625_IG16
+       movzx    rcx, word  ptr [rdi+2*rcx+0x0C]
+       cmp      eax, 256
+       jb       SHORT G_M12625_IG04
+       mov      edx, 255
+       jmp      SHORT G_M12625_IG05
+						;; size=62 bbWeight=0.50 PerfScore 6.38
 G_M12625_IG04:
-       mov      eax, dword ptr [r15]
-       lea      edi, [rax+0x01]
-       mov      dword ptr [r15], edi
-       cmp      eax, r13d
-       jae      SHORT G_M12625_IG10
-       movzx    rax, word  ptr [rbx+2*rax+0x0C]
-						;; size=19 bbWeight=0.50 PerfScore 3.38
+       mov      edx, eax
+       mov      rax, 0xD1FFAB1E      ; static handle
+       movzx    rdx, byte  ptr [rax+rdx]
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M12625_IG05:
-       pop      rbx
-       pop      r13
-       pop      r14
-       pop      r15
-       pop      rbp
-       ret      
-						;; size=9 bbWeight=0.50 PerfScore 1.75
+       cmp      ecx, 256
+       jb       SHORT G_M12625_IG06
+       mov      eax, 255
+       jmp      SHORT G_M12625_IG07
+						;; size=15 bbWeight=0.50 PerfScore 1.75
 G_M12625_IG06:
-       add      dword ptr [r15], 3
-						;; size=4 bbWeight=0.50 PerfScore 1.50
+       mov      eax, ecx
+       mov      rcx, 0xD1FFAB1E      ; static handle
+       movzx    rax, byte  ptr [rcx+rax]
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M12625_IG07:
+       mov      ecx, edx
+       or       ecx, eax
+       cmp      ecx, 255
+       je       SHORT G_M12625_IG08
+       shl      edx, 4
+       or       eax, edx
+       movzx    rax, ax
+       jmp      SHORT G_M12625_IG09
+						;; size=22 bbWeight=0.50 PerfScore 2.38
+G_M12625_IG08:
+       mov      eax, 0xFFFF
+						;; size=5 bbWeight=0.50 PerfScore 0.12
+G_M12625_IG09:
+       cmp      eax, 0xFFFF
+       jne      SHORT G_M12625_IG12
+						;; size=7 bbWeight=0.50 PerfScore 0.62
+G_M12625_IG10:
+       lea      eax, [rbx+0x01]
+       mov      dword ptr [rsi], eax
+       cmp      ebx, r15d
+       jae      SHORT G_M12625_IG16
+       mov      eax, ebx
+       movzx    rax, word  ptr [rdi+2*rax+0x0C]
+						;; size=17 bbWeight=0.50 PerfScore 2.50
+G_M12625_IG11:
        pop      rbx
-       pop      r13
-       pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=9 bbWeight=0.50 PerfScore 1.75
-G_M12625_IG08:
+						;; size=5 bbWeight=0.50 PerfScore 1.25
+G_M12625_IG12:
+       lea      edi, [rbx+0x03]
+       mov      dword ptr [rsi], edi
+						;; size=5 bbWeight=0.50 PerfScore 0.75
+G_M12625_IG13:
+       pop      rbx
+       pop      r15
+       pop      rbp
+       ret      
+						;; size=5 bbWeight=0.50 PerfScore 1.25
+G_M12625_IG14:
+       mov      edi, eax
        mov      rsi, 0xD1FFAB1E      ; 'index'
        mov      rax, 0xD1FFAB1E      ; code for System.ArgumentOutOfRangeException:ThrowNegative[int](int,System.String)
        call     [rax]System.ArgumentOutOfRangeException:ThrowNegative[int](int,System.String)
        int3     
-						;; size=23 bbWeight=0 PerfScore 0.00
-G_M12625_IG09:
+						;; size=25 bbWeight=0 PerfScore 0.00
+G_M12625_IG15:
+       mov      edi, edx
+       mov      esi, eax
        mov      rdx, 0xD1FFAB1E      ; 'index'
        mov      rax, 0xD1FFAB1E      ; code for System.ArgumentOutOfRangeException:ThrowGreaterEqual[int](int,int,System.String)
        call     [rax]System.ArgumentOutOfRangeException:ThrowGreaterEqual[int](int,int,System.String)
        int3     
-						;; size=23 bbWeight=0 PerfScore 0.00
-G_M12625_IG10:
+						;; size=27 bbWeight=0 PerfScore 0.00
+G_M12625_IG16:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 229, prolog size 13, PerfScore 34.00, instruction count 68, allocated bytes for code 229 (MethodHash=5019ceae) for method System.Uri:HexUnescape(System.String,byref):char (FullOpts)
+; Total bytes of code 294, prolog size 9, PerfScore 35.75, instruction count 84, allocated bytes for code 294 (MethodHash=5019ceae) for method System.Uri:HexUnescape(System.String,byref):char (FullOpts)
 ; ============================================================

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

[MihuBot]

Top method improvements

-22 (-18.97 % of base) - System.UriHelper:DecodeHexChars(int,int):char

 ; Assembly listing for method System.UriHelper:DecodeHexChars(int,int):char (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; 4 single block inlinees; 6 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
-;  V01 arg1         [V01,T01] (  5,  4   )     int  ->  rsi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
+;  V01 arg1         [V01,T01] (  4,  3.50)     int  ->  rsi         single-def
 ;* V02 loc0         [V02    ] (  0,  0   )     int  ->  zero-ref   
 ;* V03 loc1         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V05 tmp1         [V05,T02] (  4,  2   )     int  ->  rax         "Inline return value spill temp"
 ;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
 ;* V07 tmp3         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V08 tmp4         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;  V09 tmp5         [V09,T03] (  4,  2   )     int  ->  rcx         "Inline return value spill temp"
 ;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
 ;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V13 tmp9         [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
 ;* V14 tmp10        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
 ;* V15 tmp11        [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
 ;* V16 tmp12        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
 ;* V17 tmp13        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
 ;* V18 tmp14        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
 ;* V19 tmp15        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
 ;* V20 tmp16        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
 ;* V21 tmp17        [V21    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
 ;* V22 tmp18        [V22    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
 ;* V23 tmp19        [V23    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
 ;* V24 tmp20        [V24    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M20126_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M20126_IG02:
        cmp      edi, 256
-       jl       SHORT G_M20126_IG04
+       jb       SHORT G_M20126_IG04
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M20126_IG03:
        mov      eax, 255
        jmp      SHORT G_M20126_IG05
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M20126_IG04:
-       cmp      edi, 256
-       jae      SHORT G_M20126_IG10
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M20126_IG05:
        cmp      esi, 256
-       jl       SHORT G_M20126_IG07
+       jb       SHORT G_M20126_IG07
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M20126_IG06:
        mov      ecx, 255
        jmp      SHORT G_M20126_IG08
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M20126_IG07:
-       cmp      esi, 256
-       jae      SHORT G_M20126_IG10
        mov      ecx, esi
        mov      rdx, 0xD1FFAB1E      ; static handle
        movzx    rcx, byte  ptr [rdx+rcx]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M20126_IG08:
        mov      edx, eax
        or       edx, ecx
        shl      eax, 4
        or       eax, ecx
        movzx    rax, ax
        mov      ecx, 0xFFFF
        cmp      edx, 255
        cmove    eax, ecx
 						;; size=26 bbWeight=0.50 PerfScore 1.12
 G_M20126_IG09:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M20126_IG10:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 116, prolog size 4, PerfScore 11.62, instruction count 32, allocated bytes for code 116 (MethodHash=fa8fb161) for method System.UriHelper:DecodeHexChars(int,int):char (FullOpts)
+; Total bytes of code 94, prolog size 4, PerfScore 10.38, instruction count 26, allocated bytes for code 94 (MethodHash=fa8fb161) for method System.UriHelper:DecodeHexChars(int,int):char (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    single-def "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    single-def "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    single-def "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    single-def "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-39.22 % of base) - System.HexConverter:FromChar(int):int

 ; Assembly listing for method System.HexConverter:FromChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V05 tmp3         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref    "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V09 tmp7         [V09    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M45387_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M45387_IG02:
        cmp      edi, 256
-       jl       SHORT G_M45387_IG05
+       jb       SHORT G_M45387_IG05
 						;; size=8 bbWeight=1 PerfScore 1.25
 G_M45387_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M45387_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M45387_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M45387_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M45387_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M45387_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 51, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 51 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
+; Total bytes of code 31, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 31 (MethodHash=f74e4eb4) for method System.HexConverter:FromChar(int):int (FullOpts)
 ; ============================================================

-20 (-41.67 % of base) - System.HexConverter:FromUpperChar(int):int

 ; Assembly listing for method System.HexConverter:FromUpperChar(int):int (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rbp based frame
+; rsp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T00] (  5,  4   )     int  ->  rdi         single-def
+;  V00 arg0         [V00,T00] (  4,  3.50)     int  ->  rdi         single-def
 ;* V01 loc0         [V01    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V04 tmp2         [V04    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;* V05 tmp3         [V05    ] (  0,  0   )     int  ->  zero-ref    single-def "field V01._length (fldOffset=0x8)" P-INDEP
 ;* V06 tmp4         [V06    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref    single-def "field V03._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M46473_IG01:
-       push     rbp
-       mov      rbp, rsp
-						;; size=4 bbWeight=1 PerfScore 1.25
+						;; size=0 bbWeight=1 PerfScore 0.00
 G_M46473_IG02:
        cmp      edi, 71
-       jle      SHORT G_M46473_IG05
+       jbe      SHORT G_M46473_IG05
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M46473_IG03:
        mov      eax, 255
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M46473_IG04:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M46473_IG05:
-       cmp      edi, 256
-       jae      SHORT G_M46473_IG07
        mov      eax, edi
        mov      rcx, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rcx+rax]
-						;; size=24 bbWeight=0.50 PerfScore 1.88
+						;; size=16 bbWeight=0.50 PerfScore 1.25
 G_M46473_IG06:
-       pop      rbp
        ret      
-						;; size=2 bbWeight=0.50 PerfScore 0.75
-G_M46473_IG07:
-       call     CORINFO_HELP_RNGCHKFAIL
-       int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 48, prolog size 4, PerfScore 6.00, instruction count 16, allocated bytes for code 48 (MethodHash=22ee4a76) for method System.HexConverter:FromUpperChar(int):int (FullOpts)
+; Total bytes of code 28, prolog size 0, PerfScore 3.62, instruction count 8, allocated bytes for code 28 (MethodHash=22ee4a76) for method System.HexConverter:FromUpperChar(int):int (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/b9d7f7a0046dc3e4142baf42f8eba97f

[MihuBot]

@xtqqczze