[JitDiff X64] [prozolic] Replace signed comparisons with unsigned comparison ...

[MihuBot]

Job completed in 16 minutes 30 seconds (remote runner delay: 45 seconds).
dotnet/runtime#120877

Diffs

Found 85 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46022028
Total bytes of diff: 46022468
Total bytes of delta: 440 (0.00 % of base)
Total relative delta: 1.82
    diff is a regression.
    relative diff is a regression.


Top file regressions (bytes):
         287 : System.Reflection.Metadata.dasm (0.05 % of base)
         153 : System.Collections.Immutable.dasm (0.01 % of base)

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

Top method regressions (bytes):
         287 (24.02 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.Ecma335.MetadataBuilder:GetRowCounts():System.Collections.Immutable.ImmutableArray`1[int]:this (FullOpts)
          34 (30.09 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.__Canon]:MoveNext():bool:this (FullOpts)
          17 (18.89 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[byte]:MoveNext():bool:this (FullOpts)
          17 (18.28 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[double]:MoveNext():bool:this (FullOpts)
          17 (18.48 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[int]:MoveNext():bool:this (FullOpts)
          17 (18.68 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[long]:MoveNext():bool:this (FullOpts)
          17 (18.48 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[short]:MoveNext():bool:this (FullOpts)
          17 (18.68 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Nullable`1[int]]:MoveNext():bool:this (FullOpts)
          17 (16.50 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Numerics.Vector`1[float]]:MoveNext():bool:this (FullOpts)

Top method regressions (percentages):
          34 (30.09 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.__Canon]:MoveNext():bool:this (FullOpts)
         287 (24.02 % of base) : System.Reflection.Metadata.dasm - System.Reflection.Metadata.Ecma335.MetadataBuilder:GetRowCounts():System.Collections.Immutable.ImmutableArray`1[int]:this (FullOpts)
          17 (18.89 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[byte]:MoveNext():bool:this (FullOpts)
          17 (18.68 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[long]:MoveNext():bool:this (FullOpts)
          17 (18.68 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Nullable`1[int]]:MoveNext():bool:this (FullOpts)
          17 (18.48 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[int]:MoveNext():bool:this (FullOpts)
          17 (18.48 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[short]:MoveNext():bool:this (FullOpts)
          17 (18.28 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[double]:MoveNext():bool:this (FullOpts)
          17 (16.50 % of base) : System.Collections.Immutable.dasm - System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Numerics.Vector`1[float]]:MoveNext():bool:this (FullOpts)

9 total methods with Code Size differences (0 improved, 9 regressed), 282860 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (87 MB)
• build-artifacts-main.zip (680 MB)
• build-clr-checked-pr.zip (87 MB)
• build-artifacts-pr.zip (92 MB)
• jit-diffs-pr.zip (154 MB)
• jit-diffs-main.zip (154 MB)
• diff-frameworks.txt (4 KB)
• LongDiffsRegressions.md (71 KB)
• ShortDiffsRegressions.md (37 KB)

[MihuBot]

Top method regressions

34 (30.09 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[System.__Canon]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.__Canon]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 11,  7.50)     ref  ->  rbx         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.__Canon]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rdi        
-;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rsi         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[System.__Canon]>
+;  V02 loc1         [V02,T04] (  4,  2   )     ref  ->  r15         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[System.__Canon]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V06 tmp2         [V06,T02] (  3,  3   )     int  ->  rdi         "Inlining Arg"
-;  V07 tmp3         [V07,T01] (  3,  3   )     ref  ->  rsi         single-def "arr expr"
-;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rdi         "CSE #01: moderate"
+;  V06 tmp2         [V06,T01] (  4,  4   )     int  ->  rdi         "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  3,  3   )     ref  ->  rsi         single-def "arr expr"
+;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rsi         "CSE #02: moderate"
+;  V09 cse1         [V09,T06] (  3,  1.50)     int  ->  rdi         "CSE #01: moderate"
 ;
-; Lcl frame size = 8
+; Lcl frame size = 16
 
 G_M36388_IG01:
        push     rbp
+       push     r15
        push     rbx
-       push     rax
-       lea      rbp, [rsp+0x10]
+       sub      rsp, 16
+       lea      rbp, [rsp+0x20]
+       mov      qword ptr [rbp-0x18], rdi
        mov      rbx, rdi
-						;; size=11 bbWeight=1 PerfScore 3.75
+						;; size=20 bbWeight=1 PerfScore 5.00
 G_M36388_IG02:
        mov      edi, dword ptr [rbx+0x18]
-       mov      rsi, gword ptr [rbx+0x10]
+       mov      r15, gword ptr [rbx+0x10]
        test     edi, edi
        jne      SHORT G_M36388_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M36388_IG03:
        mov      edi, 0xD1FFAB1E
        mov      qword ptr [rbx+0x18], rdi
        jmp      SHORT G_M36388_IG05
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M36388_IG04:
        cmp      edi, 1
        jne      SHORT G_M36388_IG07
        mov      dword ptr [rbx+0x18], -1
        inc      dword ptr [rbx+0x1C]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M36388_IG05:
        mov      edi, dword ptr [rbx+0x1C]
-       cmp      edi, dword ptr [rsi+0x10]
+       mov      esi, dword ptr [r15+0x10]
+       cmp      edi, esi
        jge      SHORT G_M36388_IG07
-       mov      rsi, gword ptr [rsi+0x08]
-       cmp      edi, dword ptr [rsi+0x08]
        jae      SHORT G_M36388_IG09
+       mov      rsi, gword ptr [r15+0x08]
+       cmp      edi, dword ptr [rsi+0x08]
+       jae      SHORT G_M36388_IG10
        mov      rsi, gword ptr [rsi+8*rdi+0x10]
        lea      rdi, bword ptr [rbx+0x08]
        call     CORINFO_HELP_ASSIGN_REF
        mov      dword ptr [rbx+0x18], 1
        mov      eax, 1
-						;; size=43 bbWeight=0.50 PerfScore 8.38
+						;; size=48 bbWeight=0.50 PerfScore 8.50
 G_M36388_IG06:
-       add      rsp, 8
+       add      rsp, 16
        pop      rbx
+       pop      r15
        pop      rbp
        ret      
-						;; size=7 bbWeight=0.50 PerfScore 1.12
+						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M36388_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M36388_IG08:
-       add      rsp, 8
+       add      rsp, 16
        pop      rbx
+       pop      r15
        pop      rbp
        ret      
-						;; size=7 bbWeight=0.50 PerfScore 1.12
+						;; size=9 bbWeight=0.50 PerfScore 1.38
 G_M36388_IG09:
+       mov      rdi, qword ptr [r15]
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[System.__Canon]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[System.__Canon]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=16 bbWeight=0 PerfScore 0.00
+G_M36388_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 113, prolog size 8, PerfScore 24.00, instruction count 38, allocated bytes for code 113 (MethodHash=a30471db) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.__Canon]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 147, prolog size 17, PerfScore 25.88, instruction count 48, allocated bytes for code 147 (MethodHash=a30471db) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.__Canon]:MoveNext():bool:this (FullOpts)
 ; ============================================================

