[turbofan] Extend LoadElimination to introduce TypeGuards.

[turbofan] Extend LoadElimination to introduce TypeGuards.

If the type of a tracked field or element value is less precise than the
advertised type of the field or element load, then we replace the load
operation with a TypeGuard that guards the advertised type.

R=jarin@chromium.org
BUG=v8:5267
Committed: https://crrev.com/b98d64f909db4ae2eda9fabcbab9cf0f81cb76ac
Cr-Commit-Position: refs/heads/master@{#39032}

[Benedikt Meurer, 2016-08-30 04:36:06]

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

[commit-bot: I haz the power, 2016-08-30 04:36:09]

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-08-30 04:37:40]

Hey Jaro,

Here's the fix for the LoadElimination issue that Bram noticed.
Please take a look.

Thanks,
Benedikt

[commit-bot: I haz the power, 2016-08-30 04:51:18]

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

[commit-bot: I haz the power, 2016-08-30 04:51:19]

Dry run: Try jobs failed on following builders:
  v8_mac_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_mac_rel_ng/builds/7859)
  v8_mac_rel_ng_triggered on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_mac_rel_ng_triggered/bui...)

[Benedikt Meurer, 2016-08-31 04:07:11]

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

[commit-bot: I haz the power, 2016-08-31 04:07:16]

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-08-31 04:23:12]

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

[commit-bot: I haz the power, 2016-08-31 04:23:13]

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_avx2_rel_ng_triggered on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux64_avx2_rel_ng_trig...)

[Benedikt Meurer, 2016-08-31 04:26:48]

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

[commit-bot: I haz the power, 2016-08-31 04:26:52]

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-08-31 05:15:04]

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

[commit-bot: I haz the power, 2016-08-31 05:15:05]

Dry run: This issue passed the CQ dry run.

[Jarin, 2016-08-31 05:43:06]

lgtm

[Benedikt Meurer, 2016-08-31 05:46:10]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2016-08-31 05:46:12]

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-08-31 05:48:13]

Committed patchset #3 (id:40001)

[commit-bot: I haz the power, 2016-08-31 05:48:36]

Description was changed from

==========
[turbofan] Extend LoadElimination to introduce TypeGuards.

If the type of a tracked field or element value is less precise than the
advertised type of the field or element load, then we replace the load
operation with a TypeGuard that guards the advertised type.

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

to

==========
[turbofan] Extend LoadElimination to introduce TypeGuards.

If the type of a tracked field or element value is less precise than the
advertised type of the field or element load, then we replace the load
operation with a TypeGuard that guards the advertised type.

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

Committed: https://crrev.com/b98d64f909db4ae2eda9fabcbab9cf0f81cb76ac
Cr-Commit-Position: refs/heads/master@{#39032}
==========

[commit-bot: I haz the power, 2016-08-31 05:48:37]

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