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

[MihuBot]

Job completed in 18 minutes 41 seconds (remote runner delay: 1 minute 15 seconds).
https://github.com/xtqqczze/dotnet-runtime/tree/bounds-CharToHexLookup

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

Diffs

Found 98 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45376334
Total bytes of diff: 45375856
Total bytes of delta: -478 (-0.00 % of base)
Total relative delta: -9.25
    diff is an improvement.
    relative diff is an improvement.


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

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

Top method improvements (bytes):
         -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.Reflection.Metadata.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.Web.HttpUtility.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.Private.Xml.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.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.Primitives.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.Private.DataContractSerialization.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.Text.RegularExpressions.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.Xml.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.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 (-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)
         -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 improvements (percentages):
         -20 (-41.67 % of base) : System.Security.Cryptography.Pkcs.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 (-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 (-39.22 % of base) : System.Security.Cryptography.Pkcs.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.Text.Json.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Web.HttpUtility.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.Private.Xml.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.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.Primitives.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.Private.DataContractSerialization.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.Text.RegularExpressions.dasm - System.HexConverter:FromChar(int):int (FullOpts)
         -20 (-39.22 % of base) : System.Security.Cryptography.Xml.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)

25 total methods with Code Size differences (25 improved, 0 regressed), 284122 unchanged.

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

Artifacts:

• jit-diffs-main.zip (154 MB)
• jit-diffs-pr.zip (154 MB)
• diff-frameworks.txt (7 KB)
• LongDiffsImprovements.md (68 KB)
• ShortDiffsImprovements.md (59 KB)

[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    "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 (-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)
 ; ============================================================

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

[MihuBot]

@xtqqczze