[turbofan] Revert "Avoid overflow checks on SpeculativeNumberAdd/Subtract/Multiply."

[turbofan] Revert "Avoid overflow checks on SpeculativeNumberAdd/Subtract/Multiply."

The optimization is not correct for unsigned output types, and we the
overall complexity seems too high. We need to find a better way to
take into account the input/output type restrictions.

Also added a regression test for the unsigned output bug.

BUG=v8:5267, v8:5270, v8:5357
TBR=jarin@chromium.org

Committed: https://crrev.com/91ed540ee662e15a9a33a420848f2e171f2999d1
Cr-Commit-Position: refs/heads/master@{#39262}

[Benedikt Meurer, 2016-09-08 03:47:25]

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

[commit-bot: I haz the power, 2016-09-08 03:47:28]

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-09-08 03:47:36]

The CQ bit was unchecked by bmeurer@chromium.org

[Benedikt Meurer, 2016-09-08 03:47:40]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2016-09-08 03:47:48]

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-09-08 04:20:22]

Committed patchset #1 (id:1)

[commit-bot: I haz the power, 2016-09-08 04:20:39]

Description was changed from

==========
[turbofan] Revert "Avoid overflow checks on
SpeculativeNumberAdd/Subtract/Multiply."

The optimization is not correct for unsigned output types, and we the
overall complexity seems too high. We need to find a better way to
take into account the input/output type restrictions.

Also added a regression test for the unsigned output bug.

BUG=v8:5267,v8:5270,v8:5357
TBR=jarin@chromium.org
==========

to

==========
[turbofan] Revert "Avoid overflow checks on
SpeculativeNumberAdd/Subtract/Multiply."

The optimization is not correct for unsigned output types, and we the
overall complexity seems too high. We need to find a better way to
take into account the input/output type restrictions.

Also added a regression test for the unsigned output bug.

BUG=v8:5267,v8:5270,v8:5357
TBR=jarin@chromium.org

Committed: https://crrev.com/91ed540ee662e15a9a33a420848f2e171f2999d1
Cr-Commit-Position: refs/heads/master@{#39262}
==========

[commit-bot: I haz the power, 2016-09-08 04:20:39]

Patchset 1 (id:??) landed as
https://crrev.com/91ed540ee662e15a9a33a420848f2e171f2999d1
Cr-Commit-Position: refs/heads/master@{#39262}