dotnet/runtime

Implicit tail calls block folding of intrinsics in value numbering

Open

#52.280 aberto em 5 de mai. de 2021

Ver no GitHub
 (1 comment) (0 reactions) (1 assignee)C# (5.445 forks)batch import
Priority:3area-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

Reproduction:

private static double NotFolded(double a)
{
    var b = 1.0d;
    if (a is 0)
        return 0;

    return Math.Cos(b);
}

Codegen, Windows x64:

G_M24041_IG01:
       vzeroupper 
G_M24041_IG02:
       vxorps   xmm1, xmm1
       vucomisd xmm0, xmm1
       jp       SHORT G_M24041_IG05
       jne      SHORT G_M24041_IG05
G_M24041_IG03:
       vxorps   xmm0, xmm0
G_M24041_IG04:
       ret      
G_M24041_IG05:
       vmovsd   xmm0, qword ptr [reloc @RWD00]
G_M24041_IG06:
       jmp      System.Math:Cos(double):double

Value numbering today supports folding some intrinsics implemented by user calls. However, that support is only for actual GT_INTRINSIC nodes. Tail calls to intrinsics implemented via user calls are imported as plain GT_CALLs, blocking the optimization.

Issue is for tracking purposes, I do not expect this to be a big problem in real-world scenarios.

category:cq theme:tail-call skill-level:beginner cost:small impact:small

Guia do colaborador

Direção de pesquisa
Examine o código do importador em src/coreclr/jit/importer.cpp por volta das linhas 4620-4626, onde chamadas de cauda para intrínsecas são importadas como GT CALL em vez de GT INTRINSIC. Rastreie por que isso bloqueia a dobragem na numeração de valores e implemente uma correção para importá las como GT INTRINSIC, para que a numeração de valores possa dobrá las.
Pilha de tecnologia
csharp
Domain
backend
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
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#Git
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
80