summaryrefslogtreecommitdiff
path: root/test/interp
Commit message (Collapse)AuthorAgeFilesLines
* Add support for the custom-page-sizes proposal (#2502)Keith Winstein2024-11-081-0/+131
| | | | This adds support in the binary/text parsers and writers, the validator and interpreter, and objdump (but not wasm2c).
* wasm-interp: Fix catch handlers correctly (#2483)Soni L.2024-10-071-0/+1
| | | local decl count != local count
* Add error when parameter size does not match on wasm-interp run-export (#2250)Raphael Amorim2023-06-091-0/+9
|
* wasm-interp: Add --run-export and --argument (#2176)Raphael Amorim2023-03-192-0/+44
|
* Finish instruction renaming (#1792)Heejin Ahn2021-12-2029-153/+153
| | | | | | | | | | | | | This finishes #985. This - replaces the old names in the tests with the new names - drops support for the deprecated names - renames test files to match new instruction names I don't think dropping support for the old names will be a problem at this point. #985 says the old names are supported for convenience but we should remove those too at some point; that "some point" may have well arrived given that three years have passed. The lists of names updated are in #933, #1564, WebAssembly/spec#720.
* interpreter: Fix infinite looping on `return_call` (#1762)Asumu Takikawa2021-12-151-0/+20
| | | | | | | | | The code offset fixup for the target of a `return_call` was not being done properly due to invalid initialization of the offset value, and due to the fixup location being put at the wrong offset in the instruction stream. Fixes issue #1761
* Add interpreter support for the exception handling proposal (#1749)Asumu Takikawa2021-11-175-0/+444
| | | | | | | | | | | | | | | | | | | | | Details about the implementation approach: * Try blocks generate metadata tracking the instruction ranges for the handlers and which exception tags are handled (or if a `catch_all` is present). The metadata is stored in a function's `FuncDesc`, and is transferred into the `Frame` when a function call is executed. * The stack is unwound when a `throw` is executed. This unwinding also handles tag dispatch to the appropriate catch. The metadata to find the matching handler is looked up in the call `Frame` stack. * If a `try-delegate` is present, it is used in the stack unwinding process to skip over to the relevant handler. * A separate `exceptions_` stack in call frames tracks caught exceptions that can be accessed via a `rethrow`. The stack is popped on exit from a try block or when exiting via control instructions like `br`. * Because stack unwinding relies on finding metadata in the call frame, `return_call` needs to be modified slightly to adjust the current frame when executing the call, rather than re-using the frame completely as-is.
* Remove separate OnEndFunc vs OnEndExpr. (#1756)Sam Clegg2021-11-051-0/+1
| | | | We already have EndFunctionBody, and this extra distinction doesn't seem like it is needed.
* Enable reference types by default (#1729)Sam Clegg2021-10-131-1/+0
| | | | | | | | | This features was finished earlier this year: https://github.com/WebAssembly/proposals/blob/master/finished-proposals.md One thing to note is that the version of the spec tests we currently have in third_party/testsuite doesn't have ref types merged yet so this change disables ref types when running some of those tests. This can be removed in a followup when we update the testsuite.
* SIMD is now phase 5, enable it by default (#1712)Ng Zhi An2021-09-209-9/+0
| | | | | * SIMD is now phase 5, enable it by default * Update test flags, rebase test, and docs
* Memory64: support 64-bit data init-expr (#1656)Wouter van Oortmerssen2021-04-051-4/+4
|
* [simd] Rename any_true, implement i64x2 bitmask and all_true (#1624)Ng Zhi An2021-03-041-27/+7
| | | | | | | | | | | * Rename all any_true to v128.any_true * Add i64x2.bitmask and i64x2.all_true, rebase simd_boolean * Unskip spec/simd/simd_i16x8_arith2.txt since i64x2.abs is now implemented * Unskip spec/simd/simd_lane.txt * Update dump interp tests, rebase
* Use stderr for all logging and error output (#1579)Sam Clegg2020-12-031-1/+3
| | | | I'm not sure why we were using stdout but the convention is normally to write all logging and error message to stderr.
* Update output from type to func type in binary writer and reader (#1570)Radu M2020-11-161-2/+2
| | | Signed-off-by: Radu M <root@radu.sh>
* Changes required to make the new Memory64 spec tests run (#1560)Wouter van Oortmerssen2020-10-262-2/+2
| | | | | These uncovered some things the previous tests didn't! Also required the switching of the location of the index as discussed in https://github.com/WebAssembly/memory64/issues/5 Also one small .py change that ensures the new tests have consistent posix paths.
* Update SIMD support (#1553)Darin Morrison2020-10-263-17/+17
| | | | | | | | | | | | | * Update testsuite * Update test results * Disallow lane nums with optional + for simd ops * Update simd support * Mark `test/spec/func.txt` as failing Co-authored-by: Darin Morrison <darinmorrison@users.noreply.github.com>
* Disallow "64-bit" flag if memory64 is disabled (#1547)Paweł Bylica2020-09-182-0/+2
| | | | Fixes regressions in binary reader introduced by the implementation of the memory64 extension: https://github.com/WebAssembly/wabt/pull/1500.
* Implement simd bitmask instructions (#1530)Ben Smith2020-08-311-0/+30
|
* Added initial "memory64" proposal support (#1500)Wouter van Oortmerssen2020-08-072-0/+175
|
* Remove ref.is_null type parameter (#1474)Ben Smith2020-07-151-2/+2
| | | | | | | | | See https://github.com/WebAssembly/reference-types/issues/99. This change also updates the testsuite, so the spec tests pass too. In addition, the behavior of `br_table` is no longer different from MVP, and has a text to confirm this. That is now fixed in `type-checker.cc` too.
* Reference types changes to remove subtyping (#1407)Ben Smith2020-05-281-19/+24
| | | | | | | | Main changes: * Rename `anyref` -> `externref` * Remove `nullref` * Rename `hostref` -> `externref` * `ref.null` and `ref.is_null` now have "ref kind" parameter * Add ref kind keywords: `func`, `extern`, `exn`
* Use stderr for reporting errors in wasm-interp (#1422)Sam Clegg2020-05-131-2/+2
| | | | We should probably send traving to stderr too but thats a bigger change.
* Fix typo. NFC. (#1410)Sam Clegg2020-05-111-1/+1
|
* Enabled merged proposals by default (#1405)Alex Crichton2020-05-066-6/+0
| | | | | | | | | | | | | This enables three proposals by default since they've been merged into the upstream specification: * `saturating-float-to-int` - WebAssembly/spec#1143 * `sign-extension` - WebAssembly/spec#1144 * `multi-value` - WebAssembly/spec#1145 Most of the fallout from this is in the test suite with lots of `--enable` flags getting removed and some tests which now unconditionally pass also getting removed. Two spec tests explicitly pass `--disable` until the spec test submodule is updated.
* New interpreter (#1330)Ben Smith2020-02-2113-17282/+50
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It's modeled closely on the wasm-c-api. All runtime objects are garbage-collected. The GC'd objects are subclasses of `Object` and all stored in the `Store`. GC roots can be created using a RefPtr<T> struct. The `Module` stores no runtime objects, only description structs (named `*Desc`, e.g. `FuncDesc`). Instantiation takes these descriptors and turns them into runtime objects (e.g. `FuncDesc` is used to create a `Func`). Only import-matching occurs during instantiation; all other validation is assumed to have occurred during Module compilation. As with the previous interpreter, the wasm instructions are not executed directly, and instead compiled to an instruction stream that is easier to interpret (e.g. all branches become gotos). It's still a stack machine, though. The previous interpreter would always compile and instantiate in one step, which means that it was always known whether an imported function is a host function or wasm function. As a result, calls between modules that stayed in wasm could be very cheap (just update PC). Now that the module is compiled before instantiation, an imported function call always has to check first, which may be a slight performance hit. One major difference to the structure of the interpreter is that floating-point values are passed directly, instead of using their equivalent bit pattern. This is more convenient in general, but requires annotating all functions with WABT_VECTORCALL so Visual Studio x86 works properly (otherwise floats are passed in the x87 FP stack). Instruction stream decoding/tracing/disassembling is now all handled in the `Istream` class. This reduces a lot of duplication between the three, which makes the logging-all-opcodes and tracing-all-opcodes less valuable, so I've removed them. Here are the changes to files: binary-reader-metadata.{h,cc} -> [removed] interp-{disassemble.trace}.cc -> istream.{h,cc} There are new helper files: interp-util.{h,cc}: Primarily print debugging functions interp-math.h: Templates used for handling wasm math
* Fix logging of f32.const and f64.const (#1335)Ben Smith2020-02-191-94/+94
|
* [simd] Update instructions (#1317)Ben Smith2020-01-275-8186/+8390
| | | | | | | | | * Add i64x2.mul * Add i{8x16,16x8,32x4}.{min,max}_{s,u} * Rename i{8x16,16x8,32x4,64x2}.load_splat -> v{8x16,16x8,32x4,64x2}.load_splat * Remove i8x16.mul * Remove f64x2.convert_i64x2_{s,u} * Remove i64x2.trunc_sat_f64x2_{s,u} * Remove i64x2.{any,all}_true
* Update testsuite (#1308)Ben Smith2020-01-161-1/+1
| | | | | | | | | | * Remove `assert_return_func`. This is now handled by using `assert_return` with `(ref.func)`. * The reference types proposal depends on the bulk memory proposal, so using `--enable-reference-types` automatically includes `--enable-bulk-memory`. * `table.fill` no longer clamps to the valid range, and instead checks before writing anything. This matches the other bulk instructions.
* Fix some typos in widening SIMD intrinsics (#1305)Alex Crichton2020-01-141-12/+12
| | | | Some further testing revealed another typo I believe from #1303 in some of the widening instructions, I think this is the last one though!
* Fix a typo of i64x4 -> i64x2 (#1304)Alex Crichton2020-01-141-6/+6
| | | I think this may have been an accidental typo in #1303
* [simd] Implement new SIMD instructions (#1303)Ben Smith2020-01-141-6792/+7083
| | | | | | | * i{16x8,32x4,64x2}.load{8x8,16x4,32x2}_{s,u} * v128.andnot * i{8x16,16x8}.avgr_u None are implemented in the interpreter yet.
* [simd] Add support for narrow/widen instructions (#1301)Ben Smith2020-01-131-6602/+6994
| | | | | | | | | | | * i{8x16,16x8}.narrow_i{16x8,32x4}_{s,u} * i{16x8,32x4}.widen_{low,high}_i{8x16,16x8}_{s,u} (though not all combinations are valid) These are not currently supported in the interpreter. TODO: Implement other new SIMD instructions too: load and extend, bitwise and-not, lanewise rounding average
* Update testsuite (#1275)Sam Clegg2020-01-092-4/+5
| | | | | | | | | | | | | | | | | The two primary changes involved are: 1. Removal of `assert_return_canonical_nan`/`arithetic nan` in favor of special `nan:canonical`/`nan:arithmetic` constants that can only be used in test expectations. See: https://github.com/WebAssembly/spec/pull/1104 2. New trapping behaviour for bulk memory operations. Range checks are now performed up front for opterations such as memory.fill and memory.copy. See: https://github.com/webassembly/bulk-memory-operations/issues/111 And: https://github.com/webassembly/bulk-memory-operations/pull/123 The old behaviour is still kept around to support table.fill which is defined in reference-types proposal and has yet to be updated.
* Segment flags should be MVP-compat when possible (#1286)Ben Smith2020-01-081-3/+3
| | | | This should fix #1280, #1268, #1269.
* Several fixes for reference types (#1278)Heejin Ahn2020-01-081-1/+1
| | | | | | | - Allow `ref.func` for global initialization expressions - Allow `nullref` as a full-fledged type, after WebAssembly/reference-types#66 - Enable reference types when exnref is used (The reference types proposal is a prerequisite of the EH proposal)
* reference-types: add support for typed select (#1253)Sam Clegg2019-11-261-8420/+8458
|
* reference-types: Add reference-types spec tests (#1225)Sam Clegg2019-11-252-0/+2
| | | | | | | This change adds most of the tests from the reference-types proposal. There are two tests that require new instructions (`table.fill` and `select_t`) which will be followup changes. See: #1223
* Update spec testsuite (#1237)Sam Clegg2019-11-223-9/+9
| | | | | | | The only major change to the interpreter is to move segment initialization out `ReadBinaryInterp` (in the binary reader) and into interp.cc. This is because the test suite now expects out of bound semgments to be reported during initialization rather than reported as validation errors.
* interpreter: Allow traps to include custom error strings (#1236)Sam Clegg2019-11-192-2/+2
| | | | | | | | | | | This means we can give more precise/useful errors for runtime failures. Change interp::Result from an enum to struct so it can hold the result enum plus an optional detailed error message. Add TRAP_MSG and TRAP_IF_MSG macros that work just like TRAP and TRAP_IF but contain a format string and printf-like arguments which are formatted to produce the error message.
* Switch to treating segment flags as a bitfield. NFC (#1232)Sam Clegg2019-11-181-7/+7
| | | | | | | | | | | This is in preparation for updating to latest version reference-types proposal where there is an additional flag and they can be combined. See: https://github.com/WebAssembly/bulk-memory-operations/issues/98 Also, add ERROR_IF to binary-reader.cc as logical corollary to the existing ERROR_UNLESS.
* wasm-interp: Correctly report failure of start function (#1230)Sam Clegg2019-11-181-0/+9
| | | We were printing the error message but returning success.
* reference-types: Add multi-table support to the interpreter (#1218)Sam Clegg2019-11-143-1989/+1990
| | | | | | | | | | This involved plumbing the table argument for `table.init` and `table.copy` all the way through rather than assuming they were always zero. Update the rather complex logic for assigning names to elem segments to handle active elem segments which both name themselves and the table they apply too.
* reference-types: Improve reftype support (#1220)Sam Clegg2019-11-141-2/+2
| | | | | | | | | | | | | | | Add Hostref type which is an internal subtype of anyref used to refer to host objects. Since anyref is an abstract base type it should be be stored directly on the value stack. The value stack instead must contain refs of the concrete RefType enumeration (currently Null, Func, or Foreign). These changes are needed for the implementation of the C API but are separately useful for improving conformance with the reftype proposal. Implement sub-typing rules for parameters and results when using CallFunction in the interpreter.
* Allow anyref globals to store ref subtypes (#1214)Sam Clegg2019-11-081-1/+8
| | | | This requires the type of a global to be distinct from its current TypedValue contents.
* Initial implementation of reftype proposal in the interpreter. (#1206)Sam Clegg2019-11-071-0/+42
| | | | - Implement ref.func everywhere. - Implement table.get and table.set in the interpreter.
* Add ExternalKind to OnImport callback (#1182)Sam Clegg2019-10-101-1/+1
|
* Add support for v8x16.swizzle and the load_splats. (#1116)nlewycky2019-07-193-7485/+7687
| | | | | | | | | | | | | | | | | | | * Add support for v8x16.shuffle1 and v8x16.shuffle2_imm. v8x16.shuffle2_imm is a rename of the previous v8x16.shuffle, but I add a copy of the code as if it were a new instruction in case the spec proposal makes further changes. The tests for old v8x16.shuffle remain in place and while there are new tests for the new v8x16.shuffle1, there are not for v8x16.shuffle2_imm. The behaviour and implementation are the same as for v8x16.shuffle, so we should simply search and replace the existing tests at some point, leaving one of them untested, probably the deprecated v8x16.shuffle. I did test v8x16.shuffle1 against the SIMD spec test from WAVM and it passes. The WAVM spec tests for v8x16.shuffle2_imm parse but it has no invocations of the instruction. * Rename v8x16.shuffle1 and x8v16.shuffle2_imm to v8x16.swizzle and v8x16.shuffle_imm. * Update SIMD operands. * Swizzle is just a binary operator. * Shuffle is named "v8x16.shuffle". * Add 4 new opcodes for load_splat. * Remove legacy 0xfd 0x03 opcode for shuffle. * Test all four load splats.
* Update spec testsuite (#1111)Ben Smith2019-07-162-4/+4
| | | | | * Remove passive keyword from bulk-memory * Fix rounding on hex floats * Allow underscores in NaN payloads
* [interp] Add flag to provide dummy import funcs (#1101)Ben Smith2019-06-281-0/+20
| | | | You can now pass `--dummy-import-func` to `wasm-interp`, which will provide a function that logs the call and returns zero.
* Implement bulk memory in the interpreter (#1074)Ben Smith2019-05-072-8498/+8806
| | | | | | | | | * Implement bulk memory in interpreter * Read/Write elem_type in element segments * Binary format * Text format (`(elem passive funcref...)`) * Add DataSegment runtime objects * Only initialize active data segments when instantiating
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 01:39:54 +0000