dotnet/runtime

CSE seems to fail when writing `x / cns` and `x % cns` for unsigned integers

Open

#119.131 aperta il 27 ago 2025

Vedi su GitHub
 (2 commenti) (2 reazioni) (0 assegnatari)C# (5445 fork)batch import
area-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

CSE seems to fail if I write something like:

uint Natural(uint index)
{
    uint arrIndex = index / 3;
    uint bitIndex = index % 3;

    return arrIndex + bitIndex;
}

(it does the division twice).

This seems to only be an issue for unsigned integers not using DivRem.

Godbolt.

Configuration

Seems to reproduce on any .NET version on godbolt - I've only checked the issue on x64.

Regression?

Probably not.

Analysis

@tannergooding was saying it seems that UMOD might be missing early expansion altogether & it's getting carried down to rationalisation.

Guida contributor

Direzione di ricerca
Investigare l'espansione anticipata di UMOD nel compilatore JIT per garantire che venga gestita prima della fase CSE, prevenendo divisioni ridondanti per interi senza segno.
Tech stack
csharp
Dominio
backendperformance
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
GitC#
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
35