Forking the type system between Crankshaft & Turbofan.

Forking the type system between Crankshaft & Turbofan.

Our Type class has a semantic and representational dimension.
Much code in src/ast, Crankshaft and Turbofan is based on it.
Going forward in Turbofan we'd like to remove representational information
entirely. To that end, new type AstType has been created to preserve
existing behavior for the benefit of Crankshaft and the AST.

BUG=

Committed: https://crrev.com/17e9e2f4c853e48e0df84103e62cf59ed6684d1b
Cr-Commit-Position: refs/heads/master@{#39135}

[mvstanton, 2016-09-02 11:21:29]

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

[mvstanton, 2016-09-02 11:21:29]

Hi Benedikt,
Here is the CL we discussed.
It's rather large, but quite mechanical.
--Mike

[mvstanton, 2016-09-02 11:22:41]

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

[commit-bot: I haz the power, 2016-09-02 11:22:49]

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-09-02 11:33:45]

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

[commit-bot: I haz the power, 2016-09-02 11:33:46]

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

[Benedikt Meurer, 2016-09-02 11:49:28]

LGTM, thanks.

[mvstanton, 2016-09-02 12:27:21]

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

[commit-bot: I haz the power, 2016-09-02 12:27:28]

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

[mvstanton, 2016-09-02 12:35:08]

The CQ bit was checked by mvstanton@chromium.org

[mvstanton, 2016-09-02 12:35:08]

The patchset sent to the CQ was uploaded after l-g-t-m from bmeurer@chromium.org
Link to the patchset: https://codereview.chromium.org/2302283002/#ps20001
(title: "Nits.")

[commit-bot: I haz the power, 2016-09-02 12:35:12]

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

[mvstanton, 2016-09-02 12:44:40]

mvstanton@chromium.org changed reviewers:
+ rossberg@chromium.org

[mvstanton, 2016-09-02 12:44:40]

mvstanton@chromium.org changed required reviewers:
+ rossberg@chromium.org

[mvstanton, 2016-09-02 12:44:41]

Hi Andreas,
Could you have a look at the files src/asmjs/asm-typer.h, and
src/parsing/parameter-initializer-rewriter.h for owner approval?
Thanks!
--Mike

[commit-bot: I haz the power, 2016-09-02 12:47:31]

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

[commit-bot: I haz the power, 2016-09-02 12:47:32]

Try jobs failed on following builders:
  v8_presubmit on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_presubmit/builds/23197)

[rossberg, 2016-09-02 12:48:55]

On 2016/09/02 12:47:32, commit-bot: I haz the power wrote:
> Try jobs failed on following builders:
>   v8_presubmit on master.tryserver.v8 (JOB_FAILED,
> http://build.chromium.org/p/tryserver.v8/builders/v8_presubmit/builds/23197)

[rossberg, 2016-09-02 12:49:13]

On 2016/09/02 12:48:55, rossberg wrote:
> On 2016/09/02 12:47:32, commit-bot: I haz the power wrote:
> > Try jobs failed on following builders:
> >   v8_presubmit on master.tryserver.v8 (JOB_FAILED,
> > http://build.chromium.org/p/tryserver.v8/builders/v8_presubmit/builds/23197)

[rossberg, 2016-09-02 12:49:38]

Oops...

Aforementioned files LGTM

[mvstanton, 2016-09-02 13:00:36]

The CQ bit was checked by mvstanton@chromium.org

[commit-bot: I haz the power, 2016-09-02 13:00:42]

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-09-02 13:04:01]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-09-02 13:04:46]

Description was changed from

==========
Forking the type system between Crankshaft & Turbofan.

Our Type class has a semantic and representational dimension.
Much code in src/ast, Crankshaft and Turbofan is based on it.
Going forward in Turbofan we'd like to remove representational information
entirely. To that end, new type AstType has been created to preserve
existing behavior for the benefit of Crankshaft and the AST.

BUG=
==========

to

==========
Forking the type system between Crankshaft & Turbofan.

Our Type class has a semantic and representational dimension.
Much code in src/ast, Crankshaft and Turbofan is based on it.
Going forward in Turbofan we'd like to remove representational information
entirely. To that end, new type AstType has been created to preserve
existing behavior for the benefit of Crankshaft and the AST.

BUG=

Committed: https://crrev.com/17e9e2f4c853e48e0df84103e62cf59ed6684d1b
Cr-Commit-Position: refs/heads/master@{#39135}
==========

[commit-bot: I haz the power, 2016-09-02 13:04:47]

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