[turbofan] Generalize constant propagation.

[turbofan] Generalize constant propagation.

Also support additional number types (singleton ranges, NaN and minus
zero) for constant propagation in typed lowering.

TEST=unittests

Committed: https://crrev.com/ec35c52e54e5ca55afd62f7eb2a5f11e1fff3554
Cr-Commit-Position: refs/heads/master@{#25963}

[Benedikt Meurer, 2015-01-05 08:11:33]

bmeurer@chromium.org changed reviewers:
+ jarin@chromium.org

[Benedikt Meurer, 2015-01-05 08:11:33]

PTAL

[Jarin, 2015-01-05 09:41:22]

lgtm with non-blocking questions.

https://codereview.chromium.org/829303002/diff/20001/src/compiler/js-typed-lo...
File src/compiler/js-typed-lowering.cc (right):

https://codereview.chromium.org/829303002/diff/20001/src/compiler/js-typed-lo...
src/compiler/js-typed-lowering.cc:930: // result value and can simply replace
the node if it's eliminatable.
eliminatable -> eliminable?

https://codereview.chromium.org/829303002/diff/20001/test/unittests/compiler/...
File test/unittests/compiler/js-typed-lowering-unittest.cc (right):

https://codereview.chromium.org/829303002/diff/20001/test/unittests/compiler/...
test/unittests/compiler/js-typed-lowering-unittest.cc:85: }
Could we have test checking that type 0 <union> -0 is not reduced?

[Benedikt Meurer, 2015-01-05 12:37:12]

Done. Requires fixes to handle -0 correctly in the type system.

https://codereview.chromium.org/829303002/diff/20001/src/compiler/js-typed-lo...
File src/compiler/js-typed-lowering.cc (right):

https://codereview.chromium.org/829303002/diff/20001/src/compiler/js-typed-lo...
src/compiler/js-typed-lowering.cc:930: // result value and can simply replace
the node if it's eliminatable.
On 2015/01/05 09:41:21, jarin wrote:
> eliminatable -> eliminable?

Done.

https://codereview.chromium.org/829303002/diff/20001/test/unittests/compiler/...
File test/unittests/compiler/js-typed-lowering-unittest.cc (right):

https://codereview.chromium.org/829303002/diff/20001/test/unittests/compiler/...
test/unittests/compiler/js-typed-lowering-unittest.cc:85: }
On 2015/01/05 09:41:21, jarin wrote:
> Could we have test checking that type 0 <union> -0 is not reduced?

Done.

[Benedikt Meurer, 2015-01-05 13:04:26]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2015-01-05 13:05:25]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/829303002/40001

[commit-bot: I haz the power, 2015-01-05 13:23:34]

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

[commit-bot: I haz the power, 2015-01-05 13:23:35]

Try jobs failed on following builders:
  v8_win_rel on tryserver.v8
(http://build.chromium.org/p/tryserver.v8/builders/v8_win_rel/builds/2146)

[Benedikt Meurer, 2015-01-05 17:34:00]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2015-01-05 17:34:15]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/829303002/40001

[commit-bot: I haz the power, 2015-01-05 17:50:05]

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

[commit-bot: I haz the power, 2015-01-05 17:50:06]

Try jobs failed on following builders:
  v8_linux64_rel on tryserver.v8
(http://build.chromium.org/p/tryserver.v8/builders/v8_linux64_rel/builds/2027)

[Benedikt Meurer, 2015-01-07 07:57:05]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2015-01-07 07:57:56]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/829303002/60001

[commit-bot: I haz the power, 2015-01-07 08:24:33]

Committed patchset #4 (id:60001)

[commit-bot: I haz the power, 2015-01-07 08:24:49]

Patchset 4 (id:??) landed as
https://crrev.com/ec35c52e54e5ca55afd62f7eb2a5f11e1fff3554
Cr-Commit-Position: refs/heads/master@{#25963}