tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
ce2baa0d4724c0f4d890ab6023c1368d6e7775d4
hakorune/src
History
tomoaki ce2baa0d47 feat(llvm): Phase 285 P3 - KeepAlive/ReleaseStrong LLVM implementation 
Phase 285 P3: LLVM One-Pass (VM/LLVM一気通貫の最小ゲート)

## 実装内容

### 1. LLVM Backend (Python)
- src/llvm_py/instructions/lifecycle.py: NEW
  - lower_keepalive(): no-op (DCE/liveness only)
  - lower_release_strong(): ny_release_strong() 呼び出し
- src/llvm_py/builders/instruction_lower.py:
  - KeepAlive/ReleaseStrong ディスパッチエントリ追加

### 2. Runtime (Rust)
- crates/nyash_kernel/src/lib.rs:
  - ny_release_strong(handle: i64): handles::drop() 呼び出し
  - Phase 287対応（変数上書きセマンティクス）

### 3. MIR JSON Serialization
- src/runner/mir_json_emit.rs:
  - KeepAlive/ReleaseStrong JSON emit 追加（両関数）
  - {"op":"keepalive","values":[...]}
  - {"op":"release_strong","values":[...]}

## テスト結果

✅ **phase285_p2_weak_upgrade_fail_llvm**: PASS (exit 1, weak_to_strong null)
⏸️ **phase285_p2_weak_upgrade_success_llvm**: SKIP (--version に features 表示なし)
⏸️ **phase284_p2_return_in_loop_llvm**: SKIP (同上)

## SKIP理由（--version feature表示問題）

テストスクリプトが `--version | grep "features.*llvm"` で環境チェックするが、
現在の --version は "nyash 1.0" のみ出力。LLVM feature有効でも SKIP される。

**対応方針**: Phase 285 P3 目的（KeepAlive/ReleaseStrong LLVM実装）達成。
--version feature表示は Phase 286以降で対応予定。

## 検証

- cargo build --release --features llvm: OK
- weak_upgrade_fail_llvm: PASS (VM/LLVM parity確認)
- quick gate: 154/154 PASS (退行なし)

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

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
2025-12-26 14:34:05 +09:00
..
abi
feat(joinir): Phase 183 LoopBodyLocal role separation + test fixes
2025-12-08 23:43:26 +09:00
ast
feat(parser): Phase 152-A - Grouped assignment expression (箱化モジュール化)
2025-12-04 13:32:58 +09:00
backend
refactor(mir): Separate KeepAlive/ReleaseStrong instructions (Phase 287)
2025-12-26 14:12:58 +09:00
bid
feat: Phase 2.4 レガシーアーカイブ整理完了（151MB削減）
2025-09-24 14:13:15 +09:00
bid-codegen-from-copilot
docs(refactoring): Phase 65 - Comprehensive refactoring audit + stub documentation
2025-12-12 23:11:45 +09:00
bid-converter-copilot
feat: Extract BID converter from Copilot and prepare plugin migration
2025-08-18 20:53:48 +09:00
bin
feat(joinir): Phase 213-2 Step 2-2 & 2-3 Data structure extensions
2025-12-10 00:01:53 +09:00
box_factory
refactor(config): Phase 286A/B/287 - Config system consolidation
2025-12-24 08:43:48 +09:00
box_operators
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
boxes
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
cli
feat(repl): Phase 288 P1 - Add CLI entry point
2025-12-25 13:28:41 +09:00
config
feat(phase285): Complete weak reference implementation (VM + LLVM harness)
2025-12-25 00:11:34 +09:00
core
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
debug
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
grammar
feat(llvm/phi): Phase 277 P1 - fail-fast validation for PHI strict mode
2025-12-22 14:48:37 +09:00
host_providers
feat(phi): Phase 25.1 - BTreeMap移行 (21ファイル、80%決定性達成)
2025-11-22 05:33:40 +09:00
llvm_py
feat(llvm): Phase 285 P3 - KeepAlive/ReleaseStrong LLVM implementation
2025-12-26 14:34:05 +09:00
macro
feat(phase285): Complete weak reference implementation (VM + LLVM harness)
2025-12-25 00:11:34 +09:00
messaging
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
mir
refactor(mir): Separate KeepAlive/ReleaseStrong instructions (Phase 287)
2025-12-26 14:12:58 +09:00
parser
chore(joinir): Phase 286C-5 Step 3 - Remove unused imports
2025-12-25 05:18:06 +09:00
providers
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
ring0
mirbuilder: integrate Normalizer (toggle), add tag-quiet mode, share f64 canonicalization; expand canaries; doc updates for quick timeout + dev toggles; Phase 21.5 optimization readiness
2025-11-10 23:17:46 +09:00
runner
feat(llvm): Phase 285 P3 - KeepAlive/ReleaseStrong LLVM implementation
2025-12-26 14:34:05 +09:00
runtime
chore(joinir): Phase 286C-5 Step 3 - Remove unused imports
2025-12-25 05:18:06 +09:00
semantics
archive: Move JIT/Cranelift to archive during Phase 15 focus
2025-09-23 02:15:56 +09:00
stdlib
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
syntax
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
tests
refactor(mir): phase260 p0 edge-args plumbing (strangler) + ssot api + docs
2025-12-21 04:34:22 +09:00
tokenizer
Phase 30.1 & 73: Stage-3 features env and JoinIR flag cleanup
2025-11-30 14:30:28 +09:00
transport
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
using
Phase 30.1 & 73: Stage-3 features env and JoinIR flag cleanup
2025-11-30 14:30:28 +09:00
ast.rs
feat(phase285w): Implement weak x unary operator syntax
2025-12-24 17:21:21 +09:00
benchmarks.rs
chore: Phase 25.2関連ドキュメント更新＆レガシーテストアーカイブ整理
2025-11-20 03:56:12 +09:00
box_arithmetic.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
box_operators.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
box_trait.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
channel_box.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
environment.rs
fix(env): improve Environment::set scope resolution (partial)
2025-11-13 18:55:14 +09:00
exception_box.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
finalization.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
instance_v2.rs
feat(joinir): Phase 183 LoopBodyLocal role separation + test fixes
2025-12-08 23:43:26 +09:00
lib.rs
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
main.rs
Phase 33 NORM canon test: enforce normalized dev route for P1/P2/JP mini
2025-12-11 20:54:33 +09:00
method_box.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
operator_traits.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
runner_plugin_init.rs
JoinIR/SSA/Stage-3: sync CURRENT_TASK and dev env
2025-12-01 11:10:46 +09:00
scope_tracker.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
type_box.rs
perf(typebox): reduce clones with Arc<str> for MethodSignature.name and TypeBox.methods keys; API kept stable. tools: add all-cases empty-PHI smoke runner. parser(box): extract birth_once cycle validation into helper
2025-09-19 12:13:43 +09:00
value.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00
wasm_test.rs
chore(fmt): add legacy stubs and strip trailing whitespace to unblock cargo fmt
2025-09-17 07:43:07 +09:00