summaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Fix parsing of malformed element section in text format (#2439)Changqing Jing2024-07-121-0/+9
|
* wasm2c: Segue optimization for modules with a single unshared memory (#2395)Shravan Narayan2024-06-266-89/+444
|
* [wasm-objdump] Fix reporting of imported 64-bit tables (#2425)Sam Clegg2024-05-221-6/+13
|
* wasm2c: Use wabt::StripExtension (#2424)Soni L2024-05-201-0/+3
| | | Fixes #2423
* Update testsuite and implement table64 (#2418)Sam Clegg2024-05-1531-109/+3986
| | | | | 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-1335-612/+826
| | | | | | | 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.
* Suppress pass-failed warnings (#2404)Soni L2024-03-251-0/+3
|
* Add support for new WASM_SEGMENT_FLAG_RETAIN segment flag (#2399)Yuta Saito2024-03-111-2/+6
| | | See https://github.com/llvm/llvm-project/pull/81539
* wasm2c: Implement big-endian SIMD (#2340)Soni L2024-02-063-2/+39
|
* wasm2c: atomic and shared mem operations using c11Shravan Narayan2024-01-302-32/+52
|
* Handle zero local count in disassembly (#2359)Rod Vagg2024-01-031-0/+27
| | | | Previously: local[0..4294967295] Current: local[]
* wasm2c: Cleanup/separate code for heap and stack signal handlersShravan Narayan2023-12-146-6/+6
|
* [wasm-objdump] set function types for correct params+locals indexing (#2353)Rod Vagg2023-12-131-1/+1
|
* wasm2c runtime: fix mis-nesting of def'n of os_has_altstack_installed (#2346)Keith Winstein2023-12-052-2/+63
| | | | | Also adds an RLBox-like CI test where the embedder takes responsibility for signal handling Co-authored-by: wrv <wrv@utexas.edu>
* WastParser: tighten parsing of folded `if` (#2349)Keith Winstein2023-12-053-33/+5
| | | | | 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-4/+4
| | | | | This matches the behaviour of i32 printing. Ref: https://github.com/WebAssembly/wabt/pull/2342
* wasm2c: Test STDIN_FILE error output line numbers (#2341)Soni L2023-11-292-0/+14
|
* Add support for new WASM_SYMBOL_ABS symbol flag (#2305)Sam Clegg2023-11-281-4/+12
| | | See https://github.com/llvm/llvm-project/pull/67493
* Make run-spec-wasm2c platform-consistent (#2335)Soni L2023-11-286-69/+8
|
* Update ID for tag name subsection (#2336)Michael Williamson2023-11-271-1/+1
| | | | | | | 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.
* wasm2c: Fix f64 harness (#2331)Soni L2023-11-203-1/+49
|
* decompiler.cc: fix vector oob when if has empty then (#2334)Hyxogen2023-11-201-0/+5
|
* wasm2c: Improve address abstraction for BE support (#2328)Soni L2023-11-146-312/+270
|
* wasm2c: Fix test harness UB with SIMD (#2327)Soni L2023-11-126-4/+63
|
* Clean up WABT_BIG_ENDIAN handling in tests (#2326)Soni L2023-11-121-6/+1
|
* Update testsuite (#2287)Keith Winstein2023-10-2418-607/+364
|
* wasm2c: implement the tail-call proposal (#2272)Keith Winstein2023-10-2410-22/+1120
|
* feat: treat non-seekable files as pipes (#2309)sethp2023-10-023-1/+11
| | | | | | | | | | | | | | | 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-197-18/+17
|
* Implement custom section reading/writing (#2284)Diego Frias2023-09-155-3/+40
|
* [wasm2c] Use wasm_rt_memcpy everywhere in generated code (#2292)Sam Clegg2023-09-095-75/+75
|
* [wasm2c] Add '-Wno-array-bounds' when building wasm2c output (#2293)Sam Clegg2023-09-081-0/+1
| | | | | | We are seeing some (spurious?) warning from gcc 12.2. I've been seeing them locally, but they started to show up in CI as part of #2292.
* Share reading/validation code between elem exprs & other const exprs (#2288)Keith Winstein2023-09-0622-73/+164
| | | | | | This continues the work from #1783 and reduces special handling of elem exprs, by treating them the same as other const expressions (init expressions).
* Validator: normalize handling of Select in ExprVisitor Delegate (#2285)Keith Winstein2023-08-233-9/+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-0/+36
|
* wat-writer.cc: resolve missing type index in call_indirect (#2278)Keith Winstein2023-07-311-0/+24
|
* c-writer.cc: clean up handling of functions & tags (NFC) (#2271)Keith Winstein2023-07-313-11/+11
|
* decompiler.cc: passive data segments do not have offsets (#2163)mannkdev2023-07-301-0/+9
|
* 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
|
* wasm-objdump: Fix local numbering in disassembly (#2265)Michael Williamson2023-06-272-2/+21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-6/+19
| | | With memory64, the offset becomes a u64.
* memory64: when enabled, check offset range at validation-time (#2253)Keith Winstein2023-06-127-28/+50
| | | | | | | | | | | | | | | | * 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-124-8/+4
| | | | | | 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-0/+29
|
* Add error when parameter size does not match on wasm-interp run-export (#2250)Raphael Amorim2023-06-091-0/+9
|
* binary-reader.cc: detect more malformed modules (#2251)Keith Winstein2023-06-084-11/+6
|
* WastParser: allow empty modules/scripts with warning (#2248)Keith Winstein2023-06-072-3/+2
|
* WastParser::ErrorExpected: ensure there is a token to consume (#2247)Keith Winstein2023-06-071-0/+6
| | | Fixes assertion failure on empty quoted module
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-12 07:40:56 +0000