Bug 1728897 - Update Wasm try-delegate semantics to match spec r=rhunt
The semantics of the try-delegate Wasm exception handling instruction was recently changed in this spec discussion: https://github.com/WebAssembly/exception-handling/issues/176 This patch adjusts compilation and validation to match the new semantics, which allows delegate to target any block. Differential Revision: https://phabricator.services.mozilla.com/D124424
Showing
- js/src/jit-test/tests/wasm/exceptions/instructions.js 41 additions, 1 deletionjs/src/jit-test/tests/wasm/exceptions/instructions.js
- js/src/jit-test/tests/wasm/exceptions/throw-to-js.js 40 additions, 0 deletionsjs/src/jit-test/tests/wasm/exceptions/throw-to-js.js
- js/src/jit-test/tests/wasm/exceptions/validation.js 23 additions, 25 deletionsjs/src/jit-test/tests/wasm/exceptions/validation.js
- js/src/wasm/WasmBCClass.h 1 addition, 0 deletionsjs/src/wasm/WasmBCClass.h
- js/src/wasm/WasmBCRegMgmt-inl.h 4 additions, 0 deletionsjs/src/wasm/WasmBCRegMgmt-inl.h
- js/src/wasm/WasmBaselineCompile.cpp 10 additions, 2 deletionsjs/src/wasm/WasmBaselineCompile.cpp
- js/src/wasm/WasmOpIter.h 0 additions, 5 deletionsjs/src/wasm/WasmOpIter.h
Loading
Please register or sign in to comment