dotnet/runtime

JIT doesn't fold constant multiplication to single instruction

Open

#91.824 aperta il 8 set 2023

Vedi su GitHub
 (5 commenti) (0 reazioni) (0 assegnatari)C# (5445 fork)batch import
Priority:3area-CodeGen-coreclrhelp wantedtenet-performance

Metriche repository

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

Descrizione

Description

Consider the following code:

int A(int i)
{
    return i * 4 * 8;
}

int B(int i)
{
    return i * (4 * 8);
}

These two functions should result in identical results.

But the JIT output slightly different code for each:

Program.<<Main>$>g__A|0_0(Int32)
    L0000: mov eax, ecx
    L0002: shl eax, 2
    L0005: shl eax, 3
    L0008: ret

Program.<<Main>$>g__B|0_1(Int32)
    L0000: mov eax, ecx
    L0002: shl eax, 5
    L0005: ret

This is on: ; Core CLR 7.0.823.31807 on x64

Analysis

Given that multiplication is communicative, and that this is a power of two operation, I would expect the JIT to fold them to the 2nd version, without the parenthesis.

The first version takes two instructions instead of 1.

Guida contributor

Direzione di ricerca
Indaga la logica di piegatura delle costanti del JIT per la moltiplicazione per costanti che sono potenze di due. Il problema mostra che quando la moltiplicazione e' concatenata (i * 4 * 8), il JIT non riesce a combinare gli spostamenti in un unico spostamento (i * 32). Esamina la fase di ottimizzazione del JIT per la moltiplicazione costante e assicurati che venga eseguita la piegatura associativa.
Tech stack
csharp
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
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#
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30