[turbofan] Utilize type information for alias analysis.

[turbofan] Utilize type information for alias analysis.

If the intersection of the types of nodes a and b is empty, then there's
no way that a and b could ever refer to the same object, so we can use
that information for alias analysis.

Drive-by-fix: Improve use of types to enable typed alias analysis to
become more effective. Also fix an ASAN issue uncovered by this CL.

R=jarin@chromium.org

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

[Benedikt Meurer, 2016-08-11 03:52:29]

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

[commit-bot: I haz the power, 2016-08-11 03:52:33]

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-11 03:54:25]

Hey Jaro,

Here's a low hanging fruit for the alias analysis.
Please take a look.

Thanks,
Benedikt

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

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

[commit-bot: I haz the power, 2016-08-11 04:07:32]

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-11 04:07:47]

Description was changed from

==========
[turbofan] Utilize type information for alias analysis.

If the intersection of the types of nodes a and b is empty, then there's
no way that a and b could ever refer to the same object, so we can use
that information for alias analysis.

Drive-by-fix: Improve use of types to enable typed alias analysis to
become more effective.

R=jarin@chromium.org
==========

to

==========
[turbofan] Utilize type information for alias analysis.

If the intersection of the types of nodes a and b is empty, then there's
no way that a and b could ever refer to the same object, so we can use
that information for alias analysis.

Drive-by-fix: Improve use of types to enable typed alias analysis to
become more effective. Also fix an ASAN issue uncovered by this CL.

R=jarin@chromium.org
==========

[commit-bot: I haz the power, 2016-08-11 04:27:41]

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

[commit-bot: I haz the power, 2016-08-11 04:27:42]

Dry run: Try jobs failed on following builders:
  v8_win_nosnap_shared_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_win_nosnap_shared_rel_ng...)
  v8_win_nosnap_shared_rel_ng_triggered on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_win_nosnap_shared_rel_ng...)

[Benedikt Meurer, 2016-08-11 05:22:27]

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

[commit-bot: I haz the power, 2016-08-11 05:22:30]

Dry run: CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[Jarin, 2016-08-11 05:27:48]

lgtm

[Benedikt Meurer, 2016-08-11 05:28:33]

The CQ bit was unchecked by bmeurer@chromium.org

[Benedikt Meurer, 2016-08-11 05:28:36]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2016-08-11 05:28:39]

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-11 05:41:36]

Description was changed from

==========
[turbofan] Utilize type information for alias analysis.

If the intersection of the types of nodes a and b is empty, then there's
no way that a and b could ever refer to the same object, so we can use
that information for alias analysis.

Drive-by-fix: Improve use of types to enable typed alias analysis to
become more effective. Also fix an ASAN issue uncovered by this CL.

R=jarin@chromium.org
==========

to

==========
[turbofan] Utilize type information for alias analysis.

If the intersection of the types of nodes a and b is empty, then there's
no way that a and b could ever refer to the same object, so we can use
that information for alias analysis.

Drive-by-fix: Improve use of types to enable typed alias analysis to
become more effective. Also fix an ASAN issue uncovered by this CL.

R=jarin@chromium.org
==========

[commit-bot: I haz the power, 2016-08-11 05:41:38]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-08-11 05:41:48]

Description was changed from

==========
[turbofan] Utilize type information for alias analysis.

If the intersection of the types of nodes a and b is empty, then there's
no way that a and b could ever refer to the same object, so we can use
that information for alias analysis.

Drive-by-fix: Improve use of types to enable typed alias analysis to
become more effective. Also fix an ASAN issue uncovered by this CL.

R=jarin@chromium.org
==========

to

==========
[turbofan] Utilize type information for alias analysis.

If the intersection of the types of nodes a and b is empty, then there's
no way that a and b could ever refer to the same object, so we can use
that information for alias analysis.

Drive-by-fix: Improve use of types to enable typed alias analysis to
become more effective. Also fix an ASAN issue uncovered by this CL.

R=jarin@chromium.org

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

[commit-bot: I haz the power, 2016-08-11 05:41:49]

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