dotnet/runtime

Recognize Shift(vec, vec(8)) and replace with Shift(vec, 8)

Open

#99.009 aperta il 27 feb 2024

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)C# (5445 fork)batch import
area-CodeGen-coreclrhelp wanted

Metriche repository

Star
 (17.886 star)
Metriche merge PR
 (Merge medio 12g 11h) (661 PR mergiate in 30 g)

Descrizione

	public static Vector<uint> Method(Vector<uint> v)
	{
		return Method<Struct>(v);
	}

	public static Vector<uint> Method<TStruct>(Vector<uint> v) where TStruct : IInterface
	{
		return v << TStruct.Shift;
	}

	public interface IInterface
	{
		public static abstract int Shift { get; }
	}

	public struct Struct : IInterface
	{
		public static int Shift => 8;
	}

Actual codegen:

C.Method(System.Numerics.Vector`1<UInt32>)
    L0000: vzeroupper
    L0003: vmovups ymm0, [rdx]
    L0007: mov eax, 8
    L000c: vmovd xmm1, eax
    L0010: vpslld ymm0, ymm0, xmm1
    L0014: vmovups [rcx], ymm0
    L0018: mov rax, rcx
    L001b: vzeroupper
    L001e: ret

Expected codegen:

C.Method(System.Numerics.Vector`1<UInt32>)
    L0000: vzeroupper
    L0003: vmovups ymm0, [rdx]
    L0007: vpslld ymm0, ymm0, 8
    L000c: vmovups [rcx], ymm0
    L0010: mov rax, rcx
    L0013: vzeroupper
    L0016: ret

Guida contributor

Direzione di ricerca
Indaga la gestione da parte del JIT delle operazioni di spostamento vettoriale in cui la quantità di spostamento è un membro astratto statico dell'interfaccia. Determina dove nel pipeline di generazione del codice il vettore di spostamento viene materializzato e modifica l'abbassamento o la selezione delle istruzioni per riconoscere i valori di spostamento costanti ed emettere l'istruzione shl immediata invece di caricarla in un registro.
Tech stack
csharp
Dominio
backend
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#JIT compiler conceptsx86 assembly
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30