FuelLabs/sway

Add "definition dominates use" check in the IR verifier

オープン

#3,164 opened on 2022/10/27

GitHub で見る
 (2 件のコメント) (1 件のリアクション) (0 人の担当者)Rust (5,421 件のフォーク)batch import
compilercompiler: irenhancementgood first issueteam:compiler

Repository metrics

Stars
 (61,702 個のスター)
PR merge metrics
 (平均マージ 22h 6m) (30d で 16 merged PRs)

説明

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
Issue 種別
機能
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-2日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
RustCompilerSSADominator Tree
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
30