llvm/llvm-project

[DAG] ISD::matchUnaryPredicate / matchUnaryFpPredicate / matchBinaryPredicate - add DemandedElts variant

Open

#181.658 aperta il 16 feb 2026

Vedi su GitHub
 (6 commenti) (1 reazione) (1 assegnatario)C++ (10.782 fork)batch import
good first issuellvm:SelectionDAG

Metriche repository

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

Descrizione

The ISD::match*Predicate methods help us to perform all_of tests on scalar/splat/build_vector constants with a callback test.

It'd be very useful if we could provide variants of these that take a DemandedElts argument (similar to #181485 and other DAG value tracking methods), to allow us to restrict the build_vector tests to specific elements.

For instance, this would allow us to remove the vector constant checks from isKnownToBeAPowerOfTwo entirely and just use the initial matchUnaryPredicate call at the start of the method:

https://github.com/RKSimon/llvm-project/blob/20aff2085c358d3e112b245494161ddb9ffe0410/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp#L4682-L4696

scalar/splat cases can just ignore the DemandedElts argument, but we should assert the build_vector are the same size as the DemandedElts APInt

Guida contributor

Direzione di ricerca
Studia il metodo ISD::matchUnaryPredicate esistente e il pattern DemandedElts usato in metodi simili (es. #181485). Quindi aggiungi sovraccarichi che accettano un argomento DemandedElts e aggiorna di conseguenza la gestione di build vector.
Tech stack
cpp
Dominio
backend
Tipo issue
Funzionalità
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
GitC++LLVM
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
45