• Manos Koukoutos's avatar
    [wasm-gc] Allow reference types to function signatures · a61aaed9
    Manos Koukoutos authored
    Changes:
    - Remove restriction that function types cannot be used as ref types.
    - Introduce WasmModule::has_type().
    - Remove deferred signature checks in module-decoder. Instead, check if
      type indices are out of bounds in consume_value_type (was bugged
      before).
    - Remove obsolete GetCanonicalRttIndex.
    - Refine type of ref.func.
    - Statically check immediate type against table type for call_indirect.
    - Dynamic check for call_indirect should only happen when for funcref
      (currently the only function supertype).
    - Allocate a different map per function signature (with Map::Copy).
    - Introduce function type equivalence and (trivial) subtyping.
    - Add a few elementary tests.
    
    Bug: v8:7748
    Change-Id: If57d0bfd856c9eb3784191f3de423f53dfd26ef1
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2335190
    Commit-Queue: Manos Koukoutos <manoskouk@chromium.org>
    Reviewed-by: 's avatarUlan Degenbaev <ulan@chromium.org>
    Reviewed-by: 's avatarJakob Kummerow <jkummerow@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#69250}
    a61aaed9
Name
Last commit
Last update
..
api Loading commit data...
asmjs Loading commit data...
assembler Loading commit data...
base Loading commit data...
codegen Loading commit data...
compiler Loading commit data...
compiler-dispatcher Loading commit data...
date Loading commit data...
diagnostics Loading commit data...
execution Loading commit data...
heap Loading commit data...
interpreter Loading commit data...
libplatform Loading commit data...
logging Loading commit data...
numbers Loading commit data...
objects Loading commit data...
parser Loading commit data...
profiler Loading commit data...
regress Loading commit data...
strings Loading commit data...
tasks Loading commit data...
torque Loading commit data...
utils Loading commit data...
wasm Loading commit data...
zone Loading commit data...
BUILD.gn Loading commit data...
DEPS Loading commit data...
run-all-unittests.cc Loading commit data...
test-helpers.cc Loading commit data...
test-helpers.h Loading commit data...
test-utils.cc Loading commit data...
test-utils.h Loading commit data...
testcfg.py Loading commit data...
unittests.status Loading commit data...