## Top method regressions
14 (7.61 % of base) - System.Collections.BitArray:CreateArray(System.ReadOnlySpan`1[bool],byref):byte[] ```diff ; Assembly listing for method System.Collections.BitArray:CreateArray(System.ReadOnlySpan`1[bool],byref):byte[] (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; 6 single block inlinees; 3 inlinees without PGO data +; 0 inlinees with PGO data; 9 single block inlinees; 7 inlinees without PGO data ; Final local variable assignments ; ;* V00 arg0 [V00 ] ( 0, 0 ) struct (16) zero-ref multireg-arg ld-addr-op single-def -; V01 arg1 [V01,T10] ( 4, 4 ) byref -> rdx single-def -; V02 loc0 [V02,T09] ( 6, 6.96) ref -> rax class-hnd single-def -; V03 loc1 [V03,T00] ( 11, 33.80) int -> rcx -; V04 loc2 [V04,T11] ( 2, 4.50) byref -> rdx single-def -;* V05 loc3 [V05 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op -;* V06 loc4 [V06 ] ( 0, 0 ) long -> zero-ref +; V01 arg1 [V01,T16] ( 4, 4 ) byref -> rdx single-def +; V02 loc0 [V02,T14] ( 7, 7.46) ref -> rax class-hnd single-def +; V03 loc1 [V03,T18] ( 4, 3.75) int -> rcx +;* V04 loc2 [V04 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op +;* V05 loc3 [V05 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op +; V06 loc4 [V06,T12] ( 2, 8 ) long -> r8 ;* V07 loc5 [V07 ] ( 0, 0 ) int -> zero-ref ;* V08 loc6 [V08 ] ( 0, 0 ) int -> zero-ref ;* V09 loc7 [V09 ] ( 0, 0 ) int -> zero-ref ;* V10 loc8 [V10 ] ( 0, 0 ) int -> zero-ref ;* V11 loc9 [V11 ] ( 0, 0 ) int -> zero-ref ;# V12 OutArgs [V12 ] ( 1, 1 ) struct ( 0) [rsp+0x00] do-not-enreg[XS] addr-exposed "OutgoingArgSpace" ;* V13 tmp1 [V13 ] ( 0, 0 ) struct ( 8) zero-ref "dup spill" -; V14 tmp2 [V14,T05] ( 3, 11.88) byref -> rdx "dup spill" +; V14 tmp2 [V14,T11] ( 3, 11.88) byref -> rdx "dup spill" ;* V15 tmp3 [V15 ] ( 0, 0 ) simd64 -> zero-ref "spilled call-like call argument" ;* V16 tmp4 [V16 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "Inlining Arg" ;* V17 tmp5 [V17 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "NewObj constructor temp" ;* V18 tmp6 [V18 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "Inlining Arg" ;* V19 tmp7 [V19 ] ( 0, 0 ) byref -> zero-ref single-def "Inlining Arg" ;* V20 tmp8 [V20 ] ( 0, 0 ) int -> zero-ref "Inlining Arg" -;* V21 tmp9 [V21 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "Inlining Arg" +;* V21 tmp9 [V21 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "NewObj constructor temp" ;* V22 tmp10 [V22 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "Inlining Arg" -;* V23 tmp11 [V23 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "NewObj constructor temp" -; V24 tmp12 [V24,T01] ( 2, 16 ) byref -> rdi "Inlining Arg" -; V25 tmp13 [V25,T02] ( 2, 16 ) int -> rsi "Inlining Arg" -; V26 tmp14 [V26,T07] ( 4, 7.92) int -> rdx "Inline stloc first use temp" -;* V27 tmp15 [V27 ] ( 0, 0 ) struct ( 8) zero-ref ld-addr-op "NewObj constructor temp" -;* V28 tmp16 [V28 ] ( 0, 0 ) int -> zero-ref "Inlining Arg" -; V29 tmp17 [V29,T08] ( 3, 5.46) byref -> r15 single-def "field V00._reference (fldOffset=0x0)" P-INDEP -; V30 tmp18 [V30,T06] ( 7, 8.96) int -> rbx single-def "field V00._length (fldOffset=0x8)" P-INDEP -; V31 tmp19 [V31,T03] ( 4, 12.50) byref -> rdi "field V05._reference (fldOffset=0x0)" P-INDEP -; V32 tmp20 [V32,T04] ( 4, 12.50) int -> rsi "field V05._length (fldOffset=0x8)" P-INDEP -;* V33 tmp21 [V33 ] ( 0, 0 ) int -> zero-ref "field V13.Item1 (fldOffset=0x0)" P-INDEP -;* V34 tmp22 [V34 ] ( 0, 0 ) int -> zero-ref "field V13.Item2 (fldOffset=0x4)" P-INDEP -;* V35 tmp23 [V35 ] ( 0, 0 ) byref -> zero-ref single-def "field V16._reference (fldOffset=0x0)" P-INDEP -;* V36 tmp24 [V36 ] ( 0, 0 ) int -> zero-ref "field V16._length (fldOffset=0x8)" P-INDEP -;* V37 tmp25 [V37 ] ( 0, 0 ) byref -> zero-ref single-def "field V17._reference (fldOffset=0x0)" P-INDEP -;* V38 tmp26 [V38 ] ( 0, 0 ) int -> zero-ref "field V17._length (fldOffset=0x8)" P-INDEP -;* V39 tmp27 [V39 ] ( 0, 0 ) byref -> zero-ref single-def "field V18._reference (fldOffset=0x0)" P-INDEP -;* V40 tmp28 [V40 ] ( 0, 0 ) int -> zero-ref "field V18._length (fldOffset=0x8)" P-INDEP -;* V41 tmp29 [V41 ] ( 0, 0 ) byref -> zero-ref "field V21._reference (fldOffset=0x0)" P-INDEP -;* V42 tmp30 [V42 ] ( 0, 0 ) int -> zero-ref "field V21._length (fldOffset=0x8)" P-INDEP -;* V43 tmp31 [V43 ] ( 0, 0 ) byref -> zero-ref "field V22._reference (fldOffset=0x0)" P-INDEP -;* V44 tmp32 [V44 ] ( 0, 0 ) int -> zero-ref "field V22._length (fldOffset=0x8)" P-INDEP -;* V45 tmp33 [V45 ] ( 0, 0 ) byref -> zero-ref "field V23._reference (fldOffset=0x0)" P-INDEP -;* V46 tmp34 [V46 ] ( 0, 0 ) int -> zero-ref "field V23._length (fldOffset=0x8)" P-INDEP -;* V47 tmp35 [V47 ] ( 0, 0 ) int -> zero-ref "field V27.Item1 (fldOffset=0x0)" P-INDEP -; V48 tmp36 [V48,T12] ( 2, 3.96) int -> rsi "field V27.Item2 (fldOffset=0x4)" P-INDEP -; V49 rat0 [V49,T13] ( 3, 24 ) simd64 -> mm0 "ReplaceWithLclVar is creating a new local variable" +;* V23 tmp11 [V23 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "Inlining Arg" +;* V24 tmp12 [V24 ] ( 0, 0 ) struct (16) zero-ref "Inlining Arg" +; V25 tmp13 [V25,T03] ( 2, 16 ) long -> r8 ld-addr-op "Inlining Arg" +;* V26 tmp14 [V26 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "Inlining Arg" +;* V27 tmp15 [V27 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "Inlining Arg" +;* V28 tmp16 [V28 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "NewObj constructor temp" +; V29 tmp17 [V29,T01] ( 2, 16 ) byref -> rcx "Inlining Arg" +; V30 tmp18 [V30,T04] ( 2, 16 ) int -> rdx "Inlining Arg" +;* V31 tmp19 [V31 ] ( 0, 0 ) struct (16) zero-ref ld-addr-op "NewObj constructor temp" +; V32 tmp20 [V32,T02] ( 2, 16 ) byref -> rdi "Inlining Arg" +; V33 tmp21 [V33,T05] ( 2, 16 ) int -> rsi "Inlining Arg" +; V34 tmp22 [V34,T13] ( 4, 7.92) int -> rdx "Inline stloc first use temp" +;* V35 tmp23 [V35 ] ( 0, 0 ) struct ( 8) zero-ref ld-addr-op "NewObj constructor temp" +;* V36 tmp24 [V36 ] ( 0, 0 ) int -> zero-ref "Inlining Arg" +; V37 tmp25 [V37,T15] ( 3, 5.46) byref -> r15 single-def "field V00._reference (fldOffset=0x0)" P-INDEP +; V38 tmp26 [V38,T10] ( 8, 9.96) int -> rbx single-def "field V00._length (fldOffset=0x8)" P-INDEP +; V39 tmp27 [V39,T07] ( 4, 12.50) byref -> rcx "field V04._reference (fldOffset=0x0)" P-INDEP +; V40 tmp28 [V40,T06] ( 5, 13 ) int -> rdx "field V04._length (fldOffset=0x8)" P-INDEP +; V41 tmp29 [V41,T08] ( 4, 12.50) byref -> rdi "field V05._reference (fldOffset=0x0)" P-INDEP +; V42 tmp30 [V42,T09] ( 4, 12.50) int -> rsi "field V05._length (fldOffset=0x8)" P-INDEP +;* V43 tmp31 [V43 ] ( 0, 0 ) int -> zero-ref "field V13.Item1 (fldOffset=0x0)" P-INDEP +;* V44 tmp32 [V44 ] ( 0, 0 ) int -> zero-ref "field V13.Item2 (fldOffset=0x4)" P-INDEP +;* V45 tmp33 [V45 ] ( 0, 0 ) byref -> zero-ref single-def "field V16._reference (fldOffset=0x0)" P-INDEP +;* V46 tmp34 [V46 ] ( 0, 0 ) int -> zero-ref "field V16._length (fldOffset=0x8)" P-INDEP +;* V47 tmp35 [V47 ] ( 0, 0 ) byref -> zero-ref single-def "field V17._reference (fldOffset=0x0)" P-INDEP +;* V48 tmp36 [V48 ] ( 0, 0 ) int -> zero-ref "field V17._length (fldOffset=0x8)" P-INDEP +;* V49 tmp37 [V49 ] ( 0, 0 ) byref -> zero-ref single-def "field V18._reference (fldOffset=0x0)" P-INDEP +;* V50 tmp38 [V50 ] ( 0, 0 ) int -> zero-ref "field V18._length (fldOffset=0x8)" P-INDEP +; V51 tmp39 [V51,T19] ( 3, 1.50) byref -> rdi "field V21._reference (fldOffset=0x0)" P-INDEP +; V52 tmp40 [V52,T20] ( 3, 1.50) int -> rsi "field V21._length (fldOffset=0x8)" P-INDEP +;* V53 tmp41 [V53 ] ( 0, 0 ) byref -> zero-ref "field V22._reference (fldOffset=0x0)" P-INDEP +;* V54 tmp42 [V54 ] ( 0, 0 ) int -> zero-ref "field V22._length (fldOffset=0x8)" P-INDEP +;* V55 tmp43 [V55 ] ( 0, 0 ) byref -> zero-ref "field V23._reference (fldOffset=0x0)" P-INDEP +;* V56 tmp44 [V56 ] ( 0, 0 ) int -> zero-ref "field V23._length (fldOffset=0x8)" P-INDEP +;* V57 tmp45 [V57 ] ( 0, 0 ) byref -> zero-ref "field V24._reference (fldOffset=0x0)" P-INDEP +;* V58 tmp46 [V58 ] ( 0, 0 ) int -> zero-ref "field V24._length (fldOffset=0x8)" P-INDEP +;* V59 tmp47 [V59 ] ( 0, 0 ) byref -> zero-ref "field V26._reference (fldOffset=0x0)" P-INDEP +;* V60 tmp48 [V60 ] ( 0, 0 ) int -> zero-ref "field V26._length (fldOffset=0x8)" P-INDEP +;* V61 tmp49 [V61 ] ( 0, 0 ) byref -> zero-ref "field V27._reference (fldOffset=0x0)" P-INDEP +;* V62 tmp50 [V62 ] ( 0, 0 ) int -> zero-ref "field V27._length (fldOffset=0x8)" P-INDEP +;* V63 tmp51 [V63 ] ( 0, 0 ) byref -> zero-ref "field V28._reference (fldOffset=0x0)" P-INDEP +;* V64 tmp52 [V64 ] ( 0, 0 ) int -> zero-ref "field V28._length (fldOffset=0x8)" P-INDEP +;* V65 tmp53 [V65 ] ( 0, 0 ) byref -> zero-ref "field V31._reference (fldOffset=0x0)" P-INDEP +;* V66 tmp54 [V66 ] ( 0, 0 ) int -> zero-ref "field V31._length (fldOffset=0x8)" P-INDEP +;* V67 tmp55 [V67 ] ( 0, 0 ) int -> zero-ref "field V35.Item1 (fldOffset=0x0)" P-INDEP +; V68 tmp56 [V68,T17] ( 2, 3.96) int -> rsi "field V35.Item2 (fldOffset=0x4)" P-INDEP +; V69 rat0 [V69,T00] ( 7, 20.55) long -> rcx "Widened IV V03" +; V70 rat1 [V70,T21] ( 3, 24 ) simd64 -> mm0 "ReplaceWithLclVar is creating a new local variable" ; ; Lcl frame size = 0 G_M18482_IG01: push rbp push r15 push rbx lea rbp, [rsp+0x10] mov r15, rdi mov ebx, esi ;; size=14 bbWeight=1 PerfScore 4.00 G_M18482_IG02: mov dword ptr [rdx], ebx mov edi, dword ptr [rdx] mov rax, 0xD1FFAB1E ; code for System.Collections.BitArray:AllocateByteArray(int):byte[] call [rax]System.Collections.BitArray:AllocateByteArray(int):byte[] xor ecx, ecx cmp ebx, 32 - jl SHORT G_M18482_IG05 + jl SHORT G_M18482_IG08 ;; size=23 bbWeight=1 PerfScore 7.75 G_M18482_IG03: - cmp byte ptr [rax], al - lea rdx, bword ptr [rax+0x10] - mov rdi, r15 - mov esi, ebx - cmp ebx, 64 - jl SHORT G_M18482_IG05 - align [0 bytes for IG04] - ;; size=16 bbWeight=0.50 PerfScore 2.12 + mov rcx, r15 + mov edx, ebx + test rax, rax + je SHORT G_M18482_IG04 + lea rdi, bword ptr [rax+0x10] + mov esi, dword ptr [rax+0x08] + jmp SHORT G_M18482_IG05 + align [0 bytes for IG06] + ;; size=19 bbWeight=0.50 PerfScore 3.12 G_M18482_IG04: - mov r8d, ecx - shr r8d, 6 - shl r8d, 3 - vmovups zmm0, zmmword ptr [rdi] - vptestnmb k1, zmm0, zmm0 - kmovq r9, k1 - ;; NOP compensation instructions of 3 bytes. - not r9 - mov qword ptr [rdx+r8], r9 - add ecx, 64 - add rdi, 64 - add esi, -64 - cmp esi, 64 - jge SHORT G_M18482_IG04 - ;; size=53 bbWeight=4 PerfScore 54.00 + xor rdi, rdi + xor esi, esi + ;; size=4 bbWeight=0.50 PerfScore 0.25 G_M18482_IG05: - cmp ecx, ebx - jae SHORT G_M18482_IG09 - align [2 bytes for IG06] - ;; size=6 bbWeight=1 PerfScore 1.50 + cmp ebx, 64 + jl SHORT G_M18482_IG07 + ;; size=5 bbWeight=0.50 PerfScore 0.62 G_M18482_IG06: - mov edx, ecx - cmp byte ptr [r15+rdx], 0 - je SHORT G_M18482_IG08 - ;; size=9 bbWeight=3.96 PerfScore 12.87 + cmp esi, 8 + jl SHORT G_M18482_IG07 + vmovups zmm0, zmmword ptr [rcx] + vptestnmb k1, zmm0, zmm0 + kmovq r8, k1 + ;; NOP compensation instructions of 3 bytes. + not r8 + mov qword ptr [rdi], r8 + add rcx, 64 + add edx, -64 + add rdi, 8 + add esi, -8 + cmp edx, 64 + jge SHORT G_M18482_IG06 + ;; size=50 bbWeight=4 PerfScore 55.00 G_M18482_IG07: + mov ecx, ebx + sub ecx, edx + ;; size=4 bbWeight=0.50 PerfScore 0.25 +G_M18482_IG08: + cmp ecx, ebx + jae SHORT G_M18482_IG13 + ;; size=4 bbWeight=1.50 PerfScore 1.88 +G_M18482_IG09: + mov ecx, ecx + align [3 bytes for IG10] + ;; size=5 bbWeight=0.75 PerfScore 0.38 +G_M18482_IG10: + cmp byte ptr [r15+rcx], 0 + je SHORT G_M18482_IG12 + ;; size=7 bbWeight=3.96 PerfScore 11.88 +G_M18482_IG11: mov edx, ecx shr edx, 3 lea edi, [8*rdx] mov esi, ecx sub esi, edi cmp edx, dword ptr [rax+0x08] - jae SHORT G_M18482_IG10 + jae SHORT G_M18482_IG14 lea rdx, bword ptr [rax+rdx+0x10] mov edi, 1 shlx edi, edi, esi movzx rdi, dil or byte ptr [rdx], dil ;; size=43 bbWeight=1.98 PerfScore 19.30 -G_M18482_IG08: +G_M18482_IG12: inc ecx cmp ecx, ebx - jb SHORT G_M18482_IG06 + jb SHORT G_M18482_IG10 ;; size=6 bbWeight=3.96 PerfScore 5.94 -G_M18482_IG09: +G_M18482_IG13: vzeroupper pop rbx pop r15 pop rbp ret ;; size=8 bbWeight=1 PerfScore 3.50 -G_M18482_IG10: +G_M18482_IG14: call CORINFO_HELP_RNGCHKFAIL int3 ;; size=6 bbWeight=0 PerfScore 0.00 -; Total bytes of code 184, prolog size 14, PerfScore 110.99, instruction count 61, allocated bytes for code 184 (MethodHash=aedbb7cd) for method System.Collections.BitArray:CreateArray(System.ReadOnlySpan`1[bool],byref):byte[] (FullOpts) +; Total bytes of code 198, prolog size 14, PerfScore 113.87, instruction count 68, allocated bytes for code 198 (MethodHash=aedbb7cd) for method System.Collections.BitArray:CreateArray(System.ReadOnlySpan`1[bool],byref):byte[] (FullOpts) ; ============================================================ ```