[turbofan] Add --csa-verify flag that enables machine graph verification of code stubs.

[turbofan] Add --csa-verify flag that enables machine graph verification of code stubs.

The flag must be used only by CodeStubAssemblerGraphsCorrectness cctest for now
and once all the verification issues are fixed the flag will be enabled in debug
mode by default.

This CL also relaxes some checks for code stub graphs and fixes some issues in the stubs.

BUG=

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

[Igor Sheludko, 2016-12-06 22:45:12]

Description was changed from

==========
[turbofan] Add --csa-verify flag that enables machine graph verification of code
stubs.

The flag must be used only by CodeStubAssemblerGraphsCorrectness cctest for now
and once all the verification issues are fixed the flag will be enabled in debug
mode by default.

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

to

==========
[turbofan] Add --csa-verify flag that enables machine graph verification of code
stubs.

The flag must be used only by CodeStubAssemblerGraphsCorrectness cctest for now
and once all the verification issues are fixed the flag will be enabled in debug
mode by default.

This CL also relaxes some checks for code stub graphs and fixes some issues in
the stubs.

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

[Igor Sheludko, 2016-12-06 22:46:06]

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

[commit-bot: I haz the power, 2016-12-06 22:46: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-12-06 23:11:04]

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

[commit-bot: I haz the power, 2016-12-06 23:11:05]

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

[Igor Sheludko, 2016-12-07 08:16:45]

Patchset #1 (id:1) has been deleted

[Igor Sheludko, 2016-12-07 08:16:52]

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

[commit-bot: I haz the power, 2016-12-07 08:16:56]

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

[Igor Sheludko, 2016-12-07 08:19:45]

The CQ bit was unchecked by ishell@chromium.org

[Igor Sheludko, 2016-12-07 09:38:27]

ishell@chromium.org changed reviewers:
+ epertoso@chromium.org

[Igor Sheludko, 2016-12-07 09:38:28]

PTAL

[epertoso, 2016-12-07 09:53:44]

lgtm

[Igor Sheludko, 2016-12-07 10:38:41]

The CQ bit was checked by ishell@chromium.org

[commit-bot: I haz the power, 2016-12-07 10:38:52]

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-12-07 10:40:45]

CQ is committing da patch.

Bot data: {"patchset_id": 20001, "attempt_start_ts": 1481107121725560,
"parent_rev": "bcf69c2f74573f28a566f9bd584289fd80aa78eb", "commit_rev":
"c62613aabb1c35a245eac6ed5c2515b22b1cf414"}

[commit-bot: I haz the power, 2016-12-07 10:40:48]

Description was changed from

==========
[turbofan] Add --csa-verify flag that enables machine graph verification of code
stubs.

The flag must be used only by CodeStubAssemblerGraphsCorrectness cctest for now
and once all the verification issues are fixed the flag will be enabled in debug
mode by default.

This CL also relaxes some checks for code stub graphs and fixes some issues in
the stubs.

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

to

==========
[turbofan] Add --csa-verify flag that enables machine graph verification of code
stubs.

The flag must be used only by CodeStubAssemblerGraphsCorrectness cctest for now
and once all the verification issues are fixed the flag will be enabled in debug
mode by default.

This CL also relaxes some checks for code stub graphs and fixes some issues in
the stubs.

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

[commit-bot: I haz the power, 2016-12-07 10:40:49]

Committed patchset #1 (id:20001)

[commit-bot: I haz the power, 2016-12-07 10:41:11]

Description was changed from

==========
[turbofan] Add --csa-verify flag that enables machine graph verification of code
stubs.

The flag must be used only by CodeStubAssemblerGraphsCorrectness cctest for now
and once all the verification issues are fixed the flag will be enabled in debug
mode by default.

This CL also relaxes some checks for code stub graphs and fixes some issues in
the stubs.

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

to

==========
[turbofan] Add --csa-verify flag that enables machine graph verification of code
stubs.

The flag must be used only by CodeStubAssemblerGraphsCorrectness cctest for now
and once all the verification issues are fixed the flag will be enabled in debug
mode by default.

This CL also relaxes some checks for code stub graphs and fixes some issues in
the stubs.

BUG=

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

[commit-bot: I haz the power, 2016-12-07 10:41:12]

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