hakorune/docs/how-to/smokes.md

Smokes — How‑To（前提→手順→検証）

目的

• 代表スモークを素早く回して、回帰を検知する。

前提

• リリースビルド済み: cargo build --release
• LLVM を用いた AOT/ハーネス系は integration プロファイルで必要に応じて利用

手順（v2 ランナー推奨）

1. クイック確認（VM/動的プラグイン）
   • 実行: tools/smokes/v2/run.sh --profile quick
   • 代表的な言語機能・using の確認。冗長ログはフィルタ済み
2. プラグイン検証（VM/動的）
   • 実行: tools/smokes/v2/run.sh --profile plugins
   • フィクスチャ .so は自動ビルド・配置を試行（無ければ SKIP）
3. 統合確認（LLVM/LlvmLite ハーネス含む）
   • 実行: tools/smokes/v2/run.sh --profile integration
   • 必要に応じて PHI-on/off の比較や AOT 代表ケースを実行

手動スモーク（例）

• Core (LLVM): examples/llvm11_core_smoke.hako
• Async (LLVM only):
  • apps/tests/async-await-min/main.hako
  • apps/tests/async-spawn-instance/main.hako
  • apps/tests/async-await-timeout-fixed/main.hako（NYASH_AWAIT_MAX_MS=100）

アーカイブ（非推奨）

• 旧ランナー（JIT/Cranelift 時代）は削除または archive に移動済み。v2 ランナーのみを使用

便利フラグ

• NYASH_LLVM_USE_HARNESS=1: integration プロファイルで llvmlite ハーネスを使う
• NYASH_MIR_NO_PHI=1, NYASH_VERIFY_ALLOW_NO_PHI=1: レガシー PHI-off（edge-copy）モード
• NYASH_USING_DYLIB_AUTOLOAD=1: using kind="dylib" の自動ロードを有効化（dev 向け・既定OFF）

検証

• 0 で成功、非 0 で失敗（CI 連携可）