dotnet/runtime

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

Open

#99.009 aberto em 27 de fev. de 2024

Ver no GitHub
 (2 comments) (0 reactions) (0 assignees)C# (5.445 forks)batch import
area-CodeGen-coreclrhelp wanted

Métricas do repositório

Stars
 (17.886 stars)
Métricas de merge de PR
 (Mesclagem média 12d 11h) (661 fundiu PRs em 30d)

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

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

Guia do colaborador

Direção de pesquisa
Investigue o tratamento do JIT para operações de deslocamento de vetor onde a quantidade de deslocamento é um membro de interface abstrato estático. Determine onde no pipeline de geração de código o vetor de deslocamento é materializado e modifique o lowering ou a seleção de instruções para reconhecer valores de deslocamento constantes e emitir a instrução shl imediata em vez de carregar em um registrador.
Pilha de tecnologia
csharp
Domain
backend
Tipo Issue
Performance
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C#JIT compiler conceptsx86 assembly
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30