FuelLabs/sway

Add "definition dominates use" check in the IR verifier

Offen

#3.164 geöffnet am 27.10.2022

Auf GitHub ansehen
 (2 Kommentare) (1 Reaktion) (0 zugewiesene Personen)Rust (5.421 Forks)batch import
compilercompiler: irenhancementgood first issueteam:compiler

Repository-Metriken

Stars
 (61.702 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 22h 6m) (16 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Überprüfe die Implementierung des Dominator Baums aus PR #3128. Erkunde dann das IR Verifizierungsmodul in sway core/src/ir/, um zu verstehen, wie SSA Definitionen strukturiert sind. Suche nach vorhandenen Verifizierungsfunktionen, um die neue Prüfung zu modellieren. Das Problem ist klar, erfordert jedoch Vertrautheit mit den Compiler Interna.
Tech Stack
rust
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
RustCompilerSSADominator Tree
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30