• Andreas Haas's avatar
    [wasm][anyref] Implement correct type checking for br_table · c476508b
    Andreas Haas authored
    This CL refactors the type-checking for br_table instructions.
    Originally, we iterated over all targets of br_table and checked
    if the values on the stack match the types expected by the
    target's signature. However, this caused problems with type
    checking unreachable br_table instructions where some stack
    values are unavailable. According to the anyref proposal, the
    expected type of br_table is the greatest lower bound of
    all its targets. With the existing implementation, the expected
    types were the types of the first target.
    
    With this CL, we first calculate the expected types of br_table,
    and only then inspect the stack if matching values are available.
    
    R=titzer@chromium.org
    
    Bug: v8:7581
    Change-Id: I12208323bda88c363e28ffb0e002d59ef9a6b9d8
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1649791
    Commit-Queue: Andreas Haas <ahaas@chromium.org>
    Reviewed-by: 's avatarClemens Hammacher <clemensh@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#62354}
    c476508b
Name
Last commit
Last update
..
OWNERS Loading commit data...
test-c-wasm-entry.cc Loading commit data...
test-jump-table-assembler.cc Loading commit data...
test-run-wasm-64.cc Loading commit data...
test-run-wasm-asmjs.cc Loading commit data...
test-run-wasm-atomics.cc Loading commit data...
test-run-wasm-atomics64.cc Loading commit data...
test-run-wasm-bulk-memory.cc Loading commit data...
test-run-wasm-exceptions.cc Loading commit data...
test-run-wasm-interpreter.cc Loading commit data...
test-run-wasm-js.cc Loading commit data...
test-run-wasm-module.cc Loading commit data...
test-run-wasm-sign-extension.cc Loading commit data...
test-run-wasm-simd.cc Loading commit data...
test-run-wasm.cc Loading commit data...
test-streaming-compilation.cc Loading commit data...
test-wasm-breakpoints.cc Loading commit data...
test-wasm-codegen.cc Loading commit data...
test-wasm-import-wrapper-cache.cc Loading commit data...
test-wasm-interpreter-entry.cc Loading commit data...
test-wasm-serialization.cc Loading commit data...
test-wasm-shared-engine.cc Loading commit data...
test-wasm-stack.cc Loading commit data...
test-wasm-trap-position.cc Loading commit data...
wasm-atomics-utils.h Loading commit data...
wasm-run-utils.cc Loading commit data...
wasm-run-utils.h Loading commit data...