FuelLabs/sway

Add "definition dominates use" check in the IR verifier

开放

#3,164 创建于 2022年10月27日

在 GitHub 查看
 (2 条评论) (1 个反应) (0 位负责人)Rust (5,421 个派生)batch import
compilercompiler: irenhancementgood first issueteam:compiler

仓库指标

星标
 (61,702 个星标)
PR 合并指标
 (平均合并 22小时 6分钟) (30 天内合并 16 个 PR)

描述

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

贡献者指南

研究方向
审查 PR #3128 中的支配树实现。然后探索 sway core/src/ir/ 中的 IR 验证器模块，以理解 SSA 定义的结构。寻找现有的验证函数来建模新的检查。问题很明确，但需要熟悉编译器内部结构。
技术栈
rust
领域
backend
议题类型
功能
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-2 天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
RustCompilerSSADominator Tree
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
30