[JitDiff X64] [hez2010] Support devirtualization for virtual methods that re ...

[MihuBot]

Job completed in 16 minutes 33 seconds (remote runner delay: 1 minute 25 seconds).
dotnet/runtime#128702

Main commit: dotnet/runtime@cf6c92e
PR commit: hez2010/runtime@dca1834

Diffs

Found 86 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46549516
Total bytes of diff: 46549251
Total bytes of delta: -265 (-0.00 % of base)
Total relative delta: -0.24
    diff is an improvement.
    relative diff is an improvement.


Top file regressions (bytes):
           8 : System.Private.CoreLib.dasm (0.00 % of base)

Top file improvements (bytes):
        -258 : System.Security.Cryptography.Pkcs.dasm (-0.06 % of base)
         -15 : System.Text.Json.dasm (-0.00 % of base)

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

Top method regressions (bytes):
           8 (3.70 % of base) : System.Private.CoreLib.dasm - System.Numerics.TotalOrderIeee754Comparer`1[double]:<Compare>g__CompareSignificand|0_2(double,double):int (FullOpts)

Top method improvements (bytes):
         -68 (-6.20 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature:SignCore(System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,System.Security.Cryptography.RSASignaturePadding,byref):bool (FullOpts)
         -54 (-4.26 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+DSACmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -49 (-6.69 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+MLDsaCmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -49 (-6.69 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+SlhDsaCmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -38 (-2.18 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+ECDsaCmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -15 (-1.70 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonNode:ToString():System.String:this (FullOpts)

Top method regressions (percentages):
           8 (3.70 % of base) : System.Private.CoreLib.dasm - System.Numerics.TotalOrderIeee754Comparer`1[double]:<Compare>g__CompareSignificand|0_2(double,double):int (FullOpts)

