FuelLabs/sway

Add "definition dominates use" check in the IR verifier

Aperta

#3164 aperta il 27 ott 2022

Vedi su GitHub
 (2 commenti) (1 reazione) (0 assegnatari)Rust (5421 fork)batch import
compilercompiler: irenhancementgood first issueteam:compiler

Metriche repository

Star
 (61.702 stelle)
Metriche merge PR
 (Merge medio 22h 6m) (16 PR mergiate in 30 g)

Descrizione

With #3128 , we now have a dominator tree. Use that to verify that every SSA definition dominates its uses.

Guida contributor

Direzione di ricerca
Rivedi l'implementazione dell'albero dei dominatori dalla PR #3128. Quindi esplora il modulo di verifica IR in sway core/src/ir/ per comprendere come sono strutturate le definizioni SSA. Cerca le funzioni di verifica esistenti per modellare il nuovo controllo. Il problema è chiaro ma richiede familiarità con gli interni del compilatore.
Tech stack
rust
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-2 giorni
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
RustCompilerSSADominator Tree
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30