Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

仕様カバレッジ

zwasm は WebAssembly 3.0 への完全準拠を目指しています。すべての仕様テストが macOS ARM64 および Linux x86_64 で合格しています。

テスト結果: 62,158 / 62,158 (100.0%)

コア仕様

機能オペコード数ステータス
MVP (core)172完了
Sign extension7完了
Non-trapping float-to-int8完了
Bulk memory9完了
Reference types5完了
Multi-value-完了
コア合計201+100%

SIMD

機能オペコード数ステータス
SIMD (v128)236完了
Relaxed SIMD20完了
SIMD 合計256100%

Wasm 3.0 プロポーザル

9 つの Wasm 3.0 プロポーザルすべてが完全に実装されています:

プロポーザルオペコード数仕様テストステータス
Memory64既存を拡張Pass完了
Tail calls2Pass完了
Extended const既存を拡張Pass完了
Branch hintingメタデータセクションPass完了
Multi-memory既存を拡張Pass完了
Relaxed SIMD2085/85完了
Exception handling3Pass完了
Function references5104/106完了
GC31Pass完了

追加プロポーザル

プロポーザルオペコード数ステータス
Threads79 (0xFE prefix)完了 (310/310 spec)
Wide arithmetic4完了 (99/99 e2e)
Custom page sizes-完了 (18/18 e2e)

WASI Preview 1

46 / 46 システムコール実装済み (100%):

カテゴリ関数
args2args_get, args_sizes_get
environ2environ_get, environ_sizes_get
clock2clock_time_get, clock_res_get
fd14read, write, close, seek, stat, prestat, readdir, …
path8open, create_directory, remove, rename, symlink, …
proc2exit, raise
random1random_get
poll1poll_oneoff
sock4NOSYS スタブ

Component Model

機能ステータス
WIT パーサー完了
バイナリデコーダー完了
Canonical ABI完了
WASI P2 アダプター完了
CLI サポート完了

121 件の Component Model テストが合格しています。

WAT パーサー

テキストフォーマットパーサーは以下をサポートしています:

  • v128 を含むすべての値型
  • 名前付きローカル、グローバル、関数、型
  • インラインエクスポートとインポート
  • S 式構文とフラット構文
  • データセクションと要素セクション
  • すべてのプレフィックスオペコード: 0xFC (bulk memory, trunc_sat), 0xFD (SIMD + lane ops), 0xFE (atomics)
  • Wasm 3.0 オペコード: try_table, call_ref, br_on_null, throw_ref など
  • GC プレフィックス (0xFB): GC 型アノテーションと struct/array エンコーディング
  • 100% WAT ラウンドトリップ: 62,156/62,156 の仕様テストモジュールが正しくパース・再エンコード

オペコード総数

カテゴリ
Core201+
SIMD256
GC31
Threads79
その他14+
合計581+