[JitDiff X64] [Copilot] Remove unsafe code from BigInteger.TryWriteBigEndian ...

[MihuBot]

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

Main commit: dotnet/runtime@0fe50ea
PR commit: dotnet/runtime@e6c1f5a

Diffs

Found 84 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45422209
Total bytes of diff: 45422303
Total bytes of delta: 94 (0.00 % of base)
Total relative delta: -0.14
    diff is a regression.
    relative diff is an improvement.


Top file regressions (bytes):
         264 : System.Runtime.Numerics.dasm (0.17 % of base)

Top file improvements (bytes):
        -170 : System.Net.Sockets.dasm (-0.06 % of base)

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

Top method regressions (bytes):
         183 (58.10 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
          81 (27.93 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)

Top method improvements (bytes):
        -170 (-100.00 % of base) : System.Net.Sockets.dasm - System.Net.Sockets.SocketAsyncEngine:TryRegisterSocket(nint,System.Net.Sockets.SocketAsyncContext,byref,byref):bool (FullOpts)

Top method regressions (percentages):
         183 (58.10 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
          81 (27.93 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)

Top method improvements (percentages):
        -170 (-100.00 % of base) : System.Net.Sockets.dasm - System.Net.Sockets.SocketAsyncEngine:TryRegisterSocket(nint,System.Net.Sockets.SocketAsyncContext,byref,byref):bool (FullOpts)

3 total methods with Code Size differences (1 improved, 2 regressed), 284373 unchanged.

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

Artifacts:

• diff-frameworks.txt (2 KB)
• ShortDiffsRegressions.md (42 KB)
• jit-diffs-main.zip (155 MB)
• jit-diffs-pr.zip (155 MB)

[MihuBot]

Top method regressions

183 (58.10 % of base) - System.Numerics.BigInteger:System.Numerics.IBinaryInteger.TryWriteBigEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteBigEndian(System.Span`1[byte],byref):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; 3 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 13 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T08] (  6,  5   )   byref  ->  rbx         this single-def
+;  V00 this         [V00,T20] (  6,  5   )   byref  ->  r14         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
-;  V02 arg2         [V02,T09] (  4,  3   )   byref  ->  r15         single-def
-;  V03 loc0         [V03,T07] (  8, 11   )     ref  ->  r12         class-hnd single-def <uint[]>
-;  V04 loc1         [V04,T12] (  4,  3   )     int  ->  rax        
-;  V05 loc2         [V05,T14] (  2,  1   )     int  ->  rcx        
-;  V06 loc3         [V06,T03] (  4, 12.50)   byref  ->  rcx        
-;* V07 loc4         [V07,T15] (  0,  0   )     int  ->  zero-ref   
-;* V08 loc5         [V08    ] (  0,  0   )     int  ->  zero-ref   
-;  V09 loc6         [V09,T13] (  4,  2   )   byref  ->  r14         single-def
-;  V10 loc7         [V10,T01] ( 11, 25   )   byref  ->  rcx        
-;  V11 loc8         [V11,T00] ( 16, 37.50)     int  ->  rdx        
-;  V12 loc9         [V12,T06] (  3, 12   )     int  ->  rsi        
-;# V13 OutArgs      [V13    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V14 tmp1         [V14    ] (  0,  0   )     int  ->  zero-ref   
-;* V15 tmp2         [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V16 tmp3         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V17 tmp4         [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V18 tmp5         [V18,T10] (  4,  2.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V19 tmp6         [V19,T11] (  2,  2   )     int  ->  r13         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V20 tmp7         [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp8         [V21    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp9         [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp10        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp11        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp12        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;  V26 cse0         [V26,T02] ( 10, 15   )     int  ->  rdi         hoist multi-def "CSE #02: aggressive"
-;  V27 rat0         [V27,T04] (  4, 12.50)   byref  ->  r12         "Strength reduced derived IV"
-;  V28 rat1         [V28,T05] (  4, 12.50)     int  ->  rdi         "Trip count IV"
+;  V02 arg2         [V02,T21] (  4,  3   )   byref  ->  r13         single-def
+;  V03 loc0         [V03,T15] (  8, 14.50)     ref  ->  r12         class-hnd single-def <uint[]>
+;  V04 loc1         [V04,T16] (  7, 11   )     int  ->  rax        
+;* V05 loc2         [V05,T24] (  0,  0   )     int  ->  zero-ref   
+;  V06 loc3         [V06,T00] ( 19, 45.50)     int  ->  rcx        
+;  V07 loc4         [V07,T06] (  7, 20   )     int  ->  rdi        
+;# V08 OutArgs      [V08    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V09 tmp1         [V09    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V10 tmp2         [V10    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V11 tmp3         [V11    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V12 tmp4         [V12    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V13 tmp5         [V13,T23] (  2,  1   )     int  ->  rdi         ld-addr-op "Inline stloc first use temp"
+;* V14 tmp6         [V14    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V15 tmp7         [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V16 tmp8         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V17 tmp9         [V17,T02] (  4, 32   )     int  ->  rsi         "Inlining Arg"
+;* V18 tmp10        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V19 tmp11        [V19,T11] (  2, 16   )   byref  ->   r8         "Inlining Arg"
+;  V20 tmp12        [V20,T13] (  2, 16   )     int  ->   r9         "Inlining Arg"
+;* V21 tmp13        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;  V22 tmp14        [V22,T18] (  2,  8   )     int  ->  rsi         ld-addr-op "Inline stloc first use temp"
+;* V23 tmp15        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V24 tmp16        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V25 tmp17        [V25,T03] (  4, 32   )     int  ->   r8         "Inlining Arg"
+;* V26 tmp18        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V27 tmp19        [V27,T12] (  2, 16   )   byref  ->  rsi         "Inlining Arg"
+;  V28 tmp20        [V28,T14] (  2, 16   )     int  ->   r9         "Inlining Arg"
+;  V29 tmp21        [V29,T19] (  2,  8   )     int  ->   r8         ld-addr-op "Inline stloc first use temp"
+;* V30 tmp22        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V31 tmp23        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V32 tmp24        [V32,T01] (  8, 32   )     int  ->   r8         "Inlining Arg"
+;* V33 tmp25        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V34 tmp26        [V34,T09] (  4, 16   )   byref  ->  rsi         "Inlining Arg"
+;  V35 tmp27        [V35,T10] (  4, 16   )     int  ->   r9         "Inlining Arg"
+;  V36 tmp28        [V36,T17] (  4,  8   )     int  ->  r10         ld-addr-op "Inline stloc first use temp"
+;* V37 tmp29        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V38 tmp30        [V38    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V39 tmp31        [V39    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inline stloc first use temp"
+;* V40 tmp32        [V40    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V41 tmp33        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V42 tmp34        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V43 tmp35        [V43,T08] (  7, 14   )   byref  ->  r15         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V44 tmp36        [V44,T04] ( 12, 27   )     int  ->  rbx         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;* V45 tmp37        [V45    ] (  0,  0   )   byref  ->  zero-ref    "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V46 tmp38        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V47 tmp39        [V47    ] (  0,  0   )   byref  ->  zero-ref    "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V48 tmp40        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;* V49 tmp41        [V49    ] (  0,  0   )   byref  ->  zero-ref    "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V50 tmp42        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V51 tmp43        [V51    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V52 tmp44        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V53 tmp45        [V53    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V54 tmp46        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V55 tmp47        [V55    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V56 tmp48        [V56    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;* V57 tmp49        [V57    ] (  0,  0   )   byref  ->  zero-ref    "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V58 tmp50        [V58    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V59 tmp51        [V59    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V60 tmp52        [V60    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;* V61 tmp53        [V61    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V62 tmp54        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;* V63 tmp55        [V63    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V64 tmp56        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V65 tmp57        [V65    ] (  0,  0   )   byref  ->  zero-ref    "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V66 tmp58        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V67 tmp59        [V67    ] (  0,  0   )   byref  ->  zero-ref    "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V68 tmp60        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V69 tmp61        [V69    ] (  0,  0   )   byref  ->  zero-ref    "field V33._reference (fldOffset=0x0)" P-INDEP
+;* V70 tmp62        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
+;* V71 tmp63        [V71    ] (  0,  0   )   byref  ->  zero-ref    "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V72 tmp64        [V72    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
+;* V73 tmp65        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V38._reference (fldOffset=0x0)" P-INDEP
+;* V74 tmp66        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V38._length (fldOffset=0x8)" P-INDEP
+;* V75 tmp67        [V75    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V40._reference (fldOffset=0x0)" P-INDEP
+;* V76 tmp68        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V40._length (fldOffset=0x8)" P-INDEP
+;* V77 tmp69        [V77    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
+;* V78 tmp70        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
+;* V79 tmp71        [V79    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
+;* V80 tmp72        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
+;  V81 cse0         [V81,T22] (  2,  4.50)     int  ->  rdi         hoist "CSE #03: moderate"
+;  V82 cse1         [V82,T07] ( 11, 19   )     int  ->  rdx         hoist multi-def "CSE #02: moderate"
+;  V83 rat0         [V83,T05] (  6, 20.50)    long  ->  rcx         "Widened IV V05"
 ;
 ; Lcl frame size = 8
 
 G_M55555_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        lea      rbp, [rsp+0x30]
-       mov      rbx, rdi
-       mov      r14, rsi
-       mov      r13d, edx
-       mov      r15, rcx
-						;; size=28 bbWeight=1 PerfScore 8.50
+       mov      r14, rdi
+       mov      r15, rsi
+       mov      ebx, edx
+       mov      r13, rcx
+						;; size=27 bbWeight=1 PerfScore 8.50
 G_M55555_IG02:
-       mov      r12, gword ptr [rbx]
-       mov      rdi, rbx
+       mov      r12, gword ptr [r14]
+       mov      rdi, r14
        mov      rax, 0xD1FFAB1E      ; code for System.Numerics.BigInteger:GetGenericMathByteCount():int:this
        call     [rax]System.Numerics.BigInteger:GetGenericMathByteCount():int:this
-       cmp      r13d, eax
-       jge      SHORT G_M55555_IG05
-						;; size=23 bbWeight=1 PerfScore 6.75
+       cmp      ebx, eax
+       jl       G_M55555_IG13
+						;; size=26 bbWeight=1 PerfScore 6.75
 G_M55555_IG03:
-       xor      eax, eax
-       mov      dword ptr [r15], eax
-						;; size=5 bbWeight=0.50 PerfScore 0.62
+       test     r12, r12
+       je       G_M55555_IG12
+       cmp      dword ptr [r14+0x08], 0
+       jge      G_M55555_IG08
+       xor      ecx, ecx
+       mov      edx, dword ptr [r12+0x08]
+       align    [0 bytes for IG04]
+						;; size=27 bbWeight=0.50 PerfScore 3.75
 G_M55555_IG04:
+       cmp      ecx, edx
+       jae      G_M55555_IG18
+       mov      edi, ecx
+       mov      edi, dword ptr [r12+4*rdi+0x10]
+       neg      edi
+       lea      esi, [4*rcx+0x04]
+       mov      r8d, eax
+       sub      r8d, esi
+       cmp      r8d, ebx
+       ja       G_M55555_IG16
+       mov      esi, r8d
+       add      rsi, r15
+       mov      r9d, ebx
+       sub      r9d, r8d
+       mov      r8d, edi
+       bswap    r8d
+       cmp      r9d, 4
+       jl       G_M55555_IG17
+       mov      dword ptr [rsi], r8d
+       inc      ecx
+       test     edi, edi
+       jne      SHORT G_M55555_IG05
+       cmp      edx, ecx
+       jg       SHORT G_M55555_IG04
+						;; size=80 bbWeight=4 PerfScore 51.00
+G_M55555_IG05:
+       cmp      edx, ecx
+       jle      SHORT G_M55555_IG07
+       test     ecx, ecx
+       jl       G_M55555_IG15
+       align    [0 bytes for IG06]
+						;; size=12 bbWeight=0.50 PerfScore 1.25
+G_M55555_IG06:
+       mov      edi, ecx
+       mov      edi, dword ptr [r12+4*rdi+0x10]
+       not      edi
+       lea      esi, [4*rcx+0x04]
+       mov      r8d, eax
+       sub      r8d, esi
+       cmp      r8d, ebx
+       ja       G_M55555_IG16
+       mov      esi, r8d
+       add      rsi, r15
+       mov      r9d, ebx
+       sub      r9d, r8d
+       mov      r10d, edi
+       bswap    r10d
+       cmp      r9d, 4
+       jl       G_M55555_IG17
+       mov      dword ptr [rsi], r10d
+       inc      ecx
+       cmp      edx, ecx
+       jg       SHORT G_M55555_IG06
+						;; size=68 bbWeight=3.96 PerfScore 40.59
+G_M55555_IG07:
+       shl      edx, 2
+       cmp      edx, eax
+       jge      SHORT G_M55555_IG10
+       cmp      ebx, 4
+       jl       G_M55555_IG17
+       mov      dword ptr [r15], -1
+       jmp      SHORT G_M55555_IG10
+       align    [0 bytes for IG09]
+						;; size=25 bbWeight=0.50 PerfScore 3.00
+G_M55555_IG08:
+       xor      ecx, ecx
+       mov      edx, dword ptr [r12+0x08]
+       test     edx, edx
+       jle      SHORT G_M55555_IG10
+       lea      edi, [rdx-0x01]
+						;; size=14 bbWeight=0.50 PerfScore 2.00
+G_M55555_IG09:
+       mov      esi, edi
+       sub      esi, ecx
+       shl      esi, 2
+       cmp      esi, ebx
+       ja       G_M55555_IG16
+       mov      r8d, esi
+       add      r8, r15
+       mov      r9d, ebx
+       sub      r9d, esi
+       movbe    esi, dword ptr [r12+4*rcx+0x10]
+       cmp      r9d, 4
+       jl       G_M55555_IG17
+       mov      dword ptr [r8], esi
+       inc      ecx
+       cmp      edx, ecx
+       jg       SHORT G_M55555_IG09
+						;; size=53 bbWeight=4 PerfScore 40.00
+G_M55555_IG10:
+       mov      dword ptr [r13], eax
+       mov      eax, 1
+						;; size=9 bbWeight=0.50 PerfScore 0.62
+G_M55555_IG11:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
-G_M55555_IG05:
-       test     r12, r12
-       je       G_M55555_IG15
-       cmp      dword ptr [rbx+0x08], 0
-       jge      G_M55555_IG11
-       lea      ecx, [rax-0x04]
-       movsxd   rcx, ecx
-       add      rcx, r14
-       xor      edx, edx
-       mov      edi, dword ptr [r12+0x08]
-       align    [0 bytes for IG06]
-						;; size=35 bbWeight=0.50 PerfScore 4.25
-G_M55555_IG06:
-       cmp      edx, edi
-       jae      G_M55555_IG16
-       mov      esi, edx
-       mov      esi, dword ptr [r12+4*rsi+0x10]
-       neg      esi
-       bswap    esi
-       mov      dword ptr [rcx], esi
-       add      rcx, -4
-       inc      edx
-       test     esi, esi
-       jne      SHORT G_M55555_IG07
-       cmp      edi, edx
-       jg       SHORT G_M55555_IG06
-						;; size=35 bbWeight=4 PerfScore 33.00
-G_M55555_IG07:
-       cmp      edi, edx
-       jle      SHORT G_M55555_IG09
-       test     edx, edx
-       jl       SHORT G_M55555_IG10
-       align    [11 bytes for IG08]
-						;; size=19 bbWeight=0.50 PerfScore 1.38
-G_M55555_IG08:
-       mov      esi, edx
-       mov      esi, dword ptr [r12+4*rsi+0x10]
-       not      esi
-       movbe    dword ptr [rcx], esi
-       add      rcx, -4
-       inc      edx
-       cmp      edi, edx
-       jg       SHORT G_M55555_IG08
-						;; size=23 bbWeight=3.96 PerfScore 20.79
-G_M55555_IG09:
-       cmp      rcx, r14
-       jne      SHORT G_M55555_IG13
-       mov      dword ptr [r14], -1
-       jmp      SHORT G_M55555_IG13
-       align    [8 bytes for IG12]
-						;; size=22 bbWeight=0.50 PerfScore 2.12
-G_M55555_IG10:
-       mov      esi, edx
-       mov      esi, dword ptr [r12+4*rsi+0x10]
-       not      esi
-       movbe    dword ptr [rcx], esi
-       add      rcx, -4
-       inc      edx
-       cmp      edi, edx
-       jg       SHORT G_M55555_IG10
-       jmp      SHORT G_M55555_IG09
-						;; size=25 bbWeight=0.04 PerfScore 0.29
-G_M55555_IG11:
-       mov      edi, dword ptr [r12+0x08]
-       lea      ecx, [4*rdi-0x04]
-       movsxd   rcx, ecx
-       add      rcx, r14
-       test     edi, edi
-       je       SHORT G_M55555_IG13
-       add      r12, 16
-						;; size=26 bbWeight=0.50 PerfScore 2.25
 G_M55555_IG12:
-       mov      edx, dword ptr [r12]
-       movbe    dword ptr [rcx], edx
-       add      rcx, -4
-       add      r12, 4
-       dec      edi
-       jne      SHORT G_M55555_IG12
-						;; size=20 bbWeight=4 PerfScore 19.00
+       movbe    edi, dword ptr [r14+0x08]
+       cmp      ebx, 4
+       jl       SHORT G_M55555_IG17
+       mov      dword ptr [r15], edi
+       jmp      SHORT G_M55555_IG10
+						;; size=16 bbWeight=0.50 PerfScore 3.62
 G_M55555_IG13:
-       mov      dword ptr [r15], eax
-       mov      eax, 1
-						;; size=8 bbWeight=0.50 PerfScore 0.62
+       xor      eax, eax
+       mov      dword ptr [r13], eax
+						;; size=6 bbWeight=0.50 PerfScore 0.62
 G_M55555_IG14:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M55555_IG15:
-       movbe    ecx, dword ptr [rbx+0x08]
-       mov      dword ptr [r14], ecx
-       jmp      SHORT G_M55555_IG13
-						;; size=10 bbWeight=0.50 PerfScore 3.00
+       mov      edi, ecx
+       mov      r8d, dword ptr [r12+4*rdi+0x10]
+       mov      edi, r8d
+       not      edi
+       lea      esi, [4*rcx+0x04]
+       mov      r8d, eax
+       sub      r8d, esi
+       cmp      r8d, ebx
+       ja       SHORT G_M55555_IG16
+       mov      esi, r8d
+       add      rsi, r15
+       mov      r9d, ebx
+       sub      r9d, r8d
+       mov      r10d, edi
+       bswap    r10d
+       cmp      r9d, 4
+       jl       SHORT G_M55555_IG17
+       mov      dword ptr [rsi], r10d
+       inc      ecx
+       cmp      edx, ecx
+       jg       SHORT G_M55555_IG15
+       jmp      G_M55555_IG07
+						;; size=68 bbWeight=0.04 PerfScore 0.50
 G_M55555_IG16:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M55555_IG17:
+       mov      edi, 40
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M55555_IG18:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 315, prolog size 28, PerfScore 106.83, instruction count 106, allocated bytes for code 315 (MethodHash=ddb826fc) for method System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 498, prolog size 27, PerfScore 166.46, instruction count 159, allocated bytes for code 498 (MethodHash=ddb826fc) for method System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteBigEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

81 (27.93 % of base) - System.Numerics.BigInteger:System.Numerics.IBinaryInteger.TryWriteLittleEndian(System.Span`1[byte],byref):bool:this

 ; Assembly listing for method System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteLittleEndian(System.Span`1[byte],byref):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; 3 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 8 single block inlinees; 13 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T08] (  6,  5   )   byref  ->  rbx         this single-def
+;  V00 this         [V00,T17] (  6,  5   )   byref  ->  rbx         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
-;  V02 arg2         [V02,T09] (  4,  3   )   byref  ->  r15         single-def
-;  V03 loc0         [V03,T07] (  8, 11   )     ref  ->  r12         class-hnd single-def <uint[]>
-;  V04 loc1         [V04,T12] (  4,  3   )     int  ->  rax        
-;  V05 loc2         [V05,T14] (  2,  1   )     int  ->  rcx        
-;  V06 loc3         [V06,T03] (  4, 12.50)   byref  ->  rcx        
-;* V07 loc4         [V07,T15] (  0,  0   )     int  ->  zero-ref   
-;* V08 loc5         [V08    ] (  0,  0   )     int  ->  zero-ref   
-;  V09 loc6         [V09,T01] ( 12, 25.50)   byref  ->  r14        
-;  V10 loc7         [V10,T13] (  3,  1.50)   byref  ->  rcx         single-def
-;  V11 loc8         [V11,T00] ( 16, 37.50)     int  ->  rdx        
-;  V12 loc9         [V12,T06] (  3, 12   )     int  ->  rsi        
-;# V13 OutArgs      [V13    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V14 tmp1         [V14    ] (  0,  0   )     int  ->  zero-ref   
-;* V15 tmp2         [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V16 tmp3         [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V17 tmp4         [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;  V18 tmp5         [V18,T10] (  4,  2.50)   byref  ->  r14         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
-;  V19 tmp6         [V19,T11] (  2,  2   )     int  ->  r13         single-def "field V01._length (fldOffset=0x8)" P-INDEP
-;* V20 tmp7         [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V21 tmp8         [V21    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V22 tmp9         [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V23 tmp10        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V24 tmp11        [V24    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V25 tmp12        [V25    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;  V26 cse0         [V26,T02] (  9, 14.50)     int  ->  rdi         hoist multi-def "CSE #02: aggressive"
-;  V27 rat0         [V27,T04] (  4, 12.50)   byref  ->  r12         "Strength reduced derived IV"
-;  V28 rat1         [V28,T05] (  4, 12.50)     int  ->  rdi         "Trip count IV"
+;  V02 arg2         [V02,T19] (  4,  3   )   byref  ->  r14         single-def
+;  V03 loc0         [V03,T16] (  8, 11   )     ref  ->  r12         class-hnd single-def <uint[]>
+;  V04 loc1         [V04,T21] (  4,  3   )     int  ->  rax        
+;* V05 loc2         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
+;* V06 loc3         [V06,T23] (  0,  0   )     int  ->  zero-ref   
+;* V07 loc4         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.Span`1[byte]>
+;  V08 loc5         [V08,T00] ( 16, 37.50)     int  ->  rdi        
+;  V09 loc6         [V09,T03] (  7, 20   )     int  ->  rdx        
+;# V10 OutArgs      [V10    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V11 tmp1         [V11    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;  V12 tmp2         [V12,T22] (  2,  2   )     int  ->  rdi         ld-addr-op "Inlining Arg"
+;* V13 tmp3         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V14 tmp4         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V15 tmp5         [V15    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;  V16 tmp6         [V16,T08] (  2, 16   )     int  ->  rsi         ld-addr-op "Inlining Arg"
+;* V17 tmp7         [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V18 tmp8         [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V19 tmp9         [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V20 tmp10        [V20,T06] (  2, 16   )   byref  ->  rdi         "Inlining Arg"
+;  V21 tmp11        [V21,T09] (  2, 16   )     int  ->  rcx         "Inlining Arg"
+;* V22 tmp12        [V22    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V23 tmp13        [V23    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V24 tmp14        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V25 tmp15        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V26 tmp16        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V27 tmp17        [V27,T07] (  2, 16   )   byref  ->  r13         "Inlining Arg"
+;  V28 tmp18        [V28,T10] (  2, 16   )     int  ->  r15         "Inlining Arg"
+;* V29 tmp19        [V29    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V30 tmp20        [V30    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V31 tmp21        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V32 tmp22        [V32    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V33 tmp23        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V34 tmp24        [V34,T04] (  4, 16   )   byref  ->  r13         "Inlining Arg"
+;  V35 tmp25        [V35,T05] (  4, 16   )     int  ->  r15         "Inlining Arg"
+;* V36 tmp26        [V36    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Span`1[byte]>
+;* V37 tmp27        [V37    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V38 tmp28        [V38    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V39 tmp29        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V40 tmp30        [V40,T20] (  4,  2.50)   byref  ->  r13         single-def "field V01._reference (fldOffset=0x0)" P-INDEP
+;  V41 tmp31        [V41,T18] (  5,  3.50)     int  ->  r15         single-def "field V01._length (fldOffset=0x8)" P-INDEP
+;  V42 tmp32        [V42,T12] (  4, 12.50)   byref  ->  rdi         "field V05._reference (fldOffset=0x0)" P-INDEP
+;  V43 tmp33        [V43,T14] (  4, 12.50)     int  ->  rcx         "field V05._length (fldOffset=0x8)" P-INDEP
+;  V44 tmp34        [V44,T01] ( 11, 25   )   byref  ->  r13         "field V07._reference (fldOffset=0x0)" P-INDEP
+;  V45 tmp35        [V45,T02] ( 11, 25   )     int  ->  r15         "field V07._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp36        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp37        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V48 tmp38        [V48    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V49 tmp39        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V50 tmp40        [V50    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V51 tmp41        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V52 tmp42        [V52    ] (  0,  0   )   byref  ->  zero-ref    "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V53 tmp43        [V53    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V54 tmp44        [V54    ] (  0,  0   )   byref  ->  zero-ref    "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V55 tmp45        [V55    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;* V56 tmp46        [V56    ] (  0,  0   )   byref  ->  zero-ref    "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V57 tmp47        [V57    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V58 tmp48        [V58    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V59 tmp49        [V59    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;* V60 tmp50        [V60    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V61 tmp51        [V61    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;* V62 tmp52        [V62    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V63 tmp53        [V63    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;* V64 tmp54        [V64    ] (  0,  0   )   byref  ->  zero-ref    "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V65 tmp55        [V65    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V66 tmp56        [V66    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V67 tmp57        [V67    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V68 tmp58        [V68    ] (  0,  0   )   byref  ->  zero-ref    "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V69 tmp59        [V69    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;* V70 tmp60        [V70    ] (  0,  0   )   byref  ->  zero-ref    "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V71 tmp61        [V71    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V72 tmp62        [V72    ] (  0,  0   )   byref  ->  zero-ref    "field V32._reference (fldOffset=0x0)" P-INDEP
+;* V73 tmp63        [V73    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
+;* V74 tmp64        [V74    ] (  0,  0   )   byref  ->  zero-ref    "field V33._reference (fldOffset=0x0)" P-INDEP
+;* V75 tmp65        [V75    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
+;* V76 tmp66        [V76    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
+;* V77 tmp67        [V77    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
+;* V78 tmp68        [V78    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V38._reference (fldOffset=0x0)" P-INDEP
+;* V79 tmp69        [V79    ] (  0,  0   )     int  ->  zero-ref    "field V38._length (fldOffset=0x8)" P-INDEP
+;* V80 tmp70        [V80    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V81 tmp71        [V81    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;  V82 cse0         [V82,T11] ( 10, 15   )     int  ->  registers   hoist multi-def "CSE #02: moderate"
+;  V83 rat0         [V83,T13] (  4, 12.50)   byref  ->  r12         "Strength reduced derived IV"
+;  V84 rat1         [V84,T15] (  4, 12.50)     int  ->  rdx         "Trip count IV"
 ;
 ; Lcl frame size = 8
 
 G_M37379_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        lea      rbp, [rsp+0x30]
        mov      rbx, rdi
-       mov      r14, rsi
-       mov      r13d, edx
-       mov      r15, rcx
+       mov      r13, rsi
+       mov      r15d, edx
+       mov      r14, rcx
 						;; size=28 bbWeight=1 PerfScore 8.50
 G_M37379_IG02:
        mov      r12, gword ptr [rbx]
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.Numerics.BigInteger:GetGenericMathByteCount():int:this
        call     [rax]System.Numerics.BigInteger:GetGenericMathByteCount():int:this
-       cmp      r13d, eax
-       jge      SHORT G_M37379_IG05
-						;; size=23 bbWeight=1 PerfScore 6.75
+       cmp      r15d, eax
+       jl       G_M37379_IG13
+						;; size=27 bbWeight=1 PerfScore 6.75
 G_M37379_IG03:
-       xor      eax, eax
-       mov      dword ptr [r15], eax
-						;; size=5 bbWeight=0.50 PerfScore 0.62
+       test     r12, r12
+       je       G_M37379_IG12
+       cmp      dword ptr [rbx+0x08], 0
+       jge      G_M37379_IG08
+       xor      edi, edi
+       mov      ecx, dword ptr [r12+0x08]
+       align    [0 bytes for IG04]
+						;; size=26 bbWeight=0.50 PerfScore 3.75
 G_M37379_IG04:
+       cmp      edi, ecx
+       jae      G_M37379_IG17
+       mov      edx, edi
+       mov      edx, dword ptr [r12+4*rdx+0x10]
+       neg      edx
+       cmp      r15d, 4
+       jl       G_M37379_IG16
+       mov      dword ptr [r13], edx
+       add      r13, 4
+       add      r15d, -4
+       inc      edi
+       test     edx, edx
+       jne      SHORT G_M37379_IG05
+       cmp      ecx, edi
+       jg       SHORT G_M37379_IG04
+						;; size=49 bbWeight=4 PerfScore 37.00
+G_M37379_IG05:
+       cmp      ecx, edi
+       jle      SHORT G_M37379_IG07
+       test     edi, edi
+       jl       G_M37379_IG15
+       align    [0 bytes for IG06]
+						;; size=12 bbWeight=0.50 PerfScore 1.25
+G_M37379_IG06:
+       mov      edx, edi
+       mov      edx, dword ptr [r12+4*rdx+0x10]
+       not      edx
+       cmp      r15d, 4
+       jl       G_M37379_IG16
+       mov      dword ptr [r13], edx
+       add      r13, 4
+       add      r15d, -4
+       inc      edi
+       cmp      ecx, edi
+       jg       SHORT G_M37379_IG06
+						;; size=37 bbWeight=3.96 PerfScore 26.73
+G_M37379_IG07:
+       shl      ecx, 2
+       cmp      ecx, eax
+       jge      SHORT G_M37379_IG10
+       cmp      r15d, 4
+       jl       G_M37379_IG16
+       mov      dword ptr [r13], -1
+       jmp      SHORT G_M37379_IG10
+       align    [0 bytes for IG09]
+						;; size=27 bbWeight=0.50 PerfScore 3.00
+G_M37379_IG08:
+       mov      rdi, r13
+       mov      ecx, r15d
+       mov      edx, dword ptr [r12+0x08]
+       test     edx, edx
+       jle      SHORT G_M37379_IG10
+       add      r12, 16
+						;; size=19 bbWeight=0.50 PerfScore 2.00
+G_M37379_IG09:
+       mov      esi, dword ptr [r12]
+       cmp      ecx, 4
+       jl       SHORT G_M37379_IG16
+       mov      dword ptr [rdi], esi
+       add      rdi, 4
+       add      ecx, -4
+       add      r12, 4
+       dec      edx
+       jne      SHORT G_M37379_IG09
+						;; size=26 bbWeight=4 PerfScore 25.00
+G_M37379_IG10:
+       mov      dword ptr [r14], eax
+       mov      eax, 1
+						;; size=8 bbWeight=0.50 PerfScore 0.62
+G_M37379_IG11:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
-G_M37379_IG05:
-       test     r12, r12
-       je       G_M37379_IG15
-       cmp      dword ptr [rbx+0x08], 0
-       jge      G_M37379_IG11
-       lea      ecx, [rax-0x04]
-       movsxd   rcx, ecx
-       add      rcx, r14
-       xor      edx, edx
-       mov      edi, dword ptr [r12+0x08]
-       align    [0 bytes for IG06]
-						;; size=35 bbWeight=0.50 PerfScore 4.25
-G_M37379_IG06:
-       cmp      edx, edi
-       jae      G_M37379_IG16
-       mov      esi, edx
-       mov      esi, dword ptr [r12+4*rsi+0x10]
-       neg      esi
-       mov      dword ptr [r14], esi
-       add      r14, 4
-       inc      edx
-       test     esi, esi
-       jne      SHORT G_M37379_IG07
-       cmp      edi, edx
-       jg       SHORT G_M37379_IG06
-						;; size=34 bbWeight=4 PerfScore 31.00
-G_M37379_IG07:
-       cmp      edi, edx
-       jle      SHORT G_M37379_IG09
-       test     edx, edx
-       jl       SHORT G_M37379_IG10
-       align    [12 bytes for IG08]
-						;; size=20 bbWeight=0.50 PerfScore 1.38
-G_M37379_IG08:
-       mov      esi, edx
-       mov      esi, dword ptr [r12+4*rsi+0x10]
-       not      esi
-       mov      dword ptr [r14], esi
-       add      r14, 4
-       inc      edx
-       cmp      edi, edx
-       jg       SHORT G_M37379_IG08
-						;; size=22 bbWeight=3.96 PerfScore 20.79
-G_M37379_IG09:
-       cmp      r14, rcx
-       jne      SHORT G_M37379_IG13
-       mov      dword ptr [rcx], -1
-       jmp      SHORT G_M37379_IG13
-       align    [0 bytes for IG12]
-						;; size=13 bbWeight=0.50 PerfScore 2.12
-G_M37379_IG10:
-       mov      esi, edx
-       mov      esi, dword ptr [r12+4*rsi+0x10]
-       not      esi
-       mov      dword ptr [r14], esi
-       add      r14, 4
-       inc      edx
-       cmp      edi, edx
-       jg       SHORT G_M37379_IG10
-       jmp      SHORT G_M37379_IG09
-						;; size=24 bbWeight=0.04 PerfScore 0.29
-G_M37379_IG11:
-       mov      rcx, r14
-       mov      edi, dword ptr [r12+0x08]
-       test     edi, edi
-       jle      SHORT G_M37379_IG13
-       add      r12, 16
-						;; size=16 bbWeight=0.50 PerfScore 1.88
 G_M37379_IG12:
-       mov      edx, dword ptr [r12]
-       mov      dword ptr [rcx], edx
-       add      rcx, 4
-       add      r12, 4
-       dec      edi
-       jne      SHORT G_M37379_IG12
-						;; size=18 bbWeight=4 PerfScore 19.00
+       mov      edi, dword ptr [rbx+0x08]
+       cmp      r15d, 4
+       jl       SHORT G_M37379_IG16
+       mov      dword ptr [r13], edi
+       jmp      SHORT G_M37379_IG10
+						;; size=15 bbWeight=0.50 PerfScore 3.12
 G_M37379_IG13:
-       mov      dword ptr [r15], eax
-       mov      eax, 1
-						;; size=8 bbWeight=0.50 PerfScore 0.62
+       xor      eax, eax
+       mov      dword ptr [r14], eax
+						;; size=5 bbWeight=0.50 PerfScore 0.62
 G_M37379_IG14:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M37379_IG15:
-       mov      ecx, dword ptr [rbx+0x08]
-       mov      dword ptr [r14], ecx
-       jmp      SHORT G_M37379_IG13
-						;; size=8 bbWeight=0.50 PerfScore 2.50
+       mov      edx, edi
+       mov      edx, dword ptr [r12+4*rdx+0x10]
+       not      edx
+       cmp      r15d, 4
+       jl       SHORT G_M37379_IG16
+       mov      dword ptr [r13], edx
+       add      r13, 4
+       add      r15d, -4
+       inc      edi
+       cmp      ecx, edi
+       jg       SHORT G_M37379_IG15
+       jmp      G_M37379_IG07
+						;; size=38 bbWeight=0.04 PerfScore 0.35
 G_M37379_IG16:
+       mov      edi, 40
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M37379_IG17:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 290, prolog size 28, PerfScore 103.96, instruction count 103, allocated bytes for code 290 (MethodHash=5a6d6dfc) for method System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
+; Total bytes of code 371, prolog size 28, PerfScore 122.95, instruction count 122, allocated bytes for code 371 (MethodHash=5a6d6dfc) for method System.Numerics.BigInteger:System.Numerics.IBinaryInteger<System.Numerics.BigInteger>.TryWriteLittleEndian(System.Span`1[byte],byref):bool:this (FullOpts)
 ; ============================================================

[MihuBot]

@EgorBo