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

Métriques du dépôt

Stars

17 886 stars (17 886 stars)

Métriques de merge PR

Merge moyen 12j 11h (Merge moyen 12j 11h)661 PRs mergées en 30 j (661 PRs mergées en 30 j)

Description

	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;
	}

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

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

Guide contributeur

Direction de recherche

Examinez le traitement par le JIT des opérations de décalage vectoriel où la quantité de décalage est un membre d'interface abstrait statique. Déterminez où dans le pipeline de génération de code le vecteur de décalage est matérialisé et modifiez le lowering ou la sélection d'instructions pour reconnaître les valeurs de décalage constantes et émettre l'instruction shl immédiate au lieu de charger dans un registre.

Stack technique

csharp

Domaine

backend

Type d'issue

Performance

DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.

4

Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.

Une demi journée

Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.

Active

ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.

Claire

Prérequis

C#JIT compiler conceptsx86 assembly

Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.

30