Files

nyash-codex 71ff310471 feat(aot): add backpropagation pass to CollectionsHot for improved type inference

Implement call-site type signal backpropagation to reduce Unknown receiver types
and increase Array/Map get/set/has externcall conversion coverage.

**Implementation:**
- New function: tmap_backprop (collections_hot.hako:82-164)
  - Propagates type signals from call sites: push→Array, stringy key→Map, linear index→Array
  - Fixpoint iteration (max 2 rounds)
  - Control: NYASH_AOT_CH_BACKPROP=1 (default ON)
- Enhanced is_stringy_key_in_block
  - Detects toString method, StringBox const, binop + StringBox const
- Diagnostic logging with NYASH_AOT_CH_TRACE=1
  - "[aot/collections_hot] backprop recv=<vid> => arr|map via method=<mname>"

**Results:**
Test case: /tmp/arraymap_min.hako
- ORIG: 7 boxcalls, 0 externcalls
- PREP: 1 boxcall, 6 externcalls (86% reduction)
- jsonfrag: 0 (structure preserved)

Benchmark: tools/perf/microbench.sh --case arraymap --exe
- ORIG: 8 boxcalls
- PREP: 2 boxcalls, 6 externcalls (75% reduction)
- Array: push(1), get(1), set(1) = 3 externcalls
- Map: set(2), get(1) = 3 externcalls
- Remaining: toString(2) = 2 boxcalls (expected)

**Benefits:**
- Unknown receiver type reduction via call-site analysis
- Improved optimization coverage for Array/Map operations
- Opt-in design, CFG unchanged, jsonfrag=0

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

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

2025-11-14 06:42:52 +09:00

boxes

feat(aot): add backpropagation pass to CollectionsHot for improved type inference

2025-11-14 06:42:52 +09:00

emit

Phase 20.34: wire Host providers via externs (env.mirbuilder.emit, env.codegen.emit_object); implement MirBuilder provider (Program→MIR JSON) and ny-llvmc wrapper; update Hako boxes (MirBuilderBox, LLVMEmitProviderBox) to delegate; adjust canaries to PASS (MirBuilder PASS, LLVM SKIP on unresolved or missing ny-llvmc).

2025-11-02 20:06:00 +09:00

examples

hv1 verify: add direct route (env JSON) and clean inline path; fix v1 phi incoming order; make test_runner use hv1 direct; add phase2037 phi canaries; load modules.workspace exports for alias; update docs (phase-20.38, source extensions) and CURRENT_TASK

2025-11-04 16:33:04 +09:00

instructions

2025-11-04 16:33:04 +09:00