summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* [wasm-objdump] set function types for correct params+locals indexing (#2353)Rod Vagg2023-12-131-0/+8
|
* WastParser: tighten parsing of folded `if` (#2349)Keith Winstein2023-12-051-22/+13
| | | | | This makes the `then` block mandatory per the spec, and parses multiple foldedinstrs in the `if` predicate (exercised by the new if.wast test).
* [wasm-objdump] Print i64 values as unsigned (#2344)Rod Vagg2023-12-011-1/+1
| | | | | This matches the behaviour of i32 printing. Ref: https://github.com/WebAssembly/wabt/pull/2342
* Add support for new WASM_SYMBOL_ABS symbol flag (#2305)Sam Clegg2023-11-281-3/+12
| | | See https://github.com/llvm/llvm-project/pull/67493
* Update ID for tag name subsection (#2336)Michael Williamson2023-11-272-0/+2
| | | | | | | The tag name subsection currently has the speculative ID of 10. However, the extended-name-section proposal has now been updated to use an ID of 11 for the tag name section. This updates the NameSectionSubsection enum accordingly, as well as adding a field name section with the ID of 10.
* decompiler.cc: fix vector oob when if has empty then (#2334)Hyxogen2023-11-201-1/+4
|
* wasm2c: Improve address abstraction for BE support (#2328)Soni L2023-11-146-197/+177
|
* Avoid use of `typeof` as argument name (#2314)walkingeyerobot2023-10-261-2/+2
| | | | While typeof is not a standard c++ keyword, it is in the gnu dialect (i.e. -std=gnu++17). Simply renaming typeof to typeoffunc and TypeOf to TypeOfFunc lets wabt be built with either dialect.
* wasm2c: implement the tail-call proposal (#2272)Keith Winstein2023-10-245-111/+587
|
* feat: treat non-seekable files as pipes (#2309)sethp2023-10-021-9/+13
| | | | | | | | | | | | | | | Previously, attempting to read from a pipe would result in an error: 'not a regular file', disallowing use of files like /dev/stdin or /dev/fd/3, named fifos, sockets, etc. The tools already understand how to (try to) read from non-regular files, so this change attempts to do so when the input is not seek-able (the "regular file" capability that's in use here). Additionally, this adds a test for the new behavior using a bash herestring and process substitution (the latter of which shows up in argv as something like `/dev/fd/NN`). Since bash isn't commonly installed on Windows, this change also introduces a new capability to filter tests to specific platforms (sorry).
* Rename wasm-opcodecnt to wasm-stats (#2298)Soni L2023-09-192-8/+7
|
* WastParser: replace CircularArray with internal TokenQueue (NFC) (#2300)Keith Winstein2023-09-182-284/+32
|
* Implement custom section reading/writing (#2284)Diego Frias2023-09-158-1271/+1450
|
* c-writer.cc: clean up some handling of typevector structs (NFC) (#2296)Keith Winstein2023-09-151-10/+13
| | | | | | - Only use "multivalue" to refer to a multi-value result type (not a tag type) - Deduplicate typevector struct declarations
* Flip order of memory indexes on memory.copy (#2294)Keith Winstein2023-09-1112-30/+30
| | | | Reflects change in the multi-memory proposal: https://github.com/WebAssembly/multi-memory/pull/29
* [wasm2c] Use wasm_rt_memcpy everywhere in generated code (#2292)Sam Clegg2023-09-092-30/+30
|
* Share reading/validation code between elem exprs & other const exprs (#2288)Keith Winstein2023-09-0612-160/+178
| | | | | | 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: consolidate pack/unpack of tags & multi-value results (NFC) (#2286)Keith Winstein2023-08-251-105/+84
|
* Validator: normalize handling of Select in ExprVisitor Delegate (#2285)Keith Winstein2023-08-231-5/+0
| | | | | | | | | Fixes #2283 Previously, the OnSelectExpr delegate would terminate validation if the SharedValidator found an error in the expression, or if the Validator had previously found an error at any point in validating the module. This commit normalizes the behavior to match how the Validator handles other expression types.
* wasm-strip: add `-R/--remove-section` option (#2282)Diego Frias2023-08-181-2/+16
|
* wat-writer.cc: resolve missing type index in call_indirect (#2278)Keith Winstein2023-07-311-2/+10
|
* c-writer.cc: clean up handling of functions & tags (NFC) (#2271)Keith Winstein2023-07-311-49/+41
|
* c-writer.cc: eliminate redundant import_syms_ SymbolSet (NFC) (#2275)Keith Winstein2023-07-311-23/+16
|
* decompiler.cc: passive data segments do not have offsets (#2163)mannkdev2023-07-301-1/+5
|
* wasm2c: add link to clang bug on mips force read constraintShravan Narayan2023-07-302-0/+3
|
* wasm2c: ensure force read constraints compile for clang on mipsShravan Narayan2023-07-306-62/+86
|
* C++20 compatibility fixesShravan Narayan2023-07-022-7/+7
|
* wasm-objdump: Fix local numbering in disassembly (#2265)Michael Williamson2023-06-271-1/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Previously, in BinaryReaderObjdumpDisassemble::BeginFunctionBody, we had: local_index_ = objdump_state_->function_param_counts[index]; where index is the index of the function i.e. we treat the keys of function_param_counts as function indices. However, function_param_counts is populated in OnFuncType with: objdump_state_->function_param_counts[index] = param_count; where index is the index of the type i.e. we treat the keys of function_param_counts as type indices. This discrepancy would cause the locals to be incorrectly numbered in the "Code Disassembly" section. This fixes the discrepancy by adding a new field, function_types, which maps from function indices to type indices, and is populated in BinaryReaderObjdump::OnFunction. This field is used in BinaryReaderObjdumpDisassemble::BeginFunctionBody to get the type index for the given function, which is then used to get the parameter count. Fixes #2264.
* BinaryReader/Writer: roundtrip large memory64 offsets (#2255)Keith Winstein2023-06-202-2/+2
| | | With memory64, the offset becomes a u64.
* wasm2c: fix bug in windows atomic load macroShravan Narayan2023-06-192-8/+8
|
* memory64: when enabled, check offset range at validation-time (#2253)Keith Winstein2023-06-125-54/+90
| | | | | | | | | | | | | | | | * memory64: when enabled, offset range check is at validation-time Before memory64, the "offset" in a load/store expression was a u32, and we enforced this in the WastParser and BinaryReader. After memory64, the "offset" becomes a u64 syntactically, and the validator checks that it's <= UINT32_MAX for i32 memories. We hadn't been correctly allowing these very large offsets in the text format (even when memory64 was enabled and the memory was i64). (This change also eliminates the "memories" member in the BinaryReader. The BinaryReader no longer needs to keep track of the memories and their types to check well-formedness.)
* spectest-interp: assert_malformed must error in reader alone (#2252)Keith Winstein2023-06-121-11/+92
| | | | | | Previously assert_malformed was treated the same as assert_invalid Also fixes a bug where spectest-interp wasn't trying to validate text modules (e.g. `(assert_invalid (module quote "...") "")`).
* src/leb128.cc: fix detection of too-big u64 LEB128s (#2256)Keith Winstein2023-06-091-2/+2
|
* Add error when parameter size does not match on wasm-interp run-export (#2250)Raphael Amorim2023-06-091-0/+7
|
* binary-reader.cc: detect more malformed modules (#2251)Keith Winstein2023-06-081-27/+23
|
* WastParser: allow empty modules/scripts with warning (#2248)Keith Winstein2023-06-071-3/+12
|
* WastParser::ErrorExpected: ensure there is a token to consume (#2247)Keith Winstein2023-06-071-1/+1
| | | Fixes assertion failure on empty quoted module
* wasm2c: partial support for atomic memory opsShravan Narayan2023-05-175-6/+864
|
* wasm2c: include simd128.h and wasm-rt-exceptions.h where necessary (#2236)Keith Winstein2023-05-127-401/+399
| | | Co-authored-by: Shravan Narayan <shravanrn@gmail.com>
* BinaryReaderIR: silence clang 14 warning (NFC) (#2232)Keith Winstein2023-05-091-1/+1
|
* Cleanup use of HAVE_WIN32_VT100 in color.ccShravan Narayan2023-05-091-22/+14
|
* c-writer.cc: Correctly handle label names when branching out of try block ↵Keith Winstein2023-05-081-2/+6
| | | | (#2208)
* Track use of SIMD and exceptions in IR, and CWriter includes support only if ↵Keith Winstein2023-05-083-3/+20
| | | | used (#2226)
* Don't include windows.h for color printing if !HAVE_WIN32_VT100Shravan Narayan2023-05-051-0/+2
|
* BinaryReader/BinaryReaderIR: check for missing end markers (#2218)Keith Winstein2023-05-032-1/+20
|
* wasm2c: Enable exceptions and simd according to command line flagsShravan Narayan2023-05-024-2/+25
|
* c-writer.cc: cleanup name lookups to happen consistently in one place (NFC) ↵Keith Winstein2023-04-271-9/+11
| | | | (#2207)
* Make sure (IR) Validator and BinaryReaderInterp agree re: validity (#2219)Keith Winstein2023-04-272-2/+57
| | | | Fixes one issue where Validator was incorrectly accepting some malformed modules from the spec tests.
* alloca() lives in <stdlib.h> on OpenBSD too (fixes #2216) (#2217)Landry Breuil2023-04-262-2/+2
| | | per http://man.openbsd.org/alloca.3
* wasm2c: Use malloc.h instead of alloca.h for mingwShravan Narayan2023-04-242-2/+8
|
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-07 06:54:54 +0000