dotnet/runtime

Implicit tail calls block folding of intrinsics in value numbering

Open

#52 280 ouverte le 5 mai 2021

Voir sur GitHub
 (1 commentaire) (0 réactions) (1 assigné)C# (5 445 forks)batch import
Priority:3area-CodeGen-coreclrhelp wanted

Métriques du dépôt

Stars
 (17 886 stars)
Métriques de merge PR
 (Merge moyen 12j 11h) (661 PRs mergées en 30 j)

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

Guide contributeur

Direction de recherche
Examinez le code de l'importateur dans src/coreclr/jit/importer.cpp vers les lignes 4620-4626 où les appels terminaux aux intrinsèques sont importés en tant que GT CALL au lieu de GT INTRINSIC. Tracez pourquoi cela bloque le pliage dans la numérotation des valeurs et implémentez une correction pour les importer en tant que GT INTRINSIC afin que la numérotation des valeurs puisse les plier.
Stack technique
csharp
Domaine
backend
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
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#Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
80