summaryrefslogtreecommitdiff
path: root/wasm2c
Commit message (Collapse)AuthorAgeFilesLines
* wasm2c: harmonize bulk mem ops re: i32/i64 (#2506) + parametrize memchecks ↵HEADmainKeith Winstein2024-12-173-82/+135
| | | | | | | | | | | | | | | | | per-memory (#2507) The PR updates the bulk memory operations (memory.fill, memory.copy, table.fill, etc.) to support 64-bit addresses and counts. Previously these functions only took u32's, even with memory64 enabled. (#2506) This PR also allows "software-bounds-checked" memories and "guard-page-checked" memories to coexist in the same module. It creates two versions of every memory operation: an unrestricted version (that works with any memory) and a _default32 version (for memories with default page size and i32 indexing). (#2507) #2506 and #2507 have been squashed together to avoid a performance regression. This is a stepping stone to supporting custom-page-sizes (which will need to be software-bounds-checked) (#2508).
* wasm2c: minor code cleanup for OS checks for segueShravan Narayan2024-11-111-1/+5
| | | | | | Define the fsgabase capability lookup to HWCAP2_FSGSBASE as per https://www.kernel.org/doc/html/latest/arch/x86/x86_64/fsgs.html#fsgsbase-instructions-enablement
* wasm2c: disable segue in clang8 due to missing fsgsbase supportShravan Narayan2024-11-111-5/+5
|
* wasm2c: Cleanup TLS: check for __thread and declare TLS vars only when neededShravan Narayan2024-10-283-3/+10
|
* wasm2c: Cleanup of handling of WASM_RT_USE_SEGUE macroShravan Narayan2024-10-143-31/+38
|
* [wasm2c] Fix alternate stack deallocation (#2466)Christian Nieves2024-09-201-0/+1
| | | | | | | | This makes `wasm_rt_init()` properly reentrant. By setting `g_alt_stack = NULL`, we allow execution to continue beyond [wasm-rt-impl.c L171 ](https://github.com/WebAssembly/wabt/blob/main/wasm2c/wasm-rt-impl.c#L171) in `os_allocate_and_install_altstack`. Applies to debug builds only due to `assert`.
* wasm2c: Add segue option to make exclusive use of the segment registerShravan Narayan2024-09-184-19/+50
|
* wasm2c: Segue support for CPUs without wrgsbase instructionsShravan Narayan2024-09-063-24/+112
|
* Fix macro redefinition error when building wasm_rt w/ Android NDK (#2437)Christian Nieves2024-07-162-7/+7
|
* wasm2c: Segue optimization for modules with a single unshared memory (#2395)Shravan Narayan2024-06-2611-13/+1426
|
* Correct wasm2c example Makefiles (#2426)David Rubin2024-06-035-9/+14
| | | | | | | | - Passing "-lm" into the prereq isn't the correct way add the flag. This correctly adds it to the command. - The "rot13" example incorrectly assumed that the "rot13.h" file would be generated by the time that "main.c" was being compiled, however there is no rule supporting this and it would fail. I've also added "rot13.h" to the clean rule.
* wasm2c: Fix warning on signed/unsigned comparisonShravan Narayan2024-03-201-1/+1
|
* wasm2c: Cleanup examples makefileShravan Narayan2024-02-123-6/+3
|
* wasm2c/README.md: update to reflect new compile command post-#2308 (#2390)Keith Winstein2024-02-121-2/+2
|
* Fallback to pthreads if threads aren't available (#2385)walkingeyerobot2024-02-061-7/+7
|
* Do not use guard pages on big-endian (#2382)Soni L2024-02-021-2/+4
|
* Add missing casts on big-endian (#2381)Soni L2024-02-011-2/+2
|
* wasm2c: move table ops to an include fileShravan Narayan2024-01-312-37/+87
|
* wasm2c: Cleanup formatting of wasm-rt.hShravan Narayan2024-01-301-58/+63
|
* wasm2c: atomic and shared mem operations using c11Shravan Narayan2024-01-305-179/+453
|
* Fix emscripten build warning and add missing export (#2367)Changqing Jing2024-01-191-0/+2
|
* wasm2c: Add macro and tests to allow disabling stack exhaustion checksShravan Narayan2024-01-021-2/+22
|
* Update wasm2c examples (#2358)Keith Winstein2023-12-152-56/+49
|
* wasm2c: Cleanup/separate code for heap and stack signal handlersShravan Narayan2023-12-144-67/+92
|
* wasm2c runtime: fix mis-nesting of def'n of os_has_altstack_installed (#2346)Keith Winstein2023-12-052-15/+20
| | | | | Also adds an RLBox-like CI test where the embedder takes responsibility for signal handling Co-authored-by: wrv <wrv@utexas.edu>
* wasm2c runtime: clean up some error messages (NFC) (#2345)Keith Winstein2023-12-031-7/+3
|
* w2c runtime: add per-thread init/free API (#2332)Keith Winstein2023-12-047-6/+170
|
* wasm2c runtime: refactor handling of alternate stack (NFC) (#2338)Keith Winstein2023-11-281-12/+81
| | | | | The runtime installs an alternate stack to handle SIGSEGV from stack exhaustion. Make this variable thread-local and refactor implementation that touches it.
* wasm2c: define null values of funcref and externref (#2330)Willy R. Vasquez2023-11-161-2/+2
| | | | wasm_rt_funcref_null_value and wasm_rt_externref_null_value are changed to preprocessor macros for C and C++ compatibility
* wasm2c: implement the tail-call proposal (#2272)Keith Winstein2023-10-244-7/+45
|
* [wasm2c] Use wasm_rt_memcpy everywhere in generated code (#2292)Sam Clegg2023-09-091-15/+15
|
* Share reading/validation code between elem exprs & other const exprs (#2288)Keith Winstein2023-09-061-5/+18
| | | | | | This continues the work from #1783 and reduces special handling of elem exprs, by treating them the same as other const expressions (init expressions).
* wasm2c: add link to clang bug on mips force read constraintShravan Narayan2023-07-301-0/+1
|
* wasm2c: ensure force read constraints compile for clang on mipsShravan Narayan2023-07-301-20/+28
|
* wasm2c: add cpp guard in wasm2c exceptions headerShravan Narayan2023-06-221-0/+8
|
* wasm2c: partial support for atomic memory opsShravan Narayan2023-05-172-1/+4
|
* wasm2c: include simd128.h and wasm-rt-exceptions.h where necessary (#2236)Keith Winstein2023-05-122-136/+1
| | | Co-authored-by: Shravan Narayan <shravanrn@gmail.com>
* wasm2c: Enable exceptions and simd according to command line flagsShravan Narayan2023-05-0211-132/+180
|
* wasm2c: reduce the max exceptions sizeShravan Narayan2023-05-011-1/+1
|
* wasm-rt-impl: reset g_signal_handler_installed in wasm_rt_free (#2209)Keith Winstein2023-04-211-0/+1
|
* wasm2c: Misc docs and inline comment fixesShravan Narayan2023-04-132-17/+11
|
* wasm2c: Add optional WASM_RT_GROW_FAILED_HANDLER to be notified of memory ↵Shravan Narayan2023-04-122-2/+22
| | | | growth failures
* wasm2c: Separate the macros for allocation and bounds checks strategiesShravan Narayan2023-04-124-53/+138
|
* wasm2c: add signature for the wasm2c trap handler if definedShravan Narayan2023-04-102-4/+8
|
* wasm2c: multiple .c outputs (#2146)Yuhan Deng2023-04-051-21/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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).
* Fix grammatical error (#2179)David Park2023-03-241-1/+1
|
* c-writer.cc: Add local symbol prefix. (#2171)Yuhan Deng2023-03-152-30/+30
| | | | | | 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.
* wasm2c: prettify/change name mangling (#2142)Keith Winstein2023-02-237-137/+112
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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: add SIMD support (#2119)Willy R. Vasquez2023-01-294-0/+133
| | | 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-281-2/+8
| | | | | | 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.
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 05:29:01 +0000