17 (18.89 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[byte]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[byte]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 11,  7.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[byte]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rax        
 ;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rcx         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[byte]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V06 tmp2         [V06,T02] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V07 tmp3         [V07,T01] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
-;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;  V06 tmp2         [V06,T01] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
+;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rdx         "CSE #02: moderate"
+;  V09 cse1         [V09,T06] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M64552_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M64552_IG02:
        mov      eax, dword ptr [rdi+0x10]
        mov      rcx, gword ptr [rdi+0x08]
        test     eax, eax
        jne      SHORT G_M64552_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M64552_IG03:
        mov      eax, 0xD1FFAB1E
        mov      qword ptr [rdi+0x10], rax
        jmp      SHORT G_M64552_IG05
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M64552_IG04:
        cmp      eax, 1
        jne      SHORT G_M64552_IG07
        mov      dword ptr [rdi+0x10], -1
        inc      dword ptr [rdi+0x14]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M64552_IG05:
        mov      eax, dword ptr [rdi+0x14]
-       cmp      eax, dword ptr [rcx+0x10]
+       mov      edx, dword ptr [rcx+0x10]
+       cmp      eax, edx
        jge      SHORT G_M64552_IG07
+       jae      SHORT G_M64552_IG09
        mov      rcx, gword ptr [rcx+0x08]
        cmp      eax, dword ptr [rcx+0x08]
-       jae      SHORT G_M64552_IG09
+       jae      SHORT G_M64552_IG10
        movzx    rax, byte  ptr [rcx+rax+0x10]
        mov      byte  ptr [rdi+0x18], al
        mov      dword ptr [rdi+0x10], 1
        mov      eax, 1
-						;; size=37 bbWeight=0.50 PerfScore 8.12
+						;; size=41 bbWeight=0.50 PerfScore 8.25
 G_M64552_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M64552_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M64552_IG08:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M64552_IG09:
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[byte]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[byte]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M64552_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 90, prolog size 4, PerfScore 20.50, instruction count 30, allocated bytes for code 90 (MethodHash=654303d7) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[byte]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 107, prolog size 4, PerfScore 20.62, instruction count 35, allocated bytes for code 107 (MethodHash=654303d7) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[byte]:MoveNext():bool:this (FullOpts)
 ; ============================================================

17 (18.28 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[double]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[double]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 11,  7.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[double]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rax        
 ;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rcx         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[double]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V06 tmp2         [V06,T02] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V07 tmp3         [V07,T01] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
-;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;  V06 tmp2         [V06,T01] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
+;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rdx         "CSE #02: moderate"
+;  V09 cse1         [V09,T06] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M1303_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M1303_IG02:
        mov      eax, dword ptr [rdi+0x18]
        mov      rcx, gword ptr [rdi+0x08]
        test     eax, eax
        jne      SHORT G_M1303_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M1303_IG03:
        mov      eax, 0xD1FFAB1E
        mov      qword ptr [rdi+0x18], rax
        jmp      SHORT G_M1303_IG05
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M1303_IG04:
        cmp      eax, 1
        jne      SHORT G_M1303_IG07
        mov      dword ptr [rdi+0x18], -1
        inc      dword ptr [rdi+0x1C]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M1303_IG05:
        mov      eax, dword ptr [rdi+0x1C]
-       cmp      eax, dword ptr [rcx+0x10]
+       mov      edx, dword ptr [rcx+0x10]
+       cmp      eax, edx
        jge      SHORT G_M1303_IG07
+       jae      SHORT G_M1303_IG09
        mov      rcx, gword ptr [rcx+0x08]
        cmp      eax, dword ptr [rcx+0x08]
-       jae      SHORT G_M1303_IG09
+       jae      SHORT G_M1303_IG10
        vmovsd   xmm0, qword ptr [rcx+8*rax+0x10]
        vmovsd   qword ptr [rdi+0x10], xmm0
        mov      dword ptr [rdi+0x18], 1
        mov      eax, 1
-						;; size=40 bbWeight=0.50 PerfScore 9.62
+						;; size=44 bbWeight=0.50 PerfScore 9.75
 G_M1303_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M1303_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M1303_IG08:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M1303_IG09:
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[double]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[double]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M1303_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 93, prolog size 4, PerfScore 22.00, instruction count 30, allocated bytes for code 93 (MethodHash=3592fae8) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[double]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 110, prolog size 4, PerfScore 22.12, instruction count 35, allocated bytes for code 110 (MethodHash=3592fae8) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[double]:MoveNext():bool:this (FullOpts)
 ; ============================================================

17 (18.48 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[int]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[int]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 12,  8   )     ref  ->  rdi         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[int]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rax        
 ;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rcx         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[int]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V06 tmp2         [V06,T02] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V07 tmp3         [V07,T01] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
-;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;  V06 tmp2         [V06,T01] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
+;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rdx         "CSE #02: moderate"
+;  V09 cse1         [V09,T06] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M58993_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M58993_IG02:
        mov      eax, dword ptr [rdi+0x10]
        mov      rcx, gword ptr [rdi+0x08]
        test     eax, eax
        jne      SHORT G_M58993_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M58993_IG03:
        mov      dword ptr [rdi+0x10], -1
        xor      eax, eax
        mov      dword ptr [rdi+0x18], eax
        jmp      SHORT G_M58993_IG05
 						;; size=14 bbWeight=0.50 PerfScore 2.12
 G_M58993_IG04:
        cmp      eax, 1
        jne      SHORT G_M58993_IG07
        mov      dword ptr [rdi+0x10], -1
        inc      dword ptr [rdi+0x18]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M58993_IG05:
        mov      eax, dword ptr [rdi+0x18]
-       cmp      eax, dword ptr [rcx+0x10]
+       mov      edx, dword ptr [rcx+0x10]
+       cmp      eax, edx
        jge      SHORT G_M58993_IG07
+       jae      SHORT G_M58993_IG09
        mov      rcx, gword ptr [rcx+0x08]
        cmp      eax, dword ptr [rcx+0x08]
-       jae      SHORT G_M58993_IG09
+       jae      SHORT G_M58993_IG10
        mov      eax, dword ptr [rcx+4*rax+0x10]
        mov      dword ptr [rdi+0x14], eax
        mov      dword ptr [rdi+0x10], 1
        mov      eax, 1
-						;; size=36 bbWeight=0.50 PerfScore 8.12
+						;; size=40 bbWeight=0.50 PerfScore 8.25
 G_M58993_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M58993_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M58993_IG08:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M58993_IG09:
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[int]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[int]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M58993_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 92, prolog size 4, PerfScore 21.00, instruction count 31, allocated bytes for code 92 (MethodHash=c44a198e) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[int]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 109, prolog size 4, PerfScore 21.12, instruction count 36, allocated bytes for code 109 (MethodHash=c44a198e) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[int]:MoveNext():bool:this (FullOpts)
 ; ============================================================

17 (18.68 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[long]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[long]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 11,  7.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[long]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rax        
 ;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rcx         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[long]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V06 tmp2         [V06,T02] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V07 tmp3         [V07,T01] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
-;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;  V06 tmp2         [V06,T01] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
+;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rdx         "CSE #02: moderate"
+;  V09 cse1         [V09,T06] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M40488_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M40488_IG02:
        mov      eax, dword ptr [rdi+0x18]
        mov      rcx, gword ptr [rdi+0x08]
        test     eax, eax
        jne      SHORT G_M40488_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M40488_IG03:
        mov      eax, 0xD1FFAB1E
        mov      qword ptr [rdi+0x18], rax
        jmp      SHORT G_M40488_IG05
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M40488_IG04:
        cmp      eax, 1
        jne      SHORT G_M40488_IG07
        mov      dword ptr [rdi+0x18], -1
        inc      dword ptr [rdi+0x1C]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M40488_IG05:
        mov      eax, dword ptr [rdi+0x1C]
-       cmp      eax, dword ptr [rcx+0x10]
+       mov      edx, dword ptr [rcx+0x10]
+       cmp      eax, edx
        jge      SHORT G_M40488_IG07
+       jae      SHORT G_M40488_IG09
        mov      rcx, gword ptr [rcx+0x08]
        cmp      eax, dword ptr [rcx+0x08]
-       jae      SHORT G_M40488_IG09
+       jae      SHORT G_M40488_IG10
        mov      rax, qword ptr [rcx+8*rax+0x10]
        mov      qword ptr [rdi+0x10], rax
        mov      dword ptr [rdi+0x18], 1
        mov      eax, 1
-						;; size=38 bbWeight=0.50 PerfScore 8.12
+						;; size=42 bbWeight=0.50 PerfScore 8.25
 G_M40488_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M40488_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M40488_IG08:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M40488_IG09:
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[long]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[long]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M40488_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 91, prolog size 4, PerfScore 20.50, instruction count 30, allocated bytes for code 91 (MethodHash=227061d7) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[long]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 108, prolog size 4, PerfScore 20.62, instruction count 35, allocated bytes for code 108 (MethodHash=227061d7) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[long]:MoveNext():bool:this (FullOpts)
 ; ============================================================

17 (18.48 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[short]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[short]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 11,  7.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[short]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rax        
 ;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rcx         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[short]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V06 tmp2         [V06,T02] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V07 tmp3         [V07,T01] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
-;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;  V06 tmp2         [V06,T01] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
+;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rdx         "CSE #02: moderate"
+;  V09 cse1         [V09,T06] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M29616_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M29616_IG02:
        mov      eax, dword ptr [rdi+0x10]
        mov      rcx, gword ptr [rdi+0x08]
        test     eax, eax
        jne      SHORT G_M29616_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M29616_IG03:
        mov      eax, 0xD1FFAB1E
        mov      qword ptr [rdi+0x10], rax
        jmp      SHORT G_M29616_IG05
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M29616_IG04:
        cmp      eax, 1
        jne      SHORT G_M29616_IG07
        mov      dword ptr [rdi+0x10], -1
        inc      dword ptr [rdi+0x14]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M29616_IG05:
        mov      eax, dword ptr [rdi+0x14]
-       cmp      eax, dword ptr [rcx+0x10]
+       mov      edx, dword ptr [rcx+0x10]
+       cmp      eax, edx
        jge      SHORT G_M29616_IG07
+       jae      SHORT G_M29616_IG09
        mov      rcx, gword ptr [rcx+0x08]
        cmp      eax, dword ptr [rcx+0x08]
-       jae      SHORT G_M29616_IG09
+       jae      SHORT G_M29616_IG10
        movsx    rax, word  ptr [rcx+2*rax+0x10]
        mov      word  ptr [rdi+0x18], ax
        mov      dword ptr [rdi+0x10], 1
        mov      eax, 1
-						;; size=39 bbWeight=0.50 PerfScore 9.12
+						;; size=43 bbWeight=0.50 PerfScore 9.25
 G_M29616_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M29616_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M29616_IG08:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M29616_IG09:
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[short]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[short]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M29616_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 92, prolog size 4, PerfScore 21.50, instruction count 30, allocated bytes for code 92 (MethodHash=724a8c4f) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[short]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 109, prolog size 4, PerfScore 21.62, instruction count 35, allocated bytes for code 109 (MethodHash=724a8c4f) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[short]:MoveNext():bool:this (FullOpts)
 ; ============================================================

17 (18.68 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[System.Nullable`1[int]]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Nullable`1[int]]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 11,  7.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Nullable`1[int]]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rax        
 ;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rcx         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[System.Nullable`1[int]]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
-;  V06 tmp2         [V06,T02] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V07 tmp3         [V07,T01] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
-;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;  V06 tmp2         [V06,T01] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;  V07 tmp3         [V07,T02] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
+;  V08 cse0         [V08,T05] (  3,  1.50)     int  ->  rdx         "CSE #02: moderate"
+;  V09 cse1         [V09,T06] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M53596_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M53596_IG02:
        mov      eax, dword ptr [rdi+0x10]
        mov      rcx, gword ptr [rdi+0x08]
        test     eax, eax
        jne      SHORT G_M53596_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M53596_IG03:
        mov      eax, 0xD1FFAB1E
        mov      qword ptr [rdi+0x10], rax
        jmp      SHORT G_M53596_IG05
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M53596_IG04:
        cmp      eax, 1
        jne      SHORT G_M53596_IG07
        mov      dword ptr [rdi+0x10], -1
        inc      dword ptr [rdi+0x14]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M53596_IG05:
        mov      eax, dword ptr [rdi+0x14]
-       cmp      eax, dword ptr [rcx+0x10]
+       mov      edx, dword ptr [rcx+0x10]
+       cmp      eax, edx
        jge      SHORT G_M53596_IG07
+       jae      SHORT G_M53596_IG09
        mov      rcx, gword ptr [rcx+0x08]
        cmp      eax, dword ptr [rcx+0x08]
-       jae      SHORT G_M53596_IG09
+       jae      SHORT G_M53596_IG10
        mov      rax, qword ptr [rcx+8*rax+0x10]
        mov      qword ptr [rdi+0x18], rax
        mov      dword ptr [rdi+0x10], 1
        mov      eax, 1
-						;; size=38 bbWeight=0.50 PerfScore 8.12
+						;; size=42 bbWeight=0.50 PerfScore 8.25
 G_M53596_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M53596_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M53596_IG08:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M53596_IG09:
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[System.Nullable`1[int]]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[System.Nullable`1[int]]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M53596_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 91, prolog size 4, PerfScore 20.50, instruction count 30, allocated bytes for code 91 (MethodHash=f7e12ea3) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Nullable`1[int]]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 108, prolog size 4, PerfScore 20.62, instruction count 35, allocated bytes for code 108 (MethodHash=f7e12ea3) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Nullable`1[int]]:MoveNext():bool:this (FullOpts)
 ; ============================================================

17 (16.50 % of base) - System.Collections.Immutable.ImmutableArray`1+Builder+d__66[System.Numerics.Vector`1[float]]:MoveNext():bool:this

 ; Assembly listing for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Numerics.Vector`1[float]]:MoveNext():bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 2 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 11,  7.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Numerics.Vector`1[float]]>
 ;  V01 loc0         [V01,T03] (  3,  2.50)     int  ->  rax        
 ;  V02 loc1         [V02,T04] (  3,  2   )     ref  ->  rcx         class-hnd exact single-def <System.Collections.Immutable.ImmutableArray`1+Builder[System.Numerics.Vector`1[float]]>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;# V04 OutArgs      [V04    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V05 tmp1         [V05    ] (  0,  0   )     int  ->  zero-ref    "impAppendStmt"
 ;* V06 tmp2         [V06    ] (  0,  0   )  simd32  ->  zero-ref    "stack copy for value returned via return buffer" <System.Numerics.Vector`1[float]>
 ;* V07 tmp3         [V07    ] (  0,  0   )   byref  ->  zero-ref    "fgMakeTemp is creating a new local variable"
-;  V08 tmp4         [V08,T02] (  3,  3   )     int  ->  rax         "Inlining Arg"
-;  V09 tmp5         [V09,T01] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
-;  V10 cse0         [V10,T05] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
+;  V08 tmp4         [V08,T01] (  4,  4   )     int  ->  rax         "Inlining Arg"
+;  V09 tmp5         [V09,T02] (  3,  3   )     ref  ->  rcx         single-def "arr expr"
+;  V10 cse0         [V10,T05] (  3,  1.50)     int  ->  rdx         "CSE #02: moderate"
+;  V11 cse1         [V11,T06] (  3,  1.50)     int  ->  rax         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M21857_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M21857_IG02:
        mov      eax, dword ptr [rdi+0x10]
        mov      rcx, gword ptr [rdi+0x08]
        test     eax, eax
        jne      SHORT G_M21857_IG04
 						;; size=11 bbWeight=1 PerfScore 5.25
 G_M21857_IG03:
        mov      eax, 0xD1FFAB1E
        mov      qword ptr [rdi+0x10], rax
        jmp      SHORT G_M21857_IG05
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M21857_IG04:
        cmp      eax, 1
        jne      SHORT G_M21857_IG07
        mov      dword ptr [rdi+0x10], -1
        inc      dword ptr [rdi+0x14]
 						;; size=15 bbWeight=0.50 PerfScore 2.62
 G_M21857_IG05:
        mov      eax, dword ptr [rdi+0x14]
-       cmp      eax, dword ptr [rcx+0x10]
+       mov      edx, dword ptr [rcx+0x10]
+       cmp      eax, edx
        jge      SHORT G_M21857_IG07
+       jae      SHORT G_M21857_IG09
        mov      rcx, gword ptr [rcx+0x08]
        cmp      eax, dword ptr [rcx+0x08]
-       jae      SHORT G_M21857_IG09
+       jae      SHORT G_M21857_IG10
        shl      rax, 5
        vmovups  ymm0, ymmword ptr [rcx+rax+0x10]
        vmovups  ymmword ptr [rdi+0x18], ymm0
        mov      dword ptr [rdi+0x10], 1
        mov      eax, 1
-						;; size=44 bbWeight=0.50 PerfScore 10.38
+						;; size=48 bbWeight=0.50 PerfScore 10.50
 G_M21857_IG06:
        vzeroupper 
        pop      rbp
        ret      
 						;; size=5 bbWeight=0.50 PerfScore 1.25
 G_M21857_IG07:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M21857_IG08:
        vzeroupper 
        pop      rbp
        ret      
 						;; size=5 bbWeight=0.50 PerfScore 1.25
 G_M21857_IG09:
+       mov      rax, 0xD1FFAB1E      ; code for System.Collections.Immutable.ImmutableArray`1+Builder[System.Numerics.Vector`1[float]]:ThrowIndexOutOfRangeException()
+       call     [rax]System.Collections.Immutable.ImmutableArray`1+Builder[System.Numerics.Vector`1[float]]:ThrowIndexOutOfRangeException()
+       int3     
+						;; size=13 bbWeight=0 PerfScore 0.00
+G_M21857_IG10:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 103, prolog size 4, PerfScore 23.75, instruction count 33, allocated bytes for code 103 (MethodHash=e7a0aa9e) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Numerics.Vector`1[float]]:MoveNext():bool:this (FullOpts)
+; Total bytes of code 120, prolog size 4, PerfScore 23.88, instruction count 38, allocated bytes for code 120 (MethodHash=e7a0aa9e) for method System.Collections.Immutable.ImmutableArray`1+Builder+<GetEnumerator>d__66[System.Numerics.Vector`1[float]]:MoveNext():bool:this (FullOpts)
 ; ============================================================

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

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

[MihuBot]

@EgorBo