[JitDiff X64] xtqqczze/dotnet-runtime/XmlConvert-TryFormat

[MihuBot]

Job completed in 16 minutes 7 seconds (remote runner delay: 43 seconds).

Using arguments: -NoPRLink

Diffs

Found 85 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 41739349
Total bytes of diff: 41739406
Total bytes of delta: 57 (0.00 % of base)
Total relative delta: 0.22
    diff is a regression.
    relative diff is a regression.


Top file regressions (bytes):
          57 : System.Private.Xml.dasm (0.00 % of base)

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

Top method regressions (bytes):
          20 (6.51 % of base) : System.Private.Xml.dasm - System.Xml.XmlConvert:TryFormat(double,System.Span`1[char],byref):bool (FullOpts)
          20 (6.60 % of base) : System.Private.Xml.dasm - System.Xml.XmlConvert:TryFormat(float,System.Span`1[char],byref):bool (FullOpts)
          15 (0.28 % of base) : System.Private.Xml.dasm - System.Xml.Serialization.XmlSerializationWriter:WriteTypedPrimitive(System.String,System.String,System.Object,bool):this (FullOpts)
           2 (9.09 % of base) : System.Private.Xml.dasm - System.Xml.XmlConvert:TryFormat(char,System.Span`1[char],byref):bool (FullOpts)

Top method regressions (percentages):
           2 (9.09 % of base) : System.Private.Xml.dasm - System.Xml.XmlConvert:TryFormat(char,System.Span`1[char],byref):bool (FullOpts)
          20 (6.60 % of base) : System.Private.Xml.dasm - System.Xml.XmlConvert:TryFormat(float,System.Span`1[char],byref):bool (FullOpts)
          20 (6.51 % of base) : System.Private.Xml.dasm - System.Xml.XmlConvert:TryFormat(double,System.Span`1[char],byref):bool (FullOpts)
          15 (0.28 % of base) : System.Private.Xml.dasm - System.Xml.Serialization.XmlSerializationWriter:WriteTypedPrimitive(System.String,System.String,System.Object,bool):this (FullOpts)

4 total methods with Code Size differences (0 improved, 4 regressed), 250845 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (88 MB)
• build-artifacts-main.zip (682 MB)
• build-clr-checked-pr.zip (88 MB)
• build-artifacts-pr.zip (93 MB)
• jit-diffs-main.zip (138 MB)
• jit-diffs-pr.zip (138 MB)
• diff-frameworks.txt (1 KB)
• ShortDiffsRegressions.md (37 KB)
• LongDiffsRegressions.md (294 KB)

[xtqqczze]

xtqqczze/dotnet-runtime@0972e96

[MihuBot]

Top method regressions

