-
-
Notifications
You must be signed in to change notification settings - Fork 0
[#446 Tier 1 #5 follow-up] wasm_export_call Zig-FFI smoke-test #501
Copy link
Copy link
Open
Labels
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked uptier-1AS bindings top-50 Tier 1 (idaptik blockers)AS bindings top-50 Tier 1 (idaptik blockers)
Description
Activity
Metadata
Metadata
Assignees
Labels
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked uptier-1AS bindings top-50 Tier 1 (idaptik blockers)AS bindings top-50 Tier 1 (idaptik blockers)
Context
Closed #455 shipped via PR #467 (Deno-ESM
wasm_export_call+WasmValue) with the existing JS-side smoke-test (tests/codegen-deno/wasm_call.{affine,harness.mjs}) exercising the Deno-ESM path.Per the owner scope breakdown, a Zig-FFI-side smoke-test was deferred to a follow-up:
This issue tracks that. It is the test counterpart to the sister "Zig FFI implementation for wasm_export_call dispatch" follow-up — neither lands without the other.
Scope
An integration test (or
justrecipe) that:wasm_export_calldispatcher (from the sister implementation follow-up).wasm_export_callvia the linear-memory wasm backend (NOT the Deno-ESM backend).envimport object.WasmValuekind (i32 / i64 / f32 / f64).Acceptance
tests/(or under a Zig-FFI-aware test driver — the existing tree convention will dictate).env.wasm_export_callimport contract under the linear-memory wasm backend.STDLIB-EXTERN-AUDIT.adoc.Refs
tests/codegen-deno/wasm_call.{affine,harness.mjs}