FuelLabs/sway

Add "definition dominates use" check in the IR verifier

Open

#3,164 opened on Oct 27, 2022

View on GitHub
 (2 comments) (1 reaction) (0 assignees)Rust (61,702 stars) (5,421 forks)batch import
compilercompiler: irenhancementgood first issueteam:compiler

Description

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

Contributor guide