WebAssembly: The validator should not allow unused stack entries at the end of a...
authorkeith_miller@apple.com <keith_miller@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 22 Dec 2016 22:19:42 +0000 (22:19 +0000)
committerkeith_miller@apple.com <keith_miller@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 22 Dec 2016 22:19:42 +0000 (22:19 +0000)
commit5a80748747da2a8dcfe275d120773c3ee9a66ed6
tree0bbd65912cf478621d4c87a2722c9059ce8551db
parentdc9cf851fe18b4044201b2917cefa9a52b0d28b3
WebAssembly: The validator should not allow unused stack entries at the end of a block
https://bugs.webkit.org/show_bug.cgi?id=166411

Reviewed by Saam Barati.

JSTests:

Test cleanup and enable new passing tests.

* wasm.yaml:
* wasm/function-tests/br-if-as-return.js:

Source/JavaScriptCore:

This patch also cleans up some of the verbose mode logging.

* wasm/WasmB3IRGenerator.cpp:
(JSC::Wasm::dumpExpressionStack):
(JSC::Wasm::B3IRGenerator::dump):
* wasm/WasmFunctionParser.h:
* wasm/WasmValidate.cpp:
(JSC::Wasm::dumpExpressionStack):
(JSC::Wasm::Validate::dump):

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@210111 268f45cc-cd09-0410-ab3c-d52691b4dbfc
JSTests/ChangeLog
JSTests/wasm.yaml
JSTests/wasm/function-tests/br-if-as-return.js
Source/JavaScriptCore/ChangeLog
Source/JavaScriptCore/wasm/WasmB3IRGenerator.cpp
Source/JavaScriptCore/wasm/WasmFunctionParser.h
Source/JavaScriptCore/wasm/WasmValidate.cpp