dotnet/runtime

Unnecessary sign-extension for some never-negative expressions

Open

#119.680 aperta il 13 set 2025

Vedi su GitHub
 (1 commento) (1 reazione) (0 assegnatari)C# (5445 fork)batch import
area-CodeGen-coreclrhelp wanted

Metriche repository

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

Descrizione

nint M1(uint mask) {
    return BitOperations.TrailingZeroCount(mask) / sizeof(ushort);
}

nint M2(uint mask) {
    return (nint)(uint.TrailingZeroCount(mask) / sizeof(ushort));
}

C:M1(uint):nint:this (FullOpts):
       xor      eax, eax
       tzcnt    eax, esi
       shr      eax, 1
       cdqe     
       ret      

C:M2(uint):nint:this (FullOpts):
       xor      eax, eax
       tzcnt    eax, esi
       shr      eax, 1
       ret

godbolt.org

Guida contributor

Direzione di ricerca
Indaga perché l'estensione del segno (istruzione cdqe) viene emessa dopo la divisione per M1 ma non per M2 e come eliminarla per i casi in cui il risultato non è mai negativo.
Tech stack
csharp
Dominio
performance
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
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#Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75