[JitDiff X64] [EgorBo] JIT: relax inliner heuristics for callees on [Intrins ...

[MihuBot]

Job completed in 2 minutes 18 seconds (remote runner delay: 0 seconds).
dotnet/runtime#127433

Main commit: dotnet/runtime@4e26169
PR commit: EgorBo/runtime-1@6a39a13

Diffs

Found 84 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46230550
Total bytes of diff: 46230397
Total bytes of delta: -153 (-0.00 % of base)
Total relative delta: 0.16
    diff is an improvement.
    relative diff is a regression.


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

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

Top method regressions (bytes):
           3 (15.79 % of base) : System.Private.CoreLib.dasm - System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]]:System.Runtime.Intrinsics.ISimdVector<System.Runtime.Intrinsics.Vector512<T>,T>.CopySign(System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]],System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]]):System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]] (FullOpts)
           3 (15.79 % of base) : System.Private.CoreLib.dasm - System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]]:System.Runtime.Intrinsics.ISimdVector<System.Runtime.Intrinsics.Vector512<T>,T>.CopySign(System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]],System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]]):System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]] (FullOpts)

Top method improvements (bytes):
        -127 (-11.56 % of base) : System.Private.CoreLib.dasm - System.UInt128:TryFormat(System.Span`1[byte],byref,System.ReadOnlySpan`1[char],System.IFormatProvider):bool:this (FullOpts)
         -32 (-3.85 % of base) : System.Private.CoreLib.dasm - System.Runtime.Intrinsics.Vector64`1[double]:System.Runtime.Intrinsics.ISimdVector<System.Runtime.Intrinsics.Vector64<T>,T>.IsEvenInteger(System.Runtime.Intrinsics.Vector64`1[double]):System.Runtime.Intrinsics.Vector64`1[double] (FullOpts)

Top method regressions (percentages):
           3 (15.79 % of base) : System.Private.CoreLib.dasm - System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]]:System.Runtime.Intrinsics.ISimdVector<System.Runtime.Intrinsics.Vector512<T>,T>.CopySign(System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]],System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]]):System.Runtime.Intrinsics.Vector512`1[System.Nullable`1[int]] (FullOpts)
           3 (15.79 % of base) : System.Private.CoreLib.dasm - System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]]:System.Runtime.Intrinsics.ISimdVector<System.Runtime.Intrinsics.Vector512<T>,T>.CopySign(System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]],System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]]):System.Runtime.Intrinsics.Vector512`1[System.Numerics.Vector`1[float]] (FullOpts)

Top method improvements (percentages):
        -127 (-11.56 % of base) : System.Private.CoreLib.dasm - System.UInt128:TryFormat(System.Span`1[byte],byref,System.ReadOnlySpan`1[char],System.IFormatProvider):bool:this (FullOpts)
         -32 (-3.85 % of base) : System.Private.CoreLib.dasm - System.Runtime.Intrinsics.Vector64`1[double]:System.Runtime.Intrinsics.ISimdVector<System.Runtime.Intrinsics.Vector64<T>,T>.IsEvenInteger(System.Runtime.Intrinsics.Vector64`1[double]):System.Runtime.Intrinsics.Vector64`1[double] (FullOpts)

4 total methods with Code Size differences (2 improved, 2 regressed), 286347 unchanged.

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

Artifacts:

• diff-frameworks.txt (3 KB)
• ShortDiffsRegressions.md (107 B)
• LongDiffsRegressions.md (168 KB)
• ShortDiffsImprovements.md (42 KB)
• LongDiffsImprovements.md (104 KB)
• jit-diffs-pr.zip (157 MB)
• jit-diffs-main.zip (157 MB)

[MihuBot]

Top method regressions

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

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

[MihuBot]

Top method improvements

-127 (-11.56 % of base) - System.UInt128:TryFormat(System.Span`1[byte],byref,System.ReadOnlySpan`1[char],System.IFormatProvider):bool:this

 ; Assembly listing for method System.UInt128:TryFormat(System.Span`1[byte],byref,System.ReadOnlySpan`1[char],System.IFormatProvider):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 50 single block inlinees; 20 inlinees without PGO data
+; 0 inlinees with PGO data; 50 single block inlinees; 21 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T33] (  4,  4   )   byref  ->  rdi         this single-def
+;  V00 this         [V00,T32] (  4,  4   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Span`1[byte]>
-;  V02 arg2         [V02,T34] (  5,  3.50)   byref  ->  rbx         single-def
+;  V02 arg2         [V02,T33] (  5,  3.50)   byref  ->  rbx         single-def
 ;* V03 arg3         [V03    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.ReadOnlySpan`1[char]>
-;  V04 arg4         [V04,T54] (  1,  0.50)     ref  ->  [rbp+0x10]  class-hnd single-def <System.IFormatProvider>
+;  V04 arg4         [V04,T53] (  1,  0.50)     ref  ->  [rbp+0x10]  class-hnd single-def <System.IFormatProvider>
 ;  V05 OutArgs      [V05    ] (  1,  1   )  struct (16) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <UNNAMED>
-;  V06 tmp1         [V06,T44] (  3,  2   )   ubyte  ->  rax         "Inline return value spill temp"
+;  V06 tmp1         [V06,T43] (  3,  2   )   ubyte  ->  rax         "Inline return value spill temp"
 ;* V07 tmp2         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[char]>
 ;* V08 tmp3         [V08    ] (  0,  0   )  struct (16) zero-ref    multireg-arg "Inlining Arg" <System.UInt128>
-;  V09 tmp4         [V09,T49] (  3,  1.50)   ubyte  ->  rax         "Inline return value spill temp"
+;  V09 tmp4         [V09,T48] (  3,  1.50)   ubyte  ->  rax         "Inline return value spill temp"
 ;* V10 tmp5         [V10    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V11 tmp6         [V11    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V12 tmp7         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;  V13 tmp8         [V13    ] (  2,  1   )   byref  ->  [rbp-0x30]  must-init pinned "Inline stloc first use temp"
-;  V14 tmp9         [V14,T50] (  3,  1.50)    long  ->  rbx         "Inline stloc first use temp"
+;  V14 tmp9         [V14,T49] (  3,  1.50)    long  ->  rbx         "Inline stloc first use temp"
 ;* V15 tmp10        [V15    ] (  0,  0   )    long  ->  zero-ref   
-;  V16 tmp11        [V16,T41] (  5,  2.50)     int  ->  rsi         "Inline return value spill temp"
+;  V16 tmp11        [V16,T40] (  5,  2.50)     int  ->  rsi         "Inline return value spill temp"
 ;* V17 tmp12        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.UInt128>
 ;* V18 tmp13        [V18    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
-;  V19 tmp14        [V19,T42] (  5,  2.50)     int  ->  rsi         "Inline stloc first use temp"
+;  V19 tmp14        [V19,T41] (  5,  2.50)     int  ->  rsi         "Inline stloc first use temp"
 ;* V20 tmp15        [V20    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.UInt128>
 ;* V21 tmp16        [V21    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.UInt128>
 ;* V22 tmp17        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[byte]>
 ;* V23 tmp18        [V23    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V24 tmp19        [V24,T45] (  2,  2   )     int  ->  rsi         "Span.get_Item index"
-;  V25 tmp20        [V25,T51] (  3,  1.50)    long  ->  rsi         "Inline stloc first use temp"
+;  V24 tmp19        [V24,T44] (  2,  2   )     int  ->  rsi         "Span.get_Item index"
+;  V25 tmp20        [V25,T50] (  3,  1.50)    long  ->  rsi         "Inline stloc first use temp"
 ;* V26 tmp21        [V26    ] (  0,  0   )  struct (16) zero-ref    "ReadOnlySpan<T> for CreateSpan<T>" <System.ReadOnlySpan`1[ulong]>
 ;* V27 tmp22        [V27    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
 ;* V28 tmp23        [V28    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V29 tmp24        [V29    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V30 tmp25        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
 ;* V31 tmp26        [V31    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.UInt128>
-;  V32 tmp27        [V32,T46] (  2,  2   )  struct (32) [rbp-0x50]  do-not-enreg[DAS] defined-via-address "location for address-of(RValue)" <System.ValueTuple`2[System.UInt128,System.UInt128]>
+;  V32 tmp27        [V32,T45] (  2,  2   )  struct (32) [rbp-0x50]  do-not-enreg[DAS] defined-via-address "location for address-of(RValue)" <System.ValueTuple`2[System.UInt128,System.UInt128]>
 ;* V33 tmp28        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[byte]>
 ;* V34 tmp29        [V34    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V35 tmp30        [V35,T47] (  2,  2   )     int  ->  rdx         "Span.get_Item index"
-;  V36 tmp31        [V36,T52] (  3,  1.50)    long  ->  rdx         "Inline stloc first use temp"
+;  V35 tmp30        [V35,T46] (  2,  2   )     int  ->  rdx         "Span.get_Item index"
+;  V36 tmp31        [V36,T51] (  3,  1.50)    long  ->  rdx         "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   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V40 tmp35        [V40    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V41 tmp36        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[ulong]>
-;  V42 tmp37        [V42,T43] (  4,  2   )     int  ->  rdx         "Inline return value spill temp"
+;  V42 tmp37        [V42,T42] (  4,  2   )     int  ->  rdx         "Inline return value spill temp"
 ;* V43 tmp38        [V43    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V44 tmp39        [V44    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inlining Arg" <System.UInt128>
-;  V45 tmp40        [V45,T20] (  4, 18   )    long  ->  rbx         "Inlining Arg"
+;  V45 tmp40        [V45,T19] (  4, 18   )    long  ->  rbx         "Inlining Arg"
 ;* V46 tmp41        [V46    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inline ldloca(s) first use temp" <System.UInt128>
-;  V47 tmp42        [V47,T23] (  4, 16   )  struct (32) [rbp-0x70]  do-not-enreg[DAS] defined-via-address "Inline stloc first use temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
+;  V47 tmp42        [V47,T22] (  4, 16   )  struct (32) [rbp-0x70]  do-not-enreg[DAS] defined-via-address "Inline stloc first use temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
 ;* V48 tmp43        [V48    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.UInt128>
 ;  V49 tmp44        [V49,T00] ( 10,304   )    long  ->  registers   "Inlining Arg"
 ;  V50 tmp45        [V50,T02] (  8,208   )    long  ->  rbx         "Inlining Arg"
 ;  V51 tmp46        [V51,T04] (  6,168   )     int  ->  rdi         "Inlining Arg"
 ;* V52 tmp47        [V52    ] (  0,  0   )  struct (16) zero-ref    "dup spill" <System.ValueTuple`2[ulong,ulong]>
 ;* V53 tmp48        [V53    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
 ;* V54 tmp49        [V54    ] (  0,  0   )  struct (16) zero-ref    "dup spill" <System.ValueTuple`2[ulong,ulong]>
 ;  V55 tmp50        [V55,T06] (  2, 64   )    long  ->  rbx         "dup spill"
 ;  V56 tmp51        [V56,T08] (  3, 48   )    long  ->  rdx         "Inline stloc first use temp"
 ;* V57 tmp52        [V57    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ValueTuple`2[ulong,ulong]>
 ;* V58 tmp53        [V58    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V59 tmp54        [V59    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V60 tmp55        [V60    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
 ;* V61 tmp56        [V61    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V62 tmp57        [V62    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
 ;* V63 tmp58        [V63    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;  V64 tmp59        [V64,T09] (  3, 48   )    long  ->   r8         "Inline stloc first use temp"
 ;* V65 tmp60        [V65    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ValueTuple`2[ulong,ulong]>
 ;* V66 tmp61        [V66    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V67 tmp62        [V67    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V68 tmp63        [V68    ] (  0,  0   )    long  ->  zero-ref    "Inline return value spill temp"
-;  V69 tmp64        [V69,T11] ( 10, 37.50)    long  ->  registers   "Inlining Arg"
+;  V69 tmp64        [V69,T12] ( 10, 37.50)    long  ->  registers   "Inlining Arg"
 ;  V70 tmp65        [V70,T18] (  8, 29   )    long  ->  rax         "Inlining Arg"
 ;* V71 tmp66        [V71    ] (  0,  0   )    long  ->  zero-ref    "dup spill"
 ;* V72 tmp67        [V72    ] (  0,  0   )  struct (16) zero-ref    "dup spill" <System.ValueTuple`2[ulong,ulong]>
-;  V73 tmp68        [V73,T27] (  3, 12   )    long  ->  rcx         "Inline stloc first use temp"
+;  V73 tmp68        [V73,T26] (  3, 12   )    long  ->  rcx         "Inline stloc first use temp"
 ;* V74 tmp69        [V74    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ValueTuple`2[ulong,ulong]>
 ;* V75 tmp70        [V75    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V76 tmp71        [V76    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V77 tmp72        [V77    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
 ;* V78 tmp73        [V78    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V79 tmp74        [V79    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
 ;* V80 tmp75        [V80    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V81 tmp76        [V81    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V82 tmp77        [V82    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
 ;* V83 tmp78        [V83    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V84 tmp79        [V84    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
 ;* V85 tmp80        [V85    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V86 tmp81        [V86    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V87 tmp82        [V87    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inlining Arg" <System.UInt128>
-;  V88 tmp83        [V88,T21] (  4, 18   )    long  ->  rbx         "Inlining Arg"
-;  V89 tmp84        [V89,T22] (  4, 18   )     int  ->  r15         "Inlining Arg"
+;  V88 tmp83        [V88,T20] (  4, 18   )    long  ->  rbx         "Inlining Arg"
+;  V89 tmp84        [V89,T21] (  4, 18   )     int  ->  r15         "Inlining Arg"
 ;* V90 tmp85        [V90    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "Inline ldloca(s) first use temp" <System.UInt128>
-;  V91 tmp86        [V91,T24] (  4, 16   )  struct (32) [rbp-0x90]  do-not-enreg[DAS] defined-via-address "Inline stloc first use temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
+;  V91 tmp86        [V91,T23] (  4, 16   )  struct (32) [rbp-0x90]  do-not-enreg[DAS] defined-via-address "Inline stloc first use temp" <System.ValueTuple`2[System.UInt128,System.UInt128]>
 ;* V92 tmp87        [V92    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.UInt128>
-;  V93 tmp88        [V93,T01] (  9,272   )    long  ->  [rbp-0x98]  "Inlining Arg"
+;  V93 tmp88        [V93,T01] (  9,272   )    long  ->  registers   "Inlining Arg"
 ;  V94 tmp89        [V94,T03] (  8,208   )    long  ->  rbx         "Inlining Arg"
-;  V95 tmp90        [V95,T05] (  6,168   )     int  ->  [rbp-0x9C]  "Inlining Arg"
+;  V95 tmp90        [V95,T05] (  6,168   )     int  ->  r14         "Inlining Arg"
 ;* V96 tmp91        [V96    ] (  0,  0   )  struct (16) zero-ref    "dup spill" <System.ValueTuple`2[ulong,ulong]>
 ;* V97 tmp92        [V97    ] (  0,  0   )    long  ->  zero-ref    "Inline stloc first use temp"
 ;* V98 tmp93        [V98    ] (  0,  0   )  struct (16) zero-ref    multireg-ret multireg-dest "dup spill" <System.ValueTuple`2[ulong,ulong]>
 ;  V99 tmp94        [V99,T07] (  2, 64   )    long  ->  rbx         "dup spill"
-;  V100 tmp95       [V100,T10] (  3, 48   )    long  ->  rdi         "Inline stloc first use temp"
+;  V100 tmp95       [V100,T10] (  3, 48   )    long  ->  rsi         "Inline stloc first use temp"
 ;* V101 tmp96       [V101    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ValueTuple`2[ulong,ulong]>
 ;* V102 tmp97       [V102    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V103 tmp98       [V103    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V104 tmp99       [V104    ] (  0,  0   )  struct (16) zero-ref    <System.ReadOnlySpan`1[byte]>
-;  V105 tmp100      [V105    ] (  3, 96   )  struct (16) [rbp-0xB0]  do-not-enreg[XS] must-init addr-exposed ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V105 tmp100      [V105    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V106 tmp101      [V106    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
 ;* V107 tmp102      [V107    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V108 tmp103      [V108    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V109 tmp104      [V109,T37] (  4,  2.50)   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V110 tmp105      [V110,T39] (  3,  2   )     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;  V111 tmp106      [V111,T40] (  2,  1.50)   byref  ->   r8         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
-;  V112 tmp107      [V112,T38] (  3,  2.50)     int  ->   r9         single-def "field V03._length (fldOffset=0x8)" P-INDEP
+;  V109 tmp104      [V109,T36] (  4,  2.50)   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V110 tmp105      [V110,T38] (  3,  2   )     int  ->  r14         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V111 tmp106      [V111,T39] (  2,  1.50)   byref  ->   r8         single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;  V112 tmp107      [V112,T37] (  3,  2.50)     int  ->   r9         single-def "field V03._length (fldOffset=0x8)" P-INDEP
 ;* V113 tmp108      [V113    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
 ;* V114 tmp109      [V114    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;  V115 tmp110      [V115,T35] (  8,  4.50)    long  ->  r13         "field V08._lower (fldOffset=0x0)" P-INDEP
-;  V116 tmp111      [V116,T36] (  8,  4.50)    long  ->  r12         "field V08._upper (fldOffset=0x8)" P-INDEP
+;  V115 tmp110      [V115,T34] (  8,  4.50)    long  ->  r13         "field V08._lower (fldOffset=0x0)" P-INDEP
+;  V116 tmp111      [V116,T35] (  8,  4.50)    long  ->  r12         "field V08._upper (fldOffset=0x8)" P-INDEP
 ;* V117 tmp112      [V117    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
 ;* V118 tmp113      [V118    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
-;  V119 tmp114      [V119,T53] (  3,  1.50)    long  ->  rsi         "field V17._lower (fldOffset=0x0)" P-INDEP
+;  V119 tmp114      [V119,T52] (  3,  1.50)    long  ->  rsi         "field V17._lower (fldOffset=0x0)" P-INDEP
 ;* V120 tmp115      [V120    ] (  0,  0   )    long  ->  zero-ref    "field V17._upper (fldOffset=0x8)" P-INDEP
 ;* V121 tmp116      [V121    ] (  0,  0   )    long  ->  zero-ref    "field V20._lower (fldOffset=0x0)" P-INDEP
 ;* V122 tmp117      [V122    ] (  0,  0   )    long  ->  zero-ref    "field V20._upper (fldOffset=0x8)" P-INDEP
 ;* V123 tmp118      [V123    ] (  0,  0   )    long  ->  zero-ref    "field V21._lower (fldOffset=0x0)" P-INDEP
 ;* V124 tmp119      [V124    ] (  0,  0   )    long  ->  zero-ref    "field V21._upper (fldOffset=0x8)" P-INDEP
 ;* V125 tmp120      [V125    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
 ;* V126 tmp121      [V126    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
 ;* V127 tmp122      [V127    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
 ;* V128 tmp123      [V128    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
 ;* V129 tmp124      [V129    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
 ;* V130 tmp125      [V130    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
 ;* V131 tmp126      [V131    ] (  0,  0   )    long  ->  zero-ref    "field V31._lower (fldOffset=0x0)" P-INDEP
 ;* V132 tmp127      [V132    ] (  0,  0   )    long  ->  zero-ref    "field V31._upper (fldOffset=0x8)" P-INDEP
 ;* V133 tmp128      [V133    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V33._reference (fldOffset=0x0)" P-INDEP
 ;* V134 tmp129      [V134    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
 ;* V135 tmp130      [V135    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
 ;* V136 tmp131      [V136    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
 ;* V137 tmp132      [V137    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
 ;* V138 tmp133      [V138    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
 ;* V139 tmp134      [V139    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V43._reference (fldOffset=0x0)" P-INDEP
 ;* V140 tmp135      [V140    ] (  0,  0   )     int  ->  zero-ref    "field V43._length (fldOffset=0x8)" P-INDEP
-;  V141 tmp136      [V141,T28] (  4,  9   )    long  ->  rsi         "field V44._lower (fldOffset=0x0)" P-INDEP
-;  V142 tmp137      [V142,T25] (  5, 13   )    long  ->  rax         "field V44._upper (fldOffset=0x8)" P-INDEP
+;  V141 tmp136      [V141,T27] (  4,  9   )    long  ->  rsi         "field V44._lower (fldOffset=0x0)" P-INDEP
+;  V142 tmp137      [V142,T24] (  5, 13   )    long  ->  rax         "field V44._upper (fldOffset=0x8)" P-INDEP
 ;* V143 tmp138      [V143    ] (  0,  0   )    long  ->  zero-ref    "field V46._lower (fldOffset=0x0)" P-INDEP
 ;* V144 tmp139      [V144    ] (  0,  0   )    long  ->  zero-ref    "field V46._upper (fldOffset=0x8)" P-INDEP
-;  V145 tmp140      [V145,T30] (  2,  8   )    long  ->  rcx         "field V48._lower (fldOffset=0x0)" P-INDEP
+;  V145 tmp140      [V145,T29] (  2,  8   )    long  ->  rcx         "field V48._lower (fldOffset=0x0)" P-INDEP
 ;* V146 tmp141      [V146    ] (  0,  0   )    long  ->  zero-ref    "field V48._upper (fldOffset=0x8)" P-INDEP
 ;* V147 tmp142      [V147    ] (  0,  0   )    long  ->  zero-ref    "field V52.Item1 (fldOffset=0x0)" P-INDEP
 ;* V148 tmp143      [V148    ] (  0,  0   )    long  ->  zero-ref    "field V52.Item2 (fldOffset=0x8)" P-INDEP
 ;* V149 tmp144      [V149    ] (  0,  0   )    long  ->  zero-ref    "field V54.Item1 (fldOffset=0x0)" P-INDEP
 ;* V150 tmp145      [V150    ] (  0,  0   )    long  ->  zero-ref    "field V54.Item2 (fldOffset=0x8)" P-INDEP
 ;* V151 tmp146      [V151    ] (  0,  0   )    long  ->  zero-ref    "field V57.Item1 (fldOffset=0x0)" P-INDEP
 ;  V152 tmp147      [V152,T13] (  2, 32   )    long  ->  rcx         "field V57.Item2 (fldOffset=0x8)" P-INDEP
 ;* V153 tmp148      [V153    ] (  0,  0   )   byref  ->  zero-ref    "field V60._reference (fldOffset=0x0)" P-INDEP
 ;* V154 tmp149      [V154    ] (  0,  0   )     int  ->  zero-ref    "field V60._length (fldOffset=0x8)" P-INDEP
 ;* V155 tmp150      [V155    ] (  0,  0   )   byref  ->  zero-ref    "field V61._reference (fldOffset=0x0)" P-INDEP
 ;* V156 tmp151      [V156    ] (  0,  0   )     int  ->  zero-ref    "field V61._length (fldOffset=0x8)" P-INDEP
 ;* V157 tmp152      [V157    ] (  0,  0   )   byref  ->  zero-ref    "field V62._reference (fldOffset=0x0)" P-INDEP
 ;* V158 tmp153      [V158    ] (  0,  0   )     int  ->  zero-ref    "field V62._length (fldOffset=0x8)" P-INDEP
 ;* V159 tmp154      [V159    ] (  0,  0   )    long  ->  zero-ref    "field V65.Item1 (fldOffset=0x0)" P-INDEP
 ;  V160 tmp155      [V160,T14] (  2, 32   )    long  ->  rcx         "field V65.Item2 (fldOffset=0x8)" P-INDEP
 ;* V161 tmp156      [V161    ] (  0,  0   )    long  ->  zero-ref    "field V72.Item1 (fldOffset=0x0)" P-INDEP
 ;* V162 tmp157      [V162    ] (  0,  0   )    long  ->  zero-ref    "field V72.Item2 (fldOffset=0x8)" P-INDEP
 ;* V163 tmp158      [V163    ] (  0,  0   )    long  ->  zero-ref    "field V74.Item1 (fldOffset=0x0)" P-INDEP
-;  V164 tmp159      [V164,T31] (  2,  8   )    long  ->  rsi         "field V74.Item2 (fldOffset=0x8)" P-INDEP
+;  V164 tmp159      [V164,T30] (  2,  8   )    long  ->  rsi         "field V74.Item2 (fldOffset=0x8)" P-INDEP
 ;* V165 tmp160      [V165    ] (  0,  0   )   byref  ->  zero-ref    "field V77._reference (fldOffset=0x0)" P-INDEP
 ;* V166 tmp161      [V166    ] (  0,  0   )     int  ->  zero-ref    "field V77._length (fldOffset=0x8)" P-INDEP
 ;* V167 tmp162      [V167    ] (  0,  0   )   byref  ->  zero-ref    "field V78._reference (fldOffset=0x0)" P-INDEP
 ;* V168 tmp163      [V168    ] (  0,  0   )     int  ->  zero-ref    "field V78._length (fldOffset=0x8)" P-INDEP
 ;* V169 tmp164      [V169    ] (  0,  0   )   byref  ->  zero-ref    "field V79._reference (fldOffset=0x0)" P-INDEP
 ;* V170 tmp165      [V170    ] (  0,  0   )     int  ->  zero-ref    "field V79._length (fldOffset=0x8)" P-INDEP
 ;* V171 tmp166      [V171    ] (  0,  0   )   byref  ->  zero-ref    "field V82._reference (fldOffset=0x0)" P-INDEP
 ;* V172 tmp167      [V172    ] (  0,  0   )     int  ->  zero-ref    "field V82._length (fldOffset=0x8)" P-INDEP
 ;* V173 tmp168      [V173    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V83._reference (fldOffset=0x0)" P-INDEP
 ;* V174 tmp169      [V174    ] (  0,  0   )     int  ->  zero-ref    "field V83._length (fldOffset=0x8)" P-INDEP
 ;* V175 tmp170      [V175    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V84._reference (fldOffset=0x0)" P-INDEP
 ;* V176 tmp171      [V176    ] (  0,  0   )     int  ->  zero-ref    "field V84._length (fldOffset=0x8)" P-INDEP
-;  V177 tmp172      [V177,T29] (  4,  9   )    long  ->  r13         "field V87._lower (fldOffset=0x0)" P-INDEP
-;  V178 tmp173      [V178,T26] (  5, 13   )    long  ->  r12         "field V87._upper (fldOffset=0x8)" P-INDEP
+;  V177 tmp172      [V177,T28] (  4,  9   )    long  ->  r13         "field V87._lower (fldOffset=0x0)" P-INDEP
+;  V178 tmp173      [V178,T25] (  5, 13   )    long  ->  r12         "field V87._upper (fldOffset=0x8)" P-INDEP
 ;* V179 tmp174      [V179    ] (  0,  0   )    long  ->  zero-ref    "field V90._lower (fldOffset=0x0)" P-INDEP
 ;* V180 tmp175      [V180    ] (  0,  0   )    long  ->  zero-ref    "field V90._upper (fldOffset=0x8)" P-INDEP
-;  V181 tmp176      [V181,T32] (  2,  8   )    long  ->  r14         "field V92._lower (fldOffset=0x0)" P-INDEP
+;  V181 tmp176      [V181,T31] (  2,  8   )    long  ->  rdi         "field V92._lower (fldOffset=0x0)" P-INDEP
 ;* V182 tmp177      [V182    ] (  0,  0   )    long  ->  zero-ref    "field V92._upper (fldOffset=0x8)" P-INDEP
 ;* V183 tmp178      [V183    ] (  0,  0   )    long  ->  zero-ref    "field V96.Item1 (fldOffset=0x0)" P-INDEP
 ;* V184 tmp179      [V184    ] (  0,  0   )    long  ->  zero-ref    "field V96.Item2 (fldOffset=0x8)" P-INDEP
-;  V185 tmp180      [V185,T15] (  2, 32   )    long  ->  r14         "field V98.Item1 (fldOffset=0x0)" P-INDEP
+;  V185 tmp180      [V185,T15] (  2, 32   )    long  ->  rsi         "field V98.Item1 (fldOffset=0x0)" P-INDEP
 ;  V186 tmp181      [V186,T16] (  2, 32   )    long  ->  rdx         "field V98.Item2 (fldOffset=0x8)" P-INDEP
 ;* V187 tmp182      [V187    ] (  0,  0   )    long  ->  zero-ref    "field V101.Item1 (fldOffset=0x0)" P-INDEP
-;  V188 tmp183      [V188,T17] (  2, 32   )    long  ->  r14         "field V101.Item2 (fldOffset=0x8)" P-INDEP
+;  V188 tmp183      [V188,T17] (  2, 32   )    long  ->  rdi         "field V101.Item2 (fldOffset=0x8)" P-INDEP
 ;* V189 tmp184      [V189    ] (  0,  0   )   byref  ->  zero-ref    "field V104._reference (fldOffset=0x0)" P-INDEP
 ;* V190 tmp185      [V190    ] (  0,  0   )     int  ->  zero-ref    "field V104._length (fldOffset=0x8)" P-INDEP
-;  V191 tmp186      [V191    ] (  3, 80   )   byref  ->  [rbp-0xB0]  do-not-enreg[X] addr-exposed "field V105._reference (fldOffset=0x0)" P-DEP
-;  V192 tmp187      [V192    ] (  2, 64   )     int  ->  [rbp-0xA8]  do-not-enreg[X] addr-exposed "field V105._length (fldOffset=0x8)" P-DEP
-;  V193 tmp188      [V193,T12] (  2, 32   )   byref  ->  rdi         "field V106._reference (fldOffset=0x0)" P-INDEP
+;* V191 tmp186      [V191    ] (  0,  0   )   byref  ->  zero-ref    "field V105._reference (fldOffset=0x0)" P-INDEP
+;* V192 tmp187      [V192    ] (  0,  0   )     int  ->  zero-ref    "field V105._length (fldOffset=0x8)" P-INDEP
+;* V193 tmp188      [V193    ] (  0,  0   )   byref  ->  zero-ref    "field V106._reference (fldOffset=0x0)" P-INDEP
 ;* V194 tmp189      [V194    ] (  0,  0   )     int  ->  zero-ref    "field V106._length (fldOffset=0x8)" P-INDEP
-;  V195 tmp190      [V195,T48] (  2,  2   )    long  ->  r15         "Cast away GC"
-;  V196 cse0        [V196,T19] (  6, 23.25)   byref  ->   r8         hoist multi-def "CSE #03: moderate"
+;  V195 tmp190      [V195,T47] (  2,  2   )    long  ->  r15         "Cast away GC"
+;  V196 cse0        [V196,T11] (  8, 41.25)   byref  ->  registers   hoist multi-def "CSE #03: moderate"
 ;
-; Lcl frame size = 152
+; Lcl frame size = 120
 
 G_M45713_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
-       sub      rsp, 152
-       lea      rbp, [rsp+0xC0]
-       vxorps   xmm8, xmm8, xmm8
-       vmovdqu32 zmmword ptr [rbp-0xB0], zmm8
-       vmovdqu32 zmmword ptr [rbp-0x70], zmm8
+       sub      rsp, 120
+       lea      rbp, [rsp+0xA0]
        xor      eax, eax
        mov      qword ptr [rbp-0x30], rax
        mov      r15, rsi
        mov      r14d, edx
        mov      rbx, rcx
-						;; size=65 bbWeight=1 PerfScore 13.08
+						;; size=37 bbWeight=1 PerfScore 8.75
 G_M45713_IG02:
        mov      r13, qword ptr [rdi]
        mov      r12, qword ptr [rdi+0x08]
        test     r9d, r9d
        je       SHORT G_M45713_IG04
 						;; size=12 bbWeight=1 PerfScore 5.25
 G_M45713_IG03:
        mov      bword ptr [rsp], r15
        mov      dword ptr [rsp+0x08], r14d
        mov      rdi, r13
        mov      rsi, r12
        mov      rdx, r8
        mov      ecx, r9d
        mov      r8, gword ptr [rbp+0x10]
        mov      r9, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.Number:<TryFormatUInt128>g__TryFormatUInt128Slow|33_0[byte](System.UInt128,System.ReadOnlySpan`1[char],System.IFormatProvider,System.Span`1[byte],byref):bool
        call     [rax]System.Number:<TryFormatUInt128>g__TryFormatUInt128Slow|33_0[byte](System.UInt128,System.ReadOnlySpan`1[char],System.IFormatProvider,System.Span`1[byte],byref):bool
-       jmp      G_M45713_IG38
-       align    [0 bytes for IG23]
+       jmp      G_M45713_IG39
+       align    [0 bytes for IG19]
 						;; size=45 bbWeight=0.50 PerfScore 4.75
 G_M45713_IG04:
        test     r12, r12
        je       G_M45713_IG07
        mov      esi, 20
        cmp      r12, 5
        ja       SHORT G_M45713_IG05
        cmp      r12, 5
        jne      SHORT G_M45713_IG06
        mov      rdx, 0xD1FFAB1E
        mov      edi, 21
        cmp      r13, rdx
        cmovae   esi, edi
        jmp      SHORT G_M45713_IG06
 						;; size=49 bbWeight=0.50 PerfScore 3.62
 G_M45713_IG05:
        mov      rsi, r13
        mov      rdx, r12
        lea      rdi, [rbp-0x50]
        mov      rcx, 0xD1FFAB1E
        mov      r8d, 5
        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      rsi, qword ptr [rbp-0x50]
        mov      rdx, rsi
        or       rdx, 1
        lzcnt    rdx, rdx
        xor      edx, 63
        mov      rdi, 0xD1FFAB1E      ; static handle
        movzx    rdx, byte  ptr [rdi+rdx]
        mov      rdi, 0xD1FFAB1E      ; static handle
        cmp      rsi, qword ptr [rdi+8*rdx]
        setb     sil
        movzx    rsi, sil
        sub      edx, esi
        lea      esi, [rdx+0x14]
 						;; size=98 bbWeight=0.50 PerfScore 7.25
 G_M45713_IG06:
        jmp      SHORT G_M45713_IG08
 						;; size=2 bbWeight=0.50 PerfScore 1.00
 G_M45713_IG07:
        mov      rsi, r13
        or       rsi, 1
        lzcnt    rsi, rsi
        xor      esi, 63
        mov      rdx, 0xD1FFAB1E      ; static handle
        movzx    rsi, byte  ptr [rdx+rsi]
        mov      rdx, 0xD1FFAB1E      ; static handle
        cmp      r13, qword ptr [rdx+8*rsi]
        setb     dl
        movzx    rdx, dl
        sub      esi, edx
 						;; size=52 bbWeight=0.50 PerfScore 4.12
 G_M45713_IG08:
        mov      edx, -1
        test     esi, esi
        cmovge   edx, esi
        cmp      edx, r14d
        jle      SHORT G_M45713_IG10
        xor      edx, edx
        mov      dword ptr [rbx], edx
 						;; size=19 bbWeight=0.50 PerfScore 1.75
 G_M45713_IG09:
        xor      eax, eax
-       jmp      G_M45713_IG38
+       jmp      G_M45713_IG39
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M45713_IG10:
        mov      dword ptr [rbx], edx
        mov      bword ptr [rbp-0x30], r15
        movsxd   rbx, edx
        add      rbx, r15
        cmp      esi, -1
-       jge      G_M45713_IG20
+       jge      G_M45713_IG21
        mov      r15d, -1
        test     r12, r12
        je       G_M45713_IG17
 						;; size=36 bbWeight=0.50 PerfScore 2.62
 G_M45713_IG11:
        mov      rsi, r13
        mov      rdx, r12
        lea      rdi, [rbp-0x90]
        mov      rcx, 0xD1FFAB1E
        xor      r8d, r8d
        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-0x90]
        mov      r12, qword ptr [rbp-0x88]
-       mov      r14, qword ptr [rbp-0x80]
-       mov      edx, 19
-       cmp      r14, 100
-       jae      SHORT G_M45713_IG19
-						;; size=67 bbWeight=4 PerfScore 37.00
+       mov      rdi, qword ptr [rbp-0x80]
+       mov      r14d, 19
+       cmp      rdi, 100
+       jae      SHORT G_M45713_IG18
+						;; size=68 bbWeight=4 PerfScore 37.00
 G_M45713_IG12:
-       mov      dword ptr [rbp-0x9C], edx
+       mov      rsi, rdi
        jmp      SHORT G_M45713_IG14
-						;; size=8 bbWeight=2 PerfScore 6.00
+						;; size=5 bbWeight=2 PerfScore 4.50
 G_M45713_IG13:
-       mov      eax, dword ptr [rbp-0x9C]
-       dec      eax
-       mov      dword ptr [rbp-0x9C], eax
-       mov      rdi, r14
+       dec      r14d
+       mov      rdi, rsi
        mov      esi, 10
-       mov      rcx, 0xD1FFAB1E      ; code for System.Math:DivRem(ulong,ulong):System.ValueTuple`2[ulong,ulong]
-       call     [rcx]System.Math:DivRem(ulong,ulong):System.ValueTuple`2[ulong,ulong]
-       mov      r14, rax
+       mov      rax, 0xD1FFAB1E      ; code for System.Math:DivRem(ulong,ulong):System.ValueTuple`2[ulong,ulong]
+       call     [rax]System.Math:DivRem(ulong,ulong):System.ValueTuple`2[ulong,ulong]
+       mov      rsi, rax
        dec      rbx
        add      edx, 48
        mov      byte  ptr [rbx], dl
-						;; size=45 bbWeight=16 PerfScore 124.00
+						;; size=34 bbWeight=16 PerfScore 92.00
 G_M45713_IG14:
-       test     r14, r14
+       test     rsi, rsi
        jne      SHORT G_M45713_IG13
 						;; size=5 bbWeight=32 PerfScore 40.00
 G_M45713_IG15:
-       mov      eax, dword ptr [rbp-0x9C]
-       test     eax, eax
-       mov      dword ptr [rbp-0x9C], eax
+       test     r14d, r14d
        jg       SHORT G_M45713_IG13
-						;; size=16 bbWeight=16 PerfScore 52.00
+						;; size=5 bbWeight=16 PerfScore 20.00
 G_M45713_IG16:
        add      r15d, -19
        test     r12, r12
-       jne      G_M45713_IG11
-						;; size=13 bbWeight=4 PerfScore 6.00
+       jne      SHORT G_M45713_IG11
+						;; size=9 bbWeight=4 PerfScore 6.00
 G_M45713_IG17:
        mov      rdi, rbx
        mov      rsi, r13
        mov      edx, r15d
        mov      rax, 0xD1FFAB1E      ; code for System.Number:UInt64ToDecChars[byte](ptr,ulong,int):ptr
        call     [rax]System.Number:UInt64ToDecChars[byte](ptr,ulong,int):ptr
-       jmp      G_M45713_IG37
+       jmp      G_M45713_IG38
 						;; size=26 bbWeight=0.50 PerfScore 3.00
 G_M45713_IG18:
-       mov      edx, dword ptr [rbp-0x9C]
-						;; size=6 bbWeight=8 PerfScore 8.00
+       mov      rax, 0xD1FFAB1E      ; static handle
+						;; size=10 bbWeight=2 PerfScore 0.50
 G_M45713_IG19:
        add      rbx, -2
-       add      edx, -2
-       mov      dword ptr [rbp-0x9C], edx
-       mov      rdi, 0xD1FFAB1E
-       mov      rdx, r14
+       add      r14d, -2
+       mov      rsi, 0xD1FFAB1E
+       mov      rdx, rdi
        shr      rdx, 2
-       mulx     rdi, rdi, rdi
-       shr      rdi, 2
-       imul     rsi, rdi, 100
-       sub      r14, rsi
-       mov      qword ptr [rbp-0x98], rdi
-       vxorps   xmm0, xmm0, xmm0
-       vmovdqu32 xmmword ptr [rbp-0xB0], xmm0
-       lea      rdi, [rbp-0xB0]
-       mov      rsi, 0xD1FFAB1E      ; data for <PrivateImplementationDetails>:655761BC5B553103BD6B01577097EA28941852F328FFD28398C7ECA4763ADAAA
-       mov      edx, 200
-       mov      rcx, 0xD1FFAB1E      ; code for System.ReadOnlySpan`1[byte]:.ctor(ptr,int):this
-       call     [rcx]System.ReadOnlySpan`1[byte]:.ctor(ptr,int):this
-       mov      rdi, bword ptr [rbp-0xB0]
-       add      r14d, r14d
-       mov      esi, r14d
-       mov      di, word  ptr [rdi+rsi]
+       mulx     rsi, rsi, rsi
+       shr      rsi, 2
+       imul     rcx, rsi, 100
+       sub      rdi, rcx
+       add      edi, edi
+       mov      di, word  ptr [rax+rdi]
        mov      word  ptr [rbx], di
-       mov      r14, qword ptr [rbp-0x98]
-       cmp      r14, 100
-       jae      G_M45713_IG18
-       jmp      G_M45713_IG14
-						;; size=140 bbWeight=16 PerfScore 377.33
+       cmp      rsi, 100
+       jb       SHORT G_M45713_IG14
+						;; size=56 bbWeight=16 PerfScore 188.00
 G_M45713_IG20:
+       mov      rdi, rsi
+       jmp      SHORT G_M45713_IG19
+						;; size=5 bbWeight=8 PerfScore 18.00
+G_M45713_IG21:
        mov      rsi, r13
        mov      rax, r12
        test     rax, rax
-       je       SHORT G_M45713_IG27
-						;; size=11 bbWeight=0.50 PerfScore 0.88
-G_M45713_IG21:
+       je       G_M45713_IG28
+						;; size=15 bbWeight=0.50 PerfScore 0.88
+G_M45713_IG22:
        mov      rdx, rax
        lea      rdi, [rbp-0x70]
        mov      rcx, 0xD1FFAB1E
        xor      r8d, r8d
        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      rsi, qword ptr [rbp-0x70]
        mov      rax, qword ptr [rbp-0x68]
        mov      rcx, qword ptr [rbp-0x60]
        mov      edi, 19
        cmp      rcx, 100
-       jae      G_M45713_IG32
+       jae      G_M45713_IG33
 						;; size=59 bbWeight=4 PerfScore 36.00
-G_M45713_IG22:
-       mov      r9, rcx
-       jmp      SHORT G_M45713_IG24
-						;; size=5 bbWeight=2 PerfScore 4.50
 G_M45713_IG23:
+       mov      r9, rcx
+       jmp      SHORT G_M45713_IG25
+       align    [0 bytes for IG24]
+						;; size=5 bbWeight=2 PerfScore 4.50
+G_M45713_IG24:
        dec      edi
        mov      rdx, 0xD1FFAB1E
        mulx     r8, r8, r9
        shr      r8, 3
        lea      rdx, [r8+4*r8]
        add      rdx, rdx
        mov      rcx, r9
        sub      rcx, rdx
        mov      r9, r8
        dec      rbx
        add      ecx, 48
        mov      byte  ptr [rbx], cl
 						;; size=45 bbWeight=16 PerfScore 112.00
-G_M45713_IG24:
-       test     r9, r9
-       jne      SHORT G_M45713_IG23
-						;; size=5 bbWeight=32 PerfScore 40.00
 G_M45713_IG25:
-       test     edi, edi
-       jg       SHORT G_M45713_IG23
-						;; size=4 bbWeight=16 PerfScore 20.00
+       test     r9, r9
+       jne      SHORT G_M45713_IG24
+						;; size=5 bbWeight=32 PerfScore 40.00
 G_M45713_IG26:
-       test     rax, rax
-       jne      SHORT G_M45713_IG21
-						;; size=5 bbWeight=4 PerfScore 5.00
+       test     edi, edi
+       jg       SHORT G_M45713_IG24
+						;; size=4 bbWeight=16 PerfScore 20.00
 G_M45713_IG27:
+       test     rax, rax
+       jne      SHORT G_M45713_IG22
+						;; size=5 bbWeight=4 PerfScore 5.00
+G_M45713_IG28:
        mov      rax, rbx
        cmp      rsi, 10
-       jb       G_M45713_IG36
+       jb       G_M45713_IG37
 						;; size=13 bbWeight=0.50 PerfScore 0.75
-G_M45713_IG28:
-       cmp      rsi, 100
-       jb       G_M45713_IG35
-       mov      r8, 0xD1FFAB1E      ; static handle
-       jmp      SHORT G_M45713_IG30
-       align    [0 bytes for IG33]
-						;; size=22 bbWeight=0.25 PerfScore 0.88
 G_M45713_IG29:
+       cmp      rsi, 100
+       jb       G_M45713_IG36
+       mov      r8, 0xD1FFAB1E      ; static handle
+       jmp      SHORT G_M45713_IG31
+       align    [0 bytes for IG34]
+						;; size=22 bbWeight=0.25 PerfScore 0.88
+G_M45713_IG30:
        mov      rsi, rcx
 						;; size=3 bbWeight=2 PerfScore 0.50
-G_M45713_IG30:
+G_M45713_IG31:
        add      rax, -2
        mov      rcx, 0xD1FFAB1E
        mov      rdx, rsi
        shr      rdx, 2
        mulx     rcx, rcx, rcx
        shr      rcx, 2
        imul     rdx, rcx, 100
        sub      rsi, rdx
        add      esi, esi
        mov      edx, esi
        mov      dx, word  ptr [r8+rdx]
        mov      word  ptr [rax], dx
        cmp      rcx, 100
-       jae      SHORT G_M45713_IG29
+       jae      SHORT G_M45713_IG30
 						;; size=55 bbWeight=4 PerfScore 47.00
-G_M45713_IG31:
+G_M45713_IG32:
        cmp      rcx, 10
        mov      rsi, rcx
-       jb       SHORT G_M45713_IG36
+       jb       SHORT G_M45713_IG37
        add      rax, -2
        lea      r8d, [rsi+rsi]
        mov      ecx, r8d
        mov      r8, 0xD1FFAB1E      ; static handle
        mov      cx, word  ptr [r8+rcx]
        mov      word  ptr [rax], cx
-       jmp      SHORT G_M45713_IG37
+       jmp      SHORT G_M45713_IG38
 						;; size=40 bbWeight=0.50 PerfScore 3.88
-G_M45713_IG32:
-       mov      r8, 0xD1FFAB1E      ; static handle
-						;; size=10 bbWeight=2 PerfScore 0.50
 G_M45713_IG33:
+       mov      rdx, 0xD1FFAB1E      ; static handle
+       mov      r8, rdx
+						;; size=13 bbWeight=2 PerfScore 1.00
+G_M45713_IG34:
        add      rbx, -2
        add      edi, -2
        mov      r9, 0xD1FFAB1E
        mov      rdx, rcx
        shr      rdx, 2
        mulx     rdx, rdx, r9
        shr      rdx, 2
        imul     r9, rdx, 100
        sub      rcx, r9
        mov      r9, rdx
        add      ecx, ecx
        mov      edx, ecx
        mov      dx, word  ptr [r8+rdx]
        mov      word  ptr [rbx], dx
        cmp      r9, 100
-       jb       G_M45713_IG24
+       jb       G_M45713_IG25
 						;; size=65 bbWeight=16 PerfScore 196.00
-G_M45713_IG34:
-       mov      rcx, r9
-       jmp      SHORT G_M45713_IG33
-						;; size=5 bbWeight=8 PerfScore 18.00
 G_M45713_IG35:
-       mov      rcx, rsi
-       jmp      SHORT G_M45713_IG31
-						;; size=5 bbWeight=0.12 PerfScore 0.28
+       mov      rcx, r9
+       jmp      SHORT G_M45713_IG34
+						;; size=5 bbWeight=8 PerfScore 18.00
 G_M45713_IG36:
+       mov      rcx, rsi
+       jmp      SHORT G_M45713_IG32
+						;; size=5 bbWeight=0.12 PerfScore 0.28
+G_M45713_IG37:
        add      esi, 48
        mov      byte  ptr [rax-0x01], sil
 						;; size=7 bbWeight=0.50 PerfScore 0.62
-G_M45713_IG37:
+G_M45713_IG38:
        xor      eax, eax
        mov      bword ptr [rbp-0x30], rax
        mov      eax, 1
 						;; size=11 bbWeight=0.50 PerfScore 0.75
-G_M45713_IG38:
-       add      rsp, 152
+G_M45713_IG39:
+       add      rsp, 120
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=18 bbWeight=1 PerfScore 4.25
+						;; size=15 bbWeight=1 PerfScore 4.25
 
-; Total bytes of code 1099, prolog size 65, PerfScore 1189.70, instruction count 266, allocated bytes for code 1099 (MethodHash=f6594d6e) for method System.UInt128:TryFormat(System.Span`1[byte],byref,System.ReadOnlySpan`1[char],System.IFormatProvider):bool:this (FullOpts)
+; Total bytes of code 972, prolog size 37, PerfScore 941.53, instruction count 250, allocated bytes for code 976 (MethodHash=f6594d6e) for method System.UInt128:TryFormat(System.Span`1[byte],byref,System.ReadOnlySpan`1[char],System.IFormatProvider):bool: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/537a1ed51f70510e0280f9ddcb1ce4df

[MihuBot]

@EgorBo