[turbofan] Slightly improve truncations for CheckBounds.

[turbofan] Slightly improve truncations for CheckBounds.

For CheckBounds(index,length) we know that the length must be in
Unsigned31 range. Thus there's no observable difference for index
values in the range [-2^31,-1] and the range [2^31,2^32-1], both
are considered out-of-bounds; also it's safe to truncate -0 to 0
wrt. CheckBounds. Thus we can safely pass Word32 truncation if the
index is in Integral32 \/ MinusZero. Usually this generates the same
code, but some index computations can benefit from the Word32 truncation
and avoid going to double because the result would be outside the valid
Signed32 or Unsigned32 ranges.

R=jarin@chromium.org
BUG=v8:5267
Review-Url: https://codereview.chromium.org/2760213003
Cr-Commit-Position: refs/heads/master@{#43969}
Committed: https://chromium.googlesource.com/v8/v8/+/17d932c06b40d1e6617ebbd6cc8d1e8f411f9750

[Benedikt Meurer, 2017-03-21 06:40:56]

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

[commit-bot: I haz the power, 2017-03-21 06:41:00]

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-03-21 07:05:49]

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

[commit-bot: I haz the power, 2017-03-21 07:05:50]

Dry run: This issue passed the CQ dry run.

[Jarin, 2017-03-21 08:48:29]

lgtm

[Benedikt Meurer, 2017-03-21 10:10:26]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2017-03-21 10:10:34]

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-03-21 10:11:52]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1490091026634590, "parent_rev":
"5c227a203361d8d7eca0eb93fc9d908844a62579", "commit_rev":
"17d932c06b40d1e6617ebbd6cc8d1e8f411f9750"}

[commit-bot: I haz the power, 2017-03-21 10:11:56]

Description was changed from

==========
[turbofan] Slightly improve truncations for CheckBounds.

For CheckBounds(index,length) we know that the length must be in
Unsigned31 range. Thus there's no observable difference for index
values in the range [-2^31,-1] and the range [2^31,2^32-1], both
are considered out-of-bounds; also it's safe to truncate -0 to 0
wrt. CheckBounds. Thus we can safely pass Word32 truncation if the
index is in Integral32 \/ MinusZero. Usually this generates the same
code, but some index computations can benefit from the Word32 truncation
and avoid going to double because the result would be outside the valid
Signed32 or Unsigned32 ranges.

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

to

==========
[turbofan] Slightly improve truncations for CheckBounds.

For CheckBounds(index,length) we know that the length must be in
Unsigned31 range. Thus there's no observable difference for index
values in the range [-2^31,-1] and the range [2^31,2^32-1], both
are considered out-of-bounds; also it's safe to truncate -0 to 0
wrt. CheckBounds. Thus we can safely pass Word32 truncation if the
index is in Integral32 \/ MinusZero. Usually this generates the same
code, but some index computations can benefit from the Word32 truncation
and avoid going to double because the result would be outside the valid
Signed32 or Unsigned32 ranges.

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

Review-Url: https://codereview.chromium.org/2760213003
Cr-Commit-Position: refs/heads/master@{#43969}
Committed:
https://chromium.googlesource.com/v8/v8/+/17d932c06b40d1e6617ebbd6cc8d1e8f411...
==========

[commit-bot: I haz the power, 2017-03-21 10:11:57]

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