[JitDiff X64] xtqqczze/dotnet-runtime/Int128BitCast

[MihuBot]

Job completed in 14 minutes.

Diffs

Found 263 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 41566430
Total bytes of diff: 41566524
Total bytes of delta: 94 (0.00 % of base)
Total relative delta: 0.17
    diff is a regression.
    relative diff is a regression.


Top file regressions (bytes):
         120 : System.Text.Json.dasm (0.01 % of base)

Top file improvements (bytes):
         -26 : System.Private.CoreLib.dasm (-0.00 % of base)

2 total files with Code Size differences (1 improved, 1 regressed), 257 unchanged.

Top method regressions (bytes):
         110 (18.55 % of base) : System.Private.CoreLib.dasm - System.Int128:TryFormat(System.Span`1[ushort],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
          77 (9.96 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:WriteAsPropertyNameCore(System.Text.Json.Utf8JsonWriter,System.Int128,System.Text.Json.JsonSerializerOptions,ubyte):this (FullOpts)
          49 (7.04 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:Format(System.Span`1[ubyte],System.Int128,byref) (FullOpts)
          40 (2.90 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:WriteNumberWithCustomHandling(System.Text.Json.Utf8JsonWriter,System.Int128,int):this (FullOpts)
           5 (4.10 % of base) : System.Private.CoreLib.dasm - System.Int128:ToString(System.String):System.String:this (FullOpts)
           2 (1.85 % of base) : System.Private.CoreLib.dasm - System.Int128:ToString(System.IFormatProvider):System.String:this (FullOpts)

Top method improvements (bytes):
         -77 (-6.22 % of base) : System.Private.CoreLib.dasm - System.Number:TryFormatInt128[ubyte](System.Int128,System.ReadOnlySpan`1[ushort],System.IFormatProvider,System.Span`1[ubyte],byref):ubyte (FullOpts)
         -55 (-7.54 % of base) : System.Private.CoreLib.dasm - System.Int128:TryFormat(System.Span`1[ubyte],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
         -46 (-5.01 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:WriteCore(System.Text.Json.Utf8JsonWriter,System.Int128) (FullOpts)
          -6 (-3.97 % of base) : System.Private.CoreLib.dasm - System.Int128:BigMul(System.Int128,System.Int128,byref):System.Int128 (FullOpts)
          -3 (-2.05 % of base) : System.Private.CoreLib.dasm - System.Number:FormatInt128(System.Int128,System.String,System.IFormatProvider):System.String (FullOpts)
          -2 (-2.25 % of base) : System.Private.CoreLib.dasm - System.Number:Int128ToDecStr(System.Int128):System.String (FullOpts)

Top method regressions (percentages):
         110 (18.55 % of base) : System.Private.CoreLib.dasm - System.Int128:TryFormat(System.Span`1[ushort],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
          77 (9.96 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:WriteAsPropertyNameCore(System.Text.Json.Utf8JsonWriter,System.Int128,System.Text.Json.JsonSerializerOptions,ubyte):this (FullOpts)
          49 (7.04 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:Format(System.Span`1[ubyte],System.Int128,byref) (FullOpts)
           5 (4.10 % of base) : System.Private.CoreLib.dasm - System.Int128:ToString(System.String):System.String:this (FullOpts)
          40 (2.90 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:WriteNumberWithCustomHandling(System.Text.Json.Utf8JsonWriter,System.Int128,int):this (FullOpts)
           2 (1.85 % of base) : System.Private.CoreLib.dasm - System.Int128:ToString(System.IFormatProvider):System.String:this (FullOpts)

Top method improvements (percentages):
         -55 (-7.54 % of base) : System.Private.CoreLib.dasm - System.Int128:TryFormat(System.Span`1[ubyte],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
         -77 (-6.22 % of base) : System.Private.CoreLib.dasm - System.Number:TryFormatInt128[ubyte](System.Int128,System.ReadOnlySpan`1[ushort],System.IFormatProvider,System.Span`1[ubyte],byref):ubyte (FullOpts)
         -46 (-5.01 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.Converters.Int128Converter:WriteCore(System.Text.Json.Utf8JsonWriter,System.Int128) (FullOpts)
          -6 (-3.97 % of base) : System.Private.CoreLib.dasm - System.Int128:BigMul(System.Int128,System.Int128,byref):System.Int128 (FullOpts)
          -2 (-2.25 % of base) : System.Private.CoreLib.dasm - System.Number:Int128ToDecStr(System.Int128):System.String (FullOpts)
          -3 (-2.05 % of base) : System.Private.CoreLib.dasm - System.Number:FormatInt128(System.Int128,System.String,System.IFormatProvider):System.String (FullOpts)

12 total methods with Code Size differences (6 improved, 6 regressed), 252722 unchanged.

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

Artifacts:

• build-artifacts-main.zip (651 MB)
• build-clr-checked-main.zip (86 MB)
• build-artifacts-pr.zip (652 MB)
• build-clr-checked-pr.zip (86 MB)
• diff-frameworks.txt (4 KB)
• jit-diffs-frameworks.zip (276 MB)

[MihuBot]

Top method regressions

110 (18.55 % of base) - System.Int128:TryFormat(System.Span`1[ushort],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this

 ; Assembly listing for method System.Int128:TryFormat(System.Span`1[ushort],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 22 single block inlinees; 12 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T05] (  4,  4   )   byref  ->  rdi         this single-def
+;  V00 this         [V00,T13] (  4,  4   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[ushort]>
-;  V02 arg2         [V02,T04] (  6,  4   )   byref  ->  rbx         single-def
+;  V02 arg2         [V02,T12] (  6,  4   )   byref  ->  rbx         single-def
 ;* V03 arg3         [V03    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.ReadOnlySpan`1[ushort]>
-;  V04 arg4         [V04,T24] (  3,  1.50)     ref  ->   r8         class-hnd single-def <System.IFormatProvider>
+;  V04 arg4         [V04,T30] (  3,  1.50)     ref  ->   r8         class-hnd single-def <System.IFormatProvider>
 ;  V05 OutArgs      [V05    ] (  1,  1   )  struct (16) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
-;  V06 tmp1         [V06,T18] (  4,  2.50)   ubyte  ->  rax         "Inline return value spill temp"
+;  V06 tmp1         [V06,T25] (  4,  2.50)   ubyte  ->  rax         "Inline return value spill temp"
 ;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
 ;* V08 tmp3         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg "Inlining Arg" <System.Int128>
 ;* V09 tmp4         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.UInt128>
 ;* V10 tmp5         [V10    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ushort]>
-;  V11 tmp6         [V11,T25] (  3,  1.50)     ref  ->  rax         class-hnd "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
+;  V11 tmp6         [V11,T31] (  3,  1.50)     ref  ->  rax         class-hnd "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
 ;* V12 tmp7         [V12    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[ushort]>
 ;* V13 tmp8         [V13    ] (  0,  0   )  struct (16) zero-ref    multireg-arg "Inline return value spill temp" <System.ReadOnlySpan`1[ushort]>
-;  V14 tmp9         [V14,T09] (  4,  4   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.String>
+;  V14 tmp9         [V14,T19] (  4,  4   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.String>
 ;* V15 tmp10        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ushort]>
 ;* V16 tmp11        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[ushort]>
-;  V17 tmp12        [V17,T21] (  2,  2   )   byref  ->  rcx         single-def "Inlining Arg"
-;  V18 tmp13        [V18,T22] (  2,  2   )     int  ->   r8         "Inlining Arg"
-;* V19 tmp14        [V19    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.UInt128>
-;* V20 tmp15        [V20    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V21 tmp16        [V21    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V22 tmp17        [V22,T27] (  3,  1.50)   ubyte  ->  rax         "Inline return value spill temp"
-;* V23 tmp18        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V24 tmp19        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V25 tmp20        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ushort]>
-;  V26 tmp21        [V26    ] (  2,  1   )   byref  ->  [rbp-0x30]  must-init pinned "Inline stloc first use temp"
-;  V27 tmp22        [V27,T28] (  3,  1.50)    long  ->  r14         "Inline stloc first use temp"
-;* V28 tmp23        [V28    ] (  0,  0   )    long  ->  zero-ref   
-;  V29 tmp24        [V29,T16] (  5,  2.50)     int  ->  rax         "Inline return value spill temp"
-;* V30 tmp25        [V30    ] (  0,  0   )  struct (16) zero-ref    multireg-ret ld-addr-op "Inlining Arg" <System.UInt128>
-;* V31 tmp26        [V31    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;  V32 tmp27        [V32,T17] (  5,  2.50)     int  ->  rax         "Inline stloc first use temp"
-;* V33 tmp28        [V33    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.UInt128>
-;* V34 tmp29        [V34    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.UInt128>
-;* V35 tmp30        [V35    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBR] multireg-ret "Return value temp for multireg return" <System.UInt128>
-;* V36 tmp31        [V36    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V37 tmp32        [V37    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V38 tmp33        [V38    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
-;  V39 tmp34        [V39,T29] (  3,  1.50)     int  ->  rax         "Inline stloc first use temp"
-;* V40 tmp35        [V40    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
-;* V41 tmp36        [V41    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;* V42 tmp37        [V42    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
-;* V43 tmp38        [V43    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
-;* V44 tmp39        [V44    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;  V17 tmp12        [V17,T27] (  2,  2   )   byref  ->  rcx         single-def "Inlining Arg"
+;  V18 tmp13        [V18,T28] (  2,  2   )     int  ->   r8         "Inlining Arg"
+;  V19 tmp14        [V19,T33] (  3,  1.50)   ubyte  ->  rax         "Inline return value spill temp"
+;* V20 tmp15        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V21 tmp16        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V22 tmp17        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ushort]>
+;  V23 tmp18        [V23    ] (  2,  1   )   byref  ->  [rbp-0x30]  must-init pinned "Inline stloc first use temp"
+;  V24 tmp19        [V24,T34] (  3,  1.50)    long  ->  r14         "Inline stloc first use temp"
+;* V25 tmp20        [V25    ] (  0,  0   )    long  ->  zero-ref   
+;  V26 tmp21        [V26,T23] (  5,  2.50)     int  ->  rax         "Inline return value spill temp"
+;* V27 tmp22        [V27    ] (  0,  0   )  struct (16) zero-ref    multireg-ret ld-addr-op "Inlining Arg" <System.UInt128>
+;* V28 tmp23        [V28    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
+;  V29 tmp24        [V29,T24] (  5,  2.50)     int  ->  rax         "Inline stloc first use temp"
+;* V30 tmp25        [V30    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.UInt128>
+;* V31 tmp26        [V31    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.UInt128>
+;* V32 tmp27        [V32    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBR] multireg-ret "Return value temp for multireg return" <System.UInt128>
+;* V33 tmp28        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V34 tmp29        [V34    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V35 tmp30        [V35    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
+;  V36 tmp31        [V36,T35] (  3,  1.50)     int  ->  rax         "Inline stloc first use temp"
+;* V37 tmp32        [V37    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
+;* V38 tmp33        [V38    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
+;* V39 tmp34        [V39    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
+;* V40 tmp35        [V40    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
+;* V41 tmp36        [V41    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V42 tmp37        [V42    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V43 tmp38        [V43    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V44 tmp39        [V44    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
 ;* V45 tmp40        [V45    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V46 tmp41        [V46    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
-;* V47 tmp42        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V48 tmp43        [V48    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V49 tmp44        [V49    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
-;  V50 tmp45        [V50,T30] (  3,  1.50)     int  ->  rsi         "Inline stloc first use temp"
-;* V51 tmp46        [V51    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
-;* V52 tmp47        [V52    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;* V53 tmp48        [V53    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
-;* V54 tmp49        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
-;* V55 tmp50        [V55    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V56 tmp51        [V56    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V57 tmp52        [V57    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
-;  V58 tmp53        [V58,T20] (  4,  2   )     int  ->  rsi         "Inline return value spill temp"
-;* V59 tmp54        [V59    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ushort]>
-;* V60 tmp55        [V60    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inlining Arg" <System.UInt128>
-;  V61 tmp56        [V61,T00] (  4, 18   )    long  ->  r14         "Inlining Arg"
-;* V62 tmp57        [V62    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inline ldloca(s) first use temp" <System.UInt128>
-;  V63 tmp58        [V63    ] (  4, 16   )  struct (32) [rbp-0x50]  do-not-enreg[XS] addr-exposed "Inline stloc first use temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
-;* V64 tmp59        [V64    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.UInt128>
-;  V65 tmp60        [V65,T06] (  5,  3   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V66 tmp61        [V66,T07] (  4,  2.50)     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V67 tmp62        [V67,T14] (  2,  1.50)   byref  ->  rdx         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
-;  V68 tmp63        [V68,T08] (  3,  2.50)     int  ->   r9         single-def "field V03._length (fldOffset=0x8)" P-INDEP
-;* V69 tmp64        [V69    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V70 tmp65        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V71 tmp66        [V71,T19] (  4,  2.50)    long  ->  r13         "field V08._lower (fldOffset=0x0)" P-INDEP
-;  V72 tmp67        [V72,T15] (  5,  3   )    long  ->  r12         "field V08._upper (fldOffset=0x8)" P-INDEP
-;* V73 tmp68        [V73    ] (  0,  0   )    long  ->  zero-ref    "field V09._lower (fldOffset=0x0)" P-INDEP
-;* V74 tmp69        [V74    ] (  0,  0   )    long  ->  zero-ref    "field V09._upper (fldOffset=0x8)" P-INDEP
-;* V75 tmp70        [V75    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V76 tmp71        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V77 tmp72        [V77    ] (  0,  0   )   byref  ->  zero-ref    "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V78 tmp73        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V79 tmp74        [V79,T26] (  3,  1.50)   byref  ->  rcx         "field V13._reference (fldOffset=0x0)" P-INDEP
-;  V80 tmp75        [V80,T31] (  3,  1.50)     int  ->   r8         "field V13._length (fldOffset=0x8)" P-INDEP
-;  V81 tmp76        [V81,T33] (  2,  1   )   byref  ->  rcx         single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;  V82 tmp77        [V82,T34] (  2,  1   )     int  ->   r8         "field V15._length (fldOffset=0x8)" P-INDEP
-;* V83 tmp78        [V83    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V84 tmp79        [V84    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;  V85 tmp80        [V85,T12] (  7,  3.50)    long  ->  r13         "field V19._lower (fldOffset=0x0)" P-INDEP
-;  V86 tmp81        [V86,T13] (  7,  3.50)    long  ->  r12         "field V19._upper (fldOffset=0x8)" P-INDEP
-;* V87 tmp82        [V87    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;* V88 tmp83        [V88    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
-;  V89 tmp84        [V89,T32] (  3,  1.50)    long  ->  rax         "field V30._lower (fldOffset=0x0)" P-INDEP
-;  V90 tmp85        [V90,T35] (  1,  0.50)    long  ->  rdx         "field V30._upper (fldOffset=0x8)" P-INDEP
-;* V91 tmp86        [V91,T36] (  0,  0   )    long  ->  zero-ref    "field V33._lower (fldOffset=0x0)" P-INDEP
-;* V92 tmp87        [V92,T37] (  0,  0   )    long  ->  zero-ref    "field V33._upper (fldOffset=0x8)" P-INDEP
-;* V93 tmp88        [V93    ] (  0,  0   )    long  ->  zero-ref    "field V34._lower (fldOffset=0x0)" P-INDEP
-;* V94 tmp89        [V94    ] (  0,  0   )    long  ->  zero-ref    "field V34._upper (fldOffset=0x8)" P-INDEP
-;* V95 tmp90        [V95    ] (  0,  0   )    long  ->  zero-ref    "field V35._lower (fldOffset=0x0)" P-DEP
-;* V96 tmp91        [V96    ] (  0,  0   )    long  ->  zero-ref    "field V35._upper (fldOffset=0x8)" P-DEP
-;* V97 tmp92        [V97    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
-;* V98 tmp93        [V98    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
-;* V99 tmp94        [V99    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V40._reference (fldOffset=0x0)" P-INDEP
-;* V100 tmp95       [V100    ] (  0,  0   )     int  ->  zero-ref    "field V40._length (fldOffset=0x8)" P-INDEP
-;* V101 tmp96       [V101    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V43._reference (fldOffset=0x0)" P-INDEP
-;* V102 tmp97       [V102    ] (  0,  0   )     int  ->  zero-ref    "field V43._length (fldOffset=0x8)" P-INDEP
-;* V103 tmp98       [V103    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V46._reference (fldOffset=0x0)" P-INDEP
-;* V104 tmp99       [V104    ] (  0,  0   )     int  ->  zero-ref    "field V46._length (fldOffset=0x8)" P-INDEP
-;* V105 tmp100      [V105    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V47._reference (fldOffset=0x0)" P-INDEP
-;* V106 tmp101      [V106    ] (  0,  0   )     int  ->  zero-ref    "field V47._length (fldOffset=0x8)" P-INDEP
-;* V107 tmp102      [V107    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V51._reference (fldOffset=0x0)" P-INDEP
-;* V108 tmp103      [V108    ] (  0,  0   )     int  ->  zero-ref    "field V51._length (fldOffset=0x8)" P-INDEP
-;* V109 tmp104      [V109    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V54._reference (fldOffset=0x0)" P-INDEP
-;* V110 tmp105      [V110    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
-;* V111 tmp106      [V111    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V57._reference (fldOffset=0x0)" P-INDEP
-;* V112 tmp107      [V112    ] (  0,  0   )     int  ->  zero-ref    "field V57._length (fldOffset=0x8)" P-INDEP
-;* V113 tmp108      [V113    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V59._reference (fldOffset=0x0)" P-INDEP
-;* V114 tmp109      [V114    ] (  0,  0   )     int  ->  zero-ref    "field V59._length (fldOffset=0x8)" P-INDEP
-;  V115 tmp110      [V115,T02] (  4,  9   )    long  ->  r13         "field V60._lower (fldOffset=0x0)" P-INDEP
-;  V116 tmp111      [V116,T01] (  5, 13   )    long  ->  r12         "field V60._upper (fldOffset=0x8)" P-INDEP
-;* V117 tmp112      [V117,T10] (  0,  0   )    long  ->  zero-ref    "field V62._lower (fldOffset=0x0)" P-INDEP
-;* V118 tmp113      [V118,T11] (  0,  0   )    long  ->  zero-ref    "field V62._upper (fldOffset=0x8)" P-INDEP
-;  V119 tmp114      [V119,T03] (  2,  8   )    long  ->  rsi         "field V64._lower (fldOffset=0x0)" P-INDEP
-;* V120 tmp115      [V120    ] (  0,  0   )    long  ->  zero-ref    "field V64._upper (fldOffset=0x8)" P-INDEP
-;  V121 tmp116      [V121,T23] (  2,  2   )    long  ->  r15         "Cast away GC"
+;* V46 tmp41        [V46    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
+;  V47 tmp42        [V47,T36] (  3,  1.50)     int  ->  rdi         "Inline stloc first use temp"
+;* V48 tmp43        [V48    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
+;* V49 tmp44        [V49    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
+;* V50 tmp45        [V50    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
+;* V51 tmp46        [V51    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
+;* V52 tmp47        [V52    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V53 tmp48        [V53    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V54 tmp49        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;  V55 tmp50        [V55,T26] (  4,  2   )     int  ->  rdi         "Inline return value spill temp"
+;* V56 tmp51        [V56    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ushort]>
+;* V57 tmp52        [V57    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inlining Arg" <System.UInt128>
+;  V58 tmp53        [V58,T00] (  4, 18   )    long  ->  r14         "Inlining Arg"
+;* V59 tmp54        [V59    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inline ldloca(s) first use temp" <System.UInt128>
+;* V60 tmp55        [V60    ] (  0,  0   )  struct (32) zero-ref    do-not-enreg[S] "Inline stloc first use temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
+;* V61 tmp56        [V61    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.UInt128>
+;* V62 tmp57        [V62    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.UInt128>
+;* V63 tmp58        [V63    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.UInt128>
+;* V64 tmp59        [V64    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBR] multireg-ret "Return value temp for multireg return" <System.UInt128>
+;* V65 tmp60        [V65    ] (  0,  0   )  struct (16) zero-ref    multireg-arg multireg-ret "Inline stloc first use temp" <System.UInt128>
+;* V66 tmp61        [V66    ] (  0,  0   )  struct (16) zero-ref    multireg-arg multireg-ret "spilled call-like call argument" <System.UInt128>
+;  V67 tmp62        [V67    ] (  5, 40   )  struct (32) [rbp-0x50]  do-not-enreg[XS] addr-exposed ld-addr-op "NewObj constructor temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
+;* V68 tmp63        [V68    ] (  0,  0   )  struct (16) zero-ref    multireg-arg multireg-ret "spilled call-like call argument" <System.UInt128>
+;  V69 tmp64        [V69,T16] (  5,  3   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V70 tmp65        [V70,T17] (  4,  2.50)     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V71 tmp66        [V71,T22] (  2,  1.50)   byref  ->  rdx         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;  V72 tmp67        [V72,T18] (  3,  2.50)     int  ->   r9         single-def "field V03._length (fldOffset=0x8)" P-INDEP
+;* V73 tmp68        [V73    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V74 tmp69        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V75 tmp70        [V75,T15] (  9,  5   )    long  ->  r13         "field V08._lower (fldOffset=0x0)" P-INDEP
+;  V76 tmp71        [V76,T14] ( 10,  5.50)    long  ->  r12         "field V08._upper (fldOffset=0x8)" P-INDEP
+;* V77 tmp72        [V77    ] (  0,  0   )    long  ->  zero-ref    "field V09._lower (fldOffset=0x0)" P-INDEP
+;* V78 tmp73        [V78    ] (  0,  0   )    long  ->  zero-ref    "field V09._upper (fldOffset=0x8)" P-INDEP
+;* V79 tmp74        [V79    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V80 tmp75        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V81 tmp76        [V81    ] (  0,  0   )   byref  ->  zero-ref    "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V82 tmp77        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;  V83 tmp78        [V83,T32] (  3,  1.50)   byref  ->  rcx         "field V13._reference (fldOffset=0x0)" P-INDEP
+;  V84 tmp79        [V84,T37] (  3,  1.50)     int  ->   r8         "field V13._length (fldOffset=0x8)" P-INDEP
+;  V85 tmp80        [V85,T39] (  2,  1   )   byref  ->  rcx         single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;  V86 tmp81        [V86,T40] (  2,  1   )     int  ->   r8         "field V15._length (fldOffset=0x8)" P-INDEP
+;* V87 tmp82        [V87    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V88 tmp83        [V88    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V89 tmp84        [V89    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V90 tmp85        [V90    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;  V91 tmp86        [V91,T38] (  3,  1.50)    long  ->  rax         "field V27._lower (fldOffset=0x0)" P-INDEP
+;  V92 tmp87        [V92,T41] (  1,  0.50)    long  ->  rdx         "field V27._upper (fldOffset=0x8)" P-INDEP
+;* V93 tmp88        [V93,T42] (  0,  0   )    long  ->  zero-ref    "field V30._lower (fldOffset=0x0)" P-INDEP
+;* V94 tmp89        [V94,T43] (  0,  0   )    long  ->  zero-ref    "field V30._upper (fldOffset=0x8)" P-INDEP
+;* V95 tmp90        [V95    ] (  0,  0   )    long  ->  zero-ref    "field V31._lower (fldOffset=0x0)" P-INDEP
+;* V96 tmp91        [V96    ] (  0,  0   )    long  ->  zero-ref    "field V31._upper (fldOffset=0x8)" P-INDEP
+;* V97 tmp92        [V97    ] (  0,  0   )    long  ->  zero-ref    "field V32._lower (fldOffset=0x0)" P-DEP
+;* V98 tmp93        [V98    ] (  0,  0   )    long  ->  zero-ref    "field V32._upper (fldOffset=0x8)" P-DEP
+;* V99 tmp94        [V99    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V33._reference (fldOffset=0x0)" P-INDEP
+;* V100 tmp95       [V100    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
+;* V101 tmp96       [V101    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V102 tmp97       [V102    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
+;* V103 tmp98       [V103    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V40._reference (fldOffset=0x0)" P-INDEP
+;* V104 tmp99       [V104    ] (  0,  0   )     int  ->  zero-ref    "field V40._length (fldOffset=0x8)" P-INDEP
+;* V105 tmp100      [V105    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V43._reference (fldOffset=0x0)" P-INDEP
+;* V106 tmp101      [V106    ] (  0,  0   )     int  ->  zero-ref    "field V43._length (fldOffset=0x8)" P-INDEP
+;* V107 tmp102      [V107    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V44._reference (fldOffset=0x0)" P-INDEP
+;* V108 tmp103      [V108    ] (  0,  0   )     int  ->  zero-ref    "field V44._length (fldOffset=0x8)" P-INDEP
+;* V109 tmp104      [V109    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V48._reference (fldOffset=0x0)" P-INDEP
+;* V110 tmp105      [V110    ] (  0,  0   )     int  ->  zero-ref    "field V48._length (fldOffset=0x8)" P-INDEP
+;* V111 tmp106      [V111    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V51._reference (fldOffset=0x0)" P-INDEP
+;* V112 tmp107      [V112    ] (  0,  0   )     int  ->  zero-ref    "field V51._length (fldOffset=0x8)" P-INDEP
+;* V113 tmp108      [V113    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V54._reference (fldOffset=0x0)" P-INDEP
+;* V114 tmp109      [V114    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
+;* V115 tmp110      [V115    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V56._reference (fldOffset=0x0)" P-INDEP
+;* V116 tmp111      [V116    ] (  0,  0   )     int  ->  zero-ref    "field V56._length (fldOffset=0x8)" P-INDEP
+;  V117 tmp112      [V117,T02] (  5, 13   )    long  ->  r13         "field V57._lower (fldOffset=0x0)" P-INDEP
+;  V118 tmp113      [V118,T01] (  6, 17   )    long  ->  r12         "field V57._upper (fldOffset=0x8)" P-INDEP
+;* V119 tmp114      [V119,T20] (  0,  0   )    long  ->  zero-ref    "field V59._lower (fldOffset=0x0)" P-INDEP
+;* V120 tmp115      [V120,T21] (  0,  0   )    long  ->  zero-ref    "field V59._upper (fldOffset=0x8)" P-INDEP
+;* V121 tmp116      [V121    ] (  0,  0   )    long  ->  zero-ref    "field V61._lower (fldOffset=0x0)" P-INDEP
+;* V122 tmp117      [V122    ] (  0,  0   )    long  ->  zero-ref    "field V61._upper (fldOffset=0x8)" P-INDEP
+;* V123 tmp118      [V123    ] (  0,  0   )    long  ->  zero-ref    "field V62._lower (fldOffset=0x0)" P-INDEP
+;* V124 tmp119      [V124    ] (  0,  0   )    long  ->  zero-ref    "field V62._upper (fldOffset=0x8)" P-INDEP
+;* V125 tmp120      [V125    ] (  0,  0   )    long  ->  zero-ref    "field V63._lower (fldOffset=0x0)" P-INDEP
+;* V126 tmp121      [V126    ] (  0,  0   )    long  ->  zero-ref    "field V63._upper (fldOffset=0x8)" P-INDEP
+;* V127 tmp122      [V127    ] (  0,  0   )    long  ->  zero-ref    "field V64._lower (fldOffset=0x0)" P-DEP
+;* V128 tmp123      [V128    ] (  0,  0   )    long  ->  zero-ref    "field V64._upper (fldOffset=0x8)" P-DEP
+;  V129 tmp124      [V129,T03] (  3, 12   )    long  ->  rbx         "field V65._lower (fldOffset=0x0)" P-INDEP
+;  V130 tmp125      [V130,T04] (  3, 12   )    long  ->  r15         "field V65._upper (fldOffset=0x8)" P-INDEP
+;  V131 tmp126      [V131,T05] (  2,  8   )    long  ->  rax         "field V66._lower (fldOffset=0x0)" P-INDEP
+;  V132 tmp127      [V132,T06] (  2,  8   )    long  ->  rcx         "field V66._upper (fldOffset=0x8)" P-INDEP
+;  V133 tmp128      [V133,T07] (  2,  8   )    long  ->  rcx         "field V68._lower (fldOffset=0x0)" P-INDEP
+;  V134 tmp129      [V134,T08] (  2,  8   )    long  ->   r8         "field V68._upper (fldOffset=0x8)" P-INDEP
+;  V135 tmp130      [V135,T09] (  2,  8   )    long  ->  r13         "V60.[000..008)"
+;  V136 tmp131      [V136,T10] (  2,  8   )    long  ->  r12         "V60.[008..016)"
+;  V137 tmp132      [V137,T11] (  2,  8   )    long  ->  rsi         "V60.[016..024)"
+;* V138 tmp133      [V138    ] (  0,  0   )    long  ->  zero-ref    "V60.[024..032)"
+;  V139 tmp134      [V139,T29] (  2,  2   )    long  ->  r15         "Cast away GC"
 ;
 ; Lcl frame size = 56
 
 G_M10567_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 56
        lea      rbp, [rsp+0x60]
        xor      eax, eax
        mov      qword ptr [rbp-0x30], rax
        mov      r15, rsi
        mov      r14d, edx
        mov      rdx, r8
        mov      rbx, rcx
        mov      r8, gword ptr [rbp+0x10]
 						;; size=41 bbWeight=1 PerfScore 10.00
 G_M10567_IG02:
        mov      r13, qword ptr [rdi]
        mov      r12, qword ptr [rdi+0x08]
        test     r9d, r9d
        jne      SHORT G_M10567_IG04
 						;; size=12 bbWeight=1 PerfScore 5.25
 G_M10567_IG03:
        test     r12, r12
        jge      SHORT G_M10567_IG05
        test     r8, r8
        je       G_M10567_IG16
        mov      rdi, r8
        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
        jmp      G_M10567_IG17
 						;; size=34 bbWeight=0.50 PerfScore 4.00
 G_M10567_IG04:
        mov      bword ptr [rsp], r15
        mov      dword ptr [rsp+0x08], r14d
        mov      rdi, r13
        mov      rsi, r12
        mov      ecx, r9d
        mov      r9, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.Number:<TryFormatInt128>g__TryFormatInt128Slow|27_0[ushort](System.Int128,System.ReadOnlySpan`1[ushort],System.IFormatProvider,System.Span`1[ushort],byref):ubyte
        call     [rax]System.Number:<TryFormatInt128>g__TryFormatInt128Slow|27_0[ushort](System.Int128,System.ReadOnlySpan`1[ushort],System.IFormatProvider,System.Span`1[ushort],byref):ubyte
        jmp      G_M10567_IG20
 						;; size=38 bbWeight=0.50 PerfScore 4.12
 G_M10567_IG05:
        test     r12, r12
        jne      SHORT G_M10567_IG06
        mov      rdi, r13
        or       rdi, 1
        lzcnt    rdi, rdi
        xor      edi, 63
        movsxd   rdi, edi
        mov      rsi, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rdi+rsi]
        mov      edi, eax
        mov      rsi, 0xD1FFAB1E      ; static handle
        cmp      r13, qword ptr [rsi+8*rdi]
        setb     dil
        movzx    rdi, dil
        sub      eax, edi
        jmp      G_M10567_IG08
 						;; size=68 bbWeight=0.50 PerfScore 6.75
 G_M10567_IG06:
        mov      eax, 20
        cmp      r12, 5
        jbe      SHORT G_M10567_IG07
        mov      rdi, r13
        mov      rsi, r12
        mov      rdx, 0xD1FFAB1E
        mov      ecx, 5
        mov      rax, 0xD1FFAB1E      ; code for System.UInt128:op_Division(System.UInt128,System.UInt128):System.UInt128
        call     [rax]System.UInt128:op_Division(System.UInt128,System.UInt128):System.UInt128
-       mov      rsi, rax
-       or       rsi, 1
-       lzcnt    rsi, rsi
-       xor      esi, 63
-       movsxd   rsi, esi
+       mov      rdi, rax
+       or       rdi, 1
+       lzcnt    rdi, rdi
+       xor      edi, 63
+       movsxd   rdi, edi
+       mov      rsi, 0xD1FFAB1E      ; static handle
+       movzx    rdi, byte  ptr [rdi+rsi]
+       mov      esi, edi
        mov      rdx, 0xD1FFAB1E      ; static handle
-       movzx    rsi, byte  ptr [rsi+rdx]
-       mov      edx, esi
-       mov      rcx, 0xD1FFAB1E      ; static handle
-       cmp      rax, qword ptr [rcx+8*rdx]
-       setb     dl
-       movzx    rdx, dl
-       sub      esi, edx
-       lea      eax, [rsi+0x14]
+       cmp      rax, qword ptr [rdx+8*rsi]
+       setb     sil
+       movzx    rsi, sil
+       sub      edi, esi
+       lea      eax, [rdi+0x14]
        jmp      SHORT G_M10567_IG08
-						;; size=106 bbWeight=0.50 PerfScore 9.25
+						;; size=108 bbWeight=0.50 PerfScore 9.25
 G_M10567_IG07:
        cmp      r12, 5
        jne      SHORT G_M10567_IG08
-       mov      rsi, 0xD1FFAB1E
-       mov      edx, 21
-       cmp      r13, rsi
-       cmovae   eax, edx
+       mov      rdi, 0xD1FFAB1E
+       mov      esi, 21
+       cmp      r13, rdi
+       cmovae   eax, esi
 						;; size=27 bbWeight=0.50 PerfScore 1.12
 G_M10567_IG08:
-       mov      esi, -1
+       mov      edi, -1
        test     eax, eax
-       cmovge   esi, eax
-       cmp      esi, r14d
-       jg       SHORT G_M10567_IG11
-       mov      dword ptr [rbx], esi
+       cmovge   edi, eax
+       cmp      edi, r14d
+       jg       G_M10567_IG11
+       mov      dword ptr [rbx], edi
        mov      bword ptr [rbp-0x30], r15
-       movsxd   rsi, esi
-       lea      r14, [r15+2*rsi]
+       movsxd   rdi, edi
+       lea      r14, [r15+2*rdi]
        cmp      eax, -1
-       jl       SHORT G_M10567_IG13
+       jl       G_M10567_IG13
        test     r12, r12
-       je       SHORT G_M10567_IG10
-						;; size=38 bbWeight=0.50 PerfScore 3.62
+       je       G_M10567_IG10
+						;; size=50 bbWeight=0.50 PerfScore 3.62
 G_M10567_IG09:
-       mov      rsi, r13
-       mov      rdx, r12
-       mov      rcx, 0xD1FFAB1E
-       xor      r8d, r8d
+       mov      rdi, r13
+       mov      rsi, r12
+       mov      rdx, 0xD1FFAB1E
+       xor      ecx, ecx
+       mov      rax, 0xD1FFAB1E      ; code for System.UInt128:op_Division(System.UInt128,System.UInt128):System.UInt128
+       call     [rax]System.UInt128:op_Division(System.UInt128,System.UInt128):System.UInt128
+       mov      rbx, rax
+       mov      r15, rdx
+       mov      rdi, rbx
+       mov      rsi, r15
+       mov      rdx, 0xD1FFAB1E
+       xor      ecx, ecx
+       mov      rax, 0xD1FFAB1E      ; code for System.UInt128:op_Multiply(System.UInt128,System.UInt128):System.UInt128
+       call     [rax]System.UInt128:op_Multiply(System.UInt128,System.UInt128):System.UInt128
+       mov      rcx, rdx
+       vxorps   ymm0, ymm0, ymm0
+       vmovdqu  ymmword ptr [rbp-0x50], ymm0
+       mov      rdi, r13
+       mov      rsi, r12
+       mov      rdx, rax
+       mov      rax, 0xD1FFAB1E      ; code for System.UInt128:op_Subtraction(System.UInt128,System.UInt128):System.UInt128
+       call     [rax]System.UInt128:op_Subtraction(System.UInt128,System.UInt128):System.UInt128
+       mov      rcx, rax
+       mov      r8, rdx
+       mov      rsi, rbx
+       mov      rdx, r15
        lea      rdi, [rbp-0x50]
-       mov      rax, 0xD1FFAB1E      ; code for System.UInt128:DivRem(System.UInt128,System.UInt128):System.ValueTuple`2[System.UInt128,System.UInt128]
-       call     [rax]System.UInt128:DivRem(System.UInt128,System.UInt128):System.ValueTuple`2[System.UInt128,System.UInt128]
+       mov      rax, 0xD1FFAB1E      ; code for System.ValueTuple`2[System.UInt128,System.UInt128]:.ctor(System.UInt128,System.UInt128):this
+       call     [rax]System.ValueTuple`2[System.UInt128,System.UInt128]:.ctor(System.UInt128,System.UInt128):this
        mov      r13, qword ptr [rbp-0x50]
        mov      r12, qword ptr [rbp-0x48]
        mov      rsi, qword ptr [rbp-0x40]
        mov      rdi, r14
        mov      edx, 19
        mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt64ToDecChars[ushort](ulong,ulong,int):ulong
        call     [rax]System.Number:UInt64ToDecChars[ushort](ulong,ulong,int):ulong
        mov      r14, rax
        test     r12, r12
-       jne      SHORT G_M10567_IG09
-						;; size=75 bbWeight=4 PerfScore 52.00
+       jne      G_M10567_IG09
+						;; size=171 bbWeight=4 PerfScore 110.33
 G_M10567_IG10:
        mov      rdi, r14
        mov      rsi, r13
        mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt64ToDecChars[ushort](ulong,ulong):ulong
        call     [rax]System.Number:UInt64ToDecChars[ushort](ulong,ulong):ulong
        jmp      SHORT G_M10567_IG14
 						;; size=20 bbWeight=0.50 PerfScore 2.88
 G_M10567_IG11:
        xor      esi, esi
        mov      dword ptr [rbx], esi
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M10567_IG12:
        xor      eax, eax
        jmp      SHORT G_M10567_IG15
 						;; size=4 bbWeight=0.50 PerfScore 1.12
 G_M10567_IG13:
        mov      rsi, r13
        mov      rdx, r12
        mov      rdi, r14
        mov      ecx, -1
        mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt128ToDecChars[ushort](ulong,System.UInt128,int):ulong
        call     [rax]System.Number:UInt128ToDecChars[ushort](ulong,System.UInt128,int):ulong
 						;; size=26 bbWeight=0.50 PerfScore 2.12
 G_M10567_IG14:
        xor      eax, eax
        mov      bword ptr [rbp-0x30], rax
        mov      eax, 1
 						;; size=11 bbWeight=0.50 PerfScore 0.75
 G_M10567_IG15:
        jmp      SHORT G_M10567_IG20
 						;; size=2 bbWeight=0.50 PerfScore 1.00
 G_M10567_IG16:
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
 						;; size=12 bbWeight=0.50 PerfScore 1.62
 G_M10567_IG17:
        mov      rdi, gword ptr [rax+0x28]
        test     rdi, rdi
        jne      SHORT G_M10567_IG18
        xor      rcx, rcx
        xor      r8d, r8d
        jmp      SHORT G_M10567_IG19
 						;; size=16 bbWeight=0.50 PerfScore 2.88
 G_M10567_IG18:
        lea      rcx, bword ptr [rdi+0x0C]
        mov      r8d, dword ptr [rdi+0x08]
 						;; size=8 bbWeight=0.50 PerfScore 1.25
 G_M10567_IG19:
        mov      bword ptr [rsp], r15
        mov      dword ptr [rsp+0x08], r14d
        mov      rdi, r13
        mov      rsi, r12
        mov      r9, rbx
        mov      edx, -1
        mov      rax, 0xD1FFAB1E      ; code for System.Number:TryNegativeInt128ToDecStr[ushort](System.Int128,int,System.ReadOnlySpan`1[ushort],System.Span`1[ushort],byref):ubyte
        call     [rax]System.Number:TryNegativeInt128ToDecStr[ushort](System.Int128,int,System.ReadOnlySpan`1[ushort],System.Span`1[ushort],byref):ubyte
 						;; size=35 bbWeight=0.50 PerfScore 3.12
 G_M10567_IG20:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
 G_M10567_IG21:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 
-; Total bytes of code 593, prolog size 25, PerfScore 118.00, instruction count 158, allocated bytes for code 593 (MethodHash=0694d6b8) for method System.Int128:TryFormat(System.Span`1[ushort],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
+; Total bytes of code 703, prolog size 25, PerfScore 176.33, instruction count 180, allocated bytes for code 703 (MethodHash=0694d6b8) for method System.Int128:TryFormat(System.Span`1[ushort],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)

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

[MihuBot]

Top method improvements

-55 (-7.54 % of base) - System.Int128:TryFormat(System.Span`1[ubyte],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this

 ; Assembly listing for method System.Int128:TryFormat(System.Span`1[ubyte],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
 ; Emitting BLENDED_CODE for X64 with AVX512 - Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 21 single block inlinees; 13 inlinees without PGO data
+; 0 inlinees with PGO data; 21 single block inlinees; 12 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T06] (  4,  4   )   byref  ->  rdi         this single-def
+;  V00 this         [V00,T05] (  4,  4   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[ubyte]>
-;  V02 arg2         [V02,T05] (  6,  4   )   byref  ->  rbx         single-def
+;  V02 arg2         [V02,T04] (  6,  4   )   byref  ->  rbx         single-def
 ;* V03 arg3         [V03    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.ReadOnlySpan`1[ushort]>
-;  V04 arg4         [V04,T24] (  3,  1.50)     ref  ->   r8         class-hnd single-def <System.IFormatProvider>
+;  V04 arg4         [V04,T23] (  3,  1.50)     ref  ->   r8         class-hnd single-def <System.IFormatProvider>
 ;  V05 OutArgs      [V05    ] (  1,  1   )  struct (16) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace"
 ;  V06 tmp1         [V06,T19] (  4,  2.50)   ubyte  ->  rax         "Inline return value spill temp"
 ;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ushort]>
 ;* V08 tmp3         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg "Inlining Arg" <System.Int128>
 ;* V09 tmp4         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.UInt128>
 ;* V10 tmp5         [V10    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[ubyte]>
 ;  V11 tmp6         [V11,T16] (  5,  2.50)     ref  ->  [rbp-0x58]  class-hnd "Inline return value spill temp" <System.Globalization.NumberFormatInfo>
 ;* V12 tmp7         [V12    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[ubyte]>
-;  V13 tmp8         [V13,T22] (  2,  2   )     ref  ->  rcx         class-hnd single-def "dup spill" <ubyte[]>
-;  V14 tmp9         [V14,T13] (  6,  3   )     ref  ->  rcx        
+;  V13 tmp8         [V13,T21] (  2,  2   )     ref  ->  rcx         class-hnd single-def "dup spill" <ubyte[]>
+;  V14 tmp9         [V14,T14] (  6,  3   )     ref  ->  rcx        
 ;  V15 tmp10        [V15,T15] (  3,  3   )     ref  ->  [rbp-0x60]  class-hnd spill-single-def "dup spill" <ubyte[]>
 ;* V16 tmp11        [V16    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inline stloc first use temp" <ubyte[]>
 ;* V17 tmp12        [V17    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V18 tmp13        [V18    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.UInt128>
-;* V19 tmp14        [V19    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V20 tmp15        [V20    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V21 tmp16        [V21,T26] (  3,  1.50)   ubyte  ->  rax         "Inline return value spill temp"
-;* V22 tmp17        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V23 tmp18        [V23    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V24 tmp19        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;  V25 tmp20        [V25    ] (  2,  1   )   byref  ->  [rbp-0x30]  must-init pinned "Inline stloc first use temp"
-;  V26 tmp21        [V26,T27] (  3,  1.50)    long  ->  rbx         "Inline stloc first use temp"
-;* V27 tmp22        [V27    ] (  0,  0   )    long  ->  zero-ref   
-;  V28 tmp23        [V28,T17] (  5,  2.50)     int  ->  rax         "Inline return value spill temp"
-;* V29 tmp24        [V29    ] (  0,  0   )  struct (16) zero-ref    multireg-ret ld-addr-op "Inlining Arg" <System.UInt128>
-;* V30 tmp25        [V30    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;  V31 tmp26        [V31,T18] (  5,  2.50)     int  ->  rax         "Inline stloc first use temp"
-;* V32 tmp27        [V32    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.UInt128>
-;* V33 tmp28        [V33    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.UInt128>
-;* V34 tmp29        [V34    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBR] multireg-ret "Return value temp for multireg return" <System.UInt128>
-;* V35 tmp30        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V36 tmp31        [V36    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V37 tmp32        [V37    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
-;  V38 tmp33        [V38,T28] (  3,  1.50)     int  ->  rax         "Inline stloc first use temp"
-;* V39 tmp34        [V39    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
-;* V40 tmp35        [V40    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;* V41 tmp36        [V41    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
-;* V42 tmp37        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
-;* V43 tmp38        [V43    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;  V18 tmp13        [V18,T25] (  3,  1.50)   ubyte  ->  rax         "Inline return value spill temp"
+;* V19 tmp14        [V19    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V20 tmp15        [V20    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V21 tmp16        [V21    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
+;  V22 tmp17        [V22    ] (  2,  1   )   byref  ->  [rbp-0x30]  must-init pinned "Inline stloc first use temp"
+;  V23 tmp18        [V23,T26] (  3,  1.50)    long  ->  rbx         "Inline stloc first use temp"
+;* V24 tmp19        [V24    ] (  0,  0   )    long  ->  zero-ref   
+;  V25 tmp20        [V25,T17] (  5,  2.50)     int  ->  rax         "Inline return value spill temp"
+;* V26 tmp21        [V26    ] (  0,  0   )  struct (16) zero-ref    multireg-ret ld-addr-op "Inlining Arg" <System.UInt128>
+;* V27 tmp22        [V27    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
+;  V28 tmp23        [V28,T18] (  5,  2.50)     int  ->  rax         "Inline stloc first use temp"
+;* V29 tmp24        [V29    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.UInt128>
+;* V30 tmp25        [V30    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.UInt128>
+;* V31 tmp26        [V31    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBR] multireg-ret "Return value temp for multireg return" <System.UInt128>
+;* V32 tmp27        [V32    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
+;* V33 tmp28        [V33    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V34 tmp29        [V34    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
+;  V35 tmp30        [V35,T27] (  3,  1.50)     int  ->  rax         "Inline stloc first use temp"
+;* V36 tmp31        [V36    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
+;* V37 tmp32        [V37    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
+;* V38 tmp33        [V38    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
+;* V39 tmp34        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
+;* V40 tmp35        [V40    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V41 tmp36        [V41    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V42 tmp37        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;* V43 tmp38        [V43    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
 ;* V44 tmp39        [V44    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V45 tmp40        [V45    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
-;* V46 tmp41        [V46    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[ubyte]>
-;* V47 tmp42        [V47    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V48 tmp43        [V48    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
-;  V49 tmp44        [V49,T29] (  3,  1.50)     int  ->  rdi         "Inline stloc first use temp"
-;* V50 tmp45        [V50    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
-;* V51 tmp46        [V51    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;* V52 tmp47        [V52    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
-;* V53 tmp48        [V53    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
-;* V54 tmp49        [V54    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V55 tmp50        [V55    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V56 tmp51        [V56    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
-;  V57 tmp52        [V57,T21] (  4,  2   )     int  ->  rdi         "Inline return value spill temp"
-;* V58 tmp53        [V58    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
-;  V59 tmp54        [V59    ] (  6, 20   )  struct (16) [rbp-0x40]  do-not-enreg[XS] addr-exposed ld-addr-op "Inlining Arg" <System.UInt128>
-;  V60 tmp55        [V60,T00] (  4, 18   )    long  ->  rbx         "Inlining Arg"
-;  V61 tmp56        [V61    ] (  6, 20   )  struct (16) [rbp-0x50]  do-not-enreg[XS] addr-exposed ld-addr-op "Inlining Arg" <System.UInt128>
-;  V62 tmp57        [V62,T01] (  4, 18   )    long  ->  r14         "Inlining Arg"
-;  V63 tmp58        [V63,T02] (  4, 18   )     int  ->  rbx         "Inlining Arg"
-;  V64 tmp59        [V64,T07] (  5,  3   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V65 tmp60        [V65,T08] (  4,  2.50)     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V66 tmp61        [V66,T12] (  2,  1.50)   byref  ->  rdx         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
-;  V67 tmp62        [V67,T09] (  3,  2.50)     int  ->   r9         single-def "field V03._length (fldOffset=0x8)" P-INDEP
-;* V68 tmp63        [V68    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V69 tmp64        [V69    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V70 tmp65        [V70,T20] (  4,  2.50)    long  ->  r13         "field V08._lower (fldOffset=0x0)" P-INDEP
-;  V71 tmp66        [V71,T14] (  5,  3   )    long  ->  r12         "field V08._upper (fldOffset=0x8)" P-INDEP
-;* V72 tmp67        [V72    ] (  0,  0   )    long  ->  zero-ref    "field V09._lower (fldOffset=0x0)" P-INDEP
-;* V73 tmp68        [V73    ] (  0,  0   )    long  ->  zero-ref    "field V09._upper (fldOffset=0x8)" P-INDEP
-;* V74 tmp69        [V74    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
-;* V75 tmp70        [V75    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
-;* V76 tmp71        [V76    ] (  0,  0   )   byref  ->  zero-ref    "field V12._reference (fldOffset=0x0)" P-INDEP
-;* V77 tmp72        [V77    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V78 tmp73        [V78,T25] (  3,  1.50)   byref  ->  registers   "field V17._reference (fldOffset=0x0)" P-INDEP
-;  V79 tmp74        [V79,T30] (  3,  1.50)     int  ->  registers   "field V17._length (fldOffset=0x8)" P-INDEP
-;  V80 tmp75        [V80,T10] (  7,  3.50)    long  ->  r13         "field V18._lower (fldOffset=0x0)" P-INDEP
-;  V81 tmp76        [V81,T11] (  7,  3.50)    long  ->  r12         "field V18._upper (fldOffset=0x8)" P-INDEP
-;* V82 tmp77        [V82    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V24._reference (fldOffset=0x0)" P-INDEP
-;* V83 tmp78        [V83    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
-;  V84 tmp79        [V84,T31] (  3,  1.50)    long  ->  rax         "field V29._lower (fldOffset=0x0)" P-INDEP
-;  V85 tmp80        [V85,T32] (  1,  0.50)    long  ->  rdx         "field V29._upper (fldOffset=0x8)" P-INDEP
-;* V86 tmp81        [V86,T33] (  0,  0   )    long  ->  zero-ref    "field V32._lower (fldOffset=0x0)" P-INDEP
-;* V87 tmp82        [V87,T34] (  0,  0   )    long  ->  zero-ref    "field V32._upper (fldOffset=0x8)" P-INDEP
-;* V88 tmp83        [V88    ] (  0,  0   )    long  ->  zero-ref    "field V33._lower (fldOffset=0x0)" P-INDEP
-;* V89 tmp84        [V89    ] (  0,  0   )    long  ->  zero-ref    "field V33._upper (fldOffset=0x8)" P-INDEP
-;* V90 tmp85        [V90    ] (  0,  0   )    long  ->  zero-ref    "field V34._lower (fldOffset=0x0)" P-DEP
-;* V91 tmp86        [V91    ] (  0,  0   )    long  ->  zero-ref    "field V34._upper (fldOffset=0x8)" P-DEP
-;* V92 tmp87        [V92    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
-;* V93 tmp88        [V93    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
-;* V94 tmp89        [V94    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
-;* V95 tmp90        [V95    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
-;* V96 tmp91        [V96    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
-;* V97 tmp92        [V97    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
-;* V98 tmp93        [V98    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V45._reference (fldOffset=0x0)" P-INDEP
-;* V99 tmp94        [V99    ] (  0,  0   )     int  ->  zero-ref    "field V45._length (fldOffset=0x8)" P-INDEP
-;* V100 tmp95       [V100    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V46._reference (fldOffset=0x0)" P-INDEP
-;* V101 tmp96       [V101    ] (  0,  0   )     int  ->  zero-ref    "field V46._length (fldOffset=0x8)" P-INDEP
-;* V102 tmp97       [V102    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
-;* V103 tmp98       [V103    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
-;* V104 tmp99       [V104    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V53._reference (fldOffset=0x0)" P-INDEP
-;* V105 tmp100      [V105    ] (  0,  0   )     int  ->  zero-ref    "field V53._length (fldOffset=0x8)" P-INDEP
-;* V106 tmp101      [V106    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V56._reference (fldOffset=0x0)" P-INDEP
-;* V107 tmp102      [V107    ] (  0,  0   )     int  ->  zero-ref    "field V56._length (fldOffset=0x8)" P-INDEP
-;* V108 tmp103      [V108    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V58._reference (fldOffset=0x0)" P-INDEP
-;* V109 tmp104      [V109    ] (  0,  0   )     int  ->  zero-ref    "field V58._length (fldOffset=0x8)" P-INDEP
-;  V110 tmp105      [V110    ] (  3,  9   )    long  ->  [rbp-0x40]  do-not-enreg[X] addr-exposed "field V59._lower (fldOffset=0x0)" P-DEP
-;  V111 tmp106      [V111    ] (  4, 13   )    long  ->  [rbp-0x38]  do-not-enreg[X] addr-exposed "field V59._upper (fldOffset=0x8)" P-DEP
-;  V112 tmp107      [V112    ] (  3,  9   )    long  ->  [rbp-0x50]  do-not-enreg[X] addr-exposed "field V61._lower (fldOffset=0x0)" P-DEP
-;  V113 tmp108      [V113    ] (  4, 13   )    long  ->  [rbp-0x48]  do-not-enreg[X] addr-exposed "field V61._upper (fldOffset=0x8)" P-DEP
-;  V114 tmp109      [V114,T23] (  2,  2   )    long  ->  r15         "Cast away GC"
-;  V115 tmp110      [V115,T03] (  2, 16   )    long  ->  rsi         "argument with side effect"
-;  V116 tmp111      [V116,T04] (  2, 16   )    long  ->  rsi         "argument with side effect"
+;* V45 tmp40        [V45    ] (  0,  0   )   byref  ->  zero-ref    "impAppendStmt"
+;  V46 tmp41        [V46,T28] (  3,  1.50)     int  ->  rsi         "Inline stloc first use temp"
+;* V47 tmp42        [V47    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
+;* V48 tmp43        [V48    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
+;* V49 tmp44        [V49    ] (  0,  0   )   ubyte  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
+;* V50 tmp45        [V50    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ubyte]>
+;* V51 tmp46        [V51    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V52 tmp47        [V52    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;* V53 tmp48        [V53    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
+;  V54 tmp49        [V54,T20] (  4,  2   )     int  ->  rsi         "Inline return value spill temp"
+;* V55 tmp50        [V55    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[ubyte]>
+;* V56 tmp51        [V56    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inlining Arg" <System.UInt128>
+;  V57 tmp52        [V57,T00] (  4, 18   )    long  ->  rbx         "Inlining Arg"
+;* V58 tmp53        [V58    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inline ldloca(s) first use temp" <System.UInt128>
+;  V59 tmp54        [V59    ] (  4, 16   )  struct (32) [rbp-0x50]  do-not-enreg[XS] addr-exposed "Inline stloc first use temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
+;* V60 tmp55        [V60    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.UInt128>
+;  V61 tmp56        [V61,T08] (  5,  3   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V62 tmp57        [V62,T09] (  4,  2.50)     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V63 tmp58        [V63,T13] (  2,  1.50)   byref  ->  rdx         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;  V64 tmp59        [V64,T10] (  3,  2.50)     int  ->   r9         single-def "field V03._length (fldOffset=0x8)" P-INDEP
+;* V65 tmp60        [V65    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V66 tmp61        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;  V67 tmp62        [V67,T07] (  9,  5   )    long  ->  r13         "field V08._lower (fldOffset=0x0)" P-INDEP
+;  V68 tmp63        [V68,T06] ( 10,  5.50)    long  ->  r12         "field V08._upper (fldOffset=0x8)" P-INDEP
+;* V69 tmp64        [V69    ] (  0,  0   )    long  ->  zero-ref    "field V09._lower (fldOffset=0x0)" P-INDEP
+;* V70 tmp65        [V70    ] (  0,  0   )    long  ->  zero-ref    "field V09._upper (fldOffset=0x8)" P-INDEP
+;* V71 tmp66        [V71    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V72 tmp67        [V72    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V73 tmp68        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V74 tmp69        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;  V75 tmp70        [V75,T24] (  3,  1.50)   byref  ->  registers   "field V17._reference (fldOffset=0x0)" P-INDEP
+;  V76 tmp71        [V76,T29] (  3,  1.50)     int  ->  registers   "field V17._length (fldOffset=0x8)" P-INDEP
+;* V77 tmp72        [V77    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
+;* V78 tmp73        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;  V79 tmp74        [V79,T30] (  3,  1.50)    long  ->  rax         "field V26._lower (fldOffset=0x0)" P-INDEP
+;  V80 tmp75        [V80,T31] (  1,  0.50)    long  ->  rdx         "field V26._upper (fldOffset=0x8)" P-INDEP
+;* V81 tmp76        [V81,T32] (  0,  0   )    long  ->  zero-ref    "field V29._lower (fldOffset=0x0)" P-INDEP
+;* V82 tmp77        [V82,T33] (  0,  0   )    long  ->  zero-ref    "field V29._upper (fldOffset=0x8)" P-INDEP
+;* V83 tmp78        [V83    ] (  0,  0   )    long  ->  zero-ref    "field V30._lower (fldOffset=0x0)" P-INDEP
+;* V84 tmp79        [V84    ] (  0,  0   )    long  ->  zero-ref    "field V30._upper (fldOffset=0x8)" P-INDEP
+;* V85 tmp80        [V85    ] (  0,  0   )    long  ->  zero-ref    "field V31._lower (fldOffset=0x0)" P-DEP
+;* V86 tmp81        [V86    ] (  0,  0   )    long  ->  zero-ref    "field V31._upper (fldOffset=0x8)" P-DEP
+;* V87 tmp82        [V87    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V32._reference (fldOffset=0x0)" P-INDEP
+;* V88 tmp83        [V88    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
+;* V89 tmp84        [V89    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
+;* V90 tmp85        [V90    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
+;* V91 tmp86        [V91    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V92 tmp87        [V92    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;* V93 tmp88        [V93    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
+;* V94 tmp89        [V94    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
+;* V95 tmp90        [V95    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V43._reference (fldOffset=0x0)" P-INDEP
+;* V96 tmp91        [V96    ] (  0,  0   )     int  ->  zero-ref    "field V43._length (fldOffset=0x8)" P-INDEP
+;* V97 tmp92        [V97    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V47._reference (fldOffset=0x0)" P-INDEP
+;* V98 tmp93        [V98    ] (  0,  0   )     int  ->  zero-ref    "field V47._length (fldOffset=0x8)" P-INDEP
+;* V99 tmp94        [V99    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
+;* V100 tmp95       [V100    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
+;* V101 tmp96       [V101    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V53._reference (fldOffset=0x0)" P-INDEP
+;* V102 tmp97       [V102    ] (  0,  0   )     int  ->  zero-ref    "field V53._length (fldOffset=0x8)" P-INDEP
+;* V103 tmp98       [V103    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V55._reference (fldOffset=0x0)" P-INDEP
+;* V104 tmp99       [V104    ] (  0,  0   )     int  ->  zero-ref    "field V55._length (fldOffset=0x8)" P-INDEP
+;  V105 tmp100      [V105,T02] (  4,  9   )    long  ->  r13         "field V56._lower (fldOffset=0x0)" P-INDEP
+;  V106 tmp101      [V106,T01] (  5, 13   )    long  ->  r12         "field V56._upper (fldOffset=0x8)" P-INDEP
+;* V107 tmp102      [V107,T11] (  0,  0   )    long  ->  zero-ref    "field V58._lower (fldOffset=0x0)" P-INDEP
+;* V108 tmp103      [V108,T12] (  0,  0   )    long  ->  zero-ref    "field V58._upper (fldOffset=0x8)" P-INDEP
+;  V109 tmp104      [V109,T03] (  2,  8   )    long  ->  rsi         "field V60._lower (fldOffset=0x0)" P-INDEP
+;* V110 tmp105      [V110    ] (  0,  0   )    long  ->  zero-ref    "field V60._upper (fldOffset=0x8)" P-INDEP
+;  V111 tmp106      [V111,T22] (  2,  2   )    long  ->  r15         "Cast away GC"
 ;
 ; Lcl frame size = 72
 
 G_M55295_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 72
        lea      rbp, [rsp+0x70]
        xor      eax, eax
        mov      qword ptr [rbp-0x30], rax
        mov      r15, rsi
        mov      r14d, edx
        mov      rdx, r8
        mov      rbx, rcx
        mov      r8, gword ptr [rbp+0x10]
 						;; size=41 bbWeight=1 PerfScore 10.00
 G_M55295_IG02:
        mov      r13, qword ptr [rdi]
        mov      r12, qword ptr [rdi+0x08]
        test     r9d, r9d
        jne      SHORT G_M55295_IG04
 						;; size=12 bbWeight=1 PerfScore 5.25
 G_M55295_IG03:
        test     r12, r12
        jge      SHORT G_M55295_IG05
        test     r8, r8
-       je       G_M55295_IG18
+       je       G_M55295_IG16
        mov      rdi, r8
        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
-       jmp      G_M55295_IG19
+       jmp      G_M55295_IG17
 						;; size=34 bbWeight=0.50 PerfScore 4.00
 G_M55295_IG04:
        mov      bword ptr [rsp], r15
        mov      dword ptr [rsp+0x08], r14d
        mov      rdi, r13
        mov      rsi, r12
        mov      ecx, r9d
        mov      r9, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.Number:<TryFormatInt128>g__TryFormatInt128Slow|27_0[ubyte](System.Int128,System.ReadOnlySpan`1[ushort],System.IFormatProvider,System.Span`1[ubyte],byref):ubyte
        call     [rax]System.Number:<TryFormatInt128>g__TryFormatInt128Slow|27_0[ubyte](System.Int128,System.ReadOnlySpan`1[ushort],System.IFormatProvider,System.Span`1[ubyte],byref):ubyte
-       jmp      G_M55295_IG23
+       jmp      G_M55295_IG21
 						;; size=38 bbWeight=0.50 PerfScore 4.12
 G_M55295_IG05:
        test     r12, r12
        jne      SHORT G_M55295_IG06
        mov      rdi, r13
        or       rdi, 1
        lzcnt    rdi, rdi
        xor      edi, 63
        movsxd   rdi, edi
        mov      rsi, 0xD1FFAB1E      ; static handle
        movzx    rax, byte  ptr [rdi+rsi]
        mov      edi, eax
        mov      rsi, 0xD1FFAB1E      ; static handle
        cmp      r13, qword ptr [rsi+8*rdi]
        setb     dil
        movzx    rdi, dil
        sub      eax, edi
        jmp      G_M55295_IG08
 						;; size=68 bbWeight=0.50 PerfScore 6.75
 G_M55295_IG06:
        mov      eax, 20
        cmp      r12, 5
        jbe      SHORT G_M55295_IG07
        mov      rdi, r13
        mov      rsi, r12
        mov      rdx, 0xD1FFAB1E
        mov      ecx, 5
        mov      rax, 0xD1FFAB1E      ; code for System.UInt128:op_Division(System.UInt128,System.UInt128):System.UInt128
        call     [rax]System.UInt128:op_Division(System.UInt128,System.UInt128):System.UInt128
-       mov      rdi, rax
-       or       rdi, 1
-       lzcnt    rdi, rdi
-       xor      edi, 63
-       movsxd   rdi, edi
-       mov      rcx, 0xD1FFAB1E      ; static handle
-       movzx    rdi, byte  ptr [rdi+rcx]
-       mov      ecx, edi
+       mov      rsi, rax
+       or       rsi, 1
+       lzcnt    rsi, rsi
+       xor      esi, 63
+       movsxd   rsi, esi
        mov      rdx, 0xD1FFAB1E      ; static handle
-       cmp      rax, qword ptr [rdx+8*rcx]
-       setb     al
-       movzx    rax, al
-       sub      edi, eax
-       lea      eax, [rdi+0x14]
+       movzx    rsi, byte  ptr [rsi+rdx]
+       mov      edx, esi
+       mov      rcx, 0xD1FFAB1E      ; static handle
+       cmp      rax, qword ptr [rcx+8*rdx]
+       setb     dl
+       movzx    rdx, dl
+       sub      esi, edx
+       lea      eax, [rsi+0x14]
        jmp      SHORT G_M55295_IG08
 						;; size=106 bbWeight=0.50 PerfScore 9.25
 G_M55295_IG07:
        cmp      r12, 5
        jne      SHORT G_M55295_IG08
-       mov      rdi, 0xD1FFAB1E
-       mov      ecx, 21
-       cmp      r13, rdi
-       cmovae   eax, ecx
+       mov      rsi, 0xD1FFAB1E
+       mov      edx, 21
+       cmp      r13, rsi
+       cmovae   eax, edx
 						;; size=27 bbWeight=0.50 PerfScore 1.12
 G_M55295_IG08:
-       mov      edi, -1
+       mov      esi, -1
        test     eax, eax
-       cmovge   edi, eax
-       cmp      edi, r14d
+       cmovge   esi, eax
+       cmp      esi, r14d
        jg       SHORT G_M55295_IG11
-       mov      dword ptr [rbx], edi
+       mov      dword ptr [rbx], esi
        mov      bword ptr [rbp-0x30], r15
-       movsxd   rbx, edi
+       movsxd   rbx, esi
        add      rbx, r15
        cmp      eax, -1
        jl       SHORT G_M55295_IG13
-       mov      qword ptr [rbp-0x40], r13
-       mov      qword ptr [rbp-0x38], r12
-       cmp      qword ptr [rbp-0x38], 0
+       test     r12, r12
        je       SHORT G_M55295_IG10
-						;; size=47 bbWeight=0.50 PerfScore 5.38
+						;; size=37 bbWeight=0.50 PerfScore 3.50
 G_M55295_IG09:
-       lea      rdi, [rbp-0x40]
-       mov      rax, 0xD1FFAB1E      ; code for System.Number:Int128DivMod1E19(byref):ulong
-       call     [rax]System.Number:Int128DivMod1E19(byref):ulong
-       mov      rsi, rax
+       mov      rsi, r13
+       mov      rdx, r12
+       mov      rcx, 0xD1FFAB1E
+       xor      r8d, r8d
+       lea      rdi, [rbp-0x50]
+       mov      rax, 0xD1FFAB1E      ; code for System.UInt128:DivRem(System.UInt128,System.UInt128):System.ValueTuple`2[System.UInt128,System.UInt128]
+       call     [rax]System.UInt128:DivRem(System.UInt128,System.UInt128):System.ValueTuple`2[System.UInt128,System.UInt128]
+       mov      r13, qword ptr [rbp-0x50]
+       mov      r12, qword ptr [rbp-0x48]
+       mov      rsi, qword ptr [rbp-0x40]
        mov      rdi, rbx
        mov      edx, 19
        mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt64ToDecChars[ubyte](ulong,ulong,int):ulong
        call     [rax]System.Number:UInt64ToDecChars[ubyte](ulong,ulong,int):ulong
        mov      rbx, rax
-       cmp      qword ptr [rbp-0x38], 0
+       test     r12, r12
        jne      SHORT G_M55295_IG09
-						;; size=49 bbWeight=4 PerfScore 44.00
+						;; size=75 bbWeight=4 PerfScore 52.00
 G_M55295_IG10:
        mov      rdi, rbx
-       mov      rsi, qword ptr [rbp-0x40]
+       mov      rsi, r13
        mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt64ToDecChars[ubyte](ulong,ulong):ulong
        call     [rax]System.Number:UInt64ToDecChars[ubyte](ulong,ulong):ulong
-       jmp      SHORT G_M55295_IG16
-						;; size=21 bbWeight=0.50 PerfScore 3.25
+       jmp      SHORT G_M55295_IG14
+						;; size=20 bbWeight=0.50 PerfScore 2.88
 G_M55295_IG11:
-       xor      edi, edi
-       mov      dword ptr [rbx], edi
+       xor      esi, esi
+       mov      dword ptr [rbx], esi
 						;; size=4 bbWeight=0.50 PerfScore 0.62
 G_M55295_IG12:
        xor      eax, eax
-       jmp      SHORT G_M55295_IG17
+       jmp      SHORT G_M55295_IG15
 						;; size=4 bbWeight=0.50 PerfScore 1.12
 G_M55295_IG13:
-       mov      r14, rbx
-       mov      qword ptr [rbp-0x50], r13
-       mov      qword ptr [rbp-0x48], r12
-       mov      ebx, -1
-       cmp      qword ptr [rbp-0x48], 0
-       je       SHORT G_M55295_IG15
-						;; size=23 bbWeight=0.50 PerfScore 2.75
+       mov      rsi, r13
+       mov      rdx, r12
+       mov      rdi, rbx
+       mov      ecx, -1
+       mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt128ToDecChars[ubyte](ulong,System.UInt128,int):ulong
+       call     [rax]System.Number:UInt128ToDecChars[ubyte](ulong,System.UInt128,int):ulong
+						;; size=26 bbWeight=0.50 PerfScore 2.12
 G_M55295_IG14:
-       lea      rdi, [rbp-0x50]
-       mov      rax, 0xD1FFAB1E      ; code for System.Number:Int128DivMod1E19(byref):ulong
-       call     [rax]System.Number:Int128DivMod1E19(byref):ulong
-       mov      rsi, rax
-       mov      rdi, r14
-       mov      edx, 19
-       mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt64ToDecChars[ubyte](ulong,ulong,int):ulong
-       call     [rax]System.Number:UInt64ToDecChars[ubyte](ulong,ulong,int):ulong
-       mov      r14, rax
-       add      ebx, -19
-       cmp      qword ptr [rbp-0x48], 0
-       jne      SHORT G_M55295_IG14
-						;; size=52 bbWeight=4 PerfScore 45.00
-G_M55295_IG15:
-       mov      rdi, r14
-       mov      rsi, qword ptr [rbp-0x50]
-       mov      edx, ebx
-       mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt64ToDecChars[ubyte](ulong,ulong,int):ulong
-       call     [rax]System.Number:UInt64ToDecChars[ubyte](ulong,ulong,int):ulong
-						;; size=21 bbWeight=0.50 PerfScore 2.38
-G_M55295_IG16:
        xor      eax, eax
        mov      bword ptr [rbp-0x30], rax
        mov      eax, 1
 						;; size=11 bbWeight=0.50 PerfScore 0.75
-G_M55295_IG17:
-       jmp      G_M55295_IG23
+G_M55295_IG15:
+       jmp      G_M55295_IG21
 						;; size=5 bbWeight=0.50 PerfScore 1.00
-G_M55295_IG18:
+G_M55295_IG16:
        mov      rax, 0xD1FFAB1E      ; code for System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
        call     [rax]System.Globalization.NumberFormatInfo:get_CurrentInfo():System.Globalization.NumberFormatInfo
 						;; size=12 bbWeight=0.50 PerfScore 1.62
-G_M55295_IG19:
+G_M55295_IG17:
        mov      rcx, gword ptr [rax+0x98]
        test     rcx, rcx
-       jne      SHORT G_M55295_IG20
+       jne      SHORT G_M55295_IG18
        mov      gword ptr [rbp-0x58], rax
        mov      rsi, gword ptr [rax+0x28]
        mov      rdi, 0xD1FFAB1E      ; const ptr
        mov      rdi, gword ptr [rdi]
        mov      rcx, 0xD1FFAB1E      ; code for System.Text.UTF8Encoding+UTF8EncodingSealed:GetBytes(System.String):ubyte[]:this
        call     [rcx]System.Text.UTF8Encoding+UTF8EncodingSealed:GetBytes(System.String):ubyte[]:this
        mov      rcx, rax
        mov      gword ptr [rbp-0x60], rcx
        mov      rdi, gword ptr [rbp-0x58]
        lea      rdi, bword ptr [rdi+0x98]
        mov      rsi, rcx
        call     CORINFO_HELP_ASSIGN_REF
        mov      rcx, gword ptr [rbp-0x60]
 						;; size=75 bbWeight=0.50 PerfScore 8.38
-G_M55295_IG20:
+G_M55295_IG18:
        test     rcx, rcx
-       jne      SHORT G_M55295_IG21
+       jne      SHORT G_M55295_IG19
        xor      rcx, rcx
        xor      r8d, r8d
-       jmp      SHORT G_M55295_IG22
+       jmp      SHORT G_M55295_IG20
 						;; size=12 bbWeight=0.50 PerfScore 1.88
-G_M55295_IG21:
+G_M55295_IG19:
        lea      r8, bword ptr [rcx+0x10]
        mov      edi, dword ptr [rcx+0x08]
        mov      r9d, edi
        mov      rcx, r8
        mov      r8d, r9d
 						;; size=16 bbWeight=0.50 PerfScore 1.62
-G_M55295_IG22:
+G_M55295_IG20:
        mov      bword ptr [rsp], r15
        mov      dword ptr [rsp+0x08], r14d
        mov      rdi, r13
        mov      rsi, r12
        mov      r9, rbx
        mov      edx, -1
        mov      rax, 0xD1FFAB1E      ; code for System.Number:TryNegativeInt128ToDecStr[ubyte](System.Int128,int,System.ReadOnlySpan`1[ubyte],System.Span`1[ubyte],byref):ubyte
        call     [rax]System.Number:TryNegativeInt128ToDecStr[ubyte](System.Int128,int,System.ReadOnlySpan`1[ubyte],System.Span`1[ubyte],byref):ubyte
 						;; size=35 bbWeight=0.50 PerfScore 3.12
-G_M55295_IG23:
+G_M55295_IG21:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
-G_M55295_IG24:
+G_M55295_IG22:
        add      rsp, 72
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 
-; Total bytes of code 729, prolog size 25, PerfScore 167.88, instruction count 189, allocated bytes for code 729 (MethodHash=e2802800) for method System.Int128:TryFormat(System.Span`1[ubyte],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (FullOpts)
+; Total bytes of code 674, prolog size 25, PerfScore 125.62, instruction count 176, allocated bytes for code 674 (MethodHash=e2802800) for method System.Int128:TryFormat(System.Span`1[ubyte],byref,System.ReadOnlySpan`1[ushort],System.IFormatProvider):ubyte:this (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/d53392d04f8fb69a8f8a9cdd213b449d

[MihuBot]

@xtqqczze