[turbofan] CheckBounds with Unsigned32 inputs is also supported.

[turbofan] CheckBounds with Unsigned32 inputs is also supported.

If the first input to CheckBounds is already an Unsigned32, then
we can just truncate both inputs to word32 and lower the bounds
check.

R=jarin@chromium.org

Committed: https://crrev.com/41b882573e4f74beec3fc364defee029a473f866
Cr-Commit-Position: refs/heads/master@{#37643}

[Benedikt Meurer, 2016-07-11 12:19:11]

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

[commit-bot: I haz the power, 2016-07-11 12:19:21]

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-11 12:21:40]

Hey Jaro,

Another low hanging fruit (not yet practically relevant until we can use the
feedback type).
Please take a look.

Thanks,
Benedikt

[Jarin, 2016-07-11 12:31:58]

lgtm

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

https://codereview.chromium.org/2138753002/diff/1/src/compiler/simplified-low...
src/compiler/simplified-lowering.cc:1813: if (BothInputsAreUnsigned32(node)) {
Is not it sufficient to check that the first input is Unsigned32?

I also think you can check TypeOf here. No?

[commit-bot: I haz the power, 2016-07-11 12:49:37]

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

[commit-bot: I haz the power, 2016-07-11 12:49:39]

Dry run: This issue passed the CQ dry run.

[Benedikt Meurer, 2016-07-11 12:52:00]

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

https://codereview.chromium.org/2138753002/diff/1/src/compiler/simplified-low...
src/compiler/simplified-lowering.cc:1813: if (BothInputsAreUnsigned32(node)) {
Done, thanks.

[Benedikt Meurer, 2016-07-11 12:52:03]

The CQ bit was checked by bmeurer@chromium.org

[Benedikt Meurer, 2016-07-11 12:52:04]

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

[commit-bot: I haz the power, 2016-07-11 12:52:07]

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-11 13:14:16]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-07-11 13:16:29]

Description was changed from

==========
[turbofan] CheckBounds with Unsigned32 inputs is also supported.

If the first input to CheckBounds is already an Unsigned32, then
we can just truncate both inputs to word32 and lower the bounds
check.

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

to

==========
[turbofan] CheckBounds with Unsigned32 inputs is also supported.

If the first input to CheckBounds is already an Unsigned32, then
we can just truncate both inputs to word32 and lower the bounds
check.

R=jarin@chromium.org

Committed: https://crrev.com/41b882573e4f74beec3fc364defee029a473f866
Cr-Commit-Position: refs/heads/master@{#37643}
==========

[commit-bot: I haz the power, 2016-07-11 13:16:30]

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