dotnet/runtime

Implicit tail calls block folding of intrinsics in value numbering

Open

#52.280 geöffnet am 5. Mai 2021

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (1 zugewiesene Person)C# (5.445 Forks)batch import
Priority:3area-CodeGen-coreclrhelp wanted

Repository-Metriken

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

Beschreibung

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

Contributor Guide

Research-Richtung
Untersuche den Importer Code in src/coreclr/jit/importer.cpp um die Zeilen 4620-4626, wo Tail Calls zu intrinsischen Funktionen als GT CALL statt als GT INTRINSIC importiert werden. Verfolge, warum dies die Faltung in der Wertnummerierung blockiert und implementiere eine Korrektur, um sie als GT INTRINSIC zu importieren, damit die Wertnummerierung sie falten kann.
Tech Stack
csharp
Domain
backend
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
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#Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
80