[webkit-changes] [WebKit/WebKit] 36791c: [Wasm-GC] Allow sequential global use in constexprs

[Asumu Takikawa]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 36791c2dd454d42383079aeefb3587d623a19e85
      https://github.com/WebKit/WebKit/commit/36791c2dd454d42383079aeefb3587d623a19e85
  Author: Asumu Takikawa <asumu at igalia.com>
  Date:   2023-11-27 (Mon, 27 Nov 2023)

  Changed paths:
    M JSTests/wasm/gc/const-exprs.js
    M Source/JavaScriptCore/wasm/WasmConstExprGenerator.cpp
    M Source/JavaScriptCore/wasm/WasmSectionParser.cpp

  Log Message:
  -----------
  [Wasm-GC] Allow sequential global use in constexprs
https://bugs.webkit.org/show_bug.cgi?id=264616

Reviewed by Yusuke Suzuki.

The GC proposal allows constant expressions in globals to be read sequentially
(previously defined globals are ok). For tables, only imported globals. For
other contexts, any globals are fine.

See https://github.com/WebAssembly/gc/pull/481

* JSTests/wasm/gc/const-exprs.js:
(async testConstExprGlobalOrdering):
* Source/JavaScriptCore/wasm/WasmConstExprGenerator.cpp:
(JSC::Wasm::ConstExprGenerator::getGlobal):
* Source/JavaScriptCore/wasm/WasmSectionParser.cpp:
(JSC::Wasm::SectionParser::parseInitExpr):

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