[webkit-changes] [WebKit/WebKit] cdfc2f: [WASM-Function-References] Add ref.as_non_null ins...

[Asumu Takikawa]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: cdfc2fb66572f0e4c0ff4172438c6baf97ea662a
      https://github.com/WebKit/WebKit/commit/cdfc2fb66572f0e4c0ff4172438c6baf97ea662a
  Author: Asumu Takikawa <asumu at igalia.com>
  Date:   2023-01-26 (Thu, 26 Jan 2023)

  Changed paths:
    M JSTests/wasm.yaml
    A JSTests/wasm/function-references-spec-tests/ref_as_non_null.wast.js
    A JSTests/wasm/function-references/ref_as_non_null.js
    M JSTests/wasm/wasm.json
    M Source/JavaScriptCore/bytecode/BytecodeList.rb
    M Source/JavaScriptCore/llint/WebAssembly32_64.asm
    M Source/JavaScriptCore/llint/WebAssembly64.asm
    M Source/JavaScriptCore/wasm/WasmAirIRGeneratorBase.h
    M Source/JavaScriptCore/wasm/WasmB3IRGenerator.cpp
    M Source/JavaScriptCore/wasm/WasmExceptionType.h
    M Source/JavaScriptCore/wasm/WasmFunctionParser.h
    M Source/JavaScriptCore/wasm/WasmLLIntGenerator.cpp
    M Source/JavaScriptCore/wasm/wasm.json

  Log Message:
  -----------
  [WASM-Function-References] Add ref.as_non_null instruction
https://bugs.webkit.org/show_bug.cgi?id=251037

Reviewed by Justin Michaud.

Adds the ref.as_non_null instruction, which checks for non-null (and
traps if null) and returns a non-null reference.

* JSTests/wasm.yaml:
* JSTests/wasm/function-references-spec-tests/ref_as_non_null.wast.js: Added.
* JSTests/wasm/function-references/ref_as_non_null.js: Added.
(module):
(async ref_as_non_null):
* JSTests/wasm/wasm.json:
* Source/JavaScriptCore/bytecode/BytecodeList.rb:
* Source/JavaScriptCore/llint/WebAssembly32_64.asm:
* Source/JavaScriptCore/llint/WebAssembly64.asm:
* Source/JavaScriptCore/wasm/WasmAirIRGeneratorBase.h:
(JSC::Wasm::ExpressionType>::addRefAsNonNull):
* Source/JavaScriptCore/wasm/WasmB3IRGenerator.cpp:
(JSC::Wasm::B3IRGenerator::addRefAsNonNull):
* Source/JavaScriptCore/wasm/WasmExceptionType.h:
(JSC::Wasm::isTypeErrorExceptionType):
* Source/JavaScriptCore/wasm/WasmFunctionParser.h:
(JSC::Wasm::FunctionParser<Context>::parseExpression):
(JSC::Wasm::FunctionParser<Context>::parseUnreachableExpression):
* Source/JavaScriptCore/wasm/WasmLLIntGenerator.cpp:
(JSC::Wasm::LLIntGenerator::addRefAsNonNull):
* Source/JavaScriptCore/wasm/wasm.json:

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