dotnet/runtime

[JIT] X64 - Possible comparison optimization using `and` with a small type

Open

#81.520 aperta il 2 feb 2023

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)C# (5445 fork)batch import
arch-x64area-CodeGen-coreclrhelp wantedtenet-performance

Metriche repository

Star
 (17.886 star)
Metriche merge PR
 (Merge medio 12g 11h) (661 PR mergiate in 30 g)

Descrizione

using System.Runtime.CompilerServices;

static class Program
{
    [MethodImpl(MethodImplOptions.NoInlining)]
    public static void SideEffect()
    {
    }

    public static bool Test(byte p, int i)
    {
        if ((p & 0xffffff00) != 0)
        {
            SideEffect();
            return true;
        }
        return false;
    }
}

The (p & 0xffffff00) != 0 condition in this case can never be true. So, we could optimize this by folding it into false thus will eliminate the true path.

This will probably not have a lot of impact.

Guida contributor

Direzione di ricerca
Ispeziona la condizione `(p & 0xffffff00) != 0` per una variabile byte p, che è sempre falsa. Implementa un'ottimizzazione di constant folding nel JIT per eliminare questo controllo.
Tech stack
csharpcpp
Dominio
compilers
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
1
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Meno di 1 ora
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#basic compiler knowledge
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
80