Top method improvements (percentages):
         -49 (-6.69 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+MLDsaCmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -49 (-6.69 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+SlhDsaCmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -68 (-6.20 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature:SignCore(System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,System.Security.Cryptography.RSASignaturePadding,byref):bool (FullOpts)
         -54 (-4.26 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+DSACmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -38 (-2.18 % of base) : System.Security.Cryptography.Pkcs.dasm - System.Security.Cryptography.Pkcs.CmsSignature+ECDsaCmsSignature:Sign(System.ReadOnlySpan`1[byte],System.String,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,byref,byref,byref):bool:this (FullOpts)
         -15 (-1.70 % of base) : System.Text.Json.dasm - System.Text.Json.Nodes.JsonNode:ToString():System.String:this (FullOpts)

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

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

Artifacts:

• jit-diffs-main.zip (159 MB)
• jit-diffs-pr.zip (159 MB)
• diff-frameworks.txt (4 KB)
• ShortDiffsRegressions.md (21 KB)
• ShortDiffsImprovements.md (37 KB)
• LongDiffsImprovements.md (192 KB)

[MihuBot]

Top method regressions

8 (3.70 % of base) - System.Numerics.TotalOrderIeee754Comparer`1[double]:g__CompareSignificand|0_2(double,double):int

 ; Assembly listing for method System.Numerics.TotalOrderIeee754Comparer`1[double]:<Compare>g__CompareSignificand|0_2(double,double):int (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; 12 single block inlinees; 6 inlinees without PGO data
+; 0 inlinees with PGO data; 18 single block inlinees; 12 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 arg0         [V00,T05] (  3,  3   )  double  ->  [rbp-0x28]  ld-addr-op single-def
-;  V01 arg1         [V01,T06] (  3,  3   )  double  ->  [rbp-0x30]  ld-addr-op single-def
+;  V00 arg0         [V00,T09] (  3,  3   )  double  ->  [rbp-0x28]  ld-addr-op single-def
+;  V01 arg1         [V01,T10] (  3,  3   )  double  ->  [rbp-0x30]  ld-addr-op single-def
 ;* V02 loc0         [V02    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op
 ;* V03 loc1         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;* V04 loc2         [V04    ] (  0,  0   )     int  ->  zero-ref   
 ;* V05 loc3         [V05    ] (  0,  0   )     int  ->  zero-ref   
 ;* V06 loc4         [V06    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
 ;* V07 loc5         [V07    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
 ;* V08 loc6         [V08    ] (  0,  0   )  struct (16) zero-ref    <System.Span`1[byte]>
 ;* V09 loc7         [V09    ] (  0,  0   )     int  ->  zero-ref   
 ;# V10 OutArgs      [V10    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V11 tmp1         [V11    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
 ;* V12 tmp2         [V12    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
 ;  V13 tmp3         [V13,T00] (  3,  6   )     ref  ->  rax         class-hnd exact single-def "Single-def Box Helper" <System.Double>
 ;  V14 tmp4         [V14,T01] (  3,  6   )     ref  ->  rax         class-hnd exact single-def "Single-def Box Helper" <System.Double>
 ;* V15 tmp5         [V15    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
 ;* V16 tmp6         [V16    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;* V17 tmp7         [V17    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V18 tmp8         [V18    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V17 tmp7         [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V18 tmp8         [V18    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V19 tmp9         [V19    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V20 tmp10        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V21 tmp11        [V21    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V22 tmp12        [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V23 tmp13        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V24 tmp14        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V25 tmp15        [V25    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V26 tmp16        [V26    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V27 tmp17        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V28 tmp18        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V29 tmp19        [V29    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
-;* V30 tmp20        [V30    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V31 tmp21        [V31    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V32 tmp22        [V32    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V33 tmp23        [V33    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V34 tmp24        [V34    ] (  0,  0   )   byref  ->  zero-ref    single-def "impAppendStmt"
-;* V35 tmp25        [V35    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;* V36 tmp26        [V36    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V37 tmp27        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V38 tmp28        [V38    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
-;* V39 tmp29        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
-;* V40 tmp30        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
-;* V41 tmp31        [V41    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
-;* V42 tmp32        [V42    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
-;* V43 tmp33        [V43    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
-;* V44 tmp34        [V44    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
-;* V45 tmp35        [V45    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
-;* V46 tmp36        [V46    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
-;* V47 tmp37        [V47    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V48 tmp38        [V48    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;  V49 tmp39        [V49,T02] (  3,  3   )   byref  ->  r15         single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V50 tmp40        [V50    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;  V51 tmp41        [V51,T03] (  3,  3   )   byref  ->  rbx         single-def "field V18._reference (fldOffset=0x0)" P-INDEP
-;* V52 tmp42        [V52    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
-;* V53 tmp43        [V53    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
-;* V54 tmp44        [V54    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
-;* V55 tmp45        [V55    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V56 tmp46        [V56    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;* V57 tmp47        [V57    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V23._reference (fldOffset=0x0)" P-INDEP
-;* V58 tmp48        [V58    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
-;* V59 tmp49        [V59    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V24._reference (fldOffset=0x0)" P-INDEP
-;* V60 tmp50        [V60    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
-;* V61 tmp51        [V61    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
-;* V62 tmp52        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
-;* V63 tmp53        [V63    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V28._reference (fldOffset=0x0)" P-INDEP
-;* V64 tmp54        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
-;* V65 tmp55        [V65    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V32._reference (fldOffset=0x0)" P-INDEP
-;* V66 tmp56        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
-;* V67 tmp57        [V67    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V33._reference (fldOffset=0x0)" P-INDEP
-;* V68 tmp58        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V33._length (fldOffset=0x8)" P-INDEP
-;* V69 tmp59        [V69    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
-;* V70 tmp60        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
-;* V71 tmp61        [V71    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
-;* V72 tmp62        [V72    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
-;  V73 cse0         [V73,T04] (  3,  3   )    long  ->  r14         "CSE #01: aggressive"
-;  V74 rat0         [V74    ] (  1,  1   )    long  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
+;* V23 tmp13        [V23    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.Double>
+;* V24 tmp14        [V24    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inline ldloca(s) first use temp"
+;  V25 tmp15        [V25,T02] (  3,  6   )   byref  ->  rdi         single-def "Inlining Arg"
+;* V26 tmp16        [V26    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V27 tmp17        [V27    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V28 tmp18        [V28,T07] (  2,  2   )    long  ->  rdi         ld-addr-op "Inline stloc first use temp"
+;* V29 tmp19        [V29    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V30 tmp20        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V31 tmp21        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V32 tmp22        [V32    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.Double>
+;* V33 tmp23        [V33    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inline ldloca(s) first use temp"
+;  V34 tmp24        [V34,T03] (  3,  6   )   byref  ->  rdi         single-def "Inlining Arg"
+;* V35 tmp25        [V35    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V36 tmp26        [V36    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V37 tmp27        [V37,T08] (  2,  2   )    long  ->  rdi         ld-addr-op "Inline stloc first use temp"
+;* V38 tmp28        [V38    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
+;* V39 tmp29        [V39    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V40 tmp30        [V40    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V41 tmp31        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V42 tmp32        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V43 tmp33        [V43    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V44 tmp34        [V44    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V45 tmp35        [V45    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V46 tmp36        [V46    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V47 tmp37        [V47    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
+;* V48 tmp38        [V48    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V49 tmp39        [V49    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V50 tmp40        [V50    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V51 tmp41        [V51    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V52 tmp42        [V52    ] (  0,  0   )   byref  ->  zero-ref    single-def "impAppendStmt"
+;* V53 tmp43        [V53    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V54 tmp44        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V55 tmp45        [V55    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V56 tmp46        [V56    ] (  0,  0   )     int  ->  zero-ref    "Inline return value spill temp"
+;* V57 tmp47        [V57    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V58 tmp48        [V58    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V59 tmp49        [V59    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V60 tmp50        [V60    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V61 tmp51        [V61    ] (  0,  0   )   byref  ->  zero-ref    "field V08._reference (fldOffset=0x0)" P-INDEP
+;* V62 tmp52        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V08._length (fldOffset=0x8)" P-INDEP
+;* V63 tmp53        [V63    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V64 tmp54        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V65 tmp55        [V65    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V16._reference (fldOffset=0x0)" P-INDEP
+;* V66 tmp56        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
+;  V67 tmp57        [V67,T04] (  3,  3   )   byref  ->  r15         single-def "field V17._reference (fldOffset=0x0)" P-INDEP
+;* V68 tmp58        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
+;  V69 tmp59        [V69,T05] (  3,  3   )   byref  ->  rbx         single-def "field V18._reference (fldOffset=0x0)" P-INDEP
+;* V70 tmp60        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V18._length (fldOffset=0x8)" P-INDEP
+;* V71 tmp61        [V71    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V72 tmp62        [V72    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;* V73 tmp63        [V73    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V74 tmp64        [V74    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;* V75 tmp65        [V75    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V76 tmp66        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V77 tmp67        [V77    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V78 tmp68        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;* V79 tmp69        [V79    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V39._reference (fldOffset=0x0)" P-INDEP
+;* V80 tmp70        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V39._length (fldOffset=0x8)" P-INDEP
+;* V81 tmp71        [V81    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V40._reference (fldOffset=0x0)" P-INDEP
+;* V82 tmp72        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V40._length (fldOffset=0x8)" P-INDEP
+;* V83 tmp73        [V83    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
+;* V84 tmp74        [V84    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
+;* V85 tmp75        [V85    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
+;* V86 tmp76        [V86    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
+;* V87 tmp77        [V87    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V45._reference (fldOffset=0x0)" P-INDEP
+;* V88 tmp78        [V88    ] (  0,  0   )     int  ->  zero-ref    "field V45._length (fldOffset=0x8)" P-INDEP
+;* V89 tmp79        [V89    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V46._reference (fldOffset=0x0)" P-INDEP
+;* V90 tmp80        [V90    ] (  0,  0   )     int  ->  zero-ref    "field V46._length (fldOffset=0x8)" P-INDEP
+;* V91 tmp81        [V91    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
+;* V92 tmp82        [V92    ] (  0,  0   )     int  ->  zero-ref    "field V50._length (fldOffset=0x8)" P-INDEP
+;* V93 tmp83        [V93    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V51._reference (fldOffset=0x0)" P-INDEP
+;* V94 tmp84        [V94    ] (  0,  0   )     int  ->  zero-ref    "field V51._length (fldOffset=0x8)" P-INDEP
+;* V95 tmp85        [V95    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V54._reference (fldOffset=0x0)" P-INDEP
+;* V96 tmp86        [V96    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
+;* V97 tmp87        [V97    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V55._reference (fldOffset=0x0)" P-INDEP
+;* V98 tmp88        [V98    ] (  0,  0   )     int  ->  zero-ref    "field V55._length (fldOffset=0x8)" P-INDEP
+;  V99 cse0         [V99,T06] (  3,  3   )    long  ->  r14         "CSE #01: aggressive"
+;  V100 rat0        [V100    ] (  1,  1   )    long  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed "GSSecurityCookie"
 ;
 ; Lcl frame size = 24
 
 G_M16609_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        sub      rsp, 24
        lea      rbp, [rsp+0x30]
        mov      rax, 0xD1FFAB1E
        mov      qword ptr [rbp-0x20], rax
        vmovsd   qword ptr [rbp-0x28], xmm0
        vmovsd   qword ptr [rbp-0x30], xmm1
 						;; size=39 bbWeight=1 PerfScore 8.00
 G_M16609_IG02:
        test     dword ptr [rsp], esp
        sub      rsp, 16
        lea      rbx, [rsp]
        test     dword ptr [rsp], esp
        sub      rsp, 16
        lea      r15, [rsp]
        mov      r14, 0xD1FFAB1E      ; System.Double
        mov      rdi, r14
        call     CORINFO_HELP_NEWSFAST
        vmovsd   xmm0, qword ptr [rbp-0x28]
        vmovsd   qword ptr [rax+0x08], xmm0
+       lea      rdi, bword ptr [rax+0x08]
+       cmp      byte  ptr [rdi], dil
+       mov      rax, 0xD1FFAB1E      ; code for System.Double:get_Significand():ulong:this
+       call     [rax]System.Double:get_Significand():ulong:this
        mov      rdi, rax
-       mov      rsi, rbx
-       mov      edx, 8
-       mov      r11, 0xD1FFAB1E      ; code for System.Numerics.IFloatingPoint`1[double]:WriteSignificandBigEndian(System.Span`1[byte]):int:this
-       call     [r11]System.Numerics.IFloatingPoint`1[double]:WriteSignificandBigEndian(System.Span`1[byte]):int:this
+       bswap    rdi
+       mov      qword ptr [rbx], rdi
        mov      rdi, r14
        call     CORINFO_HELP_NEWSFAST
        vmovsd   xmm1, qword ptr [rbp-0x30]
        vmovsd   qword ptr [rax+0x08], xmm1
+       lea      rdi, bword ptr [rax+0x08]
+       cmp      byte  ptr [rdi], dil
+       mov      rax, 0xD1FFAB1E      ; code for System.Double:get_Significand():ulong:this
+       call     [rax]System.Double:get_Significand():ulong:this
        mov      rdi, rax
-       mov      rsi, r15
-       mov      edx, 8
-       mov      r11, 0xD1FFAB1E      ; code for System.Numerics.IFloatingPoint`1[double]:WriteSignificandBigEndian(System.Span`1[byte]):int:this
-       call     [r11]System.Numerics.IFloatingPoint`1[double]:WriteSignificandBigEndian(System.Span`1[byte]):int:this
+       bswap    rdi
+       mov      qword ptr [r15], rdi
        mov      rdi, rbx
        mov      rdx, r15
        mov      esi, 8
        mov      ecx, 8
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:SequenceCompareTo(byref,int,byref,int):int
        call     [rax]System.SpanHelpers:SequenceCompareTo(byref,int,byref,int):int
        mov      r9, 0xD1FFAB1E
        cmp      qword ptr [rbp-0x20], r9
        je       SHORT G_M16609_IG03
        call     CORINFO_HELP_FAIL_FAST
-						;; size=165 bbWeight=1 PerfScore 29.75
+						;; size=173 bbWeight=1 PerfScore 37.75
 G_M16609_IG03:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
 G_M16609_IG04:
        lea      rsp, [rbp-0x18]
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=1 PerfScore 3.50
 
-; Total bytes of code 216, prolog size 29, PerfScore 41.50, instruction count 52, allocated bytes for code 216 (MethodHash=9279bf1e) for method System.Numerics.TotalOrderIeee754Comparer`1[double]:<Compare>g__CompareSignificand|0_2(double,double):int (FullOpts)
+; Total bytes of code 224, prolog size 29, PerfScore 49.50, instruction count 56, allocated bytes for code 224 (MethodHash=9279bf1e) for method System.Numerics.TotalOrderIeee754Comparer`1[double]:<Compare>g__CompareSignificand|0_2(double,double):int (FullOpts)
 ; ============================================================

[MihuBot]

Top method improvements

-68 (-6.20 % of base) - System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature:SignCore(System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,System.Security.Cryptography.RSASignaturePadding,byref):bool

 ; Assembly listing for method System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature:SignCore(System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,System.Security.Cryptography.RSASignaturePadding,byref):bool (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; 10 single block inlinees; 8 inlinees without PGO data
+; 0 inlinees with PGO data; 11 single block inlinees; 8 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct ( 8) zero-ref    single-def <System.Security.Cryptography.HashAlgorithmName>
 ;  V02 arg2         [V02,T03] (  6,  6   )     ref  ->  r15         class-hnd single-def <System.Security.Cryptography.X509Certificates.X509Certificate2>
 ;  V03 arg3         [V03,T07] (  5,  5   )     ref  ->  r13         class-hnd single-def <System.Object>
-;  V04 arg4         [V04,T16] (  3,  3   )   ubyte  ->   r9         single-def
-;  V05 arg5         [V05,T17] (  4,  4   )     ref  ->  [rbp+0x10]  class-hnd single-def <System.Security.Cryptography.RSASignaturePadding>
+;* V04 arg4         [V04    ] (  0,  0   )   ubyte  ->  zero-ref    single-def
+;  V05 arg5         [V05,T15] (  4,  4   )     ref  ->  [rbp+0x10]  class-hnd single-def <System.Security.Cryptography.RSASignaturePadding>
 ;  V06 arg6         [V06,T06] (  7,  7   )   byref  ->  r14         single-def
-;  V07 loc0         [V07,T01] ( 10, 10   )     ref  ->  [rbp-0x50]  ld-addr-op class-hnd <System.Security.Cryptography.RSA>
-;  V08 loc1         [V08,T32] (  5,  2   )     ref  ->  [rbp-0x58]  must-init class-hnd EH-live single-def <System.IDisposable>
-;  V09 loc2         [V09,T24] (  3,  3   )     ref  ->  [rbp-0x60]  class-hnd exact spill-single-def <byte[]>
+;  V07 loc0         [V07,T01] ( 10, 10   )     ref  ->  [rbp-0x48]  ld-addr-op class-hnd <System.Security.Cryptography.RSA>
+;  V08 loc1         [V08,T30] (  5,  2   )     ref  ->  [rbp-0x50]  must-init class-hnd EH-live single-def <System.IDisposable>
+;  V09 loc2         [V09,T22] (  3,  3   )     ref  ->  [rbp-0x58]  class-hnd exact spill-single-def <byte[]>
 ;  V10 loc3         [V10    ] (  2,  2   )     int  ->  [rbp-0x30]  do-not-enreg[X] must-init addr-exposed ld-addr-op
-;  V11 loc4         [V11,T15] (  5,  5   )   ubyte  ->  [rbp-0x34]  do-not-enreg[M] must-init EH-live
-;  V12 loc5         [V12,T12] (  6,  5   )     ref  ->  [rbp-0x68]  class-hnd EH-live single-def <System.Security.Cryptography.RSA>
-;  V13 loc6         [V13,T13] (  6,  5   )     ref  ->  [rbp-0x70]  class-hnd EH-live single-def <System.Security.Cryptography.RSA>
+;  V11 loc4         [V11,T14] (  5,  5   )   ubyte  ->  [rbp-0x34]  do-not-enreg[M] must-init EH-live
+;  V12 loc5         [V12,T11] (  6,  5   )     ref  ->  [rbp-0x60]  class-hnd EH-live single-def <System.Security.Cryptography.RSA>
+;  V13 loc6         [V13,T12] (  6,  5   )     ref  ->  [rbp-0x68]  class-hnd EH-live single-def <System.Security.Cryptography.RSA>
 ;  V14 OutArgs      [V14    ] (  1,  1   )  struct (16) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <UNNAMED>
-;  V15 tmp1         [V15,T21] (  2,  4   )     ref  ->  rdx         class-hnd single-def "dup spill" <System.Func`2[System.Security.Cryptography.X509Certificates.X509Certificate2,System.Security.Cryptography.RSA]>
+;  V15 tmp1         [V15,T19] (  2,  4   )     ref  ->  rdx         class-hnd single-def "dup spill" <System.Func`2[System.Security.Cryptography.X509Certificates.X509Certificate2,System.Security.Cryptography.RSA]>
 ;* V16 tmp2         [V16    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V17 tmp3         [V17    ] (  0,  0   )     ref  ->  zero-ref    single-def
-;  V18 tmp4         [V18,T35] (  2,  2   )     int  ->  [rbp-0x38]  spill-single-def
-;  V19 tmp5         [V19,T14] (  5,  5   )     ref  ->  [rbp-0x78] 
+;* V18 tmp4         [V18    ] (  0,  0   )     int  ->  zero-ref   
+;  V19 tmp5         [V19,T13] (  5,  5   )     ref  ->  [rbp-0x70] 
 ;* V20 tmp6         [V20    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
 ;* V21 tmp7         [V21    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "impAppendStmt" <System.Security.Cryptography.RSA>
 ;* V22 tmp8         [V22    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
 ;* V23 tmp9         [V23    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
 ;* V24 tmp10        [V24    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "impAppendStmt" <System.Security.Cryptography.RSA>
 ;* V25 tmp11        [V25    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
 ;* V26 tmp12        [V26    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
 ;* V27 tmp13        [V27    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.ReadOnlySpan`1[byte]>
 ;* V28 tmp14        [V28    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
-;  V29 tmp15        [V29,T00] (  7, 14   )     ref  ->  [rbp-0x80]  class-hnd exact spill-single-def "NewObj constructor temp" <System.Func`2[System.Security.Cryptography.X509Certificates.X509Certificate2,System.Security.Cryptography.RSA]>
+;  V29 tmp15        [V29,T00] (  7, 14   )     ref  ->  [rbp-0x78]  class-hnd exact spill-single-def "NewObj constructor temp" <System.Func`2[System.Security.Cryptography.X509Certificates.X509Certificate2,System.Security.Cryptography.RSA]>
 ;* V30 tmp16        [V30    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inline return value spill temp" <System.IDisposable>
 ;* V31 tmp17        [V31    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.Object>
-;  V32 tmp18        [V32,T25] (  3,  3   )     ref  ->  rdi         class-hnd "Inline stloc first use temp" <System.IDisposable>
+;  V32 tmp18        [V32,T23] (  3,  3   )     ref  ->  rdi         class-hnd "Inline stloc first use temp" <System.IDisposable>
 ;* V33 tmp19        [V33    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Security.Cryptography.X509Certificates.X509Certificate2>
 ;* V34 tmp20        [V34    ] (  0,  0   )   ubyte  ->  zero-ref    "Inlining Arg"
-;  V35 tmp21        [V35,T10] (  3,  6   )     ref  ->  [rbp-0x88]  class-hnd exact spill-single-def "LDVIRTFTN this pointer" <Internal.Cryptography.Pal.AnyOS.ManagedPkcsPal>
-;  V36 tmp22        [V36,T22] (  2,  4   )     ref  ->  rax         class-hnd single-def "dup spill" <System.Security.Cryptography.RSA>
+;* V35 tmp21        [V35    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "LDVIRTFTN this pointer" <Internal.Cryptography.Pal.AnyOS.ManagedPkcsPal>
+;  V36 tmp22        [V36,T20] (  2,  4   )     ref  ->  rax         class-hnd single-def "dup spill" <System.Security.Cryptography.RSA>
 ;* V37 tmp23        [V37    ] (  0,  0   )   byref  ->  zero-ref   
-;  V38 tmp24        [V38,T18] (  4,  4   )     ref  ->  rax        
+;  V38 tmp24        [V38,T16] (  4,  4   )     ref  ->  rax        
 ;* V39 tmp25        [V39    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inline stloc first use temp" <System.Security.Cryptography.RSA>
 ;* V40 tmp26        [V40    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.Func`2[System.Security.Cryptography.X509Certificates.X509Certificate2,System.Security.Cryptography.RSA]>
-;* V41 tmp27        [V41    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;  V42 tmp28        [V42,T04] (  4,  8   )     ref  ->  rcx         class-hnd single-def "Inlining Arg" <byte[]>
-;* V43 tmp29        [V43    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;  V44 tmp30        [V44,T26] (  3,  3   )     ref  ->  rsi         class-hnd "Inline return value spill temp" <byte[]>
-;* V45 tmp31        [V45    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
-;  V46 tmp32        [V46,T19] (  4,  4   )     ref  ->  [rbp-0x90]  class-hnd exact spill-single-def "Inline stloc first use temp" <byte[]>
-;* V47 tmp33        [V47    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V48 tmp34        [V48    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V49 tmp35        [V49    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V50 tmp36        [V50    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V41 tmp27        [V41    ] (  0,  0   )     int  ->  zero-ref    "Spilling to split statement for tree"
+;* V42 tmp28        [V42    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;  V43 tmp29        [V43,T04] (  4,  8   )     ref  ->  rcx         class-hnd single-def "Inlining Arg" <byte[]>
+;* V44 tmp30        [V44    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V45 tmp31        [V45,T24] (  3,  3   )     ref  ->  rsi         class-hnd "Inline return value spill temp" <byte[]>
+;* V46 tmp32        [V46    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
+;  V47 tmp33        [V47,T17] (  4,  4   )     ref  ->  [rbp-0x80]  class-hnd exact spill-single-def "Inline stloc first use temp" <byte[]>
+;* V48 tmp34        [V48    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V49 tmp35        [V49    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V50 tmp36        [V50    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V51 tmp37        [V51    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V52 tmp38        [V52    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V53 tmp39        [V53,T05] (  4,  8   )     ref  ->  rcx         class-hnd single-def "Inlining Arg" <byte[]>
-;* V54 tmp40        [V54    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;  V55 tmp41        [V55,T08] (  5,  5   )   byref  ->  r12         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
-;  V56 tmp42        [V56,T02] (  8,  8   )     int  ->  rbx         single-def "field V00._length (fldOffset=0x8)" P-INDEP
-;  V57 tmp43        [V57,T09] (  5,  5   )     ref  ->  [rbp-0x98]  single-def "field V01._name (fldOffset=0x0)" P-INDEP
-;* V58 tmp44        [V58    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V59 tmp45        [V59    ] (  0,  0   )     int  ->  zero-ref    single-def "field V22._length (fldOffset=0x8)" P-INDEP
-;* V60 tmp46        [V60    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
-;* V61 tmp47        [V61    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
-;* V62 tmp48        [V62    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;* V63 tmp49        [V63    ] (  0,  0   )     int  ->  zero-ref    single-def "field V25._length (fldOffset=0x8)" P-INDEP
-;* V64 tmp50        [V64    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
-;* V65 tmp51        [V65    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
-;* V66 tmp52        [V66    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
-;* V67 tmp53        [V67    ] (  0,  0   )     int  ->  zero-ref    single-def "field V27._length (fldOffset=0x8)" P-INDEP
-;* V68 tmp54        [V68    ] (  0,  0   )   byref  ->  zero-ref    "field V28._reference (fldOffset=0x0)" P-INDEP
-;* V69 tmp55        [V69    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
-;  V70 tmp56        [V70,T33] (  2,  2   )   byref  ->  rcx         single-def "field V41._reference (fldOffset=0x0)" P-INDEP
-;  V71 tmp57        [V71,T36] (  2,  2   )     int  ->   r8         single-def "field V41._length (fldOffset=0x8)" P-INDEP
-;  V72 tmp58        [V72,T27] (  3,  3   )   byref  ->   r8         "field V43._reference (fldOffset=0x0)" P-INDEP
-;  V73 tmp59        [V73,T29] (  3,  3   )     int  ->  rsi         "field V43._length (fldOffset=0x8)" P-INDEP
-;* V74 tmp60        [V74    ] (  0,  0   )   byref  ->  zero-ref    "field V47._reference (fldOffset=0x0)" P-INDEP
-;* V75 tmp61        [V75    ] (  0,  0   )     int  ->  zero-ref    "field V47._length (fldOffset=0x8)" P-INDEP
-;  V76 tmp62        [V76,T34] (  2,  2   )   byref  ->  rdi         single-def "field V48._reference (fldOffset=0x0)" P-INDEP
-;  V77 tmp63        [V77,T37] (  2,  2   )     int  ->  rax         single-def "field V48._length (fldOffset=0x8)" P-INDEP
-;* V78 tmp64        [V78    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V49._reference (fldOffset=0x0)" P-INDEP
-;* V79 tmp65        [V79    ] (  0,  0   )     int  ->  zero-ref    single-def "field V49._length (fldOffset=0x8)" P-INDEP
-;  V80 tmp66        [V80,T28] (  3,  3   )   byref  ->   r8         "field V54._reference (fldOffset=0x0)" P-INDEP
-;  V81 tmp67        [V81,T30] (  3,  3   )     int  ->  rsi         "field V54._length (fldOffset=0x8)" P-INDEP
-;  V82 tmp68        [V82,T23] (  2,  4   )    long  ->  rsi         "argument with side effect"
-;  V83 cse0         [V83,T20] (  4,  4   )     int  ->  [rbp-0x3C]  spill-single-def "CSE #02: moderate"
-;  V84 cse1         [V84,T31] (  3,  3   )    long  ->  [rbp-0x48]  spill-single-def "CSE #05: moderate"
-;  V85 rat0         [V85,T11] (  3,  6   )     int  ->  rax         "ReplaceWithLclVar is creating a new local variable"
+;* V52 tmp38        [V52    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V53 tmp39        [V53    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V54 tmp40        [V54,T05] (  4,  8   )     ref  ->  rcx         class-hnd single-def "Inlining Arg" <byte[]>
+;* V55 tmp41        [V55    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V56 tmp42        [V56,T08] (  5,  5   )   byref  ->  r12         single-def "field V00._reference (fldOffset=0x0)" P-INDEP
+;  V57 tmp43        [V57,T02] (  8,  8   )     int  ->  rbx         single-def "field V00._length (fldOffset=0x8)" P-INDEP
+;  V58 tmp44        [V58,T09] (  5,  5   )     ref  ->  [rbp-0x88]  single-def "field V01._name (fldOffset=0x0)" P-INDEP
+;* V59 tmp45        [V59    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V60 tmp46        [V60    ] (  0,  0   )     int  ->  zero-ref    single-def "field V22._length (fldOffset=0x8)" P-INDEP
+;* V61 tmp47        [V61    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V62 tmp48        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;* V63 tmp49        [V63    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V64 tmp50        [V64    ] (  0,  0   )     int  ->  zero-ref    single-def "field V25._length (fldOffset=0x8)" P-INDEP
+;* V65 tmp51        [V65    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V66 tmp52        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V67 tmp53        [V67    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
+;* V68 tmp54        [V68    ] (  0,  0   )     int  ->  zero-ref    single-def "field V27._length (fldOffset=0x8)" P-INDEP
+;* V69 tmp55        [V69    ] (  0,  0   )   byref  ->  zero-ref    "field V28._reference (fldOffset=0x0)" P-INDEP
+;* V70 tmp56        [V70    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
+;  V71 tmp57        [V71,T31] (  2,  2   )   byref  ->  rcx         single-def "field V42._reference (fldOffset=0x0)" P-INDEP
+;  V72 tmp58        [V72,T33] (  2,  2   )     int  ->   r8         single-def "field V42._length (fldOffset=0x8)" P-INDEP
+;  V73 tmp59        [V73,T25] (  3,  3   )   byref  ->   r8         "field V44._reference (fldOffset=0x0)" P-INDEP
+;  V74 tmp60        [V74,T27] (  3,  3   )     int  ->  rsi         "field V44._length (fldOffset=0x8)" P-INDEP
+;* V75 tmp61        [V75    ] (  0,  0   )   byref  ->  zero-ref    "field V48._reference (fldOffset=0x0)" P-INDEP
+;* V76 tmp62        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V48._length (fldOffset=0x8)" P-INDEP
+;  V77 tmp63        [V77,T32] (  2,  2   )   byref  ->  rdi         single-def "field V49._reference (fldOffset=0x0)" P-INDEP
+;  V78 tmp64        [V78,T34] (  2,  2   )     int  ->  rax         single-def "field V49._length (fldOffset=0x8)" P-INDEP
+;* V79 tmp65        [V79    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V50._reference (fldOffset=0x0)" P-INDEP
+;* V80 tmp66        [V80    ] (  0,  0   )     int  ->  zero-ref    single-def "field V50._length (fldOffset=0x8)" P-INDEP
+;  V81 tmp67        [V81,T26] (  3,  3   )   byref  ->   r8         "field V55._reference (fldOffset=0x0)" P-INDEP
+;  V82 tmp68        [V82,T28] (  3,  3   )     int  ->  rsi         "field V55._length (fldOffset=0x8)" P-INDEP
+;  V83 tmp69        [V83,T21] (  2,  4   )    long  ->  rsi         "argument with side effect"
+;  V84 cse0         [V84,T18] (  4,  4   )     int  ->  [rbp-0x38]  spill-single-def "CSE #02: moderate"
+;  V85 cse1         [V85,T29] (  3,  3   )    long  ->  [rbp-0x40]  spill-single-def "CSE #05: moderate"
+;  V86 rat0         [V86,T10] (  3,  6   )     int  ->  rax         "ReplaceWithLclVar is creating a new local variable"
 ;
-; Lcl frame size = 136
+; Lcl frame size = 120
 
 G_M63733_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
-       sub      rsp, 136
-       lea      rbp, [rsp+0xB0]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x58], rax
+       sub      rsp, 120
+       lea      rbp, [rsp+0xA0]
        vxorps   xmm8, xmm8, xmm8
        vmovdqu  ymmword ptr [rbp-0x50], ymm8
+       xor      eax, eax
        mov      qword ptr [rbp-0x30], rax
-       mov      gword ptr [rbp-0x98], rdx
+       mov      gword ptr [rbp-0x88], rdx
        mov      r12, rdi
        mov      ebx, esi
        mov      r15, rcx
        mov      r13, r8
        mov      r14, bword ptr [rbp+0x18]
-						;; size=67 bbWeight=1 PerfScore 13.33
+						;; size=60 bbWeight=1 PerfScore 12.33
 G_M63733_IG02:
        mov      rdi, 0xD1FFAB1E      ; data for System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature+<>O:<0>__GetRSAPublicKey
        mov      rdx, gword ptr [rdi]
-       movzx    rsi, r9b
-       mov      dword ptr [rbp-0x38], esi
        test     rdx, rdx
-       mov      gword ptr [rbp-0x78], rdx
+       mov      gword ptr [rbp-0x70], rdx
        jne      SHORT G_M63733_IG03
        mov      rdi, 0xD1FFAB1E      ; System.Func`2[System.Security.Cryptography.X509Certificates.X509Certificate2,System.Security.Cryptography.RSA]
        call     CORINFO_HELP_NEWSFAST
        mov      rdx, rax
-       mov      gword ptr [rbp-0x80], rdx
+       mov      gword ptr [rbp-0x78], rdx
        lea      rdi, bword ptr [rdx+0x08]
        mov      rsi, rdx
        call     CORINFO_HELP_ASSIGN_REF
        mov      rdi, 0xD1FFAB1E      ; function address
-       mov      rdx, gword ptr [rbp-0x80]
+       mov      rdx, gword ptr [rbp-0x78]
        mov      qword ptr [rdx+0x18], rdi
        mov      rdi, 0xD1FFAB1E      ; code for System.Security.Cryptography.X509Certificates.RSACertificateExtensions:GetRSAPublicKey(System.Security.Cryptography.X509Certificates.X509Certificate2):System.Security.Cryptography.RSA
        mov      qword ptr [rdx+0x20], rdi
        mov      rdi, 0xD1FFAB1E      ; data for System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature+<>O:<0>__GetRSAPublicKey
        mov      rsi, rdx
        call     CORINFO_HELP_ASSIGN_REF
-       mov      rdx, gword ptr [rbp-0x80]
-       mov      gword ptr [rbp-0x78], rdx
-						;; size=121 bbWeight=1 PerfScore 17.00
+       mov      rdx, gword ptr [rbp-0x78]
+       mov      gword ptr [rbp-0x70], rdx
+						;; size=114 bbWeight=1 PerfScore 15.75
 G_M63733_IG03:
        mov      rsi, r13
        mov      rdi, 0xD1FFAB1E      ; System.Security.Cryptography.RSA
        mov      r8, 0xD1FFAB1E      ; code for CORINFO_HELP_ISINSTANCEOFCLASS
        call     [r8]CORINFO_HELP_ISINSTANCEOFCLASS
        xor      rdi, rdi
        test     rax, rax
        jne      SHORT G_M63733_IG05
-       mov      rdi, 0xD1FFAB1E      ; const ptr
-       mov      rax, gword ptr [rdi]
-       mov      gword ptr [rbp-0x88], rax
-       mov      rdi, rax
-       mov      rsi, 0xD1FFAB1E      ; Internal.Cryptography.PkcsPal
-       mov      rdx, 0xD1FFAB1E      ; token handle
-       mov      rcx, 0xD1FFAB1E      ; code for CORINFO_HELP_VIRTUAL_FUNC_PTR
-       call     [rcx]CORINFO_HELP_VIRTUAL_FUNC_PTR
-       mov      rdi, gword ptr [rbp-0x88]
        mov      rsi, r15
-       mov      edx, dword ptr [rbp-0x38]
-       call     rax
+       mov      rdi, 0xD1FFAB1E      ; Internal.Cryptography.Pal.AnyOS.ManagedPkcsPal:GetPrivateKey[System.Security.Cryptography.RSA](System.Security.Cryptography.X509Certificates.X509Certificate2):System.Security.Cryptography.RSA
+       mov      rax, 0xD1FFAB1E      ; code for Internal.Cryptography.Pal.AnyOS.ManagedPkcsPal:GetPrivateKey[System.__Canon](System.Security.Cryptography.X509Certificates.X509Certificate2):System.__Canon
+       call     [rax]Internal.Cryptography.Pal.AnyOS.ManagedPkcsPal:GetPrivateKey[System.__Canon](System.Security.Cryptography.X509Certificates.X509Certificate2):System.__Canon
        test     rax, rax
        jne      SHORT G_M63733_IG04
        mov      rsi, r15
-       mov      rdx, gword ptr [rbp-0x78]
+       mov      rdx, gword ptr [rbp-0x70]
        mov      rdi, gword ptr [rdx+0x08]
        call     [rdx+0x18]System.Func`2[System.__Canon,System.__Canon]:Invoke(System.__Canon):System.__Canon:this
-						;; size=122 bbWeight=1 PerfScore 25.25
+						;; size=77 bbWeight=1 PerfScore 16.50
 G_M63733_IG04:
        mov      rdi, rax
 						;; size=3 bbWeight=1 PerfScore 0.25
 G_M63733_IG05:
-       mov      gword ptr [rbp-0x58], rdi
+       mov      gword ptr [rbp-0x50], rdi
 						;; size=4 bbWeight=1 PerfScore 1.00
 G_M63733_IG06:
        test     rax, rax
        je       G_M63733_IG25
        mov      rdi, rax
-       mov      gword ptr [rbp-0x50], rax
+       mov      gword ptr [rbp-0x48], rax
        mov      rcx, qword ptr [rax]
        mov      rcx, qword ptr [rcx+0x40]
        call     [rcx+0x20]System.Security.Cryptography.AsymmetricAlgorithm:get_KeySize():int:this
        mov      ecx, eax
        sar      ecx, 31
        and      ecx, 7
        add      eax, ecx
        sar      eax, 3
-       mov      dword ptr [rbp-0x3C], eax
+       mov      dword ptr [rbp-0x38], eax
        movsxd   rsi, eax
        mov      rdi, 0xD1FFAB1E      ; byte[]
        call     CORINFO_HELP_NEWARR_1_VC
-       mov      gword ptr [rbp-0x60], rax
+       mov      gword ptr [rbp-0x58], rax
        lea      rcx, bword ptr [rax+0x10]
-       mov      r10d, dword ptr [rbp-0x3C]
+       mov      r10d, dword ptr [rbp-0x38]
        mov      r8d, r10d
        mov      r11, gword ptr [rbp+0x10]
        mov      gword ptr [rsp], r11
        lea      rsi, [rbp-0x30]
        mov      qword ptr [rsp+0x08], rsi
        mov      rsi, r12
        mov      edx, ebx
-       mov      rdi, gword ptr [rbp-0x50]
-       mov      r9, gword ptr [rbp-0x98]
-       mov      gword ptr [rbp-0x50], rdi
+       mov      rdi, gword ptr [rbp-0x48]
+       mov      r9, gword ptr [rbp-0x88]
+       mov      gword ptr [rbp-0x48], rdi
        mov      r10, qword ptr [rdi]
        mov      r10, qword ptr [r10+0x60]
-       mov      qword ptr [rbp-0x48], r10
+       mov      qword ptr [rbp-0x40], r10
        call     [r10+0x38]System.Security.Cryptography.RSA:TrySignHash(System.ReadOnlySpan`1[byte],System.Span`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.RSASignaturePadding,byref):bool:this
        test     eax, eax
        je       SHORT G_M63733_IG07
-       mov      esi, dword ptr [rbp-0x3C]
+       mov      esi, dword ptr [rbp-0x38]
        cmp      esi, dword ptr [rbp-0x30]
        je       G_M63733_IG17
 						;; size=143 bbWeight=1 PerfScore 35.75
 G_M63733_IG07:
        test     ebx, ebx
        je       SHORT G_M63733_IG08
        mov      esi, ebx
        mov      rdi, 0xD1FFAB1E      ; byte[]
        call     CORINFO_HELP_NEWARR_1_VC
        mov      rsi, rax
-       mov      gword ptr [rbp-0x90], rsi
+       mov      gword ptr [rbp-0x80], rsi
        lea      rdi, bword ptr [rsi+0x10]
        mov      eax, dword ptr [rsi+0x08]
        cmp      ebx, eax
        jg       G_M63733_IG28
        mov      edx, ebx
        mov      rsi, r12
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
-       mov      rsi, gword ptr [rbp-0x90]
+       mov      rsi, gword ptr [rbp-0x80]
        jmp      SHORT G_M63733_IG10
-						;; size=72 bbWeight=1 PerfScore 14.50
+						;; size=66 bbWeight=1 PerfScore 14.50
 G_M63733_IG08:
        mov      rdi, 0xD1FFAB1E      ; global ptr
        test     byte  ptr [rdi], 1
        je       G_M63733_IG27
 						;; size=19 bbWeight=1 PerfScore 3.25
 G_M63733_IG09:
        mov      rdi, 0xD1FFAB1E      ; data for System.Array+EmptyArray`1[byte]:Value
        mov      rsi, gword ptr [rdi]
 						;; size=13 bbWeight=1 PerfScore 2.25
 G_M63733_IG10:
-       mov      rdi, gword ptr [rbp-0x50]
-       mov      rdx, gword ptr [rbp-0x98]
+       mov      rdi, gword ptr [rbp-0x48]
+       mov      rdx, gword ptr [rbp-0x88]
        mov      rcx, gword ptr [rbp+0x10]
-       mov      r10, qword ptr [rbp-0x48]
+       mov      r10, qword ptr [rbp-0x40]
        call     [r10]System.Security.Cryptography.RSA:SignHash(byte[],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.RSASignaturePadding):byte[]:this
        mov      rsi, rax
        mov      rdi, r14
        call     CORINFO_HELP_CHECKED_ASSIGN_REF
        test     r13, r13
        je       G_M63733_IG23
        mov      rsi, r15
        mov      rdi, 0xD1FFAB1E      ; System.Security.Cryptography.X509Certificates.CertificateExtensionsCommon:GetPublicKey[System.Security.Cryptography.RSA](System.Security.Cryptography.X509Certificates.X509Certificate2,System.Predicate`1[System.Security.Cryptography.X509Certificates.X509Certificate2]):System.Security.Cryptography.RSA
        xor      rdx, rdx
        mov      rax, 0xD1FFAB1E      ; code for System.Security.Cryptography.X509Certificates.CertificateExtensionsCommon:GetPublicKey[System.__Canon](System.Security.Cryptography.X509Certificates.X509Certificate2,System.Predicate`1[System.Security.Cryptography.X509Certificates.X509Certificate2]):System.__Canon
        call     [rax]System.Security.Cryptography.X509Certificates.CertificateExtensionsCommon:GetPublicKey[System.__Canon](System.Security.Cryptography.X509Certificates.X509Certificate2,System.Predicate`1[System.Security.Cryptography.X509Certificates.X509Certificate2]):System.__Canon
-       mov      gword ptr [rbp-0x70], rax
+       mov      gword ptr [rbp-0x68], rax
 						;; size=73 bbWeight=1 PerfScore 14.75
 G_M63733_IG11:
        mov      rcx, gword ptr [r14]
        test     rcx, rcx
        je       SHORT G_M63733_IG12
        lea      r8, bword ptr [rcx+0x10]
        mov      esi, dword ptr [rcx+0x08]
        jmp      SHORT G_M63733_IG13
 						;; size=17 bbWeight=1 PerfScore 7.75
 G_M63733_IG12:
        xor      r8, r8
        xor      esi, esi
 						;; size=5 bbWeight=1 PerfScore 0.50
 G_M63733_IG13:
        mov      r15, gword ptr [rbp+0x10]
        mov      gword ptr [rsp], r15
        mov      rcx, r8
        mov      r8d, esi
        mov      rsi, r12
        mov      edx, ebx
-       mov      rdi, gword ptr [rbp-0x70]
-       mov      r9, gword ptr [rbp-0x98]
+       mov      rdi, gword ptr [rbp-0x68]
+       mov      r9, gword ptr [rbp-0x88]
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x68]
        call     [rax]System.Security.Cryptography.RSA:VerifyHash(System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.RSASignaturePadding):bool:this
        test     eax, eax
        jne      SHORT G_M63733_IG15
        xor      rdi, rdi
        mov      gword ptr [r14], rdi
 						;; size=48 bbWeight=1 PerfScore 14.50
 G_M63733_IG14:
        mov      dword ptr [rbp-0x34], edi
        jmp      SHORT G_M63733_IG16
 						;; size=5 bbWeight=1 PerfScore 3.00
 G_M63733_IG15:
-       mov      rdi, gword ptr [rbp-0x70]
+       mov      rdi, gword ptr [rbp-0x68]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
        jmp      G_M63733_IG23
 						;; size=22 bbWeight=1 PerfScore 6.25
 G_M63733_IG16:
        call     G_M63733_IG36
        jmp      G_M63733_IG29
 						;; size=10 bbWeight=1 PerfScore 3.00
 G_M63733_IG17:
-       mov      rsi, gword ptr [rbp-0x60]
+       mov      rsi, gword ptr [rbp-0x58]
        mov      rdi, r14
        call     CORINFO_HELP_CHECKED_ASSIGN_REF
        test     r13, r13
        je       SHORT G_M63733_IG23
        mov      rsi, r15
        mov      rdi, 0xD1FFAB1E      ; System.Security.Cryptography.X509Certificates.CertificateExtensionsCommon:GetPublicKey[System.Security.Cryptography.RSA](System.Security.Cryptography.X509Certificates.X509Certificate2,System.Predicate`1[System.Security.Cryptography.X509Certificates.X509Certificate2]):System.Security.Cryptography.RSA
        xor      rdx, rdx
        mov      rax, 0xD1FFAB1E      ; code for System.Security.Cryptography.X509Certificates.CertificateExtensionsCommon:GetPublicKey[System.__Canon](System.Security.Cryptography.X509Certificates.X509Certificate2,System.Predicate`1[System.Security.Cryptography.X509Certificates.X509Certificate2]):System.__Canon
        call     [rax]System.Security.Cryptography.X509Certificates.CertificateExtensionsCommon:GetPublicKey[System.__Canon](System.Security.Cryptography.X509Certificates.X509Certificate2,System.Predicate`1[System.Security.Cryptography.X509Certificates.X509Certificate2]):System.__Canon
-       mov      gword ptr [rbp-0x68], rax
+       mov      gword ptr [rbp-0x60], rax
 						;; size=48 bbWeight=1 PerfScore 8.50
 G_M63733_IG18:
        mov      rcx, gword ptr [r14]
        test     rcx, rcx
        je       SHORT G_M63733_IG19
        lea      r8, bword ptr [rcx+0x10]
        mov      esi, dword ptr [rcx+0x08]
        jmp      SHORT G_M63733_IG20
 						;; size=17 bbWeight=1 PerfScore 7.75
 G_M63733_IG19:
        xor      r8, r8
        xor      esi, esi
 						;; size=5 bbWeight=1 PerfScore 0.50
 G_M63733_IG20:
        mov      r15, gword ptr [rbp+0x10]
        mov      gword ptr [rsp], r15
        mov      rcx, r8
        mov      r8d, esi
        mov      rsi, r12
        mov      edx, ebx
-       mov      rdi, gword ptr [rbp-0x68]
-       mov      r9, gword ptr [rbp-0x98]
+       mov      rdi, gword ptr [rbp-0x60]
+       mov      r9, gword ptr [rbp-0x88]
        mov      rax, qword ptr [rdi]
        mov      rax, qword ptr [rax+0x68]
        call     [rax]System.Security.Cryptography.RSA:VerifyHash(System.ReadOnlySpan`1[byte],System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.RSASignaturePadding):bool:this
        test     eax, eax
        jne      SHORT G_M63733_IG22
        xor      rdi, rdi
        mov      gword ptr [r14], rdi
 						;; size=48 bbWeight=1 PerfScore 14.50
 G_M63733_IG21:
        mov      dword ptr [rbp-0x34], edi
        jmp      SHORT G_M63733_IG24
 						;; size=5 bbWeight=1 PerfScore 3.00
 G_M63733_IG22:
-       mov      rdi, gword ptr [rbp-0x68]
+       mov      rdi, gword ptr [rbp-0x60]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=17 bbWeight=1 PerfScore 4.25
 G_M63733_IG23:
        mov      dword ptr [rbp-0x34], 1
        jmp      SHORT G_M63733_IG29
 						;; size=9 bbWeight=1 PerfScore 3.00
 G_M63733_IG24:
        call     G_M63733_IG32
        jmp      SHORT G_M63733_IG29
 						;; size=7 bbWeight=1 PerfScore 3.00
 G_M63733_IG25:
        xor      rdi, rdi
        mov      gword ptr [r14], rdi
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M63733_IG26:
        mov      dword ptr [rbp-0x34], edi
        jmp      SHORT G_M63733_IG29
 						;; size=5 bbWeight=1 PerfScore 3.00
 G_M63733_IG27:
        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      G_M63733_IG09
 						;; size=27 bbWeight=0 PerfScore 0.00
 G_M63733_IG28:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        call     [rax]System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M63733_IG29:
-       cmp      gword ptr [rbp-0x58], 0
+       cmp      gword ptr [rbp-0x50], 0
        je       SHORT G_M63733_IG30
-       mov      rdi, gword ptr [rbp-0x58]
+       mov      rdi, gword ptr [rbp-0x50]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=1 PerfScore 6.25
 G_M63733_IG30:
        mov      eax, dword ptr [rbp-0x34]
 						;; size=3 bbWeight=1 PerfScore 1.00
 G_M63733_IG31:
-       add      rsp, 136
+       add      rsp, 120
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
-						;; size=18 bbWeight=1 PerfScore 4.25
+						;; size=15 bbWeight=1 PerfScore 4.25
 G_M63733_IG32:
        sub      rsp, 24
 						;; size=4 bbWeight=1 PerfScore 0.25
 G_M63733_IG33:
-       cmp      gword ptr [rbp-0x68], 0
+       cmp      gword ptr [rbp-0x60], 0
        je       SHORT G_M63733_IG34
-       mov      rdi, gword ptr [rbp-0x68]
+       mov      rdi, gword ptr [rbp-0x60]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=1 PerfScore 6.25
 G_M63733_IG34:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
 G_M63733_IG35:
        add      rsp, 24
        ret      
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M63733_IG36:
        sub      rsp, 24
 						;; size=4 bbWeight=1 PerfScore 0.25
 G_M63733_IG37:
-       cmp      gword ptr [rbp-0x70], 0
+       cmp      gword ptr [rbp-0x68], 0
        je       SHORT G_M63733_IG38
-       mov      rdi, gword ptr [rbp-0x70]
+       mov      rdi, gword ptr [rbp-0x68]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=1 PerfScore 6.25
 G_M63733_IG38:
        nop      
 						;; size=1 bbWeight=1 PerfScore 0.25
 G_M63733_IG39:
        add      rsp, 24
        ret      
 						;; size=5 bbWeight=1 PerfScore 1.25
 G_M63733_IG40:
        sub      rsp, 24
 						;; size=4 bbWeight=0 PerfScore 0.00
 G_M63733_IG41:
-       cmp      gword ptr [rbp-0x58], 0
+       cmp      gword ptr [rbp-0x50], 0
        je       SHORT G_M63733_IG42
-       mov      rdi, gword ptr [rbp-0x58]
+       mov      rdi, gword ptr [rbp-0x50]
        mov      r11, 0xD1FFAB1E      ; code for System.IDisposable:Dispose():this
        call     [r11]System.IDisposable:Dispose():this
 						;; size=24 bbWeight=0 PerfScore 0.00
 G_M63733_IG42:
        nop      
 						;; size=1 bbWeight=0 PerfScore 0.00
 G_M63733_IG43:
        add      rsp, 24
        ret      
 						;; size=5 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 1097, prolog size 67, PerfScore 238.58, instruction count 272, allocated bytes for code 1097 (MethodHash=7078070a) for method System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature:SignCore(System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,System.Security.Cryptography.RSASignaturePadding,byref):bool (FullOpts)
+; Total bytes of code 1029, prolog size 60, PerfScore 227.58, instruction count 261, allocated bytes for code 1029 (MethodHash=7078070a) for method System.Security.Cryptography.Pkcs.CmsSignature+RSACmsSignature:SignCore(System.ReadOnlySpan`1[byte],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.X509Certificates.X509Certificate2,System.Object,bool,System.Security.Cryptography.RSASignaturePadding,byref):bool (FullOpts)
 ; ============================================================

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

[MihuBot]

@hez2010