tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
2bdf1abe786379c4986003e53bf8b1b51026f9c9
hakorune/src/mir
History
nyash-codex 2bdf1abe78 feat(mir): Phase 1 - Loop Canonicalizer type definitions 
Implements the foundation for loop canonicalization - a preprocessing
layer that decomposes AST loops into normalized skeleton representation
to prevent combinatorial explosion in pattern detection.

## Implementation (Phase 1)

Created `src/mir/loop_canonicalizer/mod.rs` with:

1. **Core Types**:
   - `LoopSkeleton`: Canonical loop representation
   - `SkeletonStep`: Step kinds (HeaderCond, BreakCheck, ContinueCheck, Update, Body)
   - `UpdateKind`: Carrier update classification (ConstStep, Conditional, Arbitrary)
   - `ExitContract`: Exit presence tracking (break/continue/return)
   - `CarrierSlot`: Loop variables with roles and update rules
   - `CarrierRole`: Semantic roles (Counter, Accumulator, ConditionVar, Derived)
   - `CapturedSlot`: Outer scope variable capture

2. **Capability Guard**:
   - `RoutingDecision`: Pattern selection with diagnostics
   - `capability_tags` module: Standardized Fail-Fast vocabulary
     (CAP_MISSING_CONST_STEP, CAP_MISSING_SINGLE_BREAK, etc.)

3. **Helper Methods**:
   - Skeleton counting (break_checks, continue_checks)
   - Carrier name extraction
   - Exit contract queries
   - Display implementations for debugging

4. **Unit Tests**: 6 tests covering all basic functionality

## Design Principles

- **Input**: AST only (no JoinIR dependencies)
- **Output**: LoopSkeleton only (no BlockId/ValueId)
- **Boundary**: Clear separation from lowering concerns
- **Fail-Fast**: Capability-based rejection with clear reasons

## Next Steps (Not in this commit)

- Phase 2: `LoopCanonicalizer::canonicalize(ast) -> Result<LoopSkeleton>`
- Phase 3: Test with skip_whitespace fixture
- Phase 4: Integration with existing JoinIR lowering

## Acceptance Criteria

✅ `cargo build --release` succeeds
✅ `cargo test --release --lib` passes (1039 tests)
✅ 6 new unit tests for loop_canonicalizer pass
✅ No regressions in existing tests

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

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
2025-12-16 04:59:26 +09:00
..
builder
docs: add loop canonicalizer SSOT + MirBuilder entrypoint
2025-12-16 04:37:47 +09:00
definitions
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
if_in_loop_phi
feat(joinir): Phase 183 LoopBodyLocal role separation + test fixes
2025-12-08 23:43:26 +09:00
instruction
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
instruction_kinds
feat(mir): Phase 63-6-1/2 MIR Phi type_hint field & JoinIR propagation
2025-11-30 04:35:40 +09:00
join_ir
refactor(mir): Remove TypeContext legacy fields (Phase 2-3/7)
2025-12-15 23:27:24 +09:00
join_ir_vm_bridge
feat(joinir): Phase 90 P0 - ParseStringComposite pattern
2025-12-14 03:36:45 +09:00
join_ir_vm_bridge_dispatch
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
loop_canonicalizer
feat(mir): Phase 1 - Loop Canonicalizer type definitions
2025-12-16 04:59:26 +09:00
loop_pattern_detection
fix(test): Phase 131-11-E テスト修正 - is_infinite_loop 初期化追加
2025-12-14 19:02:18 +09:00
lowerers
Phase 30.1 & 73: Stage-3 features env and JoinIR flag cleanup
2025-11-30 14:30:28 +09:00
optimizer_passes
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
passes
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
phi_core
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
region
refactor(mir): Remove CompilationContext legacy fields (Phase 2-7/7) 🎉
2025-12-16 04:07:17 +09:00
ssot
feat(mir): Phase 69-3 Fix MIR non-determinism with BTreeSet
2025-11-30 09:38:28 +09:00
utils
fix(mir): Complete ScopeContext migration (Phase 2-4 補完)
2025-12-16 03:33:56 +09:00
verification
Normalize passes keep spans and clean warnings
2025-11-24 15:02:51 +09:00
aot_plan_import.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
basic_block.rs
feat(joinir): Phase 246-EX Part 2 - Exit PHI & step scheduling fixes
2025-12-11 17:16:10 +09:00
binding_id.rs
feat(mir): Phase 74 - BindingId infrastructure (dev-only)
2025-12-13 05:34:56 +09:00
builder.rs
refactor(mir): Remove CompilationContext legacy fields (Phase 2-7/7) 🎉
2025-12-16 04:07:17 +09:00
cfg_extractor.rs
feat(joinir): Phase 171-C-3 LoopBodyCarrierPromoter integration with Pattern 2/4
2025-12-07 23:45:55 +09:00
control_form.rs
feat(runtime): Phase 103 CoreServices Optional化 - Memory Constraints対応
2025-12-03 13:59:06 +09:00
effect.rs
feat(runtime): Phase 103 CoreServices Optional化 - Memory Constraints対応
2025-12-03 13:59:06 +09:00
function_emission.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
function.rs
fix(joinir): Use BTreeMap for MirModule.functions deterministic iteration
2025-12-05 17:22:14 +09:00
hints.rs
refactor(mir): Extract MetadataContext from MirBuilder (Phase 136 follow-up 6/7)
2025-12-15 22:03:34 +09:00
instruction_introspection.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
instruction.rs
feat(mir): Phase 63-6-1/2 MIR Phi type_hint field & JoinIR propagation
2025-11-30 04:35:40 +09:00
join_ir_ops.rs
feat(joinir): Phase 188-Impl-3 Pattern 3 (Loop with If-Else PHI) implementation
2025-12-05 15:45:42 +09:00
join_ir_runner.rs
feat(joinir): Phase 53 - SELFHOST-NORM-DEV-EXPAND implementation
2025-12-12 16:40:20 +09:00
loop_api.rs
fix(mir): Complete ScopeContext migration (Phase 2-4 補完)
2025-12-16 03:33:56 +09:00
loop_form.rs
Span trace utilities and runner source hint
2025-11-24 14:17:02 +09:00
mod.rs
feat(mir): Phase 1 - Loop Canonicalizer type definitions
2025-12-16 04:59:26 +09:00
naming.rs
Span trace utilities and runner source hint
2025-11-24 14:17:02 +09:00
optimizer_stats.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
optimizer.rs
feat(runtime): Phase 103 CoreServices Optional化 - Memory Constraints対応
2025-12-03 13:59:06 +09:00
printer_helpers.rs
feat(mir): Phase 63-6-1/2 MIR Phi type_hint field & JoinIR propagation
2025-11-30 04:35:40 +09:00
printer.rs
refactor(joinir): Phase 189 - Remove hardcoded 'sum' variable, generalize exit PHI connection
2025-12-05 19:39:54 +09:00
query.rs
Normalize passes keep spans and clean warnings
2025-11-24 15:02:51 +09:00
slot_registry.rs
feat: スモークテストv2実装＆Phase 15.5後のプラグイン対応
2025-09-24 09:30:42 +09:00
spanned_instruction.rs
Normalize passes keep spans and clean warnings
2025-11-24 15:02:51 +09:00
types.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
value_id.rs
test(mir): fix test compilation after Call instruction callee field addition
2025-11-17 09:45:03 +09:00
value_kind.rs
Normalize passes keep spans and clean warnings
2025-11-24 15:02:51 +09:00
verification_types.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
verification.rs
feat(runtime): Phase 103 CoreServices Optional化 - Memory Constraints対応
2025-12-03 13:59:06 +09:00