feat(joinir): Phase 61-7.0 Delete dead code facades (-39 lines)
Phase 61-7.0: Dead code facade 関数削除 ## 削除内容 ### phi_core/mod.rs - ✅ build_if_phis() 削除(L53-64, 呼び出し元ゼロ) - ✅ build_exit_phis_for_control() 削除(L66-87, 直接 loopform_builder:: を使用) - ✅ 未使用 imports 削除(ControlForm, BasicBlockId, ValueId, BTreeMap) - ✅ 削除記録コメント追加 ## 削減効果 - **純削減**: -39 行 - **Dead code 根絶**: facade 層の完全削除 ## 技術的背景 - build_if_phis(): 呼び出し元ゼロ、PhiBuilderBox::generate_phis() で代替 - build_exit_phis_for_control(): loop_form.rs は loopform_builder:: を直接呼出 ## テスト結果 - ✅ ビルド成功(0 error, 0 warning) Phase 61-7 の最初のステップ完了! 次: Phase 61-7.1 JoinIR カバレッジ分析
This commit is contained in:
@ -38,50 +38,11 @@ pub mod phi_builder_box;
|
||||
// Phase 26-F-4: Loop Exit Liveness Box - exit後で使われる変数決定箱
|
||||
pub mod loop_exit_liveness;
|
||||
|
||||
// Public surface for callers that want a stable path:
|
||||
// Phase 26-F: 軽量ラッパだけ用意しておき、内部構造に触らずに
|
||||
// 「どこから読めばよいか」の入口を固定する。
|
||||
|
||||
use crate::mir::control_form::ControlForm;
|
||||
use crate::mir::{BasicBlockId, ValueId};
|
||||
use std::collections::BTreeMap;
|
||||
|
||||
/// 統一 If PHI 入口(薄いラッパ)
|
||||
///
|
||||
/// - 役割: PhiBuilderBox を内部で生成して If PHI を張るだけ。
|
||||
/// - 挙動: 既存の PhiBuilderBox::generate_phis と同一(Loop 形は未対応のまま)。
|
||||
pub fn build_if_phis<O>(
|
||||
ops: &mut O,
|
||||
form: &ControlForm,
|
||||
pre_snapshot: &BTreeMap<String, ValueId>,
|
||||
post_snapshots: &[BTreeMap<String, ValueId>],
|
||||
) -> Result<(), String>
|
||||
where
|
||||
O: crate::mir::phi_core::phi_builder_box::PhiBuilderOps,
|
||||
{
|
||||
let mut box_ = crate::mir::phi_core::phi_builder_box::PhiBuilderBox::new();
|
||||
box_.generate_phis(ops, form, pre_snapshot, post_snapshots)
|
||||
}
|
||||
|
||||
/// 統一 Exit PHI 入口(ControlForm ラッパ)
|
||||
///
|
||||
/// - 役割: LoopFormBuilder::build_exit_phis を ControlForm ベースで呼ぶ薄いラッパ。
|
||||
/// - 挙動: 既存の build_exit_phis_for_control と完全に同じで、単にパスを固定する。
|
||||
pub fn build_exit_phis_for_control<O>(
|
||||
loopform: &crate::mir::phi_core::loopform_builder::LoopFormBuilder,
|
||||
ops: &mut O,
|
||||
form: &ControlForm,
|
||||
exit_snapshots: &[(BasicBlockId, BTreeMap<String, ValueId>)],
|
||||
branch_source_block: BasicBlockId,
|
||||
) -> Result<(), String>
|
||||
where
|
||||
O: crate::mir::phi_core::loopform_builder::LoopFormOps,
|
||||
{
|
||||
crate::mir::phi_core::loopform_builder::build_exit_phis_for_control(
|
||||
loopform,
|
||||
ops,
|
||||
form,
|
||||
exit_snapshots,
|
||||
branch_source_block,
|
||||
)
|
||||
}
|
||||
// Phase 61-7.0: Dead code 削除
|
||||
// 削除された facade 関数:
|
||||
// - build_if_phis(): 呼び出し元ゼロ、PhiBuilderBox::generate_phis() で代替
|
||||
// - build_exit_phis_for_control(): 呼び出し元は loopform_builder:: を直接使用
|
||||
//
|
||||
// 直接呼び出し推奨:
|
||||
// - If PHI: PhiBuilderBox::generate_phis() (if_lowering.rs)
|
||||
// - Exit PHI: loopform_builder::build_exit_phis_for_control() (loop_form.rs)
|
||||
|
||||
Reference in New Issue
Block a user