[JitDiff X64] MihaZupan/runtime/assertprop-cast

[MihuBot]

Job completed in 16 minutes 55 seconds (remote runner delay: 1 minute 34 seconds).
https://github.com/MihaZupan/runtime/tree/assertprop-cast

Main commit: dotnet/runtime@9071409
PR commit: MihaZupan/runtime@bb9824b

Diffs

Found 85 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46450055
Total bytes of diff: 46450012
Total bytes of delta: -43 (-0.00 % of base)
Total relative delta: -0.04
    diff is an improvement.
    relative diff is an improvement.


Top file improvements (bytes):
         -30 : System.Runtime.Numerics.dasm (-0.02 % of base)
         -13 : System.Private.CoreLib.dasm (-0.00 % of base)

2 total files with Code Size differences (2 improved, 0 regressed), 258 unchanged.

Top method improvements (bytes):
         -26 (-1.87 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:TryGetBytes(int,System.Span`1[byte],bool,bool,byref):byte[]:this (FullOpts)
         -13 (-0.53 % of base) : System.Private.CoreLib.dasm - System.Number:FormatFloatingPointAsHex[double,byte](byref,double,char,int,System.Globalization.NumberFormatInfo) (FullOpts)
          -1 (-0.58 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:GetBitLength():long:this (FullOpts)
          -1 (-0.56 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:Log2(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)
          -1 (-0.32 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:PopCount(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)
          -1 (-0.54 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:TrailingZeroCount(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)

Top method improvements (percentages):
         -26 (-1.87 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:TryGetBytes(int,System.Span`1[byte],bool,bool,byref):byte[]:this (FullOpts)
          -1 (-0.58 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:GetBitLength():long:this (FullOpts)
          -1 (-0.56 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:Log2(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)
          -1 (-0.54 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:TrailingZeroCount(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)
         -13 (-0.53 % of base) : System.Private.CoreLib.dasm - System.Number:FormatFloatingPointAsHex[double,byte](byref,double,char,int,System.Globalization.NumberFormatInfo) (FullOpts)
          -1 (-0.32 % of base) : System.Runtime.Numerics.dasm - System.Numerics.BigInteger:PopCount(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)

6 total methods with Code Size differences (6 improved, 0 regressed), 288471 unchanged.

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

Artifacts:

• jit-diffs-pr.zip (159 MB)
• jit-diffs-main.zip (159 MB)
• diff-frameworks.txt (2 KB)
• ShortDiffsImprovements.md (57 KB)
• LongDiffsImprovements.md (153 KB)

[MihuBot]

Top method improvements

-26 (-1.87 % of base) - System.Numerics.BigInteger:TryGetBytes(int,System.Span`1[byte],bool,bool,byref):byte[]:this

 ; Assembly listing for method System.Numerics.BigInteger:TryGetBytes(int,System.Span`1[byte],bool,bool,byref):byte[]: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; 42 single block inlinees; 26 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T17] (  4,  3.50)   byref  ->  rdi         this single-def
 ;  V01 arg1         [V01,T16] (  6,  4   )     int  ->  r14         single-def
 ;* V02 arg2         [V02    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.Span`1[byte]>
 ;  V03 arg3         [V03,T19] (  4,  3   )   ubyte  ->  r13         single-def
 ;  V04 arg4         [V04,T20] (  3,  2.50)   ubyte  ->  r12         single-def
-;  V05 arg5         [V05,T32] (  4,  2   )   byref  ->  [rbp+0x10]  single-def
+;  V05 arg5         [V05,T30] (  4,  2   )   byref  ->  [rbp+0x10]  single-def
 ;  V06 loc0         [V06,T09] (  8,  8.50)     int  ->  [rbp-0x2C]  spill-single-def
-;* V07 loc1         [V07,T47] (  0,  0   )     int  ->  zero-ref   
+;* V07 loc1         [V07,T45] (  0,  0   )     int  ->  zero-ref   
 ;  V08 loc2         [V08,T24] (  6,  3   )   ubyte  ->  [rbp-0x30] 
 ;  V09 loc3         [V09,T23] (  4,  3.50)     int  ->  [rbp-0x34] 
 ;  V10 loc4         [V10,T10] (  9,  8   )    long  ->  [rbp-0x40] 
 ;  V11 loc5         [V11,T04] ( 20, 17   )     ref  ->  [rbp-0x60]  class-hnd spill-single-def <nuint[]>
 ;  V12 loc6         [V12,T07] (  6, 10   )     int  ->  [rbp-0x44] 
-;  V13 loc7         [V13,T36] (  3,  1.50)   ubyte  ->  [rbp-0x48]  spill-single-def
+;  V13 loc7         [V13,T34] (  3,  1.50)   ubyte  ->  [rbp-0x48]  spill-single-def
 ;  V14 loc8         [V14,T18] ( 10,  5   )     int  ->  [rbp-0x4C] 
-;  V15 loc9         [V15,T31] (  4,  2   )     ref  ->  [rbp-0x68]  class-hnd <byte[]>
+;  V15 loc9         [V15,T29] (  4,  2   )     ref  ->  [rbp-0x68]  class-hnd <byte[]>
 ;  V16 loc10        [V16,T00] ( 26, 38   )     int  ->  registers  
 ;  V17 loc11        [V17,T25] (  3,  3   )     int  ->  r13        
 ;* V18 loc12        [V18    ] (  0,  0   )     int  ->  zero-ref   
 ;* V19 loc13        [V19    ] (  0,  0   )     int  ->  zero-ref   
 ;* V20 loc14        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
 ;* V21 loc15        [V21    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
-;* V22 loc16        [V22,T48] (  0,  0   )     int  ->  zero-ref   
+;* V22 loc16        [V22,T46] (  0,  0   )     int  ->  zero-ref   
 ;  V23 loc17        [V23,T05] (  7, 16   )    long  ->  rbx        
 ;  V24 loc18        [V24,T01] (  6, 20.50)     int  ->  rcx        
 ;# V25 OutArgs      [V25    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V26 tmp1         [V26,T37] (  3,  1.50)     int  ->  r13        
-;  V27 tmp2         [V27,T33] (  2,  2   )     ref  ->  r14         class-hnd exact single-def "NewArr temp" <byte[]>
-;  V28 tmp3         [V28,T41] (  2,  1   )     int  ->  rdi        
-;  V29 tmp4         [V29,T42] (  2,  1   )     int  ->  r13        
+;  V26 tmp1         [V26,T35] (  3,  1.50)     int  ->  r13        
+;  V27 tmp2         [V27,T31] (  2,  2   )     ref  ->  r14         class-hnd exact single-def "NewArr temp" <byte[]>
+;  V28 tmp3         [V28,T39] (  2,  1   )     int  ->  rdi        
+;  V29 tmp4         [V29,T40] (  2,  1   )     int  ->  r13        
 ;* V30 tmp5         [V30    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
 ;* V31 tmp6         [V31    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
 ;* V32 tmp7         [V32    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.Index>
 ;* V33 tmp8         [V33    ] (  0,  0   )  struct ( 8) zero-ref    "spilled call-like call argument" <System.Range>
 ;* V34 tmp9         [V34    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[nuint]>
 ;* V35 tmp10        [V35    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
 ;* V36 tmp11        [V36    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[nuint]>
-;  V37 tmp12        [V37,T43] (  2,  1   )     int  ->   r9        
-;  V38 tmp13        [V38,T50] (  3,  0   )     ref  ->  r14         class-hnd exact single-def "NewObj constructor temp" <System.OverflowException>
+;  V37 tmp12        [V37,T41] (  2,  1   )     int  ->   r9        
+;  V38 tmp13        [V38,T48] (  3,  0   )     ref  ->  r14         class-hnd exact single-def "NewObj constructor temp" <System.OverflowException>
 ;* V39 tmp14        [V39    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
 ;* V40 tmp15        [V40    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[nuint]>
 ;* V41 tmp16        [V41    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V42 tmp17        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[nuint]>
 ;* V43 tmp18        [V43    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[nuint]>
 ;* V44 tmp19        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;* V45 tmp20        [V45    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V46 tmp21        [V46    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V47 tmp22        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[nuint]>
 ;* V48 tmp23        [V48    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V49 tmp24        [V49    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V50 tmp25        [V50    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V51 tmp26        [V51    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V52 tmp27        [V52    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V53 tmp28        [V53    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
-;  V54 tmp29        [V54,T44] (  2,  1   )     int  ->  rdx         "Inline return value spill temp"
+;  V54 tmp29        [V54,T42] (  2,  1   )     int  ->  rdx         "Inline return value spill temp"
 ;  V55 tmp30        [V55,T26] (  3,  3   )     int  ->  rdi         "Inlining Arg"
-;  V56 tmp31        [V56,T45] (  2,  1   )     int  ->  r10         "Inline return value spill temp"
+;  V56 tmp31        [V56,T43] (  2,  1   )     int  ->  r10         "Inline return value spill temp"
 ;  V57 tmp32        [V57,T27] (  3,  3   )     int  ->  rdi         "Inlining Arg"
 ;* V58 tmp33        [V58    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V59 tmp34        [V59    ] (  0,  0   )  struct ( 8) zero-ref    "Inlining Arg" <System.Index>
 ;* V60 tmp35        [V60    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.Range>
 ;* V61 tmp36        [V61    ] (  0,  0   )  struct ( 8) zero-ref    "spilled call-like call argument" <System.Index>
 ;* V62 tmp37        [V62    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.Index>
 ;* V63 tmp38        [V63    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[nuint]>
 ;* V64 tmp39        [V64    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Range>
 ;* V65 tmp40        [V65    ] (  0,  0   )  struct ( 8) zero-ref    "dup spill" <System.ValueTuple`2[int,int]>
 ;* V66 tmp41        [V66    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V67 tmp42        [V67    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V68 tmp43        [V68    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[nuint]>
 ;* V69 tmp44        [V69    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inline stloc first use temp" <System.Index>
 ;* V70 tmp45        [V70    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inline stloc first use temp" <System.Index>
 ;* V71 tmp46        [V71    ] (  0,  0   )  struct ( 8) zero-ref    "spilled call-like call argument" <System.Index>
 ;* V72 tmp47        [V72    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[nuint]>
 ;* V73 tmp48        [V73    ] (  0,  0   )  struct ( 8) zero-ref    "spilled call-like call argument" <System.Index>
 ;* V74 tmp49        [V74    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.Index>
 ;* V75 tmp50        [V75    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.Index>
 ;* V76 tmp51        [V76    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inline stloc first use temp" <System.Index>
 ;  V77 tmp52        [V77,T28] (  3,  3   )     int  ->  rcx         "Inlining Arg"
 ;* V78 tmp53        [V78    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V79 tmp54        [V79    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V80 tmp55        [V80    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.ValueTuple`2[int,int]>
 ;* V81 tmp56        [V81    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;  V82 tmp57        [V82,T38] (  3,  1.50)     int  ->  rdi         "Inline stloc first use temp"
+;  V82 tmp57        [V82,T36] (  3,  1.50)     int  ->  rdi         "Inline stloc first use temp"
 ;* V83 tmp58        [V83    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V84 tmp59        [V84    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V85 tmp60        [V85    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[nuint]>
 ;* V86 tmp61        [V86    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V87 tmp62        [V87    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[nuint]>
 ;* V88 tmp63        [V88    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;  V89 tmp64        [V89,T08] (  9,  9   )     int  ->  [rbp-0x50]  spill-single-def "Inlining Arg"
 ;* V90 tmp65        [V90    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V91 tmp66        [V91    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V92 tmp67        [V92    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;* V93 tmp68        [V93    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V94 tmp69        [V94    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V95 tmp70        [V95    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V96 tmp71        [V96    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V97 tmp72        [V97    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V98 tmp73        [V98    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V99 tmp74        [V99    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V100 tmp75       [V100    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V101 tmp76       [V101    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V102 tmp77       [V102    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V103 tmp78       [V103    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V104 tmp79       [V104    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V105 tmp80       [V105    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V106 tmp81       [V106    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V107 tmp82       [V107    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V108 tmp83       [V108    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V109 tmp84       [V109    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;  V110 tmp85       [V110,T11] (  2,  8   )   byref  ->  r14         "Inlining Arg"
 ;  V111 tmp86       [V111,T13] (  2,  8   )     int  ->   r9         "Inlining Arg"
 ;  V112 tmp87       [V112,T22] (  2,  4   )    long  ->  rbx         ld-addr-op "Inline stloc first use temp"
 ;* V113 tmp88       [V113    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V114 tmp89       [V114    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V115 tmp90       [V115    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;  V116 tmp91       [V116,T12] (  2,  8   )   byref  ->   r9         "Inlining Arg"
 ;  V117 tmp92       [V117,T14] (  2,  8   )     int  ->  r14         "Inlining Arg"
 ;* V118 tmp93       [V118    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V119 tmp94       [V119    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V120 tmp95       [V120    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;  V121 tmp96       [V121,T21] (  4,  4   )     ref  ->  r14         "Single return block return value"
 ;  V122 tmp97       [V122,T06] (  9, 11.50)   byref  ->  r15         "field V02._reference (fldOffset=0x0)" P-INDEP
 ;  V123 tmp98       [V123,T03] ( 12, 16   )     int  ->  [rbp-0x54]  "field V02._length (fldOffset=0x8)" P-INDEP
 ;* V124 tmp99       [V124    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
 ;* V125 tmp100      [V125    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
 ;* V126 tmp101      [V126    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V21._reference (fldOffset=0x0)" P-INDEP
 ;* V127 tmp102      [V127    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
 ;* V128 tmp103      [V128    ] (  0,  0   )   byref  ->  zero-ref    "field V30._reference (fldOffset=0x0)" P-INDEP
 ;* V129 tmp104      [V129    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
 ;* V130 tmp105      [V130    ] (  0,  0   )   byref  ->  zero-ref    "field V31._reference (fldOffset=0x0)" P-INDEP
 ;* V131 tmp106      [V131    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
 ;* V132 tmp107      [V132    ] (  0,  0   )     int  ->  zero-ref    "field V32._value (fldOffset=0x0)" P-INDEP
 ;* V133 tmp108      [V133    ] (  0,  0   )     int  ->  zero-ref    "field V33.<Start>k__BackingField (fldOffset=0x0)" P-INDEP
 ;* V134 tmp109      [V134    ] (  0,  0   )     int  ->  zero-ref    "field V33.<End>k__BackingField (fldOffset=0x4)" P-INDEP
 ;* V135 tmp110      [V135    ] (  0,  0   )   byref  ->  zero-ref    "field V34._reference (fldOffset=0x0)" P-INDEP
 ;* V136 tmp111      [V136    ] (  0,  0   )     int  ->  zero-ref    "field V34._length (fldOffset=0x8)" P-INDEP
 ;* V137 tmp112      [V137    ] (  0,  0   )   byref  ->  zero-ref    "field V35._reference (fldOffset=0x0)" P-INDEP
 ;* V138 tmp113      [V138    ] (  0,  0   )     int  ->  zero-ref    "field V35._length (fldOffset=0x8)" P-INDEP
 ;* V139 tmp114      [V139    ] (  0,  0   )   byref  ->  zero-ref    "field V36._reference (fldOffset=0x0)" P-INDEP
 ;* V140 tmp115      [V140    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
-;  V141 tmp116      [V141,T39] (  2,  1   )   byref  ->  rdi         single-def "field V40._reference (fldOffset=0x0)" P-INDEP
-;  V142 tmp117      [V142,T46] (  2,  1   )     int  ->  rdx         "field V40._length (fldOffset=0x8)" P-INDEP
+;  V141 tmp116      [V141,T37] (  2,  1   )   byref  ->  rdi         single-def "field V40._reference (fldOffset=0x0)" P-INDEP
+;  V142 tmp117      [V142,T44] (  2,  1   )     int  ->  rdx         "field V40._length (fldOffset=0x8)" P-INDEP
 ;* V143 tmp118      [V143    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
 ;* V144 tmp119      [V144    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
 ;* V145 tmp120      [V145    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V43._reference (fldOffset=0x0)" P-INDEP
 ;* V146 tmp121      [V146    ] (  0,  0   )     int  ->  zero-ref    "field V43._length (fldOffset=0x8)" P-INDEP
 ;* V147 tmp122      [V147    ] (  0,  0   )   byref  ->  zero-ref    "field V47._reference (fldOffset=0x0)" P-INDEP
 ;* V148 tmp123      [V148    ] (  0,  0   )     int  ->  zero-ref    "field V47._length (fldOffset=0x8)" P-INDEP
-;  V149 tmp124      [V149,T40] (  2,  1   )   byref  ->  r15         single-def "field V58._reference (fldOffset=0x0)" P-INDEP
-;* V150 tmp125      [V150,T49] (  0,  0   )     int  ->  zero-ref    "field V58._length (fldOffset=0x8)" P-INDEP
+;  V149 tmp124      [V149,T38] (  2,  1   )   byref  ->  r15         single-def "field V58._reference (fldOffset=0x0)" P-INDEP
+;* V150 tmp125      [V150,T47] (  0,  0   )     int  ->  zero-ref    "field V58._length (fldOffset=0x8)" P-INDEP
 ;* V151 tmp126      [V151    ] (  0,  0   )     int  ->  zero-ref    "field V59._value (fldOffset=0x0)" P-INDEP
 ;* V152 tmp127      [V152    ] (  0,  0   )     int  ->  zero-ref    "field V60.<Start>k__BackingField (fldOffset=0x0)" P-INDEP
 ;* V153 tmp128      [V153    ] (  0,  0   )     int  ->  zero-ref    "field V60.<End>k__BackingField (fldOffset=0x4)" P-INDEP
 ;* V154 tmp129      [V154    ] (  0,  0   )     int  ->  zero-ref    "field V61._value (fldOffset=0x0)" P-INDEP
 ;* V155 tmp130      [V155    ] (  0,  0   )     int  ->  zero-ref    "field V62._value (fldOffset=0x0)" P-INDEP
 ;* V156 tmp131      [V156    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V63._reference (fldOffset=0x0)" P-INDEP
 ;* V157 tmp132      [V157    ] (  0,  0   )     int  ->  zero-ref    "field V63._length (fldOffset=0x8)" P-INDEP
 ;* V158 tmp133      [V158    ] (  0,  0   )     int  ->  zero-ref    "field V64.<Start>k__BackingField (fldOffset=0x0)" P-INDEP
 ;* V159 tmp134      [V159    ] (  0,  0   )     int  ->  zero-ref    "field V64.<End>k__BackingField (fldOffset=0x4)" P-INDEP
 ;* V160 tmp135      [V160    ] (  0,  0   )     int  ->  zero-ref    "field V65.Item1 (fldOffset=0x0)" P-INDEP
 ;* V161 tmp136      [V161    ] (  0,  0   )     int  ->  zero-ref    "field V65.Item2 (fldOffset=0x4)" P-INDEP
-;  V162 tmp137      [V162,T34] (  3,  1.50)   byref  ->  rsi         single-def "field V68._reference (fldOffset=0x0)" P-INDEP
+;  V162 tmp137      [V162,T32] (  3,  1.50)   byref  ->  rsi         single-def "field V68._reference (fldOffset=0x0)" P-INDEP
 ;* V163 tmp138      [V163    ] (  0,  0   )     int  ->  zero-ref    "field V68._length (fldOffset=0x8)" P-INDEP
 ;* V164 tmp139      [V164    ] (  0,  0   )     int  ->  zero-ref    "field V69._value (fldOffset=0x0)" P-INDEP
 ;* V165 tmp140      [V165    ] (  0,  0   )     int  ->  zero-ref    "field V70._value (fldOffset=0x0)" P-INDEP
 ;* V166 tmp141      [V166    ] (  0,  0   )     int  ->  zero-ref    "field V71._value (fldOffset=0x0)" P-INDEP
 ;* V167 tmp142      [V167    ] (  0,  0   )   byref  ->  zero-ref    "field V72._reference (fldOffset=0x0)" P-INDEP
 ;* V168 tmp143      [V168    ] (  0,  0   )     int  ->  zero-ref    "field V72._length (fldOffset=0x8)" P-INDEP
 ;* V169 tmp144      [V169    ] (  0,  0   )     int  ->  zero-ref    "field V73._value (fldOffset=0x0)" P-INDEP
 ;* V170 tmp145      [V170    ] (  0,  0   )     int  ->  zero-ref    "field V74._value (fldOffset=0x0)" P-INDEP
 ;* V171 tmp146      [V171    ] (  0,  0   )     int  ->  zero-ref    "field V75._value (fldOffset=0x0)" P-INDEP
 ;* V172 tmp147      [V172    ] (  0,  0   )     int  ->  zero-ref    "field V76._value (fldOffset=0x0)" P-INDEP
 ;* V173 tmp148      [V173    ] (  0,  0   )     int  ->  zero-ref    "field V80.Item1 (fldOffset=0x0)" P-INDEP
 ;* V174 tmp149      [V174    ] (  0,  0   )     int  ->  zero-ref    "field V80.Item2 (fldOffset=0x4)" P-INDEP
 ;* V175 tmp150      [V175    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V85._reference (fldOffset=0x0)" P-INDEP
 ;* V176 tmp151      [V176    ] (  0,  0   )     int  ->  zero-ref    "field V85._length (fldOffset=0x8)" P-INDEP
 ;* V177 tmp152      [V177    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V86._reference (fldOffset=0x0)" P-INDEP
 ;* V178 tmp153      [V178    ] (  0,  0   )     int  ->  zero-ref    "field V86._length (fldOffset=0x8)" P-INDEP
 ;* V179 tmp154      [V179    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V87._reference (fldOffset=0x0)" P-INDEP
 ;* V180 tmp155      [V180    ] (  0,  0   )     int  ->  zero-ref    "field V87._length (fldOffset=0x8)" P-INDEP
 ;* V181 tmp156      [V181    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V90._reference (fldOffset=0x0)" P-INDEP
 ;* V182 tmp157      [V182    ] (  0,  0   )     int  ->  zero-ref    "field V90._length (fldOffset=0x8)" P-INDEP
 ;* V183 tmp158      [V183    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V91._reference (fldOffset=0x0)" P-INDEP
 ;* V184 tmp159      [V184    ] (  0,  0   )     int  ->  zero-ref    "field V91._length (fldOffset=0x8)" P-INDEP
-;  V185 tmp160      [V185,T35] (  3,  1.50)   byref  ->  [rbp-0x70]  spill-single-def "field V95._reference (fldOffset=0x0)" P-INDEP
+;  V185 tmp160      [V185,T33] (  3,  1.50)   byref  ->  [rbp-0x70]  spill-single-def "field V95._reference (fldOffset=0x0)" P-INDEP
 ;* V186 tmp161      [V186    ] (  0,  0   )     int  ->  zero-ref    "field V95._length (fldOffset=0x8)" P-INDEP
 ;* V187 tmp162      [V187    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V97._reference (fldOffset=0x0)" P-INDEP
 ;* V188 tmp163      [V188    ] (  0,  0   )     int  ->  zero-ref    "field V97._length (fldOffset=0x8)" P-INDEP
 ;* V189 tmp164      [V189    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V101._reference (fldOffset=0x0)" P-INDEP
 ;* V190 tmp165      [V190    ] (  0,  0   )     int  ->  zero-ref    "field V101._length (fldOffset=0x8)" P-INDEP
 ;* V191 tmp166      [V191    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V102._reference (fldOffset=0x0)" P-INDEP
 ;* V192 tmp167      [V192    ] (  0,  0   )     int  ->  zero-ref    "field V102._length (fldOffset=0x8)" P-INDEP
 ;* V193 tmp168      [V193    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V105._reference (fldOffset=0x0)" P-INDEP
 ;* V194 tmp169      [V194    ] (  0,  0   )     int  ->  zero-ref    "field V105._length (fldOffset=0x8)" P-INDEP
 ;* V195 tmp170      [V195    ] (  0,  0   )   byref  ->  zero-ref    "field V109._reference (fldOffset=0x0)" P-INDEP
 ;* V196 tmp171      [V196    ] (  0,  0   )     int  ->  zero-ref    "field V109._length (fldOffset=0x8)" P-INDEP
 ;* V197 tmp172      [V197    ] (  0,  0   )   byref  ->  zero-ref    "field V113._reference (fldOffset=0x0)" P-INDEP
 ;* V198 tmp173      [V198    ] (  0,  0   )     int  ->  zero-ref    "field V113._length (fldOffset=0x8)" P-INDEP
 ;* V199 tmp174      [V199    ] (  0,  0   )   byref  ->  zero-ref    "field V114._reference (fldOffset=0x0)" P-INDEP
 ;* V200 tmp175      [V200    ] (  0,  0   )     int  ->  zero-ref    "field V114._length (fldOffset=0x8)" P-INDEP
 ;* V201 tmp176      [V201    ] (  0,  0   )   byref  ->  zero-ref    "field V115._reference (fldOffset=0x0)" P-INDEP
 ;* V202 tmp177      [V202    ] (  0,  0   )     int  ->  zero-ref    "field V115._length (fldOffset=0x8)" P-INDEP
 ;* V203 tmp178      [V203    ] (  0,  0   )   byref  ->  zero-ref    "field V119._reference (fldOffset=0x0)" P-INDEP
 ;* V204 tmp179      [V204    ] (  0,  0   )     int  ->  zero-ref    "field V119._length (fldOffset=0x8)" P-INDEP
 ;* V205 tmp180      [V205    ] (  0,  0   )   byref  ->  zero-ref    "field V120._reference (fldOffset=0x0)" P-INDEP
 ;* V206 tmp181      [V206    ] (  0,  0   )     int  ->  zero-ref    "field V120._length (fldOffset=0x8)" P-INDEP
-;  V207 tmp182      [V207,T51] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
+;  V207 tmp182      [V207,T49] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
 ;  V208 cse0        [V208,T15] (  6,  6.50)     int  ->  r12         "CSE #10: moderate"
 ;  V209 rat0        [V209,T02] (  6, 18.50)    long  ->  r11         "Widened IV V22"
-;  V210 rat1        [V210,T29] (  3,  3   )     int  ->  rdi         "ReplaceWithLclVar is creating a new local variable"
-;  V211 rat2        [V211,T30] (  3,  3   )     int  ->  rdi         "ReplaceWithLclVar is creating a new local variable"
 ;
 ; Lcl frame size = 72
 
 G_M30415_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 72
        lea      rbp, [rsp+0x70]
        mov      r14d, esi
        mov      r15, rdx
        mov      ebx, ecx
        mov      r13d, r8d
        mov      r12d, r9d
 						;; size=33 bbWeight=1 PerfScore 8.00
 G_M30415_IG02:
        mov      ecx, dword ptr [rdi+0x08]
        mov      dword ptr [rbp-0x2C], ecx
        test     ecx, ecx
        je       G_M30415_IG40
 						;; size=14 bbWeight=1 PerfScore 4.25
 G_M30415_IG03:
        test     r13b, r13b
        je       SHORT G_M30415_IG04
        test     ecx, ecx
        jl       G_M30415_IG47
 						;; size=13 bbWeight=0.50 PerfScore 1.25
 G_M30415_IG04:
        xor      r8d, r8d
        mov      r9, gword ptr [rdi]
        mov      rsi, r9
        mov      gword ptr [rbp-0x60], rsi
        test     rsi, rsi
        je       G_M30415_IG10
        cmp      ecx, -1
-       je       G_M30415_IG07
+       je       SHORT G_M30415_IG07
        xor      r9d, r9d
        mov      edi, dword ptr [rsi+0x08]
        dec      edi
        cmp      edi, dword ptr [rsi+0x08]
        jae      G_M30415_IG53
        mov      edi, dword ptr [rsi+0x08]
        dec      edi
        mov      r10, qword ptr [rsi+8*rdi+0x10]
-						;; size=58 bbWeight=0.50 PerfScore 7.88
+						;; size=54 bbWeight=0.50 PerfScore 7.88
 G_M30415_IG05:
        xor      edi, edi
        lzcnt    rdi, r10
-       mov      edx, edi
-       sar      edx, 31
-       and      edx, 7
-       add      edi, edx
-       sar      edi, 3
+       shr      edi, 3
        neg      edi
        add      edi, 7
        xor      edx, edx
        test     edi, edi
        cmovg    edx, edi
-						;; size=32 bbWeight=0.50 PerfScore 2.75
+						;; size=22 bbWeight=0.50 PerfScore 2.12
 G_M30415_IG06:
        lea      edi, [8*rdx]
        mov      qword ptr [rbp-0x40], r10
        shrx     rdi, r10, rdi
        movzx    rdi, dil
        and      edi, 128
        mov      dword ptr [rbp-0x30], r9d
        mov      r11d, r9d
        and      r11d, 128
        cmp      edi, r11d
        je       G_M30415_IG13
        test     r13b, r13b
        sete     r13b
        movzx    r13, r13b
        jmp      G_M30415_IG14
 						;; size=65 bbWeight=0.50 PerfScore 4.12
 G_M30415_IG07:
        mov      dword ptr [rbp-0x30], 255
        lea      rdi, bword ptr [rsi+0x10]
        mov      edx, dword ptr [rsi+0x08]
        xor      esi, esi
        mov      r8, 0xD1FFAB1E      ; code for System.SpanHelpers:NonPackedIndexOfValueType[long,System.SpanHelpers+Negate`1[long]](byref,long,int):int
        call     [r8]System.SpanHelpers:NonPackedIndexOfValueType[long,System.SpanHelpers+Negate`1[long]](byref,long,int):int
        mov      r8d, eax
        mov      rsi, gword ptr [rbp-0x60]
        mov      edi, dword ptr [rsi+0x08]
        dec      edi
        cmp      edi, dword ptr [rsi+0x08]
        jae      G_M30415_IG53
        mov      edi, dword ptr [rsi+0x08]
        dec      edi
        mov      rdi, qword ptr [rsi+8*rdi+0x10]
        mov      r10, rdi
        not      r10
        mov      rdi, r10
        mov      eax, dword ptr [rsi+0x08]
        dec      eax
        mov      dword ptr [rbp-0x34], r8d
        cmp      eax, r8d
        je       SHORT G_M30415_IG09
 						;; size=83 bbWeight=0.50 PerfScore 11.50
 G_M30415_IG08:
        mov      r9, rdi
        mov      edx, dword ptr [rbp-0x30]
        mov      r8d, dword ptr [rbp-0x34]
        jmp      SHORT G_M30415_IG11
-       align    [0 bytes for IG35]
-						;; size=12 bbWeight=0.25 PerfScore 1.06
+       align    [2 bytes for IG35]
+						;; size=14 bbWeight=0.25 PerfScore 1.06
 G_M30415_IG09:
        inc      rdi
        mov      r9, rdi
        mov      edx, dword ptr [rbp-0x30]
        mov      r8d, dword ptr [rbp-0x34]
        jmp      SHORT G_M30415_IG11
 						;; size=15 bbWeight=0.50 PerfScore 2.25
 G_M30415_IG10:
        mov      r9d, 255
        xor      edi, edi
        test     ecx, ecx
        cmovge   r9d, edi
        mov      edx, r9d
        movsxd   rdi, ecx
        mov      r9, rdi
 						;; size=23 bbWeight=0.50 PerfScore 1.00
 G_M30415_IG11:
        test     edx, edx
        je       SHORT G_M30415_IG12
        mov      rdi, r9
        not      rdi
        lzcnt    rdi, rdi
-       mov      r10d, edi
-       sar      r10d, 31
-       and      r10d, 7
-       add      edi, r10d
-       sar      edi, 3
+       shr      edi, 3
        neg      edi
        add      edi, 7
        xor      r10d, r10d
        test     edi, edi
        cmovg    r10d, edi
        mov      eax, edx
        mov      edx, r10d
        mov      r10, r9
        mov      r9d, eax
        jmp      G_M30415_IG06
-						;; size=62 bbWeight=0.50 PerfScore 5.00
+						;; size=48 bbWeight=0.50 PerfScore 4.38
 G_M30415_IG12:
        mov      r10, r9
        mov      r9d, edx
        jmp      G_M30415_IG05
 						;; size=11 bbWeight=0.25 PerfScore 0.62
 G_M30415_IG13:
        xor      r13d, r13d
 						;; size=3 bbWeight=0.50 PerfScore 0.12
 G_M30415_IG14:
        mov      dword ptr [rbp-0x48], r13d
        test     r13d, r13d
        setne    dil
        movzx    rdi, dil
        mov      dword ptr [rbp-0x44], edx
        lea      edi, [rdx+rdi+0x01]
        test     rsi, rsi
        je       SHORT G_M30415_IG15
        mov      r11d, dword ptr [rsi+0x08]
        sub      r11d, 1
        imul     r11d, r11d, 8
        jo       G_M30415_IG54
        add      edi, r11d
        jo       G_M30415_IG54
        mov      rsi, gword ptr [rbp-0x60]
 						;; size=58 bbWeight=0.50 PerfScore 6.38
 G_M30415_IG15:
        test     r14d, r14d
        jne      SHORT G_M30415_IG16
        mov      dword ptr [rbp-0x34], r8d
        mov      dword ptr [rbp-0x4C], edi
        movsxd   rsi, edi
        mov      rdi, 0xD1FFAB1E      ; byte[]
        call     CORINFO_HELP_NEWARR_1_VC
        mov      r14, rax
        lea      r15, bword ptr [r14+0x10]
        mov      ebx, dword ptr [rbp-0x4C]
        mov      eax, ebx
        jmp      SHORT G_M30415_IG21
 						;; size=44 bbWeight=0.50 PerfScore 4.38
 G_M30415_IG16:
        cmp      r14d, 1
        jne      SHORT G_M30415_IG19
        mov      rax, bword ptr [rbp+0x10]
        mov      dword ptr [rax], edi
 						;; size=12 bbWeight=0.50 PerfScore 1.62
 G_M30415_IG17:
        xor      rax, rax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M30415_IG18:
        add      rsp, 72
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M30415_IG19:
        mov      rax, bword ptr [rbp+0x10]
        mov      dword ptr [rax], edi
        mov      dword ptr [rbp-0x4C], edi
        cmp      ebx, edi
        jl       SHORT G_M30415_IG17
        mov      rax, 0xD1FFAB1E      ; global ptr
        test     byte  ptr [rax], 1
        je       G_M30415_IG48
 						;; size=32 bbWeight=0.50 PerfScore 3.75
 G_M30415_IG20:
        mov      rax, 0xD1FFAB1E      ; data for System.Array+EmptyArray`1[byte]:Value
        mov      r14, gword ptr [rax]
        mov      gword ptr [rbp-0x68], r14
        mov      dword ptr [rbp-0x34], r8d
        mov      eax, ebx
        mov      ebx, dword ptr [rbp-0x4C]
        mov      r14, gword ptr [rbp-0x68]
 						;; size=30 bbWeight=0.50 PerfScore 3.25
 G_M30415_IG21:
        movzx    r12, r12b
        xor      edi, edi
        test     r12d, r12d
        cmovne   edi, ebx
        mov      r11d, -1
        mov      r13d, 1
        test     r12d, r12d
        cmove    r11d, r13d
        mov      r13d, r11d
        mov      rsi, gword ptr [rbp-0x60]
        test     rsi, rsi
        je       G_M30415_IG34
        mov      ecx, dword ptr [rbp-0x2C]
        test     ecx, ecx
        jg       G_M30415_IG30
        xor      r11d, r11d
        jmp      SHORT G_M30415_IG26
 						;; size=63 bbWeight=0.50 PerfScore 4.75
 G_M30415_IG22:
        inc      rbx
        mov      dword ptr [rbp-0x34], r8d
 						;; size=7 bbWeight=2 PerfScore 2.50
 G_M30415_IG23:
        test     r12d, r12d
        jne      SHORT G_M30415_IG29
 						;; size=5 bbWeight=4 PerfScore 5.00
 G_M30415_IG24:
        cmp      edi, eax
        mov      gword ptr [rbp-0x68], r14
        ja       G_M30415_IG51
        mov      r9d, edi
        add      r9, r15
        mov      r14d, eax
        sub      r14d, edi
        cmp      r14d, 8
        jl       G_M30415_IG52
        mov      qword ptr [r9], rbx
        add      edi, 8
 						;; size=40 bbWeight=2 PerfScore 11.50
 G_M30415_IG25:
        inc      r11d
        mov      r14, gword ptr [rbp-0x68]
 						;; size=7 bbWeight=4 PerfScore 5.00
 G_M30415_IG26:
        mov      ebx, dword ptr [rsi+0x08]
        dec      ebx
        cmp      ebx, r11d
        jle      G_M30415_IG34
        mov      rbx, qword ptr [rsi+8*r11+0x10]
        cmp      ecx, -1
        jne      SHORT G_M30415_IG23
 						;; size=24 bbWeight=4 PerfScore 27.00
 G_M30415_IG27:
        not      rbx
        mov      r8d, dword ptr [rbp-0x34]
        cmp      r11d, r8d
        jle      SHORT G_M30415_IG22
 						;; size=12 bbWeight=2 PerfScore 5.00
 G_M30415_IG28:
        mov      dword ptr [rbp-0x34], r8d
        jmp      SHORT G_M30415_IG23
 						;; size=6 bbWeight=1 PerfScore 3.00
 G_M30415_IG29:
        sub      edi, 8
        cmp      edi, eax
        mov      gword ptr [rbp-0x68], r14
        ja       G_M30415_IG51
        mov      r14d, edi
        add      r14, r15
        mov      r9d, eax
        sub      r9d, edi
        bswap    rbx
        cmp      r9d, 8
        jl       G_M30415_IG52
        mov      qword ptr [r14], rbx
        jmp      SHORT G_M30415_IG25
 						;; size=45 bbWeight=2 PerfScore 17.50
 G_M30415_IG30:
        mov      ecx, dword ptr [rsi+0x08]
        lea      edi, [rcx-0x01]
        cmp      edi, ecx
        ja       G_M30415_IG49
        add      rsi, 16
        imul     ecx, edi, 8
        jo       G_M30415_IG54
        mov      edi, ecx
        mov      dword ptr [rbp-0x50], edi
        test     r12d, r12d
        jne      SHORT G_M30415_IG31
        mov      dword ptr [rbp-0x54], eax
        cmp      edi, eax
        ja       G_M30415_IG50
        mov      edx, edi
        mov      rdi, r15
        mov      rcx, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rcx]System.SpanHelpers:Memmove(byref,byref,nuint)
        mov      ebx, dword ptr [rbp-0x50]
        mov      edi, ebx
        mov      eax, dword ptr [rbp-0x54]
        jmp      SHORT G_M30415_IG34
 						;; size=75 bbWeight=0.50 PerfScore 9.88
 G_M30415_IG31:
        sub      ebx, edi
        mov      ecx, ebx
        mov      r8d, edi
        add      rcx, r8
        mov      dword ptr [rbp-0x54], eax
        mov      r8d, eax
        cmp      rcx, r8
        ja       G_M30415_IG51
        mov      ecx, ebx
        add      rcx, r15
        mov      bword ptr [rbp-0x70], rcx
        mov      edx, edi
        mov      rdi, rcx
        mov      r8, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [r8]System.SpanHelpers:Memmove(byref,byref,nuint)
        mov      esi, dword ptr [rbp-0x50]
        cmp      esi, 1
        jg       SHORT G_M30415_IG33
 						;; size=60 bbWeight=0.50 PerfScore 5.50
 G_M30415_IG32:
        mov      edi, ebx
        mov      eax, dword ptr [rbp-0x54]
        jmp      SHORT G_M30415_IG34
 						;; size=7 bbWeight=0.25 PerfScore 0.81
 G_M30415_IG33:
        mov      esi, esi
        mov      rdi, bword ptr [rbp-0x70]
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Reverse(byref,nuint)
        call     [rax]System.SpanHelpers:Reverse(byref,nuint)
        mov      edi, ebx
        mov      eax, dword ptr [rbp-0x54]
 						;; size=23 bbWeight=0.50 PerfScore 2.88
 G_M30415_IG34:
        lea      ecx, [rdi-0x01]
        test     r12d, r12d
        cmovne   edi, ecx
        xor      ecx, ecx
 						;; size=11 bbWeight=0.50 PerfScore 0.75
 G_M30415_IG35:
        cmp      edi, eax
        jae      G_M30415_IG53
        mov      esi, edi
        lea      r8d, [8*rcx]
        mov      r10, qword ptr [rbp-0x40]
        shrx     r8, r10, r8
        mov      byte  ptr [r15+rsi], r8b
        mov      edx, dword ptr [rbp-0x44]
        cmp      ecx, edx
        jge      SHORT G_M30415_IG37
 						;; size=38 bbWeight=4 PerfScore 27.00
 G_M30415_IG36:
        add      edi, r13d
 						;; size=3 bbWeight=2 PerfScore 0.50
 G_M30415_IG37:
        inc      ecx
        cmp      ecx, edx
        mov      dword ptr [rbp-0x44], edx
        mov      qword ptr [rbp-0x40], r10
        jle      SHORT G_M30415_IG35
 						;; size=13 bbWeight=4 PerfScore 14.00
 G_M30415_IG38:
        cmp      dword ptr [rbp-0x48], 0
        je       SHORT G_M30415_IG39
        add      edi, r13d
        cmp      edi, eax
        jae      G_M30415_IG53
        mov      eax, edi
        mov      r9d, dword ptr [rbp-0x30]
        mov      byte  ptr [r15+rax], r9b
 						;; size=27 bbWeight=0.50 PerfScore 2.88
 G_M30415_IG39:
        jmp      SHORT G_M30415_IG44
 						;; size=2 bbWeight=0.50 PerfScore 1.00
 G_M30415_IG40:
        test     r14d, r14d
        jne      SHORT G_M30415_IG41
        mov      rdi, 0xD1FFAB1E      ; byte[]
        mov      esi, 1
        call     CORINFO_HELP_NEWARR_1_VC
        mov      r14, rax
        jmp      SHORT G_M30415_IG44
 						;; size=30 bbWeight=0.50 PerfScore 2.50
 G_M30415_IG41:
        cmp      r14d, 1
        jne      SHORT G_M30415_IG42
        mov      rax, bword ptr [rbp+0x10]
        mov      dword ptr [rax], 1
        jmp      G_M30415_IG17
 						;; size=21 bbWeight=0.50 PerfScore 2.62
 G_M30415_IG42:
        mov      rax, bword ptr [rbp+0x10]
        mov      dword ptr [rax], 1
        test     ebx, ebx
        je       G_M30415_IG17
        mov      byte  ptr [r15], 0
        mov      rdi, 0xD1FFAB1E      ; global ptr
        test     byte  ptr [rdi], 1
        je       SHORT G_M30415_IG46
 						;; size=37 bbWeight=0.50 PerfScore 3.75
 G_M30415_IG43:
        mov      rax, 0xD1FFAB1E      ; data for System.Array+EmptyArray`1[byte]:Value
        mov      r14, gword ptr [rax]
 						;; size=13 bbWeight=0.50 PerfScore 1.12
 G_M30415_IG44:
        mov      rax, r14
 						;; size=3 bbWeight=0.50 PerfScore 0.12
 G_M30415_IG45:
        add      rsp, 72
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M30415_IG46:
        mov      rdi, 0xD1FFAB1E      ; System.Array+EmptyArray`1[byte]
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
        call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
        jmp      SHORT G_M30415_IG43
 						;; size=24 bbWeight=0 PerfScore 0.00
 G_M30415_IG47:
        mov      rdi, 0xD1FFAB1E      ; System.OverflowException
        call     CORINFO_HELP_NEWSFAST
        mov      r14, rax
        mov      rax, 0xD1FFAB1E      ; code for System.SR:get_Overflow_Negative_Unsigned():System.String
        call     [rax]System.SR:get_Overflow_Negative_Unsigned():System.String
        mov      rsi, rax
        mov      rdi, r14
        mov      rax, 0xD1FFAB1E      ; code for System.OverflowException:.ctor(System.String):this
        call     [rax]System.OverflowException:.ctor(System.String):this
        mov      rdi, r14
        call     CORINFO_HELP_THROW
        int3     
 						;; size=57 bbWeight=0 PerfScore 0.00
 G_M30415_IG48:
        mov      dword ptr [rbp-0x34], r8d
        mov      rdi, 0xD1FFAB1E      ; System.Array+EmptyArray`1[byte]
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_GET_GCSTATIC_BASE
        call     [rax]CORINFO_HELP_GET_GCSTATIC_BASE
        mov      rsi, gword ptr [rbp-0x60]
        mov      r8d, dword ptr [rbp-0x34]
        jmp      G_M30415_IG20
 						;; size=39 bbWeight=0 PerfScore 0.00
 G_M30415_IG49:
        mov      rax, 0xD1FFAB1E      ; code for System.Range:ThrowArgumentOutOfRangeException()
        call     [rax]System.Range:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M30415_IG50:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        call     [rax]System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M30415_IG51:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M30415_IG52:
        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_M30415_IG53:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 G_M30415_IG54:
        call     CORINFO_HELP_OVERFLOW
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 1393, prolog size 33, PerfScore 230.12, instruction count 391, allocated bytes for code 1393 (MethodHash=95a88930) for method System.Numerics.BigInteger:TryGetBytes(int,System.Span`1[byte],bool,bool,byref):byte[]:this (FullOpts)
+; Total bytes of code 1367, prolog size 33, PerfScore 228.88, instruction count 383, allocated bytes for code 1367 (MethodHash=95a88930) for method System.Numerics.BigInteger:TryGetBytes(int,System.Span`1[byte],bool,bool,byref):byte[]:this (FullOpts)
 ; ============================================================

-1 (-0.58 % of base) - System.Numerics.BigInteger:GetBitLength():long:this

 ; Assembly listing for method System.Numerics.BigInteger:GetBitLength():long:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 13 single block inlinees; 5 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  4   )   byref  ->  rdi         this single-def
 ;  V01 loc0         [V01,T05] (  4,  2.50)    long  ->  rax        
 ;  V02 loc1         [V02,T04] (  5,  3   )     int  ->  rsi        
 ;  V03 loc2         [V03,T03] (  5,  3.50)     int  ->  rdx        
 ;  V04 loc3         [V04,T01] (  8,  5   )     ref  ->  rdi         class-hnd single-def <nuint[]>
 ;  V05 loc4         [V05,T06] (  3,  2   )    long  ->  rbx        
 ;# V06 OutArgs      [V06    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V07 tmp1         [V07    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[nuint]>
 ;* V08 tmp2         [V08    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[nuint]>
 ;  V09 tmp3         [V09,T10] (  2,  1   )     int  ->  rax        
 ;* V10 tmp4         [V10    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V11 tmp5         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[nuint]>
 ;  V12 tmp6         [V12,T02] (  4,  4   )     int  ->  rdx         "Inlining Arg"
 ;* V13 tmp7         [V13    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[nuint]>
 ;* V14 tmp8         [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[nuint]>
 ;* V15 tmp9         [V15    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;* V16 tmp10        [V16    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V17 tmp11        [V17    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V18 tmp12        [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[nuint]>
 ;* V19 tmp13        [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[nuint]>
 ;* V20 tmp14        [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;* V21 tmp15        [V21    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V22 tmp16        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V23 tmp17        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[nuint]>
 ;* V24 tmp18        [V24    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
 ;* V25 tmp19        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V26 tmp20        [V26    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V27 tmp21        [V27    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V28 tmp22        [V28    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V29 tmp23        [V29    ] (  0,  0   )    long  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V30 tmp24        [V30    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
 ;* V31 tmp25        [V31    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
 ;* V32 tmp26        [V32    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
 ;* V33 tmp27        [V33    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
 ;  V34 tmp28        [V34,T07] (  3,  1.50)   byref  ->  rdi         "field V11._reference (fldOffset=0x0)" P-INDEP
 ;  V35 tmp29        [V35,T08] (  3,  1.50)     int  ->  rdx         "field V11._length (fldOffset=0x8)" P-INDEP
 ;* V36 tmp30        [V36    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
 ;* V37 tmp31        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
 ;* V38 tmp32        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
 ;* V39 tmp33        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
 ;* V40 tmp34        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V18._reference (fldOffset=0x0)" P-INDEP
 ;* V41 tmp35        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
 ;* V42 tmp36        [V42    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
 ;* V43 tmp37        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
 ;* V44 tmp38        [V44    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
 ;* V45 tmp39        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
 ;  V46 cse0         [V46,T09] (  3,  1.50)     int  ->  rax         "CSE #02: moderate"
 ;
 ; Lcl frame size = 8
 
 G_M44111_IG01:
        push     rbp
        push     rbx
        push     rax
        lea      rbp, [rsp+0x10]
 						;; size=8 bbWeight=1 PerfScore 3.50
 G_M44111_IG02:
        mov      edx, dword ptr [rdi+0x08]
        mov      rdi, gword ptr [rdi]
        test     rdi, rdi
        je       SHORT G_M44111_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M44111_IG03:
        mov      esi, dword ptr [rdi+0x08]
        lea      eax, [rsi-0x01]
        cmp      eax, dword ptr [rdi+0x08]
        jae      G_M44111_IG13
        mov      rax, qword ptr [rdi+8*rax+0x10]
        jmp      SHORT G_M44111_IG05
 						;; size=22 bbWeight=0.50 PerfScore 4.75
 G_M44111_IG04:
        mov      esi, 1
        mov      eax, edx
        neg      eax
        test     edx, edx
        cmovge   eax, edx
        cdqe     
 						;; size=16 bbWeight=0.50 PerfScore 0.88
 G_M44111_IG05:
        mov      ebx, esi
        shl      rbx, 6
        xor      ecx, ecx
        lzcnt    rcx, rax
-       movsxd   rcx, ecx
+       mov      ecx, ecx
        sub      rbx, rcx
        test     edx, edx
        jge      SHORT G_M44111_IG10
-						;; size=23 bbWeight=1 PerfScore 4.75
+						;; size=22 bbWeight=1 PerfScore 4.75
 G_M44111_IG06:
        blsr     rdx, rax
        jne      SHORT G_M44111_IG10
        dec      esi
        mov      edx, esi
        test     rdi, rdi
        je       SHORT G_M44111_IG07
        cmp      dword ptr [rdi+0x08], edx
        jb       SHORT G_M44111_IG12
        add      rdi, 16
        jmp      SHORT G_M44111_IG08
 						;; size=27 bbWeight=0.50 PerfScore 4.25
 G_M44111_IG07:
        test     edx, edx
        jne      SHORT G_M44111_IG12
        xor      rdi, rdi
        xor      edx, edx
 						;; size=8 bbWeight=0.50 PerfScore 0.88
 G_M44111_IG08:
        xor      esi, esi
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:NonPackedIndexOfValueType[long,System.SpanHelpers+Negate`1[long]](byref,long,int):int
        call     [rax]System.SpanHelpers:NonPackedIndexOfValueType[long,System.SpanHelpers+Negate`1[long]](byref,long,int):int
        test     eax, eax
        jge      SHORT G_M44111_IG10
        lea      rax, [rbx-0x01]
 						;; size=22 bbWeight=0.50 PerfScore 2.62
 G_M44111_IG09:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M44111_IG10:
        mov      rax, rbx
 						;; size=3 bbWeight=0.50 PerfScore 0.12
 G_M44111_IG11:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=0.50 PerfScore 1.12
 G_M44111_IG12:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M44111_IG13:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 173, prolog size 8, PerfScore 29.25, instruction count 62, allocated bytes for code 173 (MethodHash=624f53b0) for method System.Numerics.BigInteger:GetBitLength():long:this (FullOpts)
+; Total bytes of code 172, prolog size 8, PerfScore 29.25, instruction count 62, allocated bytes for code 172 (MethodHash=624f53b0) for method System.Numerics.BigInteger:GetBitLength():long:this (FullOpts)
 ; ============================================================

-1 (-0.56 % of base) - System.Numerics.BigInteger:Log2(System.Numerics.BigInteger):System.Numerics.BigInteger

 ; Assembly listing for method System.Numerics.BigInteger:Log2(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 7 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg single-def <System.Numerics.BigInteger>
 ;# V01 OutArgs      [V01    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V02 tmp1         [V02    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBRM] multireg-ret multireg-dest "Return value temp for multireg return" <System.Numerics.BigInteger>
 ;  V03 tmp2         [V03,T03] (  2,  2   )    long  ->  rax         "impAppendStmt"
 ;* V04 tmp3         [V04    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "dup spill" <nuint[]>
 ;* V05 tmp4         [V05    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SBRM] multireg-ret multireg-dest "Return value temp for multireg return" <System.Numerics.BigInteger>
 ;  V06 tmp5         [V06,T04] (  2,  2   )    long  ->  rsi         "Inlining Arg"
 ;  V07 tmp6         [V07    ] (  3,  3   )  struct (16) [rbp-0x10]  do-not-enreg[XSR] multireg-ret must-init addr-exposed ld-addr-op "NewObj constructor temp" <System.Numerics.BigInteger>
 ;  V08 tmp7         [V08,T05] (  2,  2   )     int  ->  rsi         "Inlining Arg"
 ;  V09 tmp8         [V09    ] (  3,  3   )  struct (16) [rbp-0x20]  do-not-enreg[XSR] multireg-ret must-init addr-exposed ld-addr-op "NewObj constructor temp" <System.Numerics.BigInteger>
 ;  V10 tmp9         [V10,T00] (  4,  3   )     ref  ->  rdi         single-def "field V00._bits (fldOffset=0x0)" P-INDEP
 ;  V11 tmp10        [V11,T01] (  3,  2.50)     int  ->  rsi         single-def "field V00._sign (fldOffset=0x8)" P-INDEP
 ;* V12 tmp11        [V12    ] (  0,  0   )     ref  ->  zero-ref    do-not-enreg[] "field V02._bits (fldOffset=0x0)" P-DEP
 ;* V13 tmp12        [V13    ] (  0,  0   )     int  ->  zero-ref    do-not-enreg[] "field V02._sign (fldOffset=0x8)" P-DEP
 ;* V14 tmp13        [V14    ] (  0,  0   )     ref  ->  zero-ref    do-not-enreg[] "field V05._bits (fldOffset=0x0)" P-DEP
 ;* V15 tmp14        [V15    ] (  0,  0   )     int  ->  zero-ref    do-not-enreg[] "field V05._sign (fldOffset=0x8)" P-DEP
 ;  V16 tmp15        [V16    ] (  3,  3   )     ref  ->  [rbp-0x10]  do-not-enreg[X] addr-exposed "field V07._bits (fldOffset=0x0)" P-DEP
 ;  V17 tmp16        [V17    ] (  3,  3   )     int  ->  [rbp-0x08]  do-not-enreg[X] addr-exposed "field V07._sign (fldOffset=0x8)" P-DEP
 ;  V18 tmp17        [V18    ] (  3,  3   )     ref  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed "field V09._bits (fldOffset=0x0)" P-DEP
 ;  V19 tmp18        [V19    ] (  3,  3   )     int  ->  [rbp-0x18]  do-not-enreg[X] addr-exposed "field V09._sign (fldOffset=0x8)" P-DEP
 ;  V20 cse0         [V20,T06] (  3,  1.50)     int  ->  rcx         "CSE #02: aggressive"
 ;  V21 cse1         [V21,T02] (  4,  2   )     int  ->  rsi         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 32
 
 G_M20442_IG01:
        push     rbp
        sub      rsp, 32
        lea      rbp, [rsp+0x20]
        vxorps   xmm8, xmm8, xmm8
        vmovdqu  ymmword ptr [rbp-0x20], ymm8
 						;; size=20 bbWeight=1 PerfScore 3.08
 G_M20442_IG02:
        test     esi, esi
        jl       G_M20442_IG07
        test     rdi, rdi
        jne      SHORT G_M20442_IG05
 						;; size=13 bbWeight=1 PerfScore 2.50
 G_M20442_IG03:
        mov      edi, esi
        or       rdi, 1
        xor      esi, esi
        lzcnt    rsi, rdi
        xor      esi, 63
        vxorps   xmm0, xmm0, xmm0
        vmovdqu  xmmword ptr [rbp-0x20], xmm0
        lea      rdi, [rbp-0x20]
        mov      rax, 0xD1FFAB1E      ; code for System.Numerics.BigInteger:.ctor(int):this
        call     [rax]System.Numerics.BigInteger:.ctor(int):this
        mov      rax, gword ptr [rbp-0x20]
        mov      rdx, qword ptr [rbp-0x18]
 						;; size=49 bbWeight=0.50 PerfScore 5.04
 G_M20442_IG04:
        add      rsp, 32
        pop      rbp
        ret      
 						;; size=6 bbWeight=0.50 PerfScore 0.88
 G_M20442_IG05:
        mov      esi, dword ptr [rdi+0x08]
        mov      eax, esi
        lea      ecx, [rsi-0x01]
        cmp      ecx, esi
        jae      SHORT G_M20442_IG08
        mov      esi, ecx
        lzcnt    rdi, qword ptr [rdi+8*rsi+0x10]
-       movsxd   rsi, edi
+       mov      esi, edi
        shl      rax, 6
        dec      rax
        xor      rsi, rax
        vxorps   xmm0, xmm0, xmm0
        vmovdqu  xmmword ptr [rbp-0x10], xmm0
        lea      rdi, [rbp-0x10]
        mov      rax, 0xD1FFAB1E      ; code for System.Numerics.BigInteger:.ctor(long):this
        call     [rax]System.Numerics.BigInteger:.ctor(long):this
        mov      rax, gword ptr [rbp-0x10]
        mov      rdx, qword ptr [rbp-0x08]
-						;; size=67 bbWeight=0.50 PerfScore 8.79
+						;; size=66 bbWeight=0.50 PerfScore 8.79
 G_M20442_IG06:
        add      rsp, 32
        pop      rbp
        ret      
 						;; size=6 bbWeight=0.50 PerfScore 0.88
 G_M20442_IG07:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowValueArgumentOutOfRange_NeedNonNegNumException()
        call     [rax]System.ThrowHelper:ThrowValueArgumentOutOfRange_NeedNonNegNumException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M20442_IG08:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 180, prolog size 20, PerfScore 21.17, instruction count 50, allocated bytes for code 180 (MethodHash=3713b025) for method System.Numerics.BigInteger:Log2(System.Numerics.BigInteger):System.Numerics.BigInteger (FullOpts)
+; Total bytes of code 179, prolog size 20, PerfScore 21.17, instruction count 50, allocated bytes for code 179 (MethodHash=3713b025) for method System.Numerics.BigInteger:Log2(System.Numerics.BigInteger):System.Numerics.BigInteger (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/dea35dcc7a03aa6982f9cb187965a762

[MihuBot]

@MihaZupan