[turbofan] Guard invariant that Branch/Select condition must be Boolean.

[turbofan] Guard invariant that Branch/Select condition must be Boolean.

This introduces additional verification logic to ensure that the
condition passed to Branch/Select operators is always of type
Boolean.

CQ_INCLUDE_TRYBOTS=master.tryserver.v8:v8_win64_dbg
TBR=jarin@chromium.org
BUG=v8:5267
Review-Url: https://codereview.chromium.org/2672713002
Cr-Commit-Position: refs/heads/master@{#42875}
Committed: https://chromium.googlesource.com/v8/v8/+/ed3834db3d3cc3f0fd3dfe50277c4c33b7d802da

[Benedikt Meurer, 2017-02-02 05:27:08]

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

[commit-bot: I haz the power, 2017-02-02 05:27:12]

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

[Benedikt Meurer, 2017-02-02 05:27:17]

The CQ bit was unchecked by bmeurer@chromium.org

[Benedikt Meurer, 2017-02-02 05:27:21]

The CQ bit was checked by bmeurer@chromium.org

[commit-bot: I haz the power, 2017-02-02 05:27:23]

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-02-02 06:01:01]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1486013241363230, "parent_rev":
"faa0ab66ef561ba83e9a363150fb8338bc59aa21", "commit_rev":
"ed3834db3d3cc3f0fd3dfe50277c4c33b7d802da"}

[commit-bot: I haz the power, 2017-02-02 06:01:06]

Description was changed from

==========
[turbofan] Guard invariant that Branch/Select condition must be Boolean.

This introduces additional verification logic to ensure that the
condition passed to Branch/Select operators is always of type
Boolean.

CQ_INCLUDE_TRYBOTS=master.tryserver.v8:v8_win64_dbg
TBR=jarin@chromium.org
BUG=v8:5267
==========

to

==========
[turbofan] Guard invariant that Branch/Select condition must be Boolean.

This introduces additional verification logic to ensure that the
condition passed to Branch/Select operators is always of type
Boolean.

CQ_INCLUDE_TRYBOTS=master.tryserver.v8:v8_win64_dbg
TBR=jarin@chromium.org
BUG=v8:5267

Review-Url: https://codereview.chromium.org/2672713002
Cr-Commit-Position: refs/heads/master@{#42875}
Committed:
https://chromium.googlesource.com/v8/v8/+/ed3834db3d3cc3f0fd3dfe50277c4c33b7d...
==========

[commit-bot: I haz the power, 2017-02-02 06:01:06]

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