[turbofan] Add appropriate types to express Callable.

[turbofan] Add appropriate types to express Callable.

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
Committed: https://crrev.com/777e142ca162dcbfb0bec7b76ae0595bb4597310
Cr-Commit-Position: refs/heads/master@{#41345}

[Benedikt Meurer, 2016-11-29 10:05:33]

The CQ bit was checked by bmeurer@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2016-11-29 10:05:43]

Dry run: CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[Benedikt Meurer, 2016-11-29 10:07:25]

Hey Jaro,

Here's the CL for expressing Callable in the type system. This only uses it to
optimize instanceof, but we can also use it in other places. Also currently the
types are only introduced via constants, but we can extend that as well as we
see fit.
Please take a look.

Thanks,
Benedikt

[Benedikt Meurer, 2016-11-29 10:14:23]

The CQ bit was checked by bmeurer@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2016-11-29 10:14:33]

Dry run: CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[Jarin, 2016-11-29 10:19:56]

lgtm

[Benedikt Meurer, 2016-11-29 10:20:07]

The CQ bit was unchecked by bmeurer@chromium.org

[Benedikt Meurer, 2016-11-29 10:20:11]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2016-11-29 10:20:23]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2016-11-29 10:47:53]

CQ is committing da patch.

Bot data: {"patchset_id": 20001, "attempt_start_ts": 1480414811708410,
"parent_rev": "d4a8317068595b9b16c580744fe75c2e7b16ab35", "commit_rev":
"b99b639014b3b4a28401d5f12f8acaf6ae6bca13"}

[commit-bot: I haz the power, 2016-11-29 10:47:57]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-11-29 10:48:22]

Description was changed from

==========
[turbofan] Add appropriate types to express Callable.

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
==========

to

==========
[turbofan] Add appropriate types to express Callable.

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

Committed: https://crrev.com/777e142ca162dcbfb0bec7b76ae0595bb4597310
Cr-Commit-Position: refs/heads/master@{#41345}
==========

[commit-bot: I haz the power, 2016-11-29 10:48:23]

Patchset 2 (id:??) landed as
https://crrev.com/777e142ca162dcbfb0bec7b76ae0595bb4597310
Cr-Commit-Position: refs/heads/master@{#41345}