JIT: Delegate GDV check is not being hoisted outside the loop #109379
Description
Description
Repro:
AggregateDelegate(Enumerable.Range(0, 100_000).ToArray(), (acc, v) => acc + v, 0);
[MethodImpl(MethodImplOptions.NoInlining)]
public static T AggregateDelegate<T>(T[] ar, Func<T, T, T> func, T seed)
{
for (int i = 0; i < ar.Length; i++)
{
seed = func(seed, ar[i]);
}
return seed;
}Codegen on .NET 9:
; Assembly listing for method MyLinq:AggregateDelegate[int](int[],System.Func`3[int,int,int],int):int (Tier1)
; Emitting BLENDED_CODE for X64 with AVX - Windows
; Tier1 code
; optimized code
; optimized using Dynamic PGO
; rsp based frame
; fully interruptible
; with Dynamic PGO: fgCalledCount is 100
; 0 inlinees with PGO data; 1 single block inlinees; 0 inlinees without PGO data
G_M000_IG01: ;; offset=0x0000
push rdi
push rsi
push rbx
sub rsp, 32
mov rbx, rdx
G_M000_IG02: ;; offset=0x000A
mov esi, dword ptr [rcx+0x08]
test esi, esi
jle SHORT G_M000_IG06
G_M000_IG03: ;; offset=0x0011
lea rdi, bword ptr [rcx+0x10]
G_M000_IG04: ;; offset=0x0015
mov ecx, dword ptr [rdi]
mov rax, 0x7FFB9A950918
cmp qword ptr [rbx+0x18], rax ; <-- delegate GDV check, should be hoisted outside the loop
jne SHORT G_M000_IG08
add r8d, ecx
G_M000_IG05: ;; offset=0x002A
add rdi, 4
dec esi
jne SHORT G_M000_IG04
G_M000_IG06: ;; offset=0x0032
mov eax, r8d
G_M000_IG07: ;; offset=0x0035
add rsp, 32
pop rbx
pop rsi
pop rdi
ret
G_M000_IG08: ;; offset=0x003D
mov edx, r8d
mov r8d, ecx
mov rcx, gword ptr [rbx+0x08]
call [rbx+0x18]System.Func`3[int,int,int]:Invoke(int,int):int:this
mov r8d, eax
jmp SHORT G_M000_IG05Configuration
.NET 9 RC2
Regression?
No