llvm/llvm-project

[DAG] Add computeKnownBits(FREEZE(X)) handling

Open

#161.642 aperta il 2 ott 2025

Vedi su GitHub
 (4 commenti) (0 reazioni) (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

Similar to #161507 - add FREEZE handling to allow us to analyze demanded elements of a node through a FREEZE

The tricky bit will be to add test coverage - you will need a FREEZE node that can't be removed due to some elements possibly being undef/poison, but other elements that are not and have useful known bits data for a dependent node.

This might be easier once #161512 has landed.

Guida contributor

Direzione di ricerca
Studia le implementazioni esistenti di computeKnownBits per altri nodi in SelectionDAG, comprendi la semantica di FREEZE e scrivi codice per gestire FREEZE in computeKnownBits. Assicurati di aggiungere casi di test in cui FREEZE non può essere eliminato a causa di elementi undef/poison.
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.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
C++LLVM
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20