summaryrefslogtreecommitdiff
path: root/test/wasm2c
Commit message (Collapse)AuthorAgeFilesLines
* test: Move legacy exception handling tests (NFC) (#2498)Soni L.2024-10-314-6/+6
|
* Update testsuite (#2495)Keith Winstein2024-10-3017-13/+126
| | | | | The memory64 `table.wast` test has started to depend on function-references and gc (which WABT doesn't support yet), so vendor an older version of the test.
* wasm2c: Reset the segment register after call_indirect as the register may ↵Shravan Narayan2024-10-182-0/+6
| | | | have changed
* wasm2c: Cleanup of handling of WASM_RT_USE_SEGUE macroShravan Narayan2024-10-146-180/+60
|
* wasm2c: Use wrappers for function references (#2465)Soni L.2024-09-233-3/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Clang 17(?) tightened UBSAN checks, so that you now get this: ``` - test/wasm2c/spec/call_indirect.txt expected error code 0, got 1. STDERR MISMATCH: --- expected +++ actual @@ -0,0 +1,3 @@ +out/test/wasm2c/spec/call_indirect/call_indirect.0.c:2144:12: runtime error: call to function w2c_call__indirect__0__wasm_f0 through pointer to incorrect function type 'unsigned int (*)(void *)' +/home/runner/work/wabt/wabt/out/test/wasm2c/spec/call_indirect/call_indirect.0.c:1925: note: w2c_call__indirect__0__wasm_f0 defined here +SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior out/test/wasm2c/spec/call_indirect/call_indirect.0.c:2144:12 STDOUT MISMATCH: --- expected +++ actual @@ -1 +0,0 @@ -134/134 tests passed. ``` This happens because emitted functions use a typed module instance, while function references use a `void*` instance. It is UB in C to call the former with the latter, so clang is correct here. We had to pick one of two ways to fix this: either emit `void*` wrapper functions that do the appropriate downcasting for any module functions that go into a table (potentially including imported functions), or the approach that takes significantly less effort of changing everything to `void*` and downcasting internally. ~~We obviously chose the latter.~~ We eventually started emitting wrapper functions.
* wasm2c: Add segue option to make exclusive use of the segment registerShravan Narayan2024-09-186-9/+75
|
* wasm2c: Segue support for CPUs without wrgsbase instructionsShravan Narayan2024-09-066-63/+159
|
* wasm2c: Segue optimization for modules with a single unshared memory (#2395)Shravan Narayan2024-06-266-89/+444
|
* Update testsuite and implement table64 (#2418)Sam Clegg2024-05-1513-1/+73
| | | | | See https://github.com/WebAssembly/memory64/issues/51 Includes workaround for #2422
* Fix bug in wasm2c's tail-call optimization code generation (#2420)Christian Nieves2024-05-141-1/+1
|
* Update testsuite and corresponding update to comment parser (#2416)Sam Clegg2024-05-1313-17/+17
| | | | | | | The main change here is because `comments.wast` was updated to include a "quoted" module at the top level. Previously quoted modules had only been used as part of invalid or malformed assertion expressions.
* wasm2c: atomic and shared mem operations using c11Shravan Narayan2024-01-301-20/+31
|
* wasm2c: Cleanup/separate code for heap and stack signal handlersShravan Narayan2023-12-146-6/+6
|
* wasm2c: Improve address abstraction for BE support (#2328)Soni L2023-11-146-312/+270
|
* Update testsuite (#2287)Keith Winstein2023-10-246-8/+14
|
* wasm2c: implement the tail-call proposal (#2272)Keith Winstein2023-10-248-22/+1115
|
* [wasm2c] Use wasm_rt_memcpy everywhere in generated code (#2292)Sam Clegg2023-09-095-75/+75
|
* Share reading/validation code between elem exprs & other const exprs (#2288)Keith Winstein2023-09-065-30/+95
| | | | | | This continues the work from #1783 and reduces special handling of elem exprs, by treating them the same as other const expressions (init expressions).
* c-writer.cc: clean up handling of functions & tags (NFC) (#2271)Keith Winstein2023-07-313-11/+11
|
* wasm2c: add link to clang bug on mips force read constraintShravan Narayan2023-07-305-0/+5
|
* wasm2c: ensure force read constraints compile for clang on mipsShravan Narayan2023-07-305-100/+140
|
* wasm2c: partial support for atomic memory opsShravan Narayan2023-05-172-1/+544
|
* wasm2c: include simd128.h and wasm-rt-exceptions.h where necessary (#2236)Keith Winstein2023-05-125-680/+5
| | | Co-authored-by: Shravan Narayan <shravanrn@gmail.com>
* Track use of SIMD and exceptions in IR, and CWriter includes support only if ↵Keith Winstein2023-05-085-10/+0
| | | | used (#2226)
* wasm2c: update simde submodule to 0.7.4-rc4 and add remaining tests (#2225)Keith Winstein2023-05-045-0/+25
|
* wasm2c: Enable exceptions and simd according to command line flagsShravan Narayan2023-05-025-0/+30
|
* alloca() lives in <stdlib.h> on OpenBSD too (fixes #2216) (#2217)Landry Breuil2023-04-265-5/+5
| | | per http://man.openbsd.org/alloca.3
* wasm2c: Use malloc.h instead of alloca.h for mingwShravan Narayan2023-04-245-5/+15
|
* wasm2c.includes.c: replace alloca.h with stdlib.h on FreeBSD (#2212)Petr Penzin2023-04-225-0/+10
|
* wasm2c: Separate the macros for allocation and bounds checks strategiesShravan Narayan2023-04-125-5/+5
|
* wasm2c: expose the initial and max size required from imported tablesShravan Narayan2023-04-112-4/+921
|
* wasm2c: multiple .c outputs (#2146)Yuhan Deng2023-04-058-39/+79
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * wasm2c: multiple .c outputs This enables wasm2c to have multiple .c outputs, which allows parallel compilation of the wasm2c outputs. This is useful when the input WASM module is big. wasm2c takes the number of .c outputs as an argument to `--num-outputs` (defaulting to 1). If the number is equal to 1, the .c output does not change except for two new macro declarations and the ordering of declarations and definitions. If greater than 1, wasm2c outputs change in the following ways: 1) wasm2c outputs a [module-name]-impl.h that includes any module-wide declarations, including: * content of `WriteSourceTop()` * function type declarations * tag types * tag declarations * function declarations * data segments and elem segments declarations Any static declaration become extern in this header. 2) wasm2c outputs [module-name]_i.c for i = [0, ..., number of .c outputs - 1). Any module-wide material is written to [module-name]_0.c, including: * function types, tags, data segments, elem segments * imports and exports * module initialization, instantiation and free 3) For each function implementation, wasm2c assigns it to one output .c file by sorting the function names and partitioning into roughly equal buckets. Alternately, the caller can supply its own assignment function (helpful if it wants the assignments to be more stable in the face of function insertion or deletion).
* c-writer.cc: Add local symbol prefix. (#2171)Yuhan Deng2023-03-152-22/+22
| | | | | | Add kLocalSymbolPrefix which is used for names of params, locals and stack vars. This allows c-writer to not assign global_sym_map_ to local_sym_map_ for writing each individual function, since local names can't duplicate global names.
* Add new tests (#2168)Keith Winstein2023-03-1339-2/+229
| | | | | | | | | | | | | | | | | Fixes a wasm2c bug where instantiation was initializing memories before tables. The spec requires tables to be initialized before memories (newly tested in the multi-memory linking0 test). Remaining missing tests are: - multi-memory/memory_copy1.txt (currently blank) - relaxed-simd/relaxed_dot_product.txt (we don't support the i16x8.relaxed_dot_i8x16_i7x16_s instruction) And for wasm2c only: - five SIMD tests (https://github.com/WebAssembly/wabt/pull/2021#issuecomment-1396386135) - all relaxed-simd and tail-call tests
* Update testsuite (#2167)Keith Winstein2023-03-132-2/+2
| | | | | WastParser now handles the abbreviated (no tableidx) forms of table.{get,set,size,grow,fill} (needed after https://github.com/WebAssembly/spec/pull/1582).
* wasm2c: implement the extended const expressions proposal (#2162)Keith Winstein2023-03-083-0/+18
|
* wasm2c: cap blank lines between sections (NFC) (#2148)Keith Winstein2023-02-252-3/+2
|
* c-writer.cc: sanitize module/field names for use in C comments (NFC) (#2147)Keith Winstein2023-02-251-0/+877
|
* wasm2c: prettify/change name mangling (#2142)Keith Winstein2023-02-233-62/+62
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * wasm2c: prettify/change name-mangling This refactors the wasm2c name-mangling in two big ways: 1) Removing the `Z_` prefix and trying to make the names somewhat ergonomic/pretty. Previously the `factorial` export from a `fac` module looked like this: ``` u32 Z_facZ_factorial(Z_fac_instance_t*, u32); ``` After this commit, it looks like this: ``` u32 w2c_fac_factorial(w2c_fac*, u32); ``` Symbols defined by wasm2c itself (including instantiate, free, get_func_type and the imported memory limits) are now prefixed with `wasm2c_` to avoid conflicting with names defined by the module. 2) Using globally unique (module-prefixed) names for functions, types, segments, and tags, even though they are currently static (internal-linkage) symbols in the .c output. This is preparation for a future "multiple .c output" option where these symbols will need to have external linkage.
* wasm2c: handle duplicate names between params/locals and labels (NFC) (#2137)Keith Winstein2023-02-071-0/+11
| | | | Fixes #2136
* wasm2c: add SIMD support (#2119)Willy R. Vasquez2023-01-2955-0/+658
| | | This change incorporates [simd-everywhere](https://github.com/simd-everywhere/simde) into the wasm2c output, which maps wasm SIMD C intrinsics to any supported target architecture.
* Make wasm2c output UBSAN-clean (and run w2c CI w/ UBSAN) (#2080)Keith Winstein2023-01-283-6/+24
| | | | | | We had been running the GitHub UBSAN wasm2c tests with -fsanitize=undefined but without -fno-sanitize-recover, meaning some of the spec tests were printing UBSAN error messages but still returning 0, so we weren't seeing the test failures.
* wasm2c: serialize types at wasm2c-time (#2120)Keith Winstein2023-01-253-71/+124
| | | | | | | | | | | | | | | | | | | | | | | | | | This makes wasm2c serialize each function type, rather than registering function types at module-initialization time. The serialized function type is the SHA-256 of the mangled param and result types (with a space between params and results). At runtime in call_indirect, a known (immediate) function type is compared against the function type stored in a funcref structure. For call_indirects to functions local to the module, or for any call_indirect when the toolchain merges string constants across compilation units (generally, GCC and clang), this can be done by comparing the pointers to each function type. Otherwise, the actual 32-byte values are compared. The function type IDs can be looked up at runtime with `Z_[modname]_get_func_type`, which matches the API from `wasm_rt_register_func_type`. A new `callback` example demos this. wasm2c does the SHA-256 either by linking against libcrypto or, if not available or if requested via `cmake -DUSE_INTERNAL_SHA256=ON`, by using a vendored (header-only) PicoSHA2. There is no runtime dependency on SHA-256 in the wasm2c runtime or generated modules. This eliminates the last of the per-module state, so this commit also removes the [modname]_init_module() function and the s_module_initialized bool.
* wasm2c: Initial implementation of memory64 (#2086)Sam Clegg2023-01-1216-1/+112
| | | | | | | Note, there are still some issues here that needs to be resolved, mostly about memory sandboxing (bounds checking). Since this is still experimental I've also added a `--experimental` flag to wasm2c that is required in addition to passing `--enable-memory64`.
* wasm2c: allow externref initialization when externref type is not void* (#2062)Keith Winstein2022-11-153-12/+6
|
* Update testsuite (#2054)Sam Clegg2022-11-137-2/+59
| | | | | | | | | | | | | | | As well as the testsuite update there are two notable changes that come with it here. These can both be split out an landed first if it makes sense. 1. wasm2c now supports element sections containing externref. Currently only the null reference is supported. 2. element segments no longer use funcref as the default element type but instead, unless explicitly included in the binary, the element type defaults to the type of the table in which the segment is active. Fixes: #1612 #2022
* Add wasm2c output samples to tests (#2006)Keith Winstein2022-11-083-0/+2001
|
* Add tokens test + adjust Wast lexing to match updated spec (#2001)Keith Winstein2022-10-031-0/+5
| | | | | * Update testsuite (adding new tokens.txt test) * Adjust Wast lexing to match updated spec (WebAssembly/spec#1499)
* wasm2c: implement the reference-types proposal (#1887)Keith Winstein2022-10-0335-8861/+144
| | | | Restores current versions of all non-SIMD tests in the core testsuite and multi-memory and exception-handling proposals.
* wasm2c: implement the bulk memory operations proposal (#1877)Keith Winstein2022-09-2112-447/+4422
| | | Co-authored-by: Yuhan Deng <yhdeng@stanford.edu>
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 16:48:38 +0000