dotnet/runtime

Could emit branchless form of i <= 0b00111 && j <= 0b00111 for unsigned integers

Open

#92 692 ouverte le 27 sept. 2023

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)C# (5 445 forks)batch import
area-CodeGen-coreclrhelp wantedtenet-performance

Métriques du dépôt

Stars
 (17 886 stars)
Métriques de merge PR
 (Merge moyen 12j 11h) (661 PRs mergées en 30 j)

Description

Similar to #61940, equivalent to (i | j) <= 0b0011, the constant value can be 2^n-1, also the condition can be <.

For example:

bool Test0(ulong x, ulong y) => x <= UInt32.MaxValue && y <= UInt32.MaxValue;

bool Test1(ulong x, ulong y) => (x | y) <= UInt32.MaxValue;

The JIT could produce the same output for the above, but currently not, see https://godbolt.org/z/G9Taxqcox

C:Test(ulong,ulong):ubyte:this (FullOpts):
       mov      eax, 0xD1FFAB1E
       cmp      rsi, rax
       ja       SHORT G_M42689_IG05
       mov      eax, 0xD1FFAB1E
       cmp      rdx, rax
       setbe    al
       movzx    rax, al
       ret      
G_M42689_IG05:
       xor      eax, eax
       ret      

C:Test1(ulong,ulong):ubyte:this (FullOpts):
       or       rdx, rsi
       mov      eax, 0xD1FFAB1E
       cmp      rdx, rax
       setbe    al
       movzx    rax, al
       ret

Guide contributeur

Direction de recherche
Examinez la phase d'abaissement du JIT pour les conditions booléennes afin de voir comment gérer les vérifications de plage comme `x <= constant && y <= constant` et les transformer en `(x | y) <= constant` lorsque la constante est 2^n 1.
Stack technique
csharp
Domaine
backend
Type d'issue
Performance
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
C#JIT compilation
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40