add a comment

yamt · May 9, 2023 · 54df758 · 54df758
1 parent 189dee5
commit 54df758
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/wat/wasi/unaligned.wat b/wat/wasi/unaligned.wat
@@ -1,3 +1,20 @@
+;; unaligned wasi structures should cause a trap.
+;; cf. https://github.com/WebAssembly/WASI/pull/523
+;;
+;; toywasm   trap
+;; wasm3     no trap
+;; wamr      no trap
+;; wasmtime  trap
+;; wasmer    no trap
+;; wazero    no trap
+;; wasmi_cli trap
+
+;; % toywasm --wasi unaligned.wasm
+;; Error: [trap] unknown (18): unaligned access to address 2 in a host call (expected alignment 4)
+;; 2023-05-09 23:57:25 (1683644245.034127000): instance_execute_func failed with -1
+;; 2023-05-09 23:57:25 (1683644245.034808000): invoke failed with -1
+;; %
+
 (module
   (func $fd_write (import "wasi_snapshot_preview1" "fd_write") (param i32 i32 i32 i32) (result i32))
   (func $proc_exit (import "wasi_snapshot_preview1" "proc_exit") (param i32))