[turbofan] Introduce a dedicated Array type.

[turbofan] Introduce a dedicated Array type.

Use Type::Array to constant-fold Array.isArray builtin based on the
value input type. Also use it to improve type based alias analysis,
where we know that stores to an object of type Array don't affect stores
to an object of type OtherObject, and vice versa.

R=jarin@chromium.org
BUG=v8:6262
Review-Url: https://codereview.chromium.org/2819583002
Cr-Commit-Position: refs/heads/master@{#44681}
Committed: https://chromium.googlesource.com/v8/v8/+/199e543f7c2c514f3fea090c046313453c2ff497

[Benedikt Meurer, 2017-04-13 17:38:12]

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

[commit-bot: I haz the power, 2017-04-13 17:38:21]

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, 2017-04-13 18:12:14]

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

[commit-bot: I haz the power, 2017-04-13 18:12:14]

Dry run: This issue passed the CQ dry run.

[Benedikt Meurer, 2017-04-18 11:28:39]

Hey Jaro,

Here's the Array type CL we cooked last week. It helps the LoadElimination pass
to not confused Array and other objects.
Please take a look.

Thanks,
Benedikt

[Jarin, 2017-04-18 11:31:57]

lgtm

[Benedikt Meurer, 2017-04-18 11:42:07]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2017-04-18 11:42:10]

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, 2017-04-18 12:12:28]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1492515727631090, "parent_rev":
"bd72be6f43e010e59c28c71f2d571c63cf9282a3", "commit_rev":
"199e543f7c2c514f3fea090c046313453c2ff497"}

[commit-bot: I haz the power, 2017-04-18 12:12:35]

Description was changed from

==========
[turbofan] Introduce a dedicated Array type.

Use Type::Array to constant-fold Array.isArray builtin based on the
value input type. Also use it to improve type based alias analysis,
where we know that stores to an object of type Array don't affect stores
to an object of type OtherObject, and vice versa.

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

to

==========
[turbofan] Introduce a dedicated Array type.

Use Type::Array to constant-fold Array.isArray builtin based on the
value input type. Also use it to improve type based alias analysis,
where we know that stores to an object of type Array don't affect stores
to an object of type OtherObject, and vice versa.

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

Review-Url: https://codereview.chromium.org/2819583002
Cr-Commit-Position: refs/heads/master@{#44681}
Committed:
https://chromium.googlesource.com/v8/v8/+/199e543f7c2c514f3fea090c046313453c2...
==========

[commit-bot: I haz the power, 2017-04-18 12:12:36]

Committed patchset #1 (id:1) as
https://chromium.googlesource.com/v8/v8/+/199e543f7c2c514f3fea090c046313453c2...