llvm/llvm-project

[DAG] isGuaranteedNotToBeUndefOrPoison - add ISD::BITCAST handling with DemandedElts

Chiusa

#161.512 aperta il 1 ott 2025

Vedi su GitHubGuida contributor
 (6 commenti) (0 reazioni) (0 assegnatari)C++ (10.782 fork)batch import
good first issuellvm:SelectionDAG

Metriche repository

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

Descrizione

Currently ISD::BITCAST nodes fallback to the default implementation (which tests all elements), but we should be rescaling the input demanded elts to match the vector element count of the input operand, typically with APIntOps::ScaleBitMask but there will need to be special case handling of src/dst scalar types as well.

Test coverage will be the main issue

Guida contributor

Direzione di ricerca
Studia l'implementazione di isGuaranteedNotToBeUndefOrPoisonDAG in SelectionDAG/DAGCombiner.cpp e comprendi come DemandedElts viene utilizzato per altri nodi ISD. Consulta APIntOps::ScaleBitMask per il ridimensionamento. Per i tipi scalari, gestisci i casi speciali in cui la sorgente o la destinazione è scalare.
Tech stack
cpp
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
5
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
C++LLVMCompiler Optimization
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20