[webkit-changes] [WebKit/WebKit] d42da3: [JSC] Check SIMD existence for call's return value...

[Yusuke Suzuki]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: d42da3113f1126618d6fe8e2e22f3fd3be0a5aeb
      https://github.com/WebKit/WebKit/commit/d42da3113f1126618d6fe8e2e22f3fd3be0a5aeb
  Author: Yusuke Suzuki <ysuzuki at apple.com>
  Date:   2023-02-07 (Tue, 07 Feb 2023)

  Changed paths:
    A JSTests/wasm/stress/call-returns-v128.js
    A JSTests/wasm/stress/resources/call-returns-v128.wasm
    M Source/JavaScriptCore/wasm/WasmFunctionParser.h

  Log Message:
  -----------
  [JSC] Check SIMD existence for call's return value / catch's value
https://bugs.webkit.org/show_bug.cgi?id=251878
rdar://105124299

Reviewed by Mark Lam.

Function calls / catch can generate new SIMD values. So we need to check types of them, and let generator know SIMD existence when we see it.

* JSTests/wasm/stress/call-returns-v128.js: Added.
(let.fn0):
(async let):
* JSTests/wasm/stress/resources/call-returns-v128.wasm: Added.
* Source/JavaScriptCore/wasm/WasmFunctionParser.h:
(JSC::Wasm::FunctionParser<Context>::parseExpression):
(JSC::Wasm::FunctionParser<Context>::parseUnreachableExpression):

Canonical link: https://commits.webkit.org/259980@main