llvm/llvm-project

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

Open

#168.828 aperta il 20 nov 2025

Vedi su GitHub
 (16 commenti) (0 reazioni) (1 assegnatario)C++ (10.782 fork)batch import
backend:X86good first issuellvm:SelectionDAGmissed-optimization

Metriche repository

Star
 (26.378 star)
Metriche merge PR
 (Merge medio 1g 2h) (1000 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Investiga il backend x86 di LLVM per trovare dove viene generato movzx e determinare se i bit superiori sono irrilevanti o sovrascritti. Esamina i pattern DAG o ISel lowering in cui movzx è seguito da or e verifica se movzx può essere eliminato quando la destinazione viene sovrascritta.
Tech stack
cpp
Dominio
backend
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
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
GitLLVM
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60