29ae922a57
Phase 30.x: Stage-1 ループでも PHI バグが発生することを確認・JoinIR で設計根絶可能を実証 変更内容: - src/tests/joinir_vm_bridge_stage1_usingresolver.rs: 新規作成（モジュール化・削除容易） - empty_entries: VM → "void" (PHI bug, expected "init") - with_entries: VM → "void" (PHI bug, expected "ABC") - lowering_sanity: 常時実行の構造検証 - src/runner/modes/vm.rs: Stage1UsingResolverBox.resolve_for_source/5 検出・JoinIR lowering 確認 - src/tests/mod.rs: モジュール追加（1行で削除可能） - docs: Phase 30 TASKS.md に L-0.5 追加 発見: Stage-1 ループでも PHI バグが発生 → JoinIR で設計根絶可能を確認 (ArrayBox/MapBox 引数対応は TODO) テスト結果: ✅ empty_entries ... ok (VM="void", expected="init", PHI bug detected) ✅ with_entries ... ok (VM="void", expected="ABC", PHI bug detected) ✅ lowering_sanity ... ok (JoinIR structure: 2 functions) 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
56 lines
2.7 KiB
Rust
56 lines
2.7 KiB
Rust
#[cfg(feature = "aot-plan-import")]
|
|
pub mod aot_plan_import;
|
|
pub mod box_tests;
|
|
pub mod host_reverse_slot;
|
|
pub mod identical_exec;
|
|
pub mod identical_exec_collections;
|
|
pub mod identical_exec_instance;
|
|
pub mod identical_exec_string;
|
|
pub mod joinir_json_min; // Phase 30.x: JoinIR JSON シリアライズテスト
|
|
pub mod joinir_runner_min; // Phase 27.2: JoinIR 実行器 A/B 比較テスト
|
|
pub mod joinir_runner_standalone; // Phase 27-shortterm S-3.2: JoinIR Runner 単体テスト
|
|
pub mod joinir_vm_bridge_skip_ws; // Phase 27-shortterm S-4.4: JoinIR → Rust VM Bridge A/B Test
|
|
pub mod joinir_vm_bridge_trim; // Phase 30.x: JoinIR → Rust VM Bridge A/B Test for trim
|
|
pub mod joinir_vm_bridge_stage1_usingresolver; // Phase 30.x: JoinIR → Rust VM Bridge A/B Test for Stage-1
|
|
pub mod json_lint_stringutils_min_vm; // Phase 21.7++: using StringUtils alias resolution fix
|
|
pub mod mir_breakfinder_ssa;
|
|
pub mod mir_funcscanner_parse_params_trim_min;
|
|
pub mod mir_funcscanner_skip_ws;
|
|
pub mod mir_funcscanner_ssa;
|
|
pub mod mir_funcscanner_trim_min;
|
|
pub mod mir_joinir_funcscanner_append_defs; // Phase 27.14: FuncScannerBox._append_defs JoinIR変換
|
|
pub mod mir_joinir_funcscanner_trim; // Phase 27.1: FuncScannerBox.trim JoinIR変換
|
|
pub mod mir_joinir_min; // Phase 26-H: JoinIR型定義妥当性確認
|
|
pub mod mir_joinir_skip_ws; // Phase 27.0: minimal_ssa_skip_ws JoinIR変換
|
|
pub mod mir_joinir_stage1_using_resolver_min; // Phase 27.12: Stage1UsingResolverBox.resolve_for_source JoinIR変換
|
|
pub mod mir_joinir_stageb_body; // Phase 28: StageBBodyExtractorBox.build_body_src JoinIR変換
|
|
pub mod mir_joinir_stageb_funcscanner; // Phase 28: StageBFuncScannerBox.scan_all_boxes JoinIR変換
|
|
pub mod mir_locals_ssa;
|
|
pub mod mir_loopform_complex;
|
|
pub mod mir_loopform_conditional_reassign;
|
|
pub mod mir_loopform_exit_phi;
|
|
pub mod mir_stage1_cli_emit_program_min;
|
|
pub mod mir_stage1_staticcompiler_receiver; // Phase 25.1: StaticCompiler receiver型推論バグ回帰防止
|
|
pub mod mir_stage1_using_resolver_verify;
|
|
pub mod mir_stageb_like_args_length;
|
|
pub mod mir_stageb_loop_break_continue;
|
|
pub mod mir_stageb_string_utils_skip_ws; // Phase 25.1: skip_ws Void < 0 TypeError 再現
|
|
pub mod mir_static_box_naming;
|
|
pub mod mir_value_kind; // Phase 26-A-5: ValueId型安全化統合テスト
|
|
pub mod namingbox_static_method_id; // Phase 21.7++ Phase 1: StaticMethodId structure tests
|
|
pub mod nyash_abi_basic;
|
|
pub mod parser_static_box_members;
|
|
pub mod plugin_hygiene;
|
|
pub mod policy_mutdeny;
|
|
pub mod stage1_cli_entry_ssa_smoke;
|
|
pub mod sugar_basic_test;
|
|
pub mod sugar_coalesce_test;
|
|
pub mod sugar_comp_assign_test;
|
|
pub mod sugar_pipeline_test;
|
|
pub mod sugar_range_test;
|
|
pub mod sugar_safe_access_test;
|
|
pub mod typebox_tlv_diff;
|
|
pub mod vtable_map_ext;
|
|
pub mod vtable_strict;
|
|
pub mod vtable_string;
|