20 (6.51 % of base) - System.Xml.XmlConvert:TryFormat(double,System.Span`1[char],byref):bool

 ; Assembly listing for method System.Xml.XmlConvert:TryFormat(double,System.Span`1[char],byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 12 single block inlinees; 7 inlinees without PGO data
+; 0 inlinees with PGO data; 6 single block inlinees; 10 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T16] (  8,  5.50)  double  ->  [rbp-0x28]  ld-addr-op single-def
+;  V00 arg0         [V00,T10] (  8,  5.50)  double  ->  [rbp-0x28]  ld-addr-op single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[char]>
-;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rbx         single-def
-;* V03 loc0         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[char]>
-;# 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    "impAppendStmt" <System.ReadOnlySpan`1[char]>
-;  V06 tmp2         [V06,T08] (  3,  1.50)     ref  ->  rdx        
-;* V07 tmp3         [V07    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
-;* V08 tmp4         [V08    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
-;* V09 tmp5         [V09    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V11 tmp7         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V12 tmp8         [V12    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V14 tmp10        [V14    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.String>
-;* V15 tmp11        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V16 tmp12        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
-;  V17 tmp13        [V17,T06] (  2,  2   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V18 tmp14        [V18,T07] (  2,  2   )     int  ->  rdx         "Inlining Arg"
-;* V19 tmp15        [V19    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V20 tmp16        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V21 tmp17        [V21    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V22 tmp18        [V22    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V23 tmp19        [V23    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V24 tmp20        [V24,T04] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "Inlining Arg" <System.Globalization.NumberFormatInfo>
-;* V25 tmp21        [V25    ] (  0,  0   )  double  ->  zero-ref    "impAppendStmt"
-;  V26 tmp22        [V26,T09] (  3,  1.50)     ref  ->  rax         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
-;  V27 tmp23        [V27,T10] (  3,  1.50)   ubyte  ->  rax         "Inline stloc first use temp"
-;* V28 tmp24        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
-;* V29 tmp25        [V29    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V30 tmp26        [V30    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V31 tmp27        [V31    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V32 tmp28        [V32,T01] (  3,  2   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V33 tmp29        [V33,T02] (  3,  2   )     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V34 tmp30        [V34,T05] (  4,  2   )   byref  ->  rsi         "field V03._reference (fldOffset=0x0)" P-INDEP
-;  V35 tmp31        [V35,T03] (  6,  3   )     int  ->  rdx         "field V03._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp32        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp33        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
-;* V38 tmp34        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp35        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V40 tmp36        [V40,T11] (  2,  1   )   byref  ->  rsi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp37        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;  V42 tmp38        [V42,T12] (  2,  1   )   byref  ->  rsi         "field V13._reference (fldOffset=0x0)" P-INDEP
-;  V43 tmp39        [V43,T15] (  2,  1   )     int  ->  rdx         "field V13._length (fldOffset=0x8)" P-INDEP
-;* V44 tmp40        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V45 tmp41        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V46 tmp42        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V47 tmp43        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V48 tmp44        [V48    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V49 tmp45        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;  V50 tmp46        [V50,T13] (  2,  1   )   byref  ->  rsi         single-def "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V51 tmp47        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;  V52 tmp48        [V52,T14] (  2,  1   )   byref  ->  r13         single-def "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V53 tmp49        [V53    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V54 tmp50        [V54    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V28._reference (fldOffset=0x0)" P-INDEP
-;* V55 tmp51        [V55    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
+;  V02 arg2         [V02,T01] (  7,  4.50)   byref  ->  r15         single-def
+;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V04 tmp1         [V04    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[char]>
+;* V05 tmp2         [V05    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
+;* V06 tmp3         [V06    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
+;* V07 tmp4         [V07,T06] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V08 tmp5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V09 tmp6         [V09    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V10 tmp7         [V10    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V11 tmp8         [V11    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
+;* V12 tmp9         [V12,T07] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V13 tmp10        [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V14 tmp11        [V14    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V15 tmp12        [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V16 tmp13        [V16,T08] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V17 tmp14        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V18 tmp15        [V18    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V19 tmp16        [V19    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V20 tmp17        [V20,T09] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V21 tmp18        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V22 tmp19        [V22    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V23 tmp20        [V23    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V24 tmp21        [V24    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V25 tmp22        [V25    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V26 tmp23        [V26,T03] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "Inlining Arg" <System.Globalization.NumberFormatInfo>
+;* V27 tmp24        [V27    ] (  0,  0   )  double  ->  zero-ref    "impAppendStmt"
+;  V28 tmp25        [V28,T04] (  3,  1.50)     ref  ->  rax         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
+;* V29 tmp26        [V29    ] (  0,  0   )     int  ->  zero-ref    "Single return block return value"
+;  V30 tmp27        [V30,T00] (  8,  4.50)   byref  ->  rbx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V31 tmp28        [V31,T02] (  6,  3.50)     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp29        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V33 tmp30        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V34 tmp31        [V34    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V35 tmp32        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V36 tmp33        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V37 tmp34        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V38 tmp35        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp36        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp37        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp38        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;  V42 tmp39        [V42,T05] (  2,  1   )   byref  ->  r13         single-def "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp40        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M39468_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x30]
-       mov      r15, rdi
+       mov      rbx, rdi
        mov      r14d, esi
-       mov      rbx, rdx
+       mov      r15, rdx
 						;; size=26 bbWeight=1 PerfScore 6.50
 G_M39468_IG02:
        vmovq    rax, xmm0
        mov      rcx, 0xD1FFAB1E
        andn     rax, rax, rcx
        je       G_M39468_IG08
 						;; size=26 bbWeight=1 PerfScore 3.75
 G_M39468_IG03:
        vmovsd   qword ptr [rbp-0x28], xmm0
        mov      rax, 0xD1FFAB1E      ; code for System.Xml.XmlConvert:IsNegativeZero(double):bool
        call     [rax]System.Xml.XmlConvert:IsNegativeZero(double):bool
        test     eax, eax
        jne      SHORT G_M39468_IG07
        mov      r13, 0xD1FFAB1E
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:get_InvariantInfo():System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:get_InvariantInfo():System.Globalization.NumberFormatInfo
        test     rax, rax
        jne      SHORT G_M39468_IG04
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
        jmp      SHORT G_M39468_IG05
 						;; size=62 bbWeight=0.50 PerfScore 7.75
 G_M39468_IG04:
        mov      rdi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
 						;; size=15 bbWeight=0.50 PerfScore 1.75
 G_M39468_IG05:
-       mov      rcx, r15
+       mov      rcx, rbx
        mov      r8d, r14d
        mov      rdi, r13
        mov      esi, 1
        vmovsd   xmm0, qword ptr [rbp-0x28]
        mov      rdx, rax
-       mov      r9, rbx
+       mov      r9, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Number:TryFormatFloat[double,char](double,System.ReadOnlySpan`1[char],System.Globalization.NumberFormatInfo,System.Span`1[char],byref):bool
 						;; size=35 bbWeight=0.50 PerfScore 2.38
 G_M39468_IG06:
        add      rsp, 16
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        tail.jmp [rax]System.Number:TryFormatFloat[double,char](double,System.ReadOnlySpan`1[char],System.Globalization.NumberFormatInfo,System.Span`1[char],byref):bool
 						;; size=15 bbWeight=0.50 PerfScore 3.38
 G_M39468_IG07:
-       mov      rsi, 0xD1FFAB1E
-       mov      edx, 2
-       jmp      SHORT G_M39468_IG10
-						;; size=17 bbWeight=0.50 PerfScore 1.25
+       cmp      r14d, 2
+       jl       SHORT G_M39468_IG11
+       mov      dword ptr [rbx], 0xD1FFAB1E
+       mov      dword ptr [r15], 2
+       jmp      SHORT G_M39468_IG15
+						;; size=21 bbWeight=0.50 PerfScore 2.62
 G_M39468_IG08:
        vucomisd xmm0, xmm0
-       jp       SHORT G_M39468_IG09
-       jne      SHORT G_M39468_IG09
-       vmovq    rsi, xmm0
-       mov      rdx, 0xD1FFAB1E      ; '-INF'
-       mov      rdi, 0xD1FFAB1E      ; 'INF'
-       test     rsi, rsi
-       cmovge   rdx, rdi
-       lea      rsi, bword ptr [rdx+0x0C]
-       mov      edx, dword ptr [rdx+0x08]
-       jmp      SHORT G_M39468_IG10
-						;; size=49 bbWeight=0.50 PerfScore 5.75
+       jp       SHORT G_M39468_IG10
+       jne      SHORT G_M39468_IG10
+       vmovq    rax, xmm0
+       test     rax, rax
+       jl       SHORT G_M39468_IG09
+       cmp      r14d, 3
+       jl       SHORT G_M39468_IG11
+       mov      dword ptr [rbx], 0xD1FFAB1E
+       mov      word  ptr [rbx+0x04], 70
+       jmp      SHORT G_M39468_IG14
+						;; size=38 bbWeight=0.50 PerfScore 6.25
 G_M39468_IG09:
-       mov      rsi, 0xD1FFAB1E
-       mov      edx, 3
-						;; size=15 bbWeight=0.50 PerfScore 0.25
+       cmp      r14d, 4
+       jl       SHORT G_M39468_IG11
+       mov      rax, 0xD1FFAB1E
+       mov      qword ptr [rbx], rax
+       mov      dword ptr [r15], 4
+       jmp      SHORT G_M39468_IG15
+						;; size=28 bbWeight=0.50 PerfScore 2.75
 G_M39468_IG10:
-       mov      dword ptr [rbx], edx
-       xor      eax, eax
-       cmp      edx, r14d
-       jg       SHORT G_M39468_IG11
-       mov      edx, edx
-       add      rdx, rdx
-       mov      rdi, r15
-       mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
-       call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
-       mov      eax, 1
-						;; size=34 bbWeight=0.50 PerfScore 3.38
+       cmp      r14d, 3
+       jge      SHORT G_M39468_IG13
+						;; size=6 bbWeight=0.50 PerfScore 0.62
 G_M39468_IG11:
+       xor      eax, eax
+       mov      dword ptr [r15], eax
+						;; size=5 bbWeight=0.50 PerfScore 0.62
+G_M39468_IG12:
+       add      rsp, 16
+       pop      rbx
+       pop      r13
+       pop      r14
+       pop      r15
+       pop      rbp
+       ret      
+						;; size=13 bbWeight=0.50 PerfScore 1.88
+G_M39468_IG13:
+       mov      dword ptr [rbx], 0xD1FFAB1E
+       mov      word  ptr [rbx+0x04], 78
+						;; size=12 bbWeight=0.50 PerfScore 1.00
+G_M39468_IG14:
+       mov      dword ptr [r15], 3
+						;; size=7 bbWeight=0.50 PerfScore 0.50
+G_M39468_IG15:
+       mov      eax, 1
+						;; size=5 bbWeight=0.50 PerfScore 0.12
+G_M39468_IG16:
        add      rsp, 16
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=13 bbWeight=0.50 PerfScore 1.88
 
-; Total bytes of code 307, prolog size 17, PerfScore 38.00, instruction count 78, allocated bytes for code 307 (MethodHash=fd9465d3) for method System.Xml.XmlConvert:TryFormat(double,System.Span`1[char],byref):bool (FullOpts)
+; Total bytes of code 327, prolog size 17, PerfScore 43.75, instruction count 89, allocated bytes for code 327 (MethodHash=fd9465d3) for method System.Xml.XmlConvert:TryFormat(double,System.Span`1[char],byref):bool (FullOpts)
 ; ============================================================

20 (6.60 % of base) - System.Xml.XmlConvert:TryFormat(float,System.Span`1[char],byref):bool

 ; Assembly listing for method System.Xml.XmlConvert:TryFormat(float,System.Span`1[char],byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 12 single block inlinees; 7 inlinees without PGO data
+; 0 inlinees with PGO data; 6 single block inlinees; 10 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T16] (  8,  5.50)   float  ->  [rbp-0x24]  ld-addr-op single-def
+;  V00 arg0         [V00,T10] (  8,  5.50)   float  ->  [rbp-0x24]  ld-addr-op single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[char]>
-;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rbx         single-def
-;* V03 loc0         [V03    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[char]>
-;# 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    "impAppendStmt" <System.ReadOnlySpan`1[char]>
-;  V06 tmp2         [V06,T08] (  3,  1.50)     ref  ->  rdx        
-;* V07 tmp3         [V07    ] (  0,  0   )   float  ->  zero-ref    "Inlining Arg"
-;* V08 tmp4         [V08    ] (  0,  0   )   float  ->  zero-ref    "Inlining Arg"
-;* V09 tmp5         [V09    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V10 tmp6         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V11 tmp7         [V11    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V12 tmp8         [V12    ] (  0,  0   )   float  ->  zero-ref    "Inlining Arg"
-;* V13 tmp9         [V13    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V14 tmp10        [V14    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.String>
-;* V15 tmp11        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V16 tmp12        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
-;  V17 tmp13        [V17,T06] (  2,  2   )   byref  ->  rsi         single-def "Inlining Arg"
-;  V18 tmp14        [V18,T07] (  2,  2   )     int  ->  rdx         "Inlining Arg"
-;* V19 tmp15        [V19    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
-;* V20 tmp16        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V21 tmp17        [V21    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V22 tmp18        [V22    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
-;* V23 tmp19        [V23    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;  V24 tmp20        [V24,T04] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "Inlining Arg" <System.Globalization.NumberFormatInfo>
-;* V25 tmp21        [V25    ] (  0,  0   )   float  ->  zero-ref    "impAppendStmt"
-;  V26 tmp22        [V26,T09] (  3,  1.50)     ref  ->  rax         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
-;  V27 tmp23        [V27,T10] (  3,  1.50)   ubyte  ->  rax         "Inline stloc first use temp"
-;* V28 tmp24        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
-;* V29 tmp25        [V29    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V30 tmp26        [V30    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V31 tmp27        [V31    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V32 tmp28        [V32,T01] (  3,  2   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V33 tmp29        [V33,T02] (  3,  2   )     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V34 tmp30        [V34,T05] (  4,  2   )   byref  ->  rsi         "field V03._reference (fldOffset=0x0)" P-INDEP
-;  V35 tmp31        [V35,T03] (  6,  3   )     int  ->  rdx         "field V03._length (fldOffset=0x8)" P-INDEP
-;* V36 tmp32        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
-;* V37 tmp33        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
-;* V38 tmp34        [V38    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
-;* V39 tmp35        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
-;  V40 tmp36        [V40,T11] (  2,  1   )   byref  ->  rsi         single-def "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V41 tmp37        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;  V42 tmp38        [V42,T12] (  2,  1   )   byref  ->  rsi         "field V13._reference (fldOffset=0x0)" P-INDEP
-;  V43 tmp39        [V43,T15] (  2,  1   )     int  ->  rdx         "field V13._length (fldOffset=0x8)" P-INDEP
-;* V44 tmp40        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V45 tmp41        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V46 tmp42        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V47 tmp43        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V48 tmp44        [V48    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
-;* V49 tmp45        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
-;  V50 tmp46        [V50,T13] (  2,  1   )   byref  ->  rsi         single-def "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V51 tmp47        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;  V52 tmp48        [V52,T14] (  2,  1   )   byref  ->  r13         single-def "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V53 tmp49        [V53    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V54 tmp50        [V54    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V28._reference (fldOffset=0x0)" P-INDEP
-;* V55 tmp51        [V55    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
+;  V02 arg2         [V02,T01] (  7,  4.50)   byref  ->  r15         single-def
+;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V04 tmp1         [V04    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[char]>
+;* V05 tmp2         [V05    ] (  0,  0   )   float  ->  zero-ref    "Inlining Arg"
+;* V06 tmp3         [V06    ] (  0,  0   )   float  ->  zero-ref    "Inlining Arg"
+;* V07 tmp4         [V07,T06] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V08 tmp5         [V08    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V09 tmp6         [V09    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V10 tmp7         [V10    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V11 tmp8         [V11    ] (  0,  0   )   float  ->  zero-ref    "Inlining Arg"
+;* V12 tmp9         [V12,T07] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V13 tmp10        [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V14 tmp11        [V14    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V15 tmp12        [V15    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V16 tmp13        [V16,T08] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V17 tmp14        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V18 tmp15        [V18    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V19 tmp16        [V19    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V20 tmp17        [V20,T09] (  0,  0   )   ubyte  ->  zero-ref    "Inline stloc first use temp"
+;* V21 tmp18        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[char]>
+;* V22 tmp19        [V22    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V23 tmp20        [V23    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V24 tmp21        [V24    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
+;* V25 tmp22        [V25    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;  V26 tmp23        [V26,T03] (  3,  3   )     ref  ->  rax         class-hnd exact single-def "Inlining Arg" <System.Globalization.NumberFormatInfo>
+;* V27 tmp24        [V27    ] (  0,  0   )   float  ->  zero-ref    "impAppendStmt"
+;  V28 tmp25        [V28,T04] (  3,  1.50)     ref  ->  rax         class-hnd exact "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
+;* V29 tmp26        [V29    ] (  0,  0   )     int  ->  zero-ref    "Single return block return value"
+;  V30 tmp27        [V30,T00] (  8,  4.50)   byref  ->  rbx         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V31 tmp28        [V31,T02] (  6,  3.50)     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V32 tmp29        [V32    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V33 tmp30        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V34 tmp31        [V34    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V35 tmp32        [V35    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V36 tmp33        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V37 tmp34        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V38 tmp35        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp36        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp37        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp38        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;  V42 tmp39        [V42,T05] (  2,  1   )   byref  ->  r13         single-def "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp40        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 16
 
 G_M55721_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     rbx
        sub      rsp, 16
        lea      rbp, [rsp+0x30]
-       mov      r15, rdi
+       mov      rbx, rdi
        mov      r14d, esi
-       mov      rbx, rdx
+       mov      r15, rdx
 						;; size=26 bbWeight=1 PerfScore 6.50
 G_M55721_IG02:
        vmovd    eax, xmm0
        mov      ecx, 0xD1FFAB1E
        andn     eax, eax, ecx
        je       G_M55721_IG08
 						;; size=20 bbWeight=1 PerfScore 3.75
 G_M55721_IG03:
        vmovss   dword ptr [rbp-0x24], xmm0
        vcvtss2sd xmm0, xmm0, xmm0
        mov      rax, 0xD1FFAB1E      ; code for System.Xml.XmlConvert:IsNegativeZero(double):bool
        call     [rax]System.Xml.XmlConvert:IsNegativeZero(double):bool
        test     eax, eax
        jne      SHORT G_M55721_IG07
        mov      r13, 0xD1FFAB1E
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:get_InvariantInfo():System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:get_InvariantInfo():System.Globalization.NumberFormatInfo
        test     rax, rax
        jne      SHORT G_M55721_IG04
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
        jmp      SHORT G_M55721_IG05
 						;; size=66 bbWeight=0.50 PerfScore 9.75
 G_M55721_IG04:
        mov      rdi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:<GetInstance>g__GetProviderNonNull|58_0(System.IFormatProvider):System.Globalization.NumberFormatInfo
 						;; size=15 bbWeight=0.50 PerfScore 1.75
 G_M55721_IG05:
-       mov      rcx, r15
+       mov      rcx, rbx
        mov      r8d, r14d
        mov      rdi, r13
        mov      esi, 1
        vmovss   xmm0, dword ptr [rbp-0x24]
        mov      rdx, rax
-       mov      r9, rbx
+       mov      r9, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Number:TryFormatFloat[float,char](float,System.ReadOnlySpan`1[char],System.Globalization.NumberFormatInfo,System.Span`1[char],byref):bool
 						;; size=35 bbWeight=0.50 PerfScore 2.38
 G_M55721_IG06:
        add      rsp, 16
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        tail.jmp [rax]System.Number:TryFormatFloat[float,char](float,System.ReadOnlySpan`1[char],System.Globalization.NumberFormatInfo,System.Span`1[char],byref):bool
 						;; size=15 bbWeight=0.50 PerfScore 3.38
 G_M55721_IG07:
-       mov      rsi, 0xD1FFAB1E
-       mov      edx, 2
-       jmp      SHORT G_M55721_IG10
-						;; size=17 bbWeight=0.50 PerfScore 1.25
+       cmp      r14d, 2
+       jl       SHORT G_M55721_IG11
+       mov      dword ptr [rbx], 0xD1FFAB1E
+       mov      dword ptr [r15], 2
+       jmp      SHORT G_M55721_IG15
+						;; size=21 bbWeight=0.50 PerfScore 2.62
 G_M55721_IG08:
        vucomiss xmm0, xmm0
-       jp       SHORT G_M55721_IG09
-       jne      SHORT G_M55721_IG09
-       vmovd    esi, xmm0
-       mov      rdx, 0xD1FFAB1E      ; '-INF'
-       mov      rdi, 0xD1FFAB1E      ; 'INF'
-       test     esi, esi
-       cmovge   rdx, rdi
-       lea      rsi, bword ptr [rdx+0x0C]
-       mov      edx, dword ptr [rdx+0x08]
-       jmp      SHORT G_M55721_IG10
-						;; size=47 bbWeight=0.50 PerfScore 5.75
+       jp       SHORT G_M55721_IG10
+       jne      SHORT G_M55721_IG10
+       vmovd    eax, xmm0
+       test     eax, eax
+       jl       SHORT G_M55721_IG09
+       cmp      r14d, 3
+       jl       SHORT G_M55721_IG11
+       mov      dword ptr [rbx], 0xD1FFAB1E
+       mov      word  ptr [rbx+0x04], 70
+       jmp      SHORT G_M55721_IG14
+						;; size=36 bbWeight=0.50 PerfScore 6.25
 G_M55721_IG09:
-       mov      rsi, 0xD1FFAB1E
-       mov      edx, 3
-						;; size=15 bbWeight=0.50 PerfScore 0.25
+       cmp      r14d, 4
+       jl       SHORT G_M55721_IG11
+       mov      rax, 0xD1FFAB1E
+       mov      qword ptr [rbx], rax
+       mov      dword ptr [r15], 4
+       jmp      SHORT G_M55721_IG15
+						;; size=28 bbWeight=0.50 PerfScore 2.75
 G_M55721_IG10:
-       mov      dword ptr [rbx], edx
-       xor      eax, eax
-       cmp      edx, r14d
-       jg       SHORT G_M55721_IG11
-       mov      edx, edx
-       add      rdx, rdx
-       mov      rdi, r15
-       mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
-       call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
-       mov      eax, 1
-						;; size=34 bbWeight=0.50 PerfScore 3.38
+       cmp      r14d, 3
+       jge      SHORT G_M55721_IG13
+						;; size=6 bbWeight=0.50 PerfScore 0.62
 G_M55721_IG11:
+       xor      eax, eax
+       mov      dword ptr [r15], eax
+						;; size=5 bbWeight=0.50 PerfScore 0.62
+G_M55721_IG12:
+       add      rsp, 16
+       pop      rbx
+       pop      r13
+       pop      r14
+       pop      r15
+       pop      rbp
+       ret      
+						;; size=13 bbWeight=0.50 PerfScore 1.88
+G_M55721_IG13:
+       mov      dword ptr [rbx], 0xD1FFAB1E
+       mov      word  ptr [rbx+0x04], 78
+						;; size=12 bbWeight=0.50 PerfScore 1.00
+G_M55721_IG14:
+       mov      dword ptr [r15], 3
+						;; size=7 bbWeight=0.50 PerfScore 0.50
+G_M55721_IG15:
+       mov      eax, 1
+						;; size=5 bbWeight=0.50 PerfScore 0.12
+G_M55721_IG16:
        add      rsp, 16
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=13 bbWeight=0.50 PerfScore 1.88
 
-; Total bytes of code 303, prolog size 17, PerfScore 40.00, instruction count 79, allocated bytes for code 303 (MethodHash=15552656) for method System.Xml.XmlConvert:TryFormat(float,System.Span`1[char],byref):bool (FullOpts)
+; Total bytes of code 323, prolog size 17, PerfScore 45.75, instruction count 90, allocated bytes for code 323 (MethodHash=15552656) for method System.Xml.XmlConvert:TryFormat(float,System.Span`1[char],byref):bool (FullOpts)
 ; ============================================================

2 (9.09 % of base) - System.Xml.XmlConvert:TryFormat(char,System.Span`1[char],byref):bool

 ; Assembly listing for method System.Xml.XmlConvert:TryFormat(char,System.Span`1[char],byref):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rsp based frame
 ; partially interruptible
 ; No PGO data
+; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00,T01] (  3,  2.50)  ushort  ->  rdi         single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[char]>
-;  V02 arg2         [V02,T00] (  3,  3   )   byref  ->  rcx         single-def
+;  V02 arg2         [V02,T00] (  4,  3   )   byref  ->  rcx         single-def
 ;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V04 tmp1         [V04,T03] (  2,  1.50)   byref  ->  rsi         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
 ;  V05 tmp2         [V05,T02] (  2,  2   )     int  ->  rdx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
 ;
 ; Lcl frame size = 0
 
 G_M17921_IG01:
 						;; size=0 bbWeight=1 PerfScore 0.00
 G_M17921_IG02:
-       mov      dword ptr [rcx], 1
        test     edx, edx
-       jle      SHORT G_M17921_IG05
-						;; size=10 bbWeight=1 PerfScore 2.25
+       jne      SHORT G_M17921_IG05
+						;; size=4 bbWeight=1 PerfScore 1.25
 G_M17921_IG03:
-       mov      word  ptr [rsi], di
-       mov      eax, 1
-						;; size=8 bbWeight=0.50 PerfScore 0.62
+       xor      eax, eax
+       mov      dword ptr [rcx], eax
+						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M17921_IG04:
        ret      
 						;; size=1 bbWeight=0.50 PerfScore 0.50
 G_M17921_IG05:
-       xor      eax, eax
-						;; size=2 bbWeight=0.50 PerfScore 0.12
+       mov      word  ptr [rsi], di
+       mov      dword ptr [rcx], 1
+       mov      eax, 1
+						;; size=14 bbWeight=0.50 PerfScore 1.12
 G_M17921_IG06:
        ret      
 						;; size=1 bbWeight=0.50 PerfScore 0.50
 
-; Total bytes of code 22, prolog size 0, PerfScore 4.00, instruction count 8, allocated bytes for code 22 (MethodHash=622bb9fe) for method System.Xml.XmlConvert:TryFormat(char,System.Span`1[char],byref):bool (FullOpts)
+; Total bytes of code 24, prolog size 0, PerfScore 4.00, instruction count 9, allocated bytes for code 24 (MethodHash=622bb9fe) for method System.Xml.XmlConvert:TryFormat(char,System.Span`1[char],byref):bool (FullOpts)
 ; ============================================================

Note: some changes were skipped as they were too large to fit into a comment.

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

[MihuBot]

@xtqqczze

[xtqqczze]

dotnet/runtime#120017