[JitDiff X64] [EgorBo] Remove unsafe code from System.Reflection.Metadata PE ...

[MihuBot]

Job completed in 16 minutes 28 seconds (remote runner delay: 1 minute 2 seconds).
dotnet/runtime#129626

Main commit: dotnet/runtime@18696ad
PR commit: EgorBo/runtime-1@6558355

Diffs

Diffs

Found 86 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45833125
Total bytes of diff: 45832337
Total bytes of delta: -788 (-0.00 % of base)
Total relative delta: 3.55
    diff is an improvement.
    relative diff is a regression.


Total byte diff includes -1192 bytes from reconciling methods
	Base had   11 unique methods,     1409 unique bytes
	Diff had    1 unique methods,      217 unique bytes

Top file regressions (bytes):
          20 : System.Reflection.MetadataLoadContext.dasm (0.01 % of base)

Top file improvements (bytes):
        -808 : System.Reflection.Metadata.dasm (-0.14 % of base)

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

Top method regressions (bytes):
         380 (277.37 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob):uint (FullOpts)
         217 (Infinity of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:AddToChecksum(System.ArraySegment`1[byte],byref,byref) (FullOpts) (0 base, 1 diff methods)
          30 (21.58 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualBlobBytes(System.Reflection.Metadata.BlobHandle,bool):byte[] (FullOpts)
          26 (56.52 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.BlobHandle:SubstituteTemplateParameters(byte[]):this (FullOpts)
          26 (6.58 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualHandleMemoryBlock(System.Reflection.Metadata.BlobHandle):System.Reflection.Internal.MemoryBlock:this (FullOpts)
          10 (2.22 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.MetadataReader:GetBlobBytes(System.Reflection.Metadata.BlobHandle):byte[]:this (FullOpts)
          10 (2.24 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.MetadataReader:GetBlobContent(System.Reflection.Metadata.BlobHandle):System.Collections.Immutable.ImmutableArray`1[byte]:this (FullOpts)
          10 (2.22 % of base) : System.Reflection.MetadataLoadContext.dasm - System.Reflection.TypeLoading.Ecma.MetadataExtensions:GetBlobBytes(System.Reflection.Metadata.BlobHandle,System.Reflection.Metadata.MetadataReader):byte[] (FullOpts)
          10 (2.24 % of base) : System.Reflection.MetadataLoadContext.dasm - System.Reflection.TypeLoading.Ecma.MetadataExtensions:GetBlobContent(System.Reflection.Metadata.BlobHandle,System.Reflection.Metadata.MetadataReader):System.Collections.Immutable.ImmutableArray`1[byte] (FullOpts)

Top method improvements (bytes):
        -525 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:MoveNext():bool:this (FullOpts) (1 base, 0 diff methods)
        -411 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob]):uint (FullOpts) (1 base, 0 diff methods)
        -132 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.Generic.IEnumerable<System.Reflection.Metadata.Blob>.GetEnumerator():System.Collections.Generic.IEnumerator`1[System.Reflection.Metadata.Blob]:this (FullOpts) (1 base, 0 diff methods)
        -104 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:GetContentToChecksum(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob):System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob] (FullOpts) (1 base, 0 diff methods)
         -98 (-15.76 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:Sign(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob,System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]):this (FullOpts)
         -62 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.IEnumerator.get_Current():System.Object:this (FullOpts) (1 base, 0 diff methods)
         -57 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.IDisposable.Dispose():this (FullOpts) (1 base, 0 diff methods)
         -43 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.IEnumerator.Reset():this (FullOpts) (1 base, 0 diff methods)
         -37 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.Generic.IEnumerator<System.Reflection.Metadata.Blob>.get_Current():System.Reflection.Metadata.Blob:this (FullOpts) (1 base, 0 diff methods)
         -17 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:.ctor(int):this (FullOpts) (1 base, 0 diff methods)
         -13 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.IEnumerable.GetEnumerator():System.Collections.IEnumerator:this (FullOpts) (1 base, 0 diff methods)
          -8 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:<>m__Finally1():this (FullOpts) (1 base, 0 diff methods)

Top method regressions (percentages):
         217 (Infinity of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:AddToChecksum(System.ArraySegment`1[byte],byref,byref) (FullOpts) (0 base, 1 diff methods)
         380 (277.37 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob):uint (FullOpts)
          26 (56.52 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.BlobHandle:SubstituteTemplateParameters(byte[]):this (FullOpts)
          30 (21.58 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualBlobBytes(System.Reflection.Metadata.BlobHandle,bool):byte[] (FullOpts)
          26 (6.58 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualHandleMemoryBlock(System.Reflection.Metadata.BlobHandle):System.Reflection.Internal.MemoryBlock:this (FullOpts)
          10 (2.24 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.MetadataReader:GetBlobContent(System.Reflection.Metadata.BlobHandle):System.Collections.Immutable.ImmutableArray`1[byte]:this (FullOpts)
          10 (2.24 % of base) : System.Reflection.MetadataLoadContext.dasm - System.Reflection.TypeLoading.Ecma.MetadataExtensions:GetBlobContent(System.Reflection.Metadata.BlobHandle,System.Reflection.Metadata.MetadataReader):System.Collections.Immutable.ImmutableArray`1[byte] (FullOpts)
          10 (2.22 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.MetadataReader:GetBlobBytes(System.Reflection.Metadata.BlobHandle):byte[]:this (FullOpts)
          10 (2.22 % of base) : System.Reflection.MetadataLoadContext.dasm - System.Reflection.TypeLoading.Ecma.MetadataExtensions:GetBlobBytes(System.Reflection.Metadata.BlobHandle,System.Reflection.Metadata.MetadataReader):byte[] (FullOpts)

Top method improvements (percentages):
        -411 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob]):uint (FullOpts) (1 base, 0 diff methods)
        -104 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:GetContentToChecksum(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob):System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob] (FullOpts) (1 base, 0 diff methods)
         -17 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:.ctor(int):this (FullOpts) (1 base, 0 diff methods)
          -8 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:<>m__Finally1():this (FullOpts) (1 base, 0 diff methods)
        -525 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:MoveNext():bool:this (FullOpts) (1 base, 0 diff methods)
        -132 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.Generic.IEnumerable<System.Reflection.Metadata.Blob>.GetEnumerator():System.Collections.Generic.IEnumerator`1[System.Reflection.Metadata.Blob]:this (FullOpts) (1 base, 0 diff methods)
         -37 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.Generic.IEnumerator<System.Reflection.Metadata.Blob>.get_Current():System.Reflection.Metadata.Blob:this (FullOpts) (1 base, 0 diff methods)
         -13 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.IEnumerable.GetEnumerator():System.Collections.IEnumerator:this (FullOpts) (1 base, 0 diff methods)
         -62 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.IEnumerator.get_Current():System.Object:this (FullOpts) (1 base, 0 diff methods)
         -43 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.Collections.IEnumerator.Reset():this (FullOpts) (1 base, 0 diff methods)
         -57 (-100.00 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32:System.IDisposable.Dispose():this (FullOpts) (1 base, 0 diff methods)
         -98 (-15.76 % of base) : System.Reflection.Metadata.dasm - System.Reflection.PortableExecutable.PEBuilder:Sign(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob,System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]):this (FullOpts)

21 total methods with Code Size differences (12 improved, 9 regressed), 288724 unchanged.

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

Artifacts:

• jit-diffs-main.zip (158 MB)
• jit-diffs-pr.zip (158 MB)
• diff-frameworks.txt (10 KB)
• ShortDiffsRegressions.md (48 KB)
• ShortDiffsImprovements.md (35 KB)
• LongDiffsRegressions.md (124 KB)

[MihuBot]

Top method regressions

30 (21.58 % of base) - System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualBlobBytes(System.Reflection.Metadata.BlobHandle,bool):byte[]

 ; Assembly listing for method System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualBlobBytes(System.Reflection.Metadata.BlobHandle,bool):byte[] (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; 5 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 7 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;* V00 arg0         [V00    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op single-def <System.Reflection.Metadata.BlobHandle>
 ;  V01 arg1         [V01,T02] (  3,  2.50)   ubyte  ->  rsi         single-def
 ;  V02 loc0         [V02,T04] (  4,  4   )   ubyte  ->  rdi        
-;  V03 loc1         [V03,T00] ( 10,  6   )     ref  ->  rax         class-hnd <byte[]>
+;  V03 loc1         [V03,T00] ( 11,  6.50)     ref  ->  rax         class-hnd <byte[]>
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V05 tmp1         [V05    ] (  3,  1.50)   byref  ->  [rbp-0x10]  do-not-enreg[] must-init pinned "Inline stloc first use temp"
-;  V06 tmp2         [V06,T03] (  3,  2.50)     int  ->  rbx         single-def "field V00._value (fldOffset=0x0)" P-INDEP
-;  V07 tmp3         [V07,T01] (  3,  6   )     ref  ->  rax         single-def "arr expr"
-;  V08 tmp4         [V08,T05] (  2,  2   )    long  ->  rcx         "Cast away GC"
+;* V05 tmp1         [V05    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.Span`1[byte]>
+;* V06 tmp2         [V06    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V07 tmp3         [V07    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V08 tmp4         [V08,T05] (  2,  2   )   byref  ->  rcx         single-def "Inlining Arg"
+;  V09 tmp5         [V09,T06] (  2,  2   )     int  ->  rdi         "Inlining Arg"
+;  V10 tmp6         [V10,T07] (  2,  2   )     int  ->  rdx         ld-addr-op "Inlining Arg"
+;* V11 tmp7         [V11    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V12 tmp8         [V12    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V13 tmp9         [V13,T03] (  3,  2.50)     int  ->  rbx         single-def "field V00._value (fldOffset=0x0)" P-INDEP
+;* V14 tmp10        [V14    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V15 tmp11        [V15    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V16 tmp12        [V16    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V06._reference (fldOffset=0x0)" P-INDEP
+;* V17 tmp13        [V17    ] (  0,  0   )     int  ->  zero-ref    "field V06._length (fldOffset=0x8)" P-INDEP
+;* V18 tmp14        [V18    ] (  0,  0   )   byref  ->  zero-ref    "field V07._reference (fldOffset=0x0)" P-INDEP
+;* V19 tmp15        [V19    ] (  0,  0   )     int  ->  zero-ref    "field V07._length (fldOffset=0x8)" P-INDEP
+;* V20 tmp16        [V20    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V11._reference (fldOffset=0x0)" P-INDEP
+;* V21 tmp17        [V21    ] (  0,  0   )     int  ->  zero-ref    "field V11._length (fldOffset=0x8)" P-INDEP
+;* V22 tmp18        [V22    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V12._reference (fldOffset=0x0)" P-INDEP
+;* V23 tmp19        [V23    ] (  0,  0   )     int  ->  zero-ref    "field V12._length (fldOffset=0x8)" P-INDEP
+;  V24 tmp20        [V24,T01] (  3,  6   )     ref  ->  rax         single-def "arr expr"
+;  V25 cse0         [V25,T08] (  3,  1.50)     int  ->  rdi         "CSE #01: moderate"
 ;
 ; Lcl frame size = 8
 
 G_M54111_IG01:
        push     rbp
        push     rbx
        push     rax
        lea      rbp, [rsp+0x10]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x10], rax
        mov      ebx, edi
-						;; size=16 bbWeight=1 PerfScore 5.00
+						;; size=10 bbWeight=1 PerfScore 3.75
 G_M54111_IG02:
        movzx    rdi, bl
        mov      rax, 0xD1FFAB1E      ; data for System.Reflection.Metadata.Ecma335.BlobHeap:s_virtualValues
        mov      rax, gword ptr [rax]
        cmp      edi, dword ptr [rax+0x08]
-       jae      SHORT G_M54111_IG06
+       jae      G_M54111_IG08
        mov      ecx, edi
        mov      rax, gword ptr [rax+8*rcx+0x10]
        add      edi, -3
        cmp      edi, 1
        jbe      SHORT G_M54111_IG04
-						;; size=37 bbWeight=1 PerfScore 9.25
+						;; size=41 bbWeight=1 PerfScore 9.25
 G_M54111_IG03:
        test     sil, sil
        je       SHORT G_M54111_IG05
        cmp      byte  ptr [rax], al
        mov      rdi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Object:MemberwiseClone():System.Object:this
        call     [rax]System.Object:MemberwiseClone():System.Object:this
        jmp      SHORT G_M54111_IG05
 						;; size=24 bbWeight=0.50 PerfScore 4.38
 G_M54111_IG04:
        cmp      byte  ptr [rax], al
        mov      rdi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Object:MemberwiseClone():System.Object:this
        call     [rax]System.Object:MemberwiseClone():System.Object:this
-       cmp      dword ptr [rax+0x08], 2
-       jbe      SHORT G_M54111_IG06
+       test     rax, rax
+       je       SHORT G_M54111_IG06
+       mov      edi, dword ptr [rax+0x08]
+       cmp      edi, 2
+       jl       SHORT G_M54111_IG06
        lea      rcx, bword ptr [rax+0x12]
-       mov      bword ptr [rbp-0x10], rcx
-       mov      rcx, bword ptr [rbp-0x10]
+       add      edi, -2
        shr      ebx, 8
        movzx    rdx, bx
+       cmp      edi, 4
+       jl       SHORT G_M54111_IG07
        mov      dword ptr [rcx], edx
-       xor      ecx, ecx
-       mov      bword ptr [rbp-0x10], rcx
-						;; size=49 bbWeight=0.50 PerfScore 7.00
+						;; size=50 bbWeight=0.50 PerfScore 6.88
 G_M54111_IG05:
        add      rsp, 8
        pop      rbx
        pop      rbp
        ret      
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M54111_IG06:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M54111_IG07:
+       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_M54111_IG08:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 139, prolog size 14, PerfScore 27.88, instruction count 44, allocated bytes for code 139 (MethodHash=7f812ca0) for method System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualBlobBytes(System.Reflection.Metadata.BlobHandle,bool):byte[] (FullOpts)
+; Total bytes of code 169, prolog size 8, PerfScore 26.50, instruction count 51, allocated bytes for code 169 (MethodHash=7f812ca0) for method System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualBlobBytes(System.Reflection.Metadata.BlobHandle,bool):byte[] (FullOpts)
 ; ============================================================

26 (56.52 % of base) - System.Reflection.Metadata.BlobHandle:SubstituteTemplateParameters(byte[]):this

 ; Assembly listing for method System.Reflection.Metadata.BlobHandle:SubstituteTemplateParameters(byte[]):this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
-; rsp based frame
+; rbp based frame
 ; partially interruptible
 ; No PGO data
-; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
+; 0 inlinees with PGO data; 3 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )   byref  ->  rdi         this single-def
-;  V01 arg1         [V01,T00] (  4,  4   )     ref  ->  rsi         class-hnd single-def <byte[]>
-;  V02 loc0         [V02    ] (  3,  3   )   byref  ->  [rsp+0x00]  do-not-enreg[] pinned
-;# V03 OutArgs      [V03    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V04 tmp1         [V04,T02] (  2,  4   )    long  ->  rax         "Cast away GC"
+;  V01 arg1         [V01,T00] (  5,  5   )     ref  ->  rsi         class-hnd single-def <byte[]>
+;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V03 tmp1         [V03    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.Span`1[byte]>
+;* V04 tmp2         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V05 tmp3         [V05    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V06 tmp4         [V06,T02] (  2,  4   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V07 tmp5         [V07,T03] (  2,  4   )     int  ->  rax         "Inlining Arg"
+;  V08 tmp6         [V08,T04] (  2,  4   )     int  ->  rdi         ld-addr-op "Inlining Arg"
+;* V09 tmp7         [V09    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V10 tmp8         [V10    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V11 tmp9         [V11    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V03._reference (fldOffset=0x0)" P-INDEP
+;* V12 tmp10        [V12    ] (  0,  0   )     int  ->  zero-ref    "field V03._length (fldOffset=0x8)" P-INDEP
+;* V13 tmp11        [V13    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V04._reference (fldOffset=0x0)" P-INDEP
+;* V14 tmp12        [V14    ] (  0,  0   )     int  ->  zero-ref    "field V04._length (fldOffset=0x8)" P-INDEP
+;* V15 tmp13        [V15    ] (  0,  0   )   byref  ->  zero-ref    "field V05._reference (fldOffset=0x0)" P-INDEP
+;* V16 tmp14        [V16    ] (  0,  0   )     int  ->  zero-ref    "field V05._length (fldOffset=0x8)" P-INDEP
+;* V17 tmp15        [V17    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V09._reference (fldOffset=0x0)" P-INDEP
+;* V18 tmp16        [V18    ] (  0,  0   )     int  ->  zero-ref    "field V09._length (fldOffset=0x8)" P-INDEP
+;* V19 tmp17        [V19    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V10._reference (fldOffset=0x0)" P-INDEP
+;* V20 tmp18        [V20    ] (  0,  0   )     int  ->  zero-ref    "field V10._length (fldOffset=0x8)" P-INDEP
+;  V21 cse0         [V21,T05] (  3,  3   )     int  ->  rax         "CSE #01: aggressive"
 ;
-; Lcl frame size = 8
+; Lcl frame size = 0
 
 G_M17033_IG01:
-       push     rax
-						;; size=1 bbWeight=1 PerfScore 1.00
+       push     rbp
+       mov      rbp, rsp
+						;; size=4 bbWeight=1 PerfScore 1.25
 G_M17033_IG02:
-       cmp      dword ptr [rsi+0x08], 2
-       jbe      SHORT G_M17033_IG04
+       test     rsi, rsi
+       je       SHORT G_M17033_IG04
+       mov      eax, dword ptr [rsi+0x08]
+       cmp      eax, 2
+       jl       SHORT G_M17033_IG04
        add      rsi, 18
-       mov      bword ptr [rsp], rsi
-       mov      rax, bword ptr [rsp]
-       mov      ecx, dword ptr [rdi]
-       shr      ecx, 8
-       movzx    rcx, cx
-       mov      dword ptr [rax], ecx
-       xor      eax, eax
-       mov      bword ptr [rsp], rax
-						;; size=34 bbWeight=1 PerfScore 10.25
+       add      eax, -2
+       mov      edi, dword ptr [rdi]
+       shr      edi, 8
+       movzx    rdi, di
+       cmp      eax, 4
+       jl       SHORT G_M17033_IG05
+       mov      dword ptr [rsi], edi
+						;; size=35 bbWeight=1 PerfScore 10.00
 G_M17033_IG03:
-       add      rsp, 8
+       pop      rbp
        ret      
-						;; size=5 bbWeight=1 PerfScore 1.25
+						;; size=2 bbWeight=1 PerfScore 1.50
 G_M17033_IG04:
-       call     CORINFO_HELP_RNGCHKFAIL
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
-						;; size=6 bbWeight=0 PerfScore 0.00
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M17033_IG05:
+       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
 
-; Total bytes of code 46, prolog size 1, PerfScore 12.50, instruction count 16, allocated bytes for code 46 (MethodHash=aea1bd76) for method System.Reflection.Metadata.BlobHandle:SubstituteTemplateParameters(byte[]):this (FullOpts)
+; Total bytes of code 72, prolog size 4, PerfScore 12.75, instruction count 24, allocated bytes for code 72 (MethodHash=aea1bd76) for method System.Reflection.Metadata.BlobHandle:SubstituteTemplateParameters(byte[]):this (FullOpts)
 ; ============================================================

26 (6.58 % of base) - System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualHandleMemoryBlock(System.Reflection.Metadata.BlobHandle):System.Reflection.Internal.MemoryBlock:this

 ; Assembly listing for method System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualHandleMemoryBlock(System.Reflection.Metadata.BlobHandle):System.Reflection.Internal.MemoryBlock: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; 11 single block inlinees; 6 inlinees without PGO data
+; 0 inlinees with PGO data; 13 single block inlinees; 9 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  4,  4   )   byref  ->  rdi         this single-def
 ;* V01 arg1         [V01    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op single-def <System.Reflection.Metadata.BlobHandle>
 ;  V02 loc0         [V02,T00] ( 11,  8.50)     ref  ->  r15         class-hnd exact single-def <System.Reflection.Metadata.Ecma335.VirtualHeap>
-;  V03 loc1         [V03,T15] (  2,  0   )     ref  ->  [rbp-0x40]  class-hnd exact EH-live single-def <System.Reflection.Metadata.Ecma335.VirtualHeap>
+;  V03 loc1         [V03,T18] (  2,  0   )     ref  ->  [rbp-0x38]  class-hnd exact EH-live single-def <System.Reflection.Metadata.Ecma335.VirtualHeap>
 ;  V04 loc2         [V04,T07] (  3,  2   )   ubyte  ->  [rbp-0x1C]  do-not-enreg[Z] ld-addr-op EH-live
 ;  V05 loc3         [V05    ] (  4,  3.50)  struct (16) [rbp-0x30]  do-not-enreg[XSRM] multireg-ret multireg-dest addr-exposed ld-addr-op <System.Reflection.Internal.MemoryBlock>
 ;* V06 loc4         [V06    ] (  0,  0   )  struct (16) zero-ref    multireg-ret <System.Reflection.Internal.MemoryBlock>
 ;# V07 OutArgs      [V07    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V08 tmp1         [V08    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
 ;  V09 tmp2         [V09,T08] (  3,  2   )     int  ->  rax         "Inline return value spill temp"
 ;  V10 tmp3         [V10,T05] (  3,  2.50)     int  ->  rax         "Inline stloc first use temp"
-;  V11 tmp4         [V11,T13] (  3,  1.50)     ref  ->  rax         class-hnd exact "Inline return value spill temp" <System.Threading.Lock>
-;  V12 tmp5         [V12,T14] (  3,  1.50)    long  ->  rax         "Inline stloc first use temp"
+;  V11 tmp4         [V11,T15] (  3,  1.50)     ref  ->  rax         class-hnd exact "Inline return value spill temp" <System.Threading.Lock>
+;  V12 tmp5         [V12,T16] (  3,  1.50)    long  ->  rax         "Inline stloc first use temp"
 ;* V13 tmp6         [V13    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inline stloc first use temp" <System.Runtime.InteropServices.GCHandle`1[System.Threading.Lock]>
 ;  V14 tmp7         [V14,T09] (  2,  2   )     ref  ->  rax         class-hnd exact single-def "impAppendStmt" <System.Threading.Lock>
 ;* V15 tmp8         [V15    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.Runtime.InteropServices.GCHandle`1[System.Threading.Lock]>
 ;* V16 tmp9         [V16    ] (  0,  0   )    long  ->  zero-ref    "dup spill"
 ;* V17 tmp10        [V17    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "updating class info" <System.Threading.Lock>
 ;* V18 tmp11        [V18    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inline return value spill temp" <byte[]>
 ;* V19 tmp12        [V19    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Reflection.Metadata.BlobHandle>
 ;  V20 tmp13        [V20,T06] (  4,  2   )   ubyte  ->  rdi         "Inline stloc first use temp"
-;  V21 tmp14        [V21,T03] (  7,  3.50)     ref  ->  rdx         class-hnd "Inline stloc first use temp" <byte[]>
-;  V22 tmp15        [V22    ] (  3,  1.50)   byref  ->  [rbp-0x38]  do-not-enreg[] must-init pinned "Inline stloc first use temp"
-;  V23 tmp16        [V23,T02] (  5,  3.50)     int  ->  rbx         single-def "field V01._value (fldOffset=0x0)" P-INDEP
-;  V24 tmp17        [V24    ] (  3,  2.50)    long  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V05.Pointer (fldOffset=0x0)" P-DEP
-;  V25 tmp18        [V25    ] (  3,  2.50)     int  ->  [rbp-0x28]  do-not-enreg[X] addr-exposed "field V05.Length (fldOffset=0x8)" P-DEP
-;  V26 tmp19        [V26,T10] (  2,  2   )    long  ->  rbx         "field V06.Pointer (fldOffset=0x0)" P-INDEP
-;  V27 tmp20        [V27,T11] (  2,  2   )     int  ->  r14         "field V06.Length (fldOffset=0x8)" P-INDEP
-;* V28 tmp21        [V28    ] (  0,  0   )    long  ->  zero-ref    "field V13._handle (fldOffset=0x0)" P-INDEP
-;* V29 tmp22        [V29    ] (  0,  0   )    long  ->  zero-ref    "field V15._handle (fldOffset=0x0)" P-INDEP
-;* V30 tmp23        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V19._value (fldOffset=0x0)" P-INDEP
-;  V31 tmp24        [V31,T04] (  3,  3   )     ref  ->  rax         single-def "arr expr"
-;  V32 tmp25        [V32,T12] (  2,  2   )    long  ->  rdi         "Cast away GC"
+;  V21 tmp14        [V21,T03] (  8,  4   )     ref  ->  rdx         class-hnd "Inline stloc first use temp" <byte[]>
+;* V22 tmp15        [V22    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.Span`1[byte]>
+;* V23 tmp16        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V24 tmp17        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V25 tmp18        [V25,T10] (  2,  2   )   byref  ->  rsi         single-def "Inlining Arg"
+;  V26 tmp19        [V26,T11] (  2,  2   )     int  ->  rdi         "Inlining Arg"
+;  V27 tmp20        [V27,T12] (  2,  2   )     int  ->  rax         ld-addr-op "Inlining Arg"
+;* V28 tmp21        [V28    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V29 tmp22        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V30 tmp23        [V30,T02] (  5,  3.50)     int  ->  rbx         single-def "field V01._value (fldOffset=0x0)" P-INDEP
+;  V31 tmp24        [V31    ] (  3,  2.50)    long  ->  [rbp-0x30]  do-not-enreg[X] addr-exposed "field V05.Pointer (fldOffset=0x0)" P-DEP
+;  V32 tmp25        [V32    ] (  3,  2.50)     int  ->  [rbp-0x28]  do-not-enreg[X] addr-exposed "field V05.Length (fldOffset=0x8)" P-DEP
+;  V33 tmp26        [V33,T13] (  2,  2   )    long  ->  rbx         "field V06.Pointer (fldOffset=0x0)" P-INDEP
+;  V34 tmp27        [V34,T14] (  2,  2   )     int  ->  r14         "field V06.Length (fldOffset=0x8)" P-INDEP
+;* V35 tmp28        [V35    ] (  0,  0   )    long  ->  zero-ref    "field V13._handle (fldOffset=0x0)" P-INDEP
+;* V36 tmp29        [V36    ] (  0,  0   )    long  ->  zero-ref    "field V15._handle (fldOffset=0x0)" P-INDEP
+;* V37 tmp30        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V19._value (fldOffset=0x0)" P-INDEP
+;* V38 tmp31        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp32        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp33        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp34        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;* V42 tmp35        [V42    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp36        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp37        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V28._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp38        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V28._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp39        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp40        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;  V48 tmp41        [V48,T04] (  3,  3   )     ref  ->  rax         single-def "arr expr"
+;  V49 cse0         [V49,T17] (  3,  1.50)     int  ->  rdi         "CSE #01: moderate"
 ;
 ; Lcl frame size = 40
 
 G_M50870_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        sub      rsp, 40
        lea      rbp, [rsp+0x40]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x38], rax
        mov      ebx, esi
-						;; size=23 bbWeight=1 PerfScore 6.25
+						;; size=17 bbWeight=1 PerfScore 5.00
 G_M50870_IG02:
        cmp      byte  ptr [rdi], dil
        mov      rax, 0xD1FFAB1E      ; code for System.Reflection.Metadata.Ecma335.VirtualHeap:GetOrCreateVirtualHeap(byref):System.Reflection.Metadata.Ecma335.VirtualHeap
        call     [rax]System.Reflection.Metadata.Ecma335.VirtualHeap:GetOrCreateVirtualHeap(byref):System.Reflection.Metadata.Ecma335.VirtualHeap
        mov      r15, rax
-       mov      gword ptr [rbp-0x40], r15
+       mov      gword ptr [rbp-0x38], r15
        xor      edi, edi
        mov      dword ptr [rbp-0x1C], edi
 						;; size=27 bbWeight=1 PerfScore 7.75
 G_M50870_IG03:
        test     r15, r15
        je       G_M50870_IG14
        mov      rdi, r15
        call     System.Threading.ObjectHeader:AcquireInternal(System.Object):int
        cmp      eax, 1
        je       SHORT G_M50870_IG05
 						;; size=22 bbWeight=1 PerfScore 3.75
 G_M50870_IG04:
        jmp      SHORT G_M50870_IG06
 						;; size=2 bbWeight=0.50 PerfScore 1.00
 G_M50870_IG05:
        mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Threading.ObjectHeader:TryAcquireThinLockSpin(System.Object):int
        call     [rax]System.Threading.ObjectHeader:TryAcquireThinLockSpin(System.Object):int
 						;; size=15 bbWeight=0.50 PerfScore 1.75
 G_M50870_IG06:
        test     eax, eax
        je       SHORT G_M50870_IG10
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M50870_IG07:
        mov      rdi, r15
        call     System.Threading.Monitor:GetLockHandleIfExists(System.Object):nint
        test     rax, rax
        jne      SHORT G_M50870_IG08
        mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Threading.Monitor:<GetLockObject>g__GetLockObjectFallback|0_0(System.Object):System.Threading.Lock
        call     [rax]System.Threading.Monitor:<GetLockObject>g__GetLockObjectFallback|0_0(System.Object):System.Threading.Lock
        jmp      SHORT G_M50870_IG09
 						;; size=30 bbWeight=0.50 PerfScore 4.00
 G_M50870_IG08:
        mov      rax, gword ptr [rax]
 						;; size=3 bbWeight=0.50 PerfScore 1.00
 G_M50870_IG09:
        mov      rdi, rax
        mov      rax, 0xD1FFAB1E      ; code for System.Threading.Lock:Enter():this
        cmp      dword ptr [rdi], edi
        call     [rax]System.Threading.Lock:Enter():this
 						;; size=17 bbWeight=0.50 PerfScore 2.75
 G_M50870_IG10:
        mov      dword ptr [rbp-0x1C], 1
        lea      rdx, [rbp-0x30]
        mov      rdi, r15
        mov      esi, ebx
        mov      rax, 0xD1FFAB1E      ; code for System.Reflection.Metadata.Ecma335.VirtualHeap:TryGetMemoryBlock(uint,byref):bool:this
        call     [rax]System.Reflection.Metadata.Ecma335.VirtualHeap:TryGetMemoryBlock(uint,byref):bool:this
        test     eax, eax
        jne      SHORT G_M50870_IG13
 						;; size=32 bbWeight=1 PerfScore 6.50
 G_M50870_IG11:
        movzx    rdi, bl
        mov      rax, 0xD1FFAB1E      ; data for System.Reflection.Metadata.Ecma335.BlobHeap:s_virtualValues
        mov      rax, gword ptr [rax]
        cmp      edi, dword ptr [rax+0x08]
-       jae      G_M50870_IG15
+       jae      G_M50870_IG17
        mov      ecx, edi
        mov      rdx, gword ptr [rax+8*rcx+0x10]
        add      edi, -3
        cmp      edi, 1
        ja       SHORT G_M50870_IG12
        cmp      byte  ptr [rdx], dl
        mov      rdi, rdx
        mov      rax, 0xD1FFAB1E      ; code for System.Object:MemberwiseClone():System.Object:this
        call     [rax]System.Object:MemberwiseClone():System.Object:this
        mov      rdx, rax
-       cmp      dword ptr [rdx+0x08], 2
-       jbe      SHORT G_M50870_IG15
-       lea      rdi, bword ptr [rdx+0x12]
-       mov      bword ptr [rbp-0x38], rdi
-       mov      rdi, bword ptr [rbp-0x38]
-       mov      esi, ebx
-       shr      esi, 8
-       movzx    rsi, si
-       mov      dword ptr [rdi], esi
-       xor      edi, edi
-       mov      bword ptr [rbp-0x38], rdi
-						;; size=95 bbWeight=0.50 PerfScore 11.88
+       test     rdx, rdx
+       je       SHORT G_M50870_IG15
+       mov      edi, dword ptr [rdx+0x08]
+       cmp      edi, 2
+       jl       SHORT G_M50870_IG15
+       lea      rsi, bword ptr [rdx+0x12]
+       add      edi, -2
+       mov      eax, ebx
+       shr      eax, 8
+       movzx    rax, ax
+       cmp      edi, 4
+       jl       SHORT G_M50870_IG16
+       mov      dword ptr [rsi], eax
+						;; size=96 bbWeight=0.50 PerfScore 11.75
 G_M50870_IG12:
        mov      rdi, r15
        mov      esi, ebx
        mov      rax, 0xD1FFAB1E      ; code for System.Reflection.Metadata.Ecma335.VirtualHeap:AddBlob(uint,byte[]):System.Reflection.Internal.MemoryBlock:this
        call     [rax]System.Reflection.Metadata.Ecma335.VirtualHeap:AddBlob(uint,byte[]):System.Reflection.Internal.MemoryBlock:this
        mov      qword ptr [rbp-0x30], rax
        mov      qword ptr [rbp-0x28], rdx
 						;; size=25 bbWeight=0.50 PerfScore 2.88
 G_M50870_IG13:
        mov      rbx, qword ptr [rbp-0x30]
        mov      r14d, dword ptr [rbp-0x28]
-       jmp      SHORT G_M50870_IG16
+       jmp      SHORT G_M50870_IG18
 						;; size=10 bbWeight=1 PerfScore 4.00
 G_M50870_IG14:
        mov      rdi, 0xD1FFAB1E      ; 'obj'
        mov      rax, 0xD1FFAB1E      ; code for System.ArgumentNullException:Throw(System.String)
        call     [rax]System.ArgumentNullException:Throw(System.String)
        int3     
 						;; size=23 bbWeight=0 PerfScore 0.00
 G_M50870_IG15:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M50870_IG16:
+       mov      edi, 40
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
+G_M50870_IG17:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
-G_M50870_IG16:
+G_M50870_IG18:
        mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Threading.Monitor:Exit(System.Object)
        call     [rax]System.Threading.Monitor:Exit(System.Object)
        mov      rax, rbx
        mov      rdx, r14
 						;; size=21 bbWeight=1 PerfScore 4.00
-G_M50870_IG17:
+G_M50870_IG19:
        add      rsp, 40
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=1 PerfScore 3.25
-G_M50870_IG18:
+G_M50870_IG20:
        push     rax
 						;; size=1 bbWeight=0 PerfScore 0.00
-G_M50870_IG19:
+G_M50870_IG21:
        cmp      dword ptr [rbp-0x1C], 0
-       je       SHORT G_M50870_IG20
-       mov      rdi, gword ptr [rbp-0x40]
+       je       SHORT G_M50870_IG22
+       mov      rdi, gword ptr [rbp-0x38]
        mov      rax, 0xD1FFAB1E      ; code for System.Threading.Monitor:Exit(System.Object)
        call     [rax]System.Threading.Monitor:Exit(System.Object)
 						;; size=22 bbWeight=0 PerfScore 0.00
-G_M50870_IG20:
+G_M50870_IG22:
        nop      
 						;; size=1 bbWeight=0 PerfScore 0.00
-G_M50870_IG21:
+G_M50870_IG23:
        add      rsp, 8
        ret      
 						;; size=5 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 395, prolog size 23, PerfScore 62.00, instruction count 110, allocated bytes for code 395 (MethodHash=7f713949) for method System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualHandleMemoryBlock(System.Reflection.Metadata.BlobHandle):System.Reflection.Internal.MemoryBlock:this (FullOpts)
+; Total bytes of code 421, prolog size 17, PerfScore 60.62, instruction count 117, allocated bytes for code 421 (MethodHash=7f713949) for method System.Reflection.Metadata.Ecma335.BlobHeap:GetVirtualHandleMemoryBlock(System.Reflection.Metadata.BlobHandle):System.Reflection.Internal.MemoryBlock:this (FullOpts)
 ; ============================================================

10 (2.22 % of base) - System.Reflection.Metadata.MetadataReader:GetBlobBytes(System.Reflection.Metadata.BlobHandle):byte[]:this

 ; Assembly listing for method System.Reflection.Metadata.MetadataReader:GetBlobBytes(System.Reflection.Metadata.BlobHandle):byte[]: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; 12 single block inlinees; 8 inlinees without PGO data
+; 0 inlinees with PGO data; 14 single block inlinees; 11 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  4,  4   )     ref  ->  rdi         this class-hnd single-def <System.Reflection.Metadata.MetadataReader>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct ( 8) zero-ref    single-def <System.Reflection.Metadata.BlobHandle>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T08] (  4,  2.50)     ref  ->  registers   class-hnd "Inline return value spill temp" <byte[]>
 ;* V04 tmp2         [V04    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Reflection.Metadata.BlobHandle>
 ;* V05 tmp3         [V05    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;  V06 tmp4         [V06,T02] (  3,  4   )   byref  ->  r15         single-def "Inlining Arg"
+;  V06 tmp4         [V06,T03] (  3,  4   )   byref  ->  r15         single-def "Inlining Arg"
 ;  V07 tmp5         [V07    ] (  2,  1   )     int  ->  [rbp-0x20]  do-not-enreg[X] addr-exposed ld-addr-op "Inline ldloca(s) first use temp"
 ;  V08 tmp6         [V08,T04] (  7,  3.50)     int  ->  r14         "Inline stloc first use temp"
 ;* V09 tmp7         [V09    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inline return value spill temp" <byte[]>
 ;* V10 tmp8         [V10    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Reflection.Metadata.BlobHandle>
 ;  V11 tmp9         [V11,T10] (  4,  2   )   ubyte  ->  r15         "Inline stloc first use temp"
-;  V12 tmp10        [V12,T03] (  7,  3.50)     ref  ->  rdi         class-hnd "Inline stloc first use temp" <byte[]>
-;  V13 tmp11        [V13    ] (  3,  1.50)   byref  ->  [rbp-0x28]  do-not-enreg[] must-init pinned "Inline stloc first use temp"
-;  V14 tmp12        [V14,T05] (  3,  3   )   byref  ->  r15         single-def "Inlining Arg"
-;  V15 tmp13        [V15,T07] (  3,  3   )     int  ->  rbx         "Inlining Arg"
-;* V16 tmp14        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
-;* V17 tmp15        [V17    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
-;  V18 tmp16        [V18,T11] (  2,  2   )    long  ->  rbx         "Inlining Arg"
-;  V19 tmp17        [V19,T13] (  3,  1.50)     ref  ->  r15         class-hnd "Inline return value spill temp" <byte[]>
-;* V20 tmp18        [V20    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
-;  V21 tmp19        [V21,T09] (  3,  1.50)     ref  ->  r15         class-hnd exact single-def "Inline stloc first use temp" <byte[]>
-;* V22 tmp20        [V22    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V23 tmp21        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V24 tmp22        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V25 tmp23        [V25    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V26 tmp24        [V26    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
-;* V27 tmp25        [V27    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;  V28 tmp26        [V28,T00] (  6,  4   )     int  ->  rbx         single-def "field V01._value (fldOffset=0x0)" P-INDEP
-;* V29 tmp27        [V29    ] (  0,  0   )     int  ->  zero-ref    "field V04._value (fldOffset=0x0)" P-INDEP
-;* V30 tmp28        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V10._value (fldOffset=0x0)" P-INDEP
-;  V31 tmp29        [V31,T14] (  2,  1   )   byref  ->  rbx         single-def "field V16._reference (fldOffset=0x0)" P-INDEP
-;* V32 tmp30        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
-;* V33 tmp31        [V33    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V17._reference (fldOffset=0x0)" P-INDEP
-;* V34 tmp32        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V17._length (fldOffset=0x8)" P-INDEP
-;* V35 tmp33        [V35    ] (  0,  0   )   byref  ->  zero-ref    "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V36 tmp34        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;  V37 tmp35        [V37,T15] (  2,  1   )   byref  ->  rdi         single-def "field V23._reference (fldOffset=0x0)" P-INDEP
-;* V38 tmp36        [V38,T16] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
-;* V39 tmp37        [V39    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V24._reference (fldOffset=0x0)" P-INDEP
-;* V40 tmp38        [V40    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
-;  V41 tmp39        [V41,T06] (  3,  3   )     ref  ->  rdi         single-def "arr expr"
-;  V42 tmp40        [V42,T12] (  2,  2   )    long  ->  rax         "Cast away GC"
+;  V12 tmp10        [V12,T02] (  8,  4   )     ref  ->  rdi         class-hnd "Inline stloc first use temp" <byte[]>
+;* V13 tmp11        [V13    ] (  0,  0   )  struct (16) zero-ref    "impAppendStmt" <System.Span`1[byte]>
+;* V14 tmp12        [V14    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V15 tmp13        [V15    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V16 tmp14        [V16,T11] (  2,  2   )   byref  ->  rcx         single-def "Inlining Arg"
+;  V17 tmp15        [V17,T12] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;  V18 tmp16        [V18,T13] (  2,  2   )     int  ->  rdx         ld-addr-op "Inlining Arg"
+;* V19 tmp17        [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V20 tmp18        [V20    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;  V21 tmp19        [V21,T05] (  3,  3   )   byref  ->  r15         single-def "Inlining Arg"
+;  V22 tmp20        [V22,T07] (  3,  3   )     int  ->  rbx         "Inlining Arg"
+;* V23 tmp21        [V23    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;* V24 tmp22        [V24    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline stloc first use temp" <System.ReadOnlySpan`1[byte]>
+;  V25 tmp23        [V25,T14] (  2,  2   )    long  ->  rbx         "Inlining Arg"
+;  V26 tmp24        [V26,T15] (  3,  1.50)     ref  ->  r15         class-hnd "Inline return value spill temp" <byte[]>
+;* V27 tmp25        [V27    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "NewArr temp" <byte[]>
+;  V28 tmp26        [V28,T09] (  3,  1.50)     ref  ->  r15         class-hnd exact single-def "Inline stloc first use temp" <byte[]>
+;* V29 tmp27        [V29    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V30 tmp28        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V31 tmp29        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V32 tmp30        [V32    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V33 tmp31        [V33    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
+;* V34 tmp32        [V34    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
+;  V35 tmp33        [V35,T00] (  6,  4   )     int  ->  rbx         single-def "field V01._value (fldOffset=0x0)" P-INDEP
+;* V36 tmp34        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V04._value (fldOffset=0x0)" P-INDEP
+;* V37 tmp35        [V37    ] (  0,  0   )     int  ->  zero-ref    "field V10._value (fldOffset=0x0)" P-INDEP
+;* V38 tmp36        [V38    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V13._reference (fldOffset=0x0)" P-INDEP
+;* V39 tmp37        [V39    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
+;* V40 tmp38        [V40    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
+;* V41 tmp39        [V41    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
+;* V42 tmp40        [V42    ] (  0,  0   )   byref  ->  zero-ref    "field V15._reference (fldOffset=0x0)" P-INDEP
+;* V43 tmp41        [V43    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
+;* V44 tmp42        [V44    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V45 tmp43        [V45    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;* V46 tmp44        [V46    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V47 tmp45        [V47    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;  V48 tmp46        [V48,T17] (  2,  1   )   byref  ->  rbx         single-def "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V49 tmp47        [V49    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;* V50 tmp48        [V50    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V51 tmp49        [V51    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;* V52 tmp50        [V52    ] (  0,  0   )   byref  ->  zero-ref    "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V53 tmp51        [V53    ] (  0,  0   )     int  ->  zero-ref    "field V29._length (fldOffset=0x8)" P-INDEP
+;  V54 tmp52        [V54,T18] (  2,  1   )   byref  ->  rdi         single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V55 tmp53        [V55,T19] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V56 tmp54        [V56    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V57 tmp55        [V57    ] (  0,  0   )     int  ->  zero-ref    "field V31._length (fldOffset=0x8)" P-INDEP
+;  V58 tmp56        [V58,T06] (  3,  3   )     ref  ->  rdi         single-def "arr expr"
+;  V59 cse0         [V59,T16] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
-; Lcl frame size = 24
+; Lcl frame size = 8
 
 G_M35174_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
-       sub      rsp, 24
-       lea      rbp, [rsp+0x30]
-       xor      eax, eax
-       mov      qword ptr [rbp-0x28], rax
+       push     rax
+       lea      rbp, [rsp+0x20]
        mov      ebx, esi
-						;; size=23 bbWeight=1 PerfScore 6.25
+						;; size=14 bbWeight=1 PerfScore 5.75
 G_M35174_IG02:
        cmp      byte  ptr [rdi], dil
        lea      r15, bword ptr [rdi+0x88]
        test     ebx, 0xD1FFAB1E
        jne      G_M35174_IG09
 						;; size=22 bbWeight=1 PerfScore 3.75
 G_M35174_IG03:
        lea      rdi, bword ptr [r15+0x08]
        lea      rdx, [rbp-0x20]
        mov      esi, ebx
        mov      rax, 0xD1FFAB1E      ; code for System.Reflection.Internal.MemoryBlock:PeekCompressedInteger(int,byref):int:this
        call     [rax]System.Reflection.Internal.MemoryBlock:PeekCompressedInteger(int,byref):int:this
        mov      r14d, eax
        cmp      r14d, 0xD1FFAB1E
        je       G_M35174_IG07
        add      r15, 8
        add      ebx, dword ptr [rbp-0x20]
        mov      esi, ebx
        mov      edi, r14d
        add      rsi, rdi
        movsxd   rdi, dword ptr [r15+0x08]
        cmp      rsi, rdi
-       ja       G_M35174_IG13
+       ja       G_M35174_IG15
        movsxd   rbx, ebx
        add      rbx, qword ptr [r15]
        test     r14d, r14d
-       jl       G_M35174_IG14
+       jl       G_M35174_IG12
        test     r14d, r14d
        je       SHORT G_M35174_IG04
        mov      esi, r14d
        mov      rdi, 0xD1FFAB1E      ; byte[]
        call     CORINFO_HELP_NEWARR_1_VC
        mov      r15, rax
        lea      rdi, bword ptr [r15+0x10]
        mov      edx, r14d
        mov      rsi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
        jmp      SHORT G_M35174_IG06
 						;; size=131 bbWeight=0.50 PerfScore 12.00
 G_M35174_IG04:
        mov      rdi, 0xD1FFAB1E      ; global ptr
        test     byte  ptr [rdi], 1
-       je       G_M35174_IG15
+       je       G_M35174_IG16
 						;; size=19 bbWeight=0.50 PerfScore 1.62
 G_M35174_IG05:
        mov      rax, 0xD1FFAB1E      ; data for System.Array+EmptyArray`1[byte]:Value
        mov      r15, gword ptr [rax]
 						;; size=13 bbWeight=0.50 PerfScore 1.12
 G_M35174_IG06:
        mov      rdi, r15
        jmp      G_M35174_IG10
 						;; size=8 bbWeight=0.50 PerfScore 1.12
 G_M35174_IG07:
        mov      rdi, 0xD1FFAB1E      ; global ptr
        test     byte  ptr [rdi], 1
-       je       G_M35174_IG12
+       je       G_M35174_IG14
 						;; size=19 bbWeight=0.50 PerfScore 1.62
 G_M35174_IG08:
        mov      rdi, 0xD1FFAB1E      ; data for System.Array+EmptyArray`1[byte]:Value
        mov      r15, gword ptr [rdi]
        mov      rdi, r15
        jmp      SHORT G_M35174_IG10
 						;; size=18 bbWeight=0.50 PerfScore 2.25
 G_M35174_IG09:
        movzx    r15, bl
        mov      rdi, 0xD1FFAB1E      ; data for System.Reflection.Metadata.Ecma335.BlobHeap:s_virtualValues
        mov      rdi, gword ptr [rdi]
        cmp      r15d, dword ptr [rdi+0x08]
-       jae      G_M35174_IG16
+       jae      G_M35174_IG17
        mov      eax, r15d
        mov      rdi, gword ptr [rdi+8*rax+0x10]
        cmp      byte  ptr [rdi], dil
        mov      rax, 0xD1FFAB1E      ; code for System.Object:MemberwiseClone():System.Object:this
        call     [rax]System.Object:MemberwiseClone():System.Object:this
        mov      rdi, rax
        add      r15d, -3
        cmp      r15d, 1
        ja       SHORT G_M35174_IG10
-       cmp      dword ptr [rdi+0x08], 2
-       jbe      SHORT G_M35174_IG16
-       lea      rax, bword ptr [rdi+0x12]
-       mov      bword ptr [rbp-0x28], rax
-       mov      rax, bword ptr [rbp-0x28]
-       mov      ecx, ebx
-       shr      ecx, 8
-       movzx    rcx, cx
-       mov      dword ptr [rax], ecx
-       xor      eax, eax
-       mov      bword ptr [rbp-0x28], rax
-						;; size=97 bbWeight=0.50 PerfScore 11.75
+       test     rdi, rdi
+       je       SHORT G_M35174_IG12
+       mov      eax, dword ptr [rdi+0x08]
+       cmp      eax, 2
+       jl       SHORT G_M35174_IG12
+       lea      rcx, bword ptr [rdi+0x12]
+       add      eax, -2
+       mov      edx, ebx
+       shr      edx, 8
+       movzx    rdx, dx
+       cmp      eax, 4
+       jl       SHORT G_M35174_IG13
+       mov      dword ptr [rcx], edx
+						;; size=98 bbWeight=0.50 PerfScore 11.62
 G_M35174_IG10:
        mov      rax, rdi
 						;; size=3 bbWeight=1 PerfScore 0.25
 G_M35174_IG11:
-       add      rsp, 24
+       add      rsp, 8
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=1 PerfScore 3.25
 G_M35174_IG12:
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M35174_IG13:
+       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_M35174_IG14:
        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_M35174_IG08
 						;; size=27 bbWeight=0 PerfScore 0.00
-G_M35174_IG13:
+G_M35174_IG15:
        mov      rax, 0xD1FFAB1E      ; code for System.Reflection.Throw:OutOfBounds()
        call     [rax]System.Reflection.Throw:OutOfBounds()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M35174_IG14:
-       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
-       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
-       int3     
-						;; size=13 bbWeight=0 PerfScore 0.00
-G_M35174_IG15:
+G_M35174_IG16:
        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_M35174_IG05
 						;; size=27 bbWeight=0 PerfScore 0.00
-G_M35174_IG16:
+G_M35174_IG17:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 450, prolog size 21, PerfScore 45.00, instruction count 107, allocated bytes for code 450 (MethodHash=4ec07699) for method System.Reflection.Metadata.MetadataReader:GetBlobBytes(System.Reflection.Metadata.BlobHandle):byte[]:this (FullOpts)
+; Total bytes of code 460, prolog size 12, PerfScore 44.38, instruction count 111, allocated bytes for code 460 (MethodHash=4ec07699) for method System.Reflection.Metadata.MetadataReader:GetBlobBytes(System.Reflection.Metadata.BlobHandle):byte[]:this (FullOpts)
 ; ============================================================

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

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

[MihuBot]

Top method improvements

-98 (-15.76 % of base) - System.Reflection.PortableExecutable.PEBuilder:Sign(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob,System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]):this

 ; Assembly listing for method System.Reflection.PortableExecutable.PEBuilder:Sign(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob,System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]):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; 29 single block inlinees; 10 inlinees without PGO data
+; 0 inlinees with PGO data; 23 single block inlinees; 10 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T02] ( 11, 11   )     ref  ->  rbx         this class-hnd single-def <System.Reflection.PortableExecutable.PEBuilder>
-;  V01 arg1         [V01,T03] (  6,  6   )     ref  ->  r15         class-hnd single-def <System.Reflection.Metadata.BlobBuilder>
+;  V00 this         [V00,T01] ( 10, 10   )     ref  ->  rbx         this class-hnd single-def <System.Reflection.PortableExecutable.PEBuilder>
+;  V01 arg1         [V01,T03] (  4,  4   )     ref  ->  r15         class-hnd single-def <System.Reflection.Metadata.BlobBuilder>
 ;* V02 arg2         [V02    ] (  0,  0   )  struct (16) zero-ref    do-not-enreg[SFA] multireg-arg ld-addr-op single-def <System.Reflection.Metadata.Blob>
-;  V03 arg3         [V03,T05] (  4,  4   )     ref  ->  r14         class-hnd single-def <System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]>
-;  V04 loc0         [V04,T26] (  2,  2   )     int  ->  [rbp-0x2C]  spill-single-def
-;  V05 loc1         [V05,T08] (  4,  4   )     ref  ->  rax         class-hnd single-def <byte[]>
+;  V03 arg3         [V03,T04] (  4,  4   )     ref  ->  r14         class-hnd single-def <System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]>
+;  V04 loc0         [V04,T24] (  2,  2   )     int  ->  [rbp-0x2C]  spill-single-def
+;  V05 loc1         [V05,T07] (  4,  4   )     ref  ->  rax         class-hnd single-def <byte[]>
 ;* V06 loc2         [V06    ] (  0,  0   )  struct (24) zero-ref    ld-addr-op <System.Reflection.Metadata.BlobWriter>
-;  V07 loc3         [V07,T27] (  2,  2   )     int  ->  rdi        
+;  V07 loc3         [V07,T25] (  2,  2   )     int  ->  rax        
 ;* V08 loc4         [V08    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op single-def <System.Collections.Immutable.ImmutableArray`1[System.Reflection.PortableExecutable.PEBuilder+Section]>
 ;* V09 loc5         [V09    ] (  0,  0   )  struct (24) zero-ref    ld-addr-op <System.Reflection.Metadata.BlobWriter>
 ;# V10 OutArgs      [V10    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;  V11 tmp1         [V11,T12] (  2,  4   )     ref  ->  [rbp-0x40]  class-hnd exact spill-single-def "impAppendStmt" <System.Reflection.PortableExecutable.PEHeaderBuilder>
-;  V12 tmp2         [V12,T35] (  3,  0   )     ref  ->  rbx         class-hnd exact single-def "NewObj constructor temp" <System.InvalidOperationException>
+;  V11 tmp1         [V11,T11] (  2,  4   )     ref  ->  [rbp-0x40]  class-hnd exact spill-single-def "impAppendStmt" <System.Reflection.PortableExecutable.PEHeaderBuilder>
+;  V12 tmp2         [V12,T31] (  3,  0   )     ref  ->  rbx         class-hnd exact single-def "NewObj constructor temp" <System.InvalidOperationException>
 ;* V13 tmp3         [V13    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
 ;* V14 tmp4         [V14    ] (  0,  0   )  struct (24) zero-ref    ld-addr-op "NewObj constructor temp" <System.Reflection.Metadata.BlobWriter>
 ;* V15 tmp5         [V15    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.Reflection.PortableExecutable.PEHeaderBuilder>
 ;  V16 tmp6         [V16,T00] ( 10, 20   )     ref  ->  [rbp-0x48]  class-hnd exact spill-single-def "NewObj constructor temp" <System.Reflection.PortableExecutable.PEBuilder+<GetContentToSign>d__29>
-;  V17 tmp7         [V17,T13] (  2,  4   )     int  ->  [rbp-0x30]  spill-single-def "Inlining Arg"
+;  V17 tmp7         [V17,T12] (  2,  4   )     int  ->  [rbp-0x30]  spill-single-def "Inlining Arg"
 ;* V18 tmp8         [V18    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Reflection.Metadata.Blob>
 ;* V19 tmp9         [V19    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Reflection.Metadata.Blob>
 ;* V20 tmp10        [V20    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "impAppendStmt" <byte[]>
 ;* V21 tmp11        [V21    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
 ;* V22 tmp12        [V22    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V23 tmp13        [V23    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
 ;* V24 tmp14        [V24    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
 ;* V25 tmp15        [V25    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V26 tmp16        [V26    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V27 tmp17        [V27    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
 ;* V28 tmp18        [V28    ] (  0,  0   )   byref  ->  zero-ref    single-def "Inlining Arg"
 ;* V29 tmp19        [V29    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V30 tmp20        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
 ;* V31 tmp21        [V31    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V32 tmp22        [V32    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
 ;* V33 tmp23        [V33    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
 ;* V34 tmp24        [V34    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V35 tmp25        [V35    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[byte]>
 ;* V36 tmp26        [V36    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <byte[]>
 ;* V37 tmp27        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
 ;* V38 tmp28        [V38    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V39 tmp29        [V39,T21] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
-;  V40 tmp30        [V40,T28] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;  V39 tmp29        [V39,T20] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
+;  V40 tmp30        [V40,T26] (  2,  2   )     int  ->  rax         "Inlining Arg"
 ;* V41 tmp31        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
 ;* V42 tmp32        [V42    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V43 tmp33        [V43    ] (  0,  0   )   byref  ->  zero-ref    "Inlining Arg"
 ;* V44 tmp34        [V44    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
-;* V45 tmp35        [V45    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.Reflection.Metadata.Blob>
-;* V46 tmp36        [V46    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V47 tmp37        [V47,T01] (  8, 16   )     ref  ->  [rbp-0x50]  class-hnd exact spill-single-def "NewObj constructor temp" <System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32>
-;* V48 tmp38        [V48    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;* V49 tmp39        [V49    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Reflection.Metadata.Blob>
-;* V50 tmp40        [V50    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "impAppendStmt" <byte[]>
-;* V51 tmp41        [V51    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;* V52 tmp42        [V52    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
-;* V53 tmp43        [V53    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V54 tmp44        [V54    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
-;* V55 tmp45        [V55    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <byte[]>
-;* V56 tmp46        [V56    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
-;* V57 tmp47        [V57    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[byte]>
-;* V58 tmp48        [V58    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
-;* V59 tmp49        [V59    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
-;  V60 tmp50        [V60,T22] (  2,  2   )   byref  ->  rdx         single-def "Inlining Arg"
-;  V61 tmp51        [V61,T29] (  2,  2   )     int  ->  rax         "Inlining Arg"
-;* V62 tmp52        [V62    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
-;* V63 tmp53        [V63    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V64 tmp54        [V64    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
-;* V65 tmp55        [V65    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V06._buffer (fldOffset=0x0)" P-INDEP
-;* V66 tmp56        [V66    ] (  0,  0   )     int  ->  zero-ref    "field V06._start (fldOffset=0x8)" P-INDEP
-;  V67 tmp57        [V67,T30] (  2,  2   )     int  ->  r14         "field V06._end (fldOffset=0xc)" P-INDEP
-;* V68 tmp58        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V06._position (fldOffset=0x10)" P-INDEP
-;  V69 tmp59        [V69,T23] (  2,  2   )     ref  ->  rax         "field V08.array (fldOffset=0x0)" P-INDEP
-;* V70 tmp60        [V70    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V09._buffer (fldOffset=0x0)" P-INDEP
-;* V71 tmp61        [V71    ] (  0,  0   )     int  ->  zero-ref    "field V09._start (fldOffset=0x8)" P-INDEP
-;* V72 tmp62        [V72    ] (  0,  0   )     int  ->  zero-ref    "field V09._end (fldOffset=0xc)" P-INDEP
-;* V73 tmp63        [V73    ] (  0,  0   )     int  ->  zero-ref    "field V09._position (fldOffset=0x10)" P-INDEP
-;* V74 tmp64        [V74    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V14._buffer (fldOffset=0x0)" P-INDEP
-;* V75 tmp65        [V75    ] (  0,  0   )     int  ->  zero-ref    "field V14._start (fldOffset=0x8)" P-INDEP
-;  V76 tmp66        [V76,T31] (  2,  2   )     int  ->  rdx         "field V14._end (fldOffset=0xc)" P-INDEP
-;* V77 tmp67        [V77    ] (  0,  0   )     int  ->  zero-ref    "field V14._position (fldOffset=0x10)" P-INDEP
-;* V78 tmp68        [V78    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V18.Buffer (fldOffset=0x0)" P-INDEP
-;* V79 tmp69        [V79    ] (  0,  0   )     int  ->  zero-ref    "field V18.Start (fldOffset=0x8)" P-INDEP
-;* V80 tmp70        [V80    ] (  0,  0   )     int  ->  zero-ref    "field V18.<Length>k__BackingField (fldOffset=0xc)" P-INDEP
-;* V81 tmp71        [V81    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V19.Buffer (fldOffset=0x0)" P-INDEP
-;* V82 tmp72        [V82    ] (  0,  0   )     int  ->  zero-ref    "field V19.Start (fldOffset=0x8)" P-INDEP
-;* V83 tmp73        [V83    ] (  0,  0   )     int  ->  zero-ref    "field V19.<Length>k__BackingField (fldOffset=0xc)" P-INDEP
-;* V84 tmp74        [V84    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
-;* V85 tmp75        [V85    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
-;* V86 tmp76        [V86    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
-;* V87 tmp77        [V87    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
-;  V88 tmp78        [V88,T24] (  2,  2   )   byref  ->  rsi         single-def "field V25._reference (fldOffset=0x0)" P-INDEP
-;  V89 tmp79        [V89,T09] (  4,  4   )     int  ->  rcx         "field V25._length (fldOffset=0x8)" P-INDEP
-;* V90 tmp80        [V90    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
-;* V91 tmp81        [V91    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
-;* V92 tmp82        [V92    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
-;* V93 tmp83        [V93    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
-;* V94 tmp84        [V94    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
-;* V95 tmp85        [V95    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
-;* V96 tmp86        [V96    ] (  0,  0   )   byref  ->  zero-ref    "field V32._reference (fldOffset=0x0)" P-INDEP
-;* V97 tmp87        [V97    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
-;  V98 tmp88        [V98,T17] (  3,  2   )   byref  ->  rdi         "field V35._reference (fldOffset=0x0)" P-INDEP
-;  V99 tmp89        [V99,T19] (  3,  2   )     int  ->  rax         "field V35._length (fldOffset=0x8)" P-INDEP
-;* V100 tmp90       [V100    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
-;* V101 tmp91       [V101    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
-;* V102 tmp92       [V102    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V38._reference (fldOffset=0x0)" P-INDEP
-;* V103 tmp93       [V103    ] (  0,  0   )     int  ->  zero-ref    "field V38._length (fldOffset=0x8)" P-INDEP
-;* V104 tmp94       [V104    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
-;* V105 tmp95       [V105    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
-;  V106 tmp96       [V106,T25] (  2,  2   )     ref  ->  r14         single-def "field V45.Buffer (fldOffset=0x0)" P-INDEP
-;  V107 tmp97       [V107,T32] (  2,  2   )     int  ->  r13         "field V45.Start (fldOffset=0x8)" P-INDEP
-;  V108 tmp98       [V108,T33] (  2,  2   )     int  ->  r12         "field V45.<Length>k__BackingField (fldOffset=0xc)" P-INDEP
-;  V109 tmp99       [V109,T14] (  5,  3.50)     ref  ->  rax         single-def "field V49.Buffer (fldOffset=0x0)" P-INDEP
-;  V110 tmp100      [V110,T06] (  7,  5   )     int  ->  rcx         "field V49.Start (fldOffset=0x8)" P-INDEP
-;  V111 tmp101      [V111,T34] (  2,  2   )     int  ->  rdx         "field V49.<Length>k__BackingField (fldOffset=0xc)" P-INDEP
-;* V112 tmp102      [V112    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V56._reference (fldOffset=0x0)" P-INDEP
-;* V113 tmp103      [V113    ] (  0,  0   )     int  ->  zero-ref    "field V56._length (fldOffset=0x8)" P-INDEP
-;  V114 tmp104      [V114,T18] (  3,  2   )   byref  ->  rdx         "field V57._reference (fldOffset=0x0)" P-INDEP
-;  V115 tmp105      [V115,T20] (  3,  2   )     int  ->  rax         "field V57._length (fldOffset=0x8)" P-INDEP
-;* V116 tmp106      [V116    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V58._reference (fldOffset=0x0)" P-INDEP
-;* V117 tmp107      [V117    ] (  0,  0   )     int  ->  zero-ref    "field V58._length (fldOffset=0x8)" P-INDEP
-;* V118 tmp108      [V118    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V59._reference (fldOffset=0x0)" P-INDEP
-;* V119 tmp109      [V119    ] (  0,  0   )     int  ->  zero-ref    "field V59._length (fldOffset=0x8)" P-INDEP
-;* V120 tmp110      [V120    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V63._reference (fldOffset=0x0)" P-INDEP
-;* V121 tmp111      [V121    ] (  0,  0   )     int  ->  zero-ref    "field V63._length (fldOffset=0x8)" P-INDEP
-;* V122 tmp112      [V122    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V64._reference (fldOffset=0x0)" P-INDEP
-;* V123 tmp113      [V123    ] (  0,  0   )     int  ->  zero-ref    "field V64._length (fldOffset=0x8)" P-INDEP
-;  V124 tmp114      [V124,T07] (  6,  4.50)     ref  ->  r13         single-def "V02.[000..008)"
-;  V125 tmp115      [V125,T04] (  8,  6   )     int  ->  r12         "V02.[008..012)"
-;  V126 tmp116      [V126,T10] (  4,  4   )     int  ->  [rbp-0x34]  spill-single-def "V02.[012..016)"
-;  V127 tmp117      [V127,T36] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
-;  V128 cse0        [V128,T16] (  3,  3   )     int  ->  rcx         "CSE #01: moderate"
-;  V129 rat0        [V129,T15] (  3,  3   )     ref  ->  rdx         "V02.rdx"
-;  V130 rat1        [V130,T11] (  4,  4   )    long  ->  rcx         "V02.rcx"
+;* V45 tmp35        [V45    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Reflection.Metadata.Blob>
+;* V46 tmp36        [V46    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "impAppendStmt" <byte[]>
+;* V47 tmp37        [V47    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
+;* V48 tmp38        [V48    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V49 tmp39        [V49    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V50 tmp40        [V50    ] (  0,  0   )     int  ->  zero-ref    "Inline stloc first use temp"
+;* V51 tmp41        [V51    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <byte[]>
+;* V52 tmp42        [V52    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.Span`1[byte]>
+;* V53 tmp43        [V53    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.Span`1[byte]>
+;* V54 tmp44        [V54    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.Span`1[byte]>
+;* V55 tmp45        [V55    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.Span`1[byte]>
+;  V56 tmp46        [V56,T21] (  2,  2   )   byref  ->  rdx         single-def "Inlining Arg"
+;  V57 tmp47        [V57,T27] (  2,  2   )     int  ->  rdi         "Inlining Arg"
+;* V58 tmp48        [V58    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
+;* V59 tmp49        [V59    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V60 tmp50        [V60    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.Span`1[byte]>
+;* V61 tmp51        [V61    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V06._buffer (fldOffset=0x0)" P-INDEP
+;* V62 tmp52        [V62    ] (  0,  0   )     int  ->  zero-ref    "field V06._start (fldOffset=0x8)" P-INDEP
+;  V63 tmp53        [V63,T28] (  2,  2   )     int  ->  r14         "field V06._end (fldOffset=0xc)" P-INDEP
+;* V64 tmp54        [V64    ] (  0,  0   )     int  ->  zero-ref    "field V06._position (fldOffset=0x10)" P-INDEP
+;  V65 tmp55        [V65,T22] (  2,  2   )     ref  ->  rax         "field V08.array (fldOffset=0x0)" P-INDEP
+;* V66 tmp56        [V66    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V09._buffer (fldOffset=0x0)" P-INDEP
+;* V67 tmp57        [V67    ] (  0,  0   )     int  ->  zero-ref    "field V09._start (fldOffset=0x8)" P-INDEP
+;* V68 tmp58        [V68    ] (  0,  0   )     int  ->  zero-ref    "field V09._end (fldOffset=0xc)" P-INDEP
+;* V69 tmp59        [V69    ] (  0,  0   )     int  ->  zero-ref    "field V09._position (fldOffset=0x10)" P-INDEP
+;* V70 tmp60        [V70    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V14._buffer (fldOffset=0x0)" P-INDEP
+;* V71 tmp61        [V71    ] (  0,  0   )     int  ->  zero-ref    "field V14._start (fldOffset=0x8)" P-INDEP
+;  V72 tmp62        [V72,T29] (  2,  2   )     int  ->  rdx         "field V14._end (fldOffset=0xc)" P-INDEP
+;* V73 tmp63        [V73    ] (  0,  0   )     int  ->  zero-ref    "field V14._position (fldOffset=0x10)" P-INDEP
+;* V74 tmp64        [V74    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V18.Buffer (fldOffset=0x0)" P-INDEP
+;* V75 tmp65        [V75    ] (  0,  0   )     int  ->  zero-ref    "field V18.Start (fldOffset=0x8)" P-INDEP
+;* V76 tmp66        [V76    ] (  0,  0   )     int  ->  zero-ref    "field V18.<Length>k__BackingField (fldOffset=0xc)" P-INDEP
+;* V77 tmp67        [V77    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V19.Buffer (fldOffset=0x0)" P-INDEP
+;* V78 tmp68        [V78    ] (  0,  0   )     int  ->  zero-ref    "field V19.Start (fldOffset=0x8)" P-INDEP
+;* V79 tmp69        [V79    ] (  0,  0   )     int  ->  zero-ref    "field V19.<Length>k__BackingField (fldOffset=0xc)" P-INDEP
+;* V80 tmp70        [V80    ] (  0,  0   )   byref  ->  zero-ref    "field V23._reference (fldOffset=0x0)" P-INDEP
+;* V81 tmp71        [V81    ] (  0,  0   )     int  ->  zero-ref    "field V23._length (fldOffset=0x8)" P-INDEP
+;* V82 tmp72        [V82    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V83 tmp73        [V83    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;  V84 tmp74        [V84,T23] (  2,  2   )   byref  ->  rsi         single-def "field V25._reference (fldOffset=0x0)" P-INDEP
+;  V85 tmp75        [V85,T08] (  4,  4   )     int  ->  rcx         "field V25._length (fldOffset=0x8)" P-INDEP
+;* V86 tmp76        [V86    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V87 tmp77        [V87    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V88 tmp78        [V88    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V27._reference (fldOffset=0x0)" P-INDEP
+;* V89 tmp79        [V89    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
+;* V90 tmp80        [V90    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V91 tmp81        [V91    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V92 tmp82        [V92    ] (  0,  0   )   byref  ->  zero-ref    "field V32._reference (fldOffset=0x0)" P-INDEP
+;* V93 tmp83        [V93    ] (  0,  0   )     int  ->  zero-ref    "field V32._length (fldOffset=0x8)" P-INDEP
+;  V94 tmp84        [V94,T16] (  3,  2   )   byref  ->  rdi         "field V35._reference (fldOffset=0x0)" P-INDEP
+;  V95 tmp85        [V95,T18] (  3,  2   )     int  ->  rax         "field V35._length (fldOffset=0x8)" P-INDEP
+;* V96 tmp86        [V96    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V97 tmp87        [V97    ] (  0,  0   )     int  ->  zero-ref    "field V37._length (fldOffset=0x8)" P-INDEP
+;* V98 tmp88        [V98    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V38._reference (fldOffset=0x0)" P-INDEP
+;* V99 tmp89        [V99    ] (  0,  0   )     int  ->  zero-ref    "field V38._length (fldOffset=0x8)" P-INDEP
+;* V100 tmp90       [V100    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
+;* V101 tmp91       [V101    ] (  0,  0   )     int  ->  zero-ref    "field V41._length (fldOffset=0x8)" P-INDEP
+;  V102 tmp92       [V102,T13] (  5,  3.50)     ref  ->  rdi         single-def "field V45.Buffer (fldOffset=0x0)" P-INDEP
+;  V103 tmp93       [V103,T05] (  7,  5   )     int  ->  rcx         "field V45.Start (fldOffset=0x8)" P-INDEP
+;  V104 tmp94       [V104,T30] (  2,  2   )     int  ->  rdx         "field V45.<Length>k__BackingField (fldOffset=0xc)" P-INDEP
+;* V105 tmp95       [V105    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V52._reference (fldOffset=0x0)" P-INDEP
+;* V106 tmp96       [V106    ] (  0,  0   )     int  ->  zero-ref    "field V52._length (fldOffset=0x8)" P-INDEP
+;  V107 tmp97       [V107,T17] (  3,  2   )   byref  ->  rdx         "field V53._reference (fldOffset=0x0)" P-INDEP
+;  V108 tmp98       [V108,T19] (  3,  2   )     int  ->  rdi         "field V53._length (fldOffset=0x8)" P-INDEP
+;* V109 tmp99       [V109    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V54._reference (fldOffset=0x0)" P-INDEP
+;* V110 tmp100      [V110    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
+;* V111 tmp101      [V111    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V55._reference (fldOffset=0x0)" P-INDEP
+;* V112 tmp102      [V112    ] (  0,  0   )     int  ->  zero-ref    "field V55._length (fldOffset=0x8)" P-INDEP
+;* V113 tmp103      [V113    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V59._reference (fldOffset=0x0)" P-INDEP
+;* V114 tmp104      [V114    ] (  0,  0   )     int  ->  zero-ref    "field V59._length (fldOffset=0x8)" P-INDEP
+;* V115 tmp105      [V115    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V60._reference (fldOffset=0x0)" P-INDEP
+;* V116 tmp106      [V116    ] (  0,  0   )     int  ->  zero-ref    "field V60._length (fldOffset=0x8)" P-INDEP
+;  V117 tmp107      [V117,T06] (  6,  4.50)     ref  ->  r13         single-def "V02.[000..008)"
+;  V118 tmp108      [V118,T02] (  8,  6   )     int  ->  r12         "V02.[008..012)"
+;  V119 tmp109      [V119,T09] (  4,  4   )     int  ->  [rbp-0x34]  spill-single-def "V02.[012..016)"
+;  V120 tmp110      [V120,T32] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
+;  V121 cse0        [V121,T15] (  3,  3   )     int  ->  rcx         "CSE #01: moderate"
+;  V122 rat0        [V122,T14] (  3,  3   )     ref  ->  rdx         "V02.rdx"
+;  V123 rat1        [V123,T10] (  4,  4   )    long  ->  rcx         "V02.rcx"
 ;
 ; Lcl frame size = 40
 
 G_M29944_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 40
        lea      rbp, [rsp+0x50]
        mov      rbx, rdi
        mov      r15, rsi
        mov      r14, r8
 						;; size=28 bbWeight=1 PerfScore 7.50
 G_M29944_IG02:
        mov      r13, rdx
        mov      r12d, ecx
        shr      rcx, 32
        mov      eax, ecx
        mov      dword ptr [rbp-0x34], eax
        mov      rcx, gword ptr [rbx+0x08]
        mov      gword ptr [rbp-0x40], rcx
        mov      rdi, rbx
        mov      rdx, 0xD1FFAB1E      ; code for System.Reflection.PortableExecutable.PEBuilder:GetSections():System.Collections.Immutable.ImmutableArray`1[System.Reflection.PortableExecutable.PEBuilder+Section]:this
        call     [rdx]System.Reflection.PortableExecutable.PEBuilder:GetSections():System.Collections.Immutable.ImmutableArray`1[System.Reflection.PortableExecutable.PEBuilder+Section]:this
        mov      esi, dword ptr [rax+0x08]
        mov      rdi, gword ptr [rbp-0x40]
        mov      rax, 0xD1FFAB1E      ; code for System.Reflection.PortableExecutable.PEHeaderBuilder:ComputeSizeOfPEHeaders(int):int:this
        cmp      dword ptr [rdi], edi
        call     [rax]System.Reflection.PortableExecutable.PEHeaderBuilder:ComputeSizeOfPEHeaders(int):int:this
        mov      dword ptr [rbp-0x2C], eax
        mov      rdi, gword ptr [rbx+0x08]
        mov      ecx, dword ptr [rdi+0x34]
        mov      dword ptr [rbp-0x30], ecx
        mov      rdi, 0xD1FFAB1E      ; System.Reflection.PortableExecutable.PEBuilder+<GetContentToSign>d__29
        call     CORINFO_HELP_NEWSFAST
        mov      gword ptr [rbp-0x48], rax
        mov      dword ptr [rax+0x18], -2
        call     System.Environment:get_CurrentManagedThreadId():int
        mov      rcx, gword ptr [rbp-0x48]
        mov      dword ptr [rcx+0x1C], eax
        lea      rdi, bword ptr [rcx+0x10]
        mov      rsi, r15
        call     CORINFO_HELP_ASSIGN_REF
        mov      rax, gword ptr [rbp-0x48]
        mov      edi, dword ptr [rbp-0x2C]
        mov      dword ptr [rax+0x24], edi
        mov      edi, dword ptr [rbp-0x30]
        mov      dword ptr [rax+0x2C], edi
        lea      rdi, bword ptr [rax+0x68]
        mov      rsi, r13
        call     CORINFO_HELP_ASSIGN_REF
        mov      rdi, gword ptr [rbp-0x48]
        mov      dword ptr [rdi+0x70], r12d
        mov      eax, dword ptr [rbp-0x34]
        mov      dword ptr [rdi+0x74], eax
        mov      rsi, rdi
        mov      rdi, gword ptr [r14+0x10]
        call     [r14+0x18]System.Func`2[System.__Canon,System.__Canon]:Invoke(System.__Canon):System.__Canon:this
        test     rax, rax
        je       G_M29944_IG11
        mov      ecx, dword ptr [rax+0x08]
        mov      r14d, dword ptr [rbp-0x34]
        cmp      ecx, r14d
 						;; size=194 bbWeight=1 PerfScore 51.50
 G_M29944_IG03:
        jg       G_M29944_IG11
        add      r14d, r12d
        lea      rsi, bword ptr [rax+0x10]
        sub      r14d, ecx
        cmp      r14d, r12d
        jl       G_M29944_IG12
        test     r13, r13
        je       SHORT G_M29944_IG05
 						;; size=30 bbWeight=1 PerfScore 4.50
 G_M29944_IG04:
        cmp      dword ptr [r13+0x08], r12d
        jb       G_M29944_IG13
        mov      eax, r12d
        lea      rdi, bword ptr [r13+rax+0x10]
        mov      eax, dword ptr [r13+0x08]
        sub      eax, r12d
        jmp      SHORT G_M29944_IG06
 						;; size=27 bbWeight=0.50 PerfScore 4.75
 G_M29944_IG05:
        test     r12d, r12d
        jne      G_M29944_IG13
        xor      rdi, rdi
        xor      eax, eax
 						;; size=13 bbWeight=0.50 PerfScore 0.88
 G_M29944_IG06:
        cmp      ecx, eax
        jg       G_M29944_IG14
        mov      edx, ecx
        mov      rax, 0xD1FFAB1E      ; code for System.SpanHelpers:Memmove(byref,byref,nuint)
        call     [rax]System.SpanHelpers:Memmove(byref,byref,nuint)
-       mov      r14, gword ptr [rbx+0x28]
-       mov      r13d, dword ptr [rbx+0x30]
-       mov      r12d, dword ptr [rbx+0x34]
-       mov      rdi, 0xD1FFAB1E      ; System.Reflection.PortableExecutable.PEBuilder+<GetContentToChecksum>d__32
-       call     CORINFO_HELP_NEWSFAST
-       mov      gword ptr [rbp-0x50], rax
-       mov      dword ptr [rax+0x18], -2
-       call     System.Environment:get_CurrentManagedThreadId():int
-       mov      rcx, gword ptr [rbp-0x50]
-       mov      dword ptr [rcx+0x1C], eax
-       lea      rdi, bword ptr [rcx+0x10]
-       mov      rsi, r15
-       call     CORINFO_HELP_ASSIGN_REF
-       mov      rax, gword ptr [rbp-0x50]
-       lea      rdi, bword ptr [rax+0x40]
-       mov      rsi, r14
-       call     CORINFO_HELP_ASSIGN_REF
-       mov      r14, gword ptr [rbp-0x50]
-       mov      dword ptr [r14+0x48], r13d
-       mov      dword ptr [r14+0x4C], r12d
-       mov      rdi, r14
-       mov      rax, 0xD1FFAB1E      ; code for System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob]):uint
-       call     [rax]System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob]):uint
-       add      eax, dword ptr [r15+0x18]
-       mov      edi, dword ptr [r15+0x1C]
-       and      edi, 0xD1FFAB1E
-       add      edi, eax
-       mov      rax, gword ptr [rbx+0x28]
+       mov      rsi, gword ptr [rbx+0x28]
+       mov      rdx, qword ptr [rbx+0x30]
+       mov      rdi, r15
+       mov      rax, 0xD1FFAB1E      ; code for System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob):uint
+       call     [rax]System.Reflection.PortableExecutable.PEBuilder:CalculateChecksum(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob):uint
+       mov      rdi, gword ptr [rbx+0x28]
        mov      ecx, dword ptr [rbx+0x30]
        mov      edx, dword ptr [rbx+0x34]
        add      edx, ecx
        add      edx, -4
        cmp      ecx, edx
        jg       SHORT G_M29944_IG12
-       test     rax, rax
+       test     rdi, rdi
        je       SHORT G_M29944_IG08
-						;; size=167 bbWeight=1 PerfScore 41.50
+						;; size=69 bbWeight=1 PerfScore 21.25
 G_M29944_IG07:
-       cmp      dword ptr [rax+0x08], ecx
+       cmp      dword ptr [rdi+0x08], ecx
        jb       SHORT G_M29944_IG13
        mov      edx, ecx
-       lea      rdx, bword ptr [rax+rdx+0x10]
-       mov      eax, dword ptr [rax+0x08]
-       sub      eax, ecx
+       lea      rdx, bword ptr [rdi+rdx+0x10]
+       mov      edi, dword ptr [rdi+0x08]
+       sub      edi, ecx
        jmp      SHORT G_M29944_IG09
 						;; size=19 bbWeight=0.50 PerfScore 4.25
 G_M29944_IG08:
        test     ecx, ecx
        jne      SHORT G_M29944_IG13
        xor      rdx, rdx
-       xor      eax, eax
+       xor      edi, edi
 						;; size=8 bbWeight=0.50 PerfScore 0.88
 G_M29944_IG09:
-       cmp      eax, 4
+       cmp      edi, 4
        jl       SHORT G_M29944_IG15
-       mov      dword ptr [rdx], edi
+       mov      dword ptr [rdx], eax
 						;; size=7 bbWeight=1 PerfScore 2.25
 G_M29944_IG10:
        add      rsp, 40
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=1 PerfScore 4.25
 G_M29944_IG11:
        mov      rdi, 0xD1FFAB1E      ; System.InvalidOperationException
        call     CORINFO_HELP_NEWSFAST
        mov      rbx, rax
        mov      rax, 0xD1FFAB1E      ; code for System.SR:get_SignatureProviderReturnedInvalidSignature():System.String
        call     [rax]System.SR:get_SignatureProviderReturnedInvalidSignature():System.String
        mov      rsi, rax
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.InvalidOperationException:.ctor(System.String):this
        call     [rax]System.InvalidOperationException:.ctor(System.String):this
        mov      rdi, rbx
        call     CORINFO_HELP_THROW
        int3     
 						;; size=57 bbWeight=0 PerfScore 0.00
 G_M29944_IG12:
        mov      rax, 0xD1FFAB1E      ; code for System.Reflection.Throw:OutOfBounds()
        call     [rax]System.Reflection.Throw:OutOfBounds()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M29944_IG13:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException()
        call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M29944_IG14:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        call     [rax]System.ThrowHelper:ThrowArgumentException_DestinationTooShort()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M29944_IG15:
        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
 
-; Total bytes of code 622, prolog size 19, PerfScore 122.25, instruction count 167, allocated bytes for code 622 (MethodHash=075a8b07) for method System.Reflection.PortableExecutable.PEBuilder:Sign(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob,System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]):this (FullOpts)
+; Total bytes of code 524, prolog size 19, PerfScore 102.00, instruction count 145, allocated bytes for code 524 (MethodHash=075a8b07) for method System.Reflection.PortableExecutable.PEBuilder:Sign(System.Reflection.Metadata.BlobBuilder,System.Reflection.Metadata.Blob,System.Func`2[System.Collections.Generic.IEnumerable`1[System.Reflection.Metadata.Blob],byte[]]):this (FullOpts)
 ; ============================================================

[MihuBot]

@EgorBo