• Clemens Hammacher's avatar
    [wasm] Remove reachability checks from TF backend · 314da8ee
    Clemens Hammacher authored
    The function body decoder already tracks reachability and only calls
    the backend for reachable code. Thus the checks in the TF backend can
    be skipped.
    Note that there was already a DCHECK in place that checks whether
    {SsaEnv::reached()} always returns true. This was to give fuzzers a
    chance to prove the reachability analysis in the function body decoder
    wrong. Since this did not happen, we can not remove the {reached()}
    method from SsaEnv, since it always returned true anyway.
    
    R=titzer@chromium.org
    
    Bug: v8:8423, v8:8611
    Change-Id: I2336aa7a092e381e3d94d87051b6e14db0dbab99
    Reviewed-on: https://chromium-review.googlesource.com/c/1415493Reviewed-by: 's avatarBen Titzer <titzer@chromium.org>
    Commit-Queue: Clemens Hammacher <clemensh@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#58871}
    314da8ee
Name
Last commit
Last update
benchmarks 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...
.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...
ChangeLog Loading commit data...
DEPS Loading commit data...
LICENSE Loading commit data...
LICENSE.fdlibm Loading commit data...
LICENSE.strongtalk Loading commit data...
LICENSE.v8 Loading commit data...
LICENSE.valgrind Loading commit data...
OWNERS Loading commit data...
PRESUBMIT.py Loading commit data...
README.md Loading commit data...
WATCHLISTS Loading commit data...
codereview.settings Loading commit data...
snapshot_toolchain.gni Loading commit data...