[turbofan] Introduce proper CheckNumber operator.

[turbofan] Introduce proper CheckNumber operator.

We use CheckNumber to guard values as being proper numbers, i.e. if the
input value is anything but a Number, we deoptimize. This follows the
existing effect/control linearization magic that we already use for the
other checks.

R=jarin@chromium.org
BUG=v8:5141
Committed: https://crrev.com/d5ed22808f6960bb4307fd8ea738603a66594099
Cr-Commit-Position: refs/heads/master@{#37329}

[Benedikt Meurer, 2016-06-28 12:17:00]

Hey Jaro,

Here's the CheckNumber magic for JSNativeContextSpecialization.
Please take a look.

Thanks,
Benedikt

[Jarin, 2016-06-28 12:31:00]

lgtm

[Benedikt Meurer, 2016-06-28 12:35:34]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2016-06-28 12:35:39]

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

[Benedikt Meurer, 2016-06-28 12:36:55]

The CQ bit was checked by bmeurer@chromium.org

[Benedikt Meurer, 2016-06-28 12:36:56]

The patchset sent to the CQ was uploaded after l-g-t-m from jarin@chromium.org
Link to the patchset: https://codereview.chromium.org/2109623002/#ps20001
(title: "Add to RedundancyElimination")

[commit-bot: I haz the power, 2016-06-28 12:37:13]

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-06-28 13:08:36]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-06-28 13:09:15]

Description was changed from

==========
[turbofan] Introduce proper CheckNumber operator.

We use CheckNumber to guard values as being proper numbers, i.e. if the
input value is anything but a Number, we deoptimize. This follows the
existing effect/control linearization magic that we already use for the
other checks.

R=jarin@chromium.org
BUG=v8:5141
==========

to

==========
[turbofan] Introduce proper CheckNumber operator.

We use CheckNumber to guard values as being proper numbers, i.e. if the
input value is anything but a Number, we deoptimize. This follows the
existing effect/control linearization magic that we already use for the
other checks.

R=jarin@chromium.org
BUG=v8:5141

Committed: https://crrev.com/d5ed22808f6960bb4307fd8ea738603a66594099
Cr-Commit-Position: refs/heads/master@{#37329}
==========

[commit-bot: I haz the power, 2016-06-28 13:09:16]

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