• Manos Koukoutos's avatar
    Reland "[wasm-gc] Remove abstract rtts" · d3b41d07
    Manos Koukoutos authored
    This is a reland of b77deeca
    
    Changes compared to original: Add explicit narrowing casts in tests
    for MSVC.
    
    Original change's description:
    > [wasm-gc] Remove abstract rtts
    >
    > In the latest wasm-gc spec, rtts of abstract types are no longer
    > allowed. Consequently, canonical rtts of concrete types always have
    > a depth of 0.
    >
    > Changes:
    > - Change the immediate argument of rtts to a type index over a heap
    >   type. Abstract it with TypeIndexImmediate in function body decoding.
    >   This affects:
    >   value_type.h, read_value_type(), decoding of relevant opcodes,
    >   wasm subtyping, WasmInitExpr, consume_init_expr(), and
    >   wasm-module-builder.cc.
    > - In function-body-decoder-impl.h, update rtt.canon to always produce
    >   an rtt of depth 0.
    > - Pass a unit32_t type index over a HeapType to all rtt-related
    >   utilities.
    > - Remove infrastructure for abstract-type rtts from the wasm compilers,
    >   setup-heap-internal.cc, roots.h, and module-instantiate.cc.
    > - Remove ObjectReferenceKnowledge::rtt_is_i31. Remove related branches
    >   from ref.test, ref.cast and br_on_cast implementations in the wasm
    >   compilers.
    > - Remove unused 'parent' field from WasmTypeInfo.
    > - Make the parent argument optional in NewWasmTypeInfo, CreateStructMap,
    >   and CreateArrayMap.
    > - Use more convenient arguments in IsHeapSubtypeOf.
    > - Update tests.
    >
    > Bug: v8:7748
    > Change-Id: Ib45efe0741e6558c9b291fc8b4a75ae303146bdc
    > Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2642248
    > Commit-Queue: Manos Koukoutos <manoskouk@chromium.org>
    > Reviewed-by: Ulan Degenbaev <ulan@chromium.org>
    > Reviewed-by: Jakob Kummerow <jkummerow@chromium.org>
    > Cr-Commit-Position: refs/heads/master@{#72321}
    
    Bug: v8:7748
    Change-Id: I22b204b486fd185077cd6c7f15d492f5143f48fe
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2650207
    Commit-Queue: Manos Koukoutos <manoskouk@chromium.org>
    Reviewed-by: 's avatarJakob Kummerow <jkummerow@chromium.org>
    Reviewed-by: 's avatarUlan Degenbaev <ulan@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#72355}
    d3b41d07
Name
Last commit
Last update
.github Loading commit data...
build_overrides Loading commit data...
custom_deps Loading commit data...
docs Loading commit data...
gni Loading commit data...
include Loading commit data...
infra Loading commit data...
samples Loading commit data...
src Loading commit data...
test Loading commit data...
testing Loading commit data...
third_party Loading commit data...
tools Loading commit data...
.clang-format Loading commit data...
.clang-tidy Loading commit data...
.editorconfig Loading commit data...
.flake8 Loading commit data...
.git-blame-ignore-revs Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gn Loading commit data...
.vpython Loading commit data...
.ycm_extra_conf.py Loading commit data...
AUTHORS Loading commit data...
BUILD.gn Loading commit data...
CODE_OF_CONDUCT.md Loading commit data...
COMMON_OWNERS Loading commit data...
DEPS Loading commit data...
DIR_METADATA Loading commit data...
ENG_REVIEW_OWNERS Loading commit data...
INFRA_OWNERS Loading commit data...
INTL_OWNERS Loading commit data...
LICENSE Loading commit data...
LICENSE.fdlibm Loading commit data...
LICENSE.strongtalk Loading commit data...
LICENSE.v8 Loading commit data...
MIPS_OWNERS Loading commit data...
OWNERS Loading commit data...
PPC_OWNERS Loading commit data...
PRESUBMIT.py Loading commit data...
README.md Loading commit data...
S390_OWNERS Loading commit data...
WATCHLISTS Loading commit data...
codereview.settings Loading commit data...