dotnet/runtime

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

Open

#99.009 geöffnet am 27. Feb. 2024

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C# (5.445 Forks)batch import
area-CodeGen-coreclrhelp wanted

Repository-Metriken

Stars
 (17.886 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 12T 11h) (661 gemergte PRs in 30 T)

Beschreibung

	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

Contributor Guide

Research-Richtung
Untersuchen Sie die Behandlung von Vektor Shift Operationen durch den JIT, bei denen die Shift Menge ein statisches abstraktes Schnittstellenmitglied ist. Bestimmen Sie, wo im Codegenerierungs Pipeline der Shift Vektor materialisiert wird, und ändern Sie das Lowering oder die Instruktionsauswahl, um konstante Shift Werte zu erkennen und die sofortige shl Anweisung auszugeben, anstatt in ein Register zu laden.
Tech Stack
csharp
Domain
backend
Issue Type
Performance
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
C#JIT compiler conceptsx86 assembly
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30