tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
df7f63f3c0883bddd4d7e9f87daffa45583f71ee
hakorune/CURRENT_TASK.md
tomoaki a04b48416e fix(joinir): Phase 287 P2 - Pattern6 nested loop latch overwrite fix 
Fix infinite loop in Pattern6 (nested loop minimal) caused by main→loop_step
overwriting k_inner_exit→loop_step latch values.

Root cause: JoinIR main entry block was incorrectly treated as BackEdge,
causing it to overwrite the correct latch incoming values set by the true
back edge (k_inner_exit → loop_step).

Solution:
- Restrict latch recording to TailCallKind::BackEdge only
- Treat only MAIN's entry block as entry-like (not loop_step's entry block)
- Add debug_assert! to detect double latch set in future

Refactoring:
- Extract latch recording to latch_incoming_recorder module (SSOT)
- Add boundary.loop_header_func_name for explicit header identification
- Strengthen tail_call_classifier with is_source_entry_like parameter

Tests: apps/tests/phase1883_nested_minimal.hako → RC:9 (was infinite loop)
Smoke: 154/154 PASS, no regressions

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
2025-12-27 09:39:29 +09:00

5.4 KiB
Raw Blame History

CURRENT_TASK (moved)

Status: SSOT
Scope: Repo root の旧リンク互換。現行の入口は docs/development/current/main/10-Now.md。

  • Now: docs/development/current/main/10-Now.md
  • Backlog: docs/development/current/main/30-Backlog.md

Handoff (current)

状況（SSOT）

2025-12-27: Phase 188.3 / Phase 287 P2 COMPLETE (Pattern6 nested loop: merge/latch fixes) Pattern6（1-level nested loop）の JoinIR→bridge→merge 経路で発生していた undefined ValueId と vm step budget exceeded（無限ループ）を解消。apps/tests/phase1883_nested_minimal.hako が RC=9 を返し、quick 154 PASS を維持。

  • SSOT（mergeの契約）:
    • latch_incoming を記録してよいのは TailCallKind::BackEdge のみ（LoopEntry は上書き禁止）
    • LoopEntry 判定は “JoinIR main の entry block のみ” を entry-like とする（誤分類で latch が壊れるのを防止）
    • latch 二重設定は debug_assert! で fail-fast（回帰検知）
  • 変更箇所:
    • src/mir/builder/control_flow/joinir/merge/instruction_rewriter.rs
    • src/mir/builder/control_flow/joinir/merge/loop_header_phi_info.rs
  • 検証（DONE）:
    • 再現とPHI確認（Pattern6）
    • latch記録条件を修正（BackEdgeのみ）
    • デバッグ出力を撤去（恒常出力なし）
    • quick/fixtureで検証（quick 154 PASS / fixture RC=9）
    • docsを締めて次の指示書を用意（refactor挟み込み用）

2025-12-26: Phase 286 P2.2 COMPLETE (Hygiene: extractor重複排除 + router小整理) Pattern1/Pattern4 の Plan/Frag PoC 完了後、extractor の extract_loop_increment_plan を common_helpers.rs に統一、router の 3行パターン（normalize→verify→lower）を lower_via_plan() ヘルパーで共通化。~65行削減、quick 154 PASS 維持。

2025-12-26: Phase 286 P2.3 COMPLETE (Pattern9 AccumConstLoop Plan化 PoC) Pattern9 (AccumConstLoop) を Plan/Frag SSOT に移行完了。PHI 2本（loop_var, acc_var）、const/var 両方 OK。Pattern9 は Pattern1 より先にチェック（より具体的なパターン）。quick 154 PASS 維持。

  • 現行の入口: docs/development/current/main/10-Now.md
  • Phase 286 詳細: docs/development/current/main/phases/phase-286/README.md
  • 次の候補: docs/development/current/main/30-Backlog.md
  • Design goal: docs/development/current/main/design/join-explicit-cfg-construction.md

直近の道筋（JoinIR / Normalized）

設計方針メモ（SSOT候補）

  • ExprLowererBox（式SSOT）

    • 役割: AST(expr) → (prelude: Vec<Inst>, value: ValueId)（ANF含む）
    • pure/impure/whitelist/strict の契約を集約（入口SSOT）

  • ConditionLowererBox（条件→分岐SSOT）

    • 役割: AST(cond) → BranchPlan（短絡なら分岐語彙で組む）
    • 評価順は ExprLowererBox に委譲（ANFで順序固定）
    • &&/|| は制御として扱い、式で無理しない

  • ControlLowererBox（制御SSOT）

    • 役割: StepNode/ControlTree → JoinIR（継続 + env）
    • if/loop はここ、条件の中身は ConditionLowererBox に委譲

  • Phase 139: if-only post_k の return lowering を ReturnValueLowererBox に統一（DONE）

    • docs/development/current/main/phases/phase-139/README.md

  • Phase 140: NormalizedExprLowererBox 初版（pure expression のみ）（DONE）

    • SSOT: docs/development/current/main/design/normalized-expr-lowering.md
    • docs/development/current/main/phases/phase-140/README.md

  • Phase 141 P0: impure 拡張点（contract）を SSOT 化（Call/MethodCall はまだ out-of-scope）（DONE）

    • docs/development/current/main/phases/phase-141/README.md

  • Phase 141 P1: “既知 intrinsic だけ” を許可して段階投入（DONE）

    • docs/development/current/main/phases/phase-141/README.md

  • Phase 141 P1.5: known intrinsic registry + available_inputs 3-source merge + diagnostics（DONE）

    • docs/development/current/main/phases/phase-141/README.md

  • Phase 142-loopstmt P0: 正規化単位を statement（loop 1個）へ寄せる（DONE）

    • docs/development/current/main/phases/phase-142-loopstmt/README.md

  • Phase 142-loopstmt P1: LLVM EXE smoke（同 fixture）を追加（DONE）

    • docs/development/current/main/phases/phase-142-loopstmt/README.md

  • Phase 141 P2+: Call/MethodCall（effects + typing）を分離して段階投入

    • Historical context: docs/development/current/main/investigations/joinir-generalization-study.md

  • Phase 143-loopvocab P0/P1: loop 内 if/break/continue の語彙追加（DONE）

    • docs/development/current/main/phases/phase-143-loopvocab/README.md

  • Phase 143-loopvocab P2: else 対称化（B-C / C-B）（DONE）

    • docs/development/current/main/phases/phase-143-loopvocab/README.md

  • Phase 145-anf P0/P1/P2: ANF（impure hoist + 再帰的線形化）（DONE）

    • docs/development/current/main/phases/phase-145-anf/README.md

  • Phase 146（in progress）: Loop/If 条件式へ ANF を横展開（順序固定と診断）

    • docs/development/current/main/phases/phase-146/README.md

Resolved (historical)

WSL EXDEV / cargo build failure (resolved)

  • 2025-12-18: Invalid cross-device link (os error 18) により cargo build が失敗する事象があったが、wsl --shutdown 再起動後に復旧。
  • 再発時のワークアラウンド: tools/build_llvm.sh は EXDEV を避けるため TMPDIR を target/... 配下へ寄せる。