[compiler] Refine typing of NumberShiftRightLogical.

[compiler] Refine typing of NumberShiftRightLogical.

Use the type of the RHS to compute a more precise output type.  In
particular, if the RHS is, say, 1, we now know that the result is a
subtype of Unsigned31.

R=jarin@chromium.org
BUG=

Review-Url: https://codereview.chromium.org/2706763003
Cr-Commit-Position: refs/heads/master@{#43340}
Committed: https://chromium.googlesource.com/v8/v8/+/b0c7a0fc6d0417eee2e55a392133bd2e88341cb0

[neis, 2017-02-20 09:04:22]

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

[commit-bot: I haz the power, 2017-02-20 09:04:33]

Dry run: 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, 2017-02-20 09:27:44]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-02-20 09:27:45]

Dry run: This issue passed the CQ dry run.

[Jarin, 2017-02-21 09:25:02]

lgtm

[neis, 2017-02-21 09:26:48]

The CQ bit was checked by neis@chromium.org

[commit-bot: I haz the power, 2017-02-21 09:26:57]

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, 2017-02-21 09:48:08]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1487669208880730, "parent_rev":
"99d618193a23a5fbe7f3901f6d909ff776ef8fcf", "commit_rev":
"b0c7a0fc6d0417eee2e55a392133bd2e88341cb0"}

[commit-bot: I haz the power, 2017-02-21 09:48:12]

Description was changed from

==========
[compiler] Refine typing of NumberShiftRightLogical.

Use the type of the RHS to compute a more precise output type.  In
particular, if the RHS is, say, 1, we now know that the result is a
subtype of Unsigned31.

R=jarin@chromium.org
BUG=
==========

to

==========
[compiler] Refine typing of NumberShiftRightLogical.

Use the type of the RHS to compute a more precise output type.  In
particular, if the RHS is, say, 1, we now know that the result is a
subtype of Unsigned31.

R=jarin@chromium.org
BUG=

Review-Url: https://codereview.chromium.org/2706763003
Cr-Commit-Position: refs/heads/master@{#43340}
Committed:
https://chromium.googlesource.com/v8/v8/+/b0c7a0fc6d0417eee2e55a392133bd2e883...
==========

[commit-bot: I haz the power, 2017-02-21 09:48:13]

Committed patchset #1 (id:1) as
https://chromium.googlesource.com/v8/v8/+/b0c7a0fc6d0417eee2e55a392133bd2e883...