tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
4cc324c06e2a3026465dc525f9f7d00ef75435f6
hakorune/src/mir
History
tomoaki fa00ed3018 refactor(joinir): Split contract_checks.rs into 2 files (Phase 286C-4.3) 
Split 1,239-line contract_checks.rs into responsibility-based modules
for better maintainability and clarity.

## Changes

1. **New file: debug_assertions.rs** (440 lines)
   - 6 debug-only verification functions (panic! on violation)
   - All functions guarded with #[cfg(debug_assertions)]
   - Excluded from release builds
   - Functions:
     * verify_loop_header_phis()
     * verify_exit_line()
     * verify_exit_phi_no_collision()
     * verify_valueid_regions()
     * verify_condition_bindings_consistent()
     * verify_header_phi_dsts_not_redefined()

2. **Updated: contract_checks.rs** (1,239 → 848 lines, -391 lines)
   - Kept 6 Fail-Fast functions (Result<(), String>)
   - Kept all 13 unit tests
   - Removed debug-only functions and imports

3. **Updated: mod.rs**
   - Added `mod debug_assertions;` declaration

## Responsibility Split

- **contract_checks.rs**: Fail-Fast contracts (production)
  - Return errors with diagnostic messages
  - Run in both debug and release builds

- **debug_assertions.rs**: Debug-only assertions (development)
  - Panic on contract violations
  - Excluded from release builds (#[cfg(debug_assertions)])

## Benefits

- Single Responsibility Principle (each file <850 lines)
- Clear separation: Fail-Fast vs Debug-only
- Improved maintainability (localized changes)
- Better build performance (debug code stripped in release)

## Test Results

- ✅ Build: 0 errors
- ✅ Smoke tests: 45/46 PASS (no regression)
- ❌ core_direct_array_oob_set_rc_vm: FAIL (existing known issue)

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

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
2025-12-25 06:08:46 +09:00
..
builder
refactor(joinir): Split contract_checks.rs into 2 files (Phase 286C-4.3)
2025-12-25 06:08:46 +09:00
control_tree
feat(phase285w): Implement weak x unary operator syntax
2025-12-24 17:21:21 +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
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +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
chore(joinir): Phase 286C-5 Step 3 - Remove unused imports
2025-12-25 05:18:06 +09:00
join_ir_vm_bridge
refactor(cleanup): Phase 285A1 Post-Implementation Cleanup
2025-12-24 03:44:56 +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
fix(joinir): stabilize Phase 256 merge (jump_args, DCE, func names)
2025-12-20 11:01:48 +09:00
loop_pattern_detection
fix(joinir): improve Pattern3 classification to exclude simple conditional assignment (Phase 264 P0)
2025-12-21 11:49:03 +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
refactor(mir): phase260 p0.1 strangler hardening + smoke fixtures
2025-12-21 05:47:37 +09:00
passes
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +09:00
phi_core
feat(llvm/phi): Phase 277 P1 - fail-fast validation for PHI strict mode
2025-12-22 14:48:37 +09:00
region
feat(weak): Phase 285A1 - Weak Field Contract (Strict Type Enforcement)
2025-12-24 03:17:30 +09:00
ssot
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +09:00
type_propagation
feat(mir): Phase 279 P0 - Type propagation pipeline SSOT unification
2025-12-22 15:34:03 +09:00
utils
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +09:00
verification
refactor(plan): Phase 273 P3+ - Legacy code removal
2025-12-23 00:11:20 +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(mir): Phase 260 P2 - Delete BasicBlock.jump_args, unify to terminator SSOT
2025-12-21 09:39:20 +09:00
binding_id.rs
feat(mir): Phase 74 - BindingId infrastructure (dev-only)
2025-12-13 05:34:56 +09:00
builder.rs
feat(phase285): Complete weak reference implementation (VM + LLVM harness)
2025-12-25 00:11:34 +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
refactor(edgecfg): add Frag/ExitKind API entrypoint (Phase 264 design-first)
2025-12-21 12:49:53 +09:00
effect.rs
feat(runtime): Phase 103 CoreServices Optional化 - Memory Constraints対応
2025-12-03 13:59:06 +09:00
function_emission.rs
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +09:00
function.rs
feat(phase285): Complete weak reference implementation (VM + LLVM harness)
2025-12-25 00:11:34 +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
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +09:00
join_ir_ops.rs
feat(parser): Phase 285A1.4 & A1.5 - Weak field sugar + Parser hang fix
2025-12-24 07:44:50 +09:00
join_ir_runner.rs
refactor(mir): Phase 139-P3-B - RoutingDecision を enum 対応 + レガシー削除
2025-12-16 07:02:14 +09:00
loop_api.rs
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +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 279 P0 - Type propagation pipeline SSOT unification
2025-12-22 15:34:03 +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
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +09:00
printer_helpers.rs
feat(weak): Phase 285A1 - Weak Field Contract (Strict Type Enforcement)
2025-12-24 03:17:30 +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
feat(select): Task 2-E complete - VM/LLVM backend support for Select instruction
2025-12-20 03:20:55 +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
feat(weak): Phase 285A1 - Weak Field Contract (Strict Type Enforcement)
2025-12-24 03:17:30 +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(joinir): Phase 257 P1.1/P1.2/P1.3 - Pattern6 SSOT + LoopHeaderPhi CFG fix
2025-12-20 23:30:27 +09:00