[turbofan] Induction variable bound analysis.

[turbofan] Induction variable bound analysis.

The new phase will detect loop variable, infer bounds and bake them into
the type.

Committed: https://crrev.com/398a114357dc3d64025fddf9645a1eb5cebcb1ca
Cr-Commit-Position: refs/heads/master@{#38077}

[Jarin, 2016-07-21 18:14:13]

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

[Jarin, 2016-07-21 18:14:14]

Here is the preview of the induction variable typer.

Could you take a look, please?

Unfortunately, this tanks gaussian blur in Kraken because of a bug in generic
lowering - it does not properly mark the graph for visiting after lowering of a
stack check, and this causes redundancy elimination to skip the loop, somehow.

[Jarin, 2016-07-22 07:21:33]

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

[commit-bot: I haz the power, 2016-07-22 07:21:42]

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, 2016-07-22 07:23:13]

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

[commit-bot: I haz the power, 2016-07-22 07:23:14]

Dry run: Try jobs failed on following builders:
  v8_linux64_avx2_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux64_avx2_rel_ng/buil...)
  v8_linux64_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux64_rel_ng/builds/9527)
  v8_linux_dbg_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux_dbg_ng/builds/9508)
  v8_linux_gcc_compile_rel on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux_gcc_compile_rel/bu...)
  v8_linux_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux_rel_ng/builds/9473)

[Jarin, 2016-07-22 08:50:45]

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

[commit-bot: I haz the power, 2016-07-22 08:50:47]

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, 2016-07-22 09:16:15]

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

[commit-bot: I haz the power, 2016-07-22 09:16:16]

Dry run: This issue passed the CQ dry run.

[Benedikt Meurer, 2016-07-27 05:12:58]

Nice, LGTM.

[Benedikt Meurer, 2016-07-27 05:13:08]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2016-07-27 05:13:20]

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-27 05:50:43]

Committed patchset #3 (id:40001)

[commit-bot: I haz the power, 2016-07-27 05:51:11]

Description was changed from

==========
[turbofan] Induction variable bound analysis.

The new phase will detect loop variable, infer bounds and bake them into
the type.
==========

to

==========
[turbofan] Induction variable bound analysis.

The new phase will detect loop variable, infer bounds and bake them into
the type.

Committed: https://crrev.com/398a114357dc3d64025fddf9645a1eb5cebcb1ca
Cr-Commit-Position: refs/heads/master@{#38077}
==========

[commit-bot: I haz the power, 2016-07-27 05:51:12]

Patchset 3 (id:??) landed as
https://crrev.com/398a114357dc3d64025fddf9645a1eb5cebcb1ca
Cr-Commit-Position: refs/heads/master@{#38077}