Unnecessary sign-extension for some never-negative expressions

Beschreibung

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    

Contributor Guide

Tech Stack

csharp

Domain

performance

Issue Type

performance

SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.

3

Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.

1-3 hours

AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.

fresh

KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.

clear

Voraussetzungen

Basic C# knowledgeUnderstanding of assembly language

EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.

55

Research-Richtung

This issue concerns an unnecessary sign extension (cdqe) in the JIT compiled code for certain integer divisions when the result is never negative. The fix likely involves modifying the JIT optimizer in src/coreclr/jit/ to recognize that expressions like BitOperations.TrailingZeroCount(mask) / sizeof(ushort) produce a non negative result and thus omit the sign extension. Review the existing JIT handling of sign extension (e.g., in morph.cpp or lsra.cpp) and test the change with the provided code snippets.