nyash-codex 66098fb9c8 feat(joinir): Phase 41-4 NestedIfMerge implementation ...

Phase 41-4.2: AST→JoinIR Frontend
- Add lower_nested_if_pattern() for parse_loop function
- Add try_match_nested_if_pattern() pattern detection (2-4 level nesting)
- Add collect_nested_if_structure() recursive helper
- Dev flag gating: HAKO_JOINIR_NESTED_IF=1 required

Phase 41-4.3: JoinIR→MIR Bridge
- Implement NestedIfMerge → multi-level Branch + Copy conversion
- Creates cascading condition checks with single else block
- Generates proper control flow: cond→level_n→then/else→merge

Phase 41-4.4: A/B Tests
- test_nested_if_pattern_detection_two_levels: 2-level detection
- test_nested_if_merge_lowering: Full lowering with dev flag
- test_nested_if_pattern_single_level_does_not_match: Negative case

All tests pass. Ready for parse_loop integration testing.

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

Co-Authored-By: Claude <noreply@anthropic.com>

2025-11-28 12:45:19 +09:00

..

frontend

feat(joinir): Phase 41-4 NestedIfMerge implementation

2025-11-28 12:45:19 +09:00

lowering

feat(joinir): Phase 34-6 MethodCall 構造と本物の substring 意味論

2025-11-27 17:05:46 +09:00

json.rs

feat(joinir): Phase 41-4.1 Add NestedIfMerge JoinInst variant

2025-11-28 12:32:25 +09:00

mod.rs

feat(joinir): Phase 41-4.1 Add NestedIfMerge JoinInst variant

2025-11-28 12:32:25 +09:00

verify.rs

Phase 33-3.2: phi_invariants/conservative の JoinIR 側への移譲

2025-11-27 03:55:45 +09:00