FuelLabs/sway

Add "definition dominates use" check in the IR verifier

Ouverte

#3 164 ouverte le 27 oct. 2022

Voir sur GitHub
 (2 commentaires) (1 réaction) (0 personne assignée)Rust (5 421 forks)batch import
compilercompiler: irenhancementgood first issueteam:compiler

Métriques du dépôt

Stars
 (61 702 étoiles)
Métriques de merge PR
 (Merge moyen 22h 6m) (16 PRs mergées en 30 j)

Description

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

Guide contributeur

Direction de recherche
Examinez l'implémentation de l'arbre de domination de la PR #3128. Explorez ensuite le module de vérification IR dans sway core/src/ir/ pour comprendre comment les définitions SSA sont structurées. Recherchez les fonctions de vérification existantes pour modéliser la nouvelle vérification. Le problème est clair mais nécessite une familiarité avec les détails internes du compilateur.
Stack technique
rust
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
RustCompilerSSADominator Tree
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30