llvm/llvm-project

[x86] Eliminate `movzx` when upper part of register is irrelevant or overwritten

Open

#168 828 ouverte le 20 nov. 2025

Voir sur GitHub
 (16 commentaires) (0 réactions) (1 assigné)C++ (10 782 forks)batch import
backend:X86good first issuellvm:SelectionDAGmissed-optimization

Métriques du dépôt

Stars
 (26 378 stars)
Métriques de merge PR
 (Merge moyen 1j 2h) (1 000 PRs mergées en 30 j)

Description

export fn foo(x: u8) u32 {
    return @ctz(x >> 1);
}

foo:
        shr     dil
        movzx   eax, dil
        or      eax, 256
        tzcnt   eax, eax
        ret

Could be:

foo:
        shr     dil
        or      edi, 256
        tzcnt   eax, edi
        ret

The compiler could also look for things like or eax, -256 and eliminate movzx eax, al since the relevant bits are overwritten anyway.

Guide contributeur

Direction de recherche
Examinez le backend x86 de LLVM pour trouver où movzx est généré et déterminer si les bits supérieurs sont sans importance ou écrasés. Recherchez les motifs de DAG ou de descente ISel où movzx est suivi de or, et vérifiez si movzx peut être éliminé lorsque la destination est écrasée.
Stack technique
cpp
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.
1-3 heures
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
GitLLVM
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60