[turbofan] Introduce CheckedUint32Div and CheckUint32Mod operators.

[turbofan] Introduce CheckedUint32Div and CheckUint32Mod operators.

Checked integer division and modulus can be done more efficiently
if we know that the inputs are in Unsigned32 range.

Drive-by-fix: Replace the TypeCheckKind on NodeInfo by a proper
restriction type, and thread the feedback type through binary
Number operations similar to what we do for their speculative
versions. Also deal with Unsigned32 inputs for integer multiplication.

R=jarin@chromium.org
BUG=v8:4583, v8:5141
Committed: https://crrev.com/15ebec035f76512f1a6e0ec96d514ae3fa8532da
Cr-Commit-Position: refs/heads/master@{#37703}

[Benedikt Meurer, 2016-07-13 06:42:57]

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

[commit-bot: I haz the power, 2016-07-13 06:42:59]

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-07-13 06:43:50]

Hey Jaro,

Here are the SimplifiedLowering changes, that you helped me with.
Please take a look.

Thanks,
Benedikt

[commit-bot: I haz the power, 2016-07-13 07:25:04]

The CQ bit was unchecked by commit-bot@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2016-07-13 07:25:04]

Dry run: This issue passed the CQ dry run.

[Jarin, 2016-07-13 07:25:39]

lgtm, thanks!

https://codereview.chromium.org/2149493002/diff/1/src/compiler/simplified-low...
File src/compiler/simplified-lowering.cc (right):

https://codereview.chromium.org/2149493002/diff/1/src/compiler/simplified-low...
src/compiler/simplified-lowering.cc:1319: if
(NodeProperties::GetType(node)->Is(Type::Unsigned32())) {
As discussed offline, it might be the right time to unify this case with the
three cases below.

[Benedikt Meurer, 2016-07-13 07:54:00]

https://codereview.chromium.org/2149493002/diff/1/src/compiler/simplified-low...
File src/compiler/simplified-lowering.cc (right):

https://codereview.chromium.org/2149493002/diff/1/src/compiler/simplified-low...
src/compiler/simplified-lowering.cc:1319: if
(NodeProperties::GetType(node)->Is(Type::Unsigned32())) {
On 2016/07/13 07:25:38, Jarin wrote:
> As discussed offline, it might be the right time to unify this case with the
> three cases below. 

Done.

[Benedikt Meurer, 2016-07-13 07:54:04]

The CQ bit was checked by bmeurer@chromium.org

[Benedikt Meurer, 2016-07-13 07:54:05]

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/2149493002/#ps20001
(title: "Address comment")

[commit-bot: I haz the power, 2016-07-13 07:54:10]

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-07-13 08:16:42]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-07-13 08:19:49]

Description was changed from

==========
[turbofan] Introduce CheckedUint32Div and CheckUint32Mod operators.

Checked integer division and modulus can be done more efficiently
if we know that the inputs are in Unsigned32 range.

Drive-by-fix: Replace the TypeCheckKind on NodeInfo by a proper
restriction type, and thread the feedback type through binary
Number operations similar to what we do for their speculative
versions. Also deal with Unsigned32 inputs for integer multiplication.

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

to

==========
[turbofan] Introduce CheckedUint32Div and CheckUint32Mod operators.

Checked integer division and modulus can be done more efficiently
if we know that the inputs are in Unsigned32 range.

Drive-by-fix: Replace the TypeCheckKind on NodeInfo by a proper
restriction type, and thread the feedback type through binary
Number operations similar to what we do for their speculative
versions. Also deal with Unsigned32 inputs for integer multiplication.

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

Committed: https://crrev.com/15ebec035f76512f1a6e0ec96d514ae3fa8532da
Cr-Commit-Position: refs/heads/master@{#37703}
==========

[commit-bot: I haz the power, 2016-07-13 08:19:50]

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