• bmeurer's avatar
    [turbofan] Add appropriate types to express Callable. · 777e142c
    bmeurer authored
    This introduces three new types OtherCallable, CallableProxy (and OtherProxy),
    and BoundFunction to make it possible to express Callable in the Type system.
    It also forces all undetectable receivers to be Callable, which matches the
    use case for undetectable, namely document.all (guarded by proper checks and
    tests).
    
    It also uses these new types to properly optimize instanceof (indirectly via
    OrdinaryHasInstance) based on the type of the constructor and the object. So
    we are able to constant-fold certain instanceof expressions based on types
    and completely avoid the builtin call.
    
    R=jarin@chromium.org
    BUG=v8:5267
    
    Review-Url: https://codereview.chromium.org/2535753004
    Cr-Commit-Position: refs/heads/master@{#41345}
    777e142c
Name
Last commit
Last update
benchmarks Loading commit data...
build_overrides Loading commit data...
docs Loading commit data...
gni Loading commit data...
gypfiles 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...
.gitignore Loading commit data...
.gn 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...
Makefile Loading commit data...
Makefile.android 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...