[csa] Improve propagation of deferred block mark

[csa] Improve propagation of deferred block mark

Before this patch, loops in deferred code would defeat the propagation of the
deferred flag, since back edges would usually not come from deferred blocks,
thus stoping the forward propagation of the deferred flag at loop headers. This
patch ensures that back edges are ignored in the deferred propations, properly
placing loops dominated by deferred labels and the code that follows them into
deferred code.

R=epertoso@chromium.org
LOG=N

Review-Url: https://codereview.chromium.org/2606923002
Cr-Commit-Position: refs/heads/master@{#41976}
Committed: https://chromium.googlesource.com/v8/v8/+/81df56ae5f65d3dac37a8c1fd76a90b77c3504d5

[danno, 2016-12-28 16:20:46]

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

[commit-bot: I haz the power, 2016-12-28 16:20:54]

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

[danno, 2016-12-28 16:21:04]

ptal

[epertoso, 2016-12-28 16:28:45]

lgtm

[commit-bot: I haz the power, 2016-12-28 16:45:18]

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

[commit-bot: I haz the power, 2016-12-28 16:45:19]

Dry run: This issue passed the CQ dry run.

[danno, 2016-12-28 16:45:57]

The CQ bit was checked by danno@chromium.org

[commit-bot: I haz the power, 2016-12-28 16:45:59]

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-28 16:47:35]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1482943557597310, "parent_rev":
"133b8dfa198d9a340a160e08001e8857a63b74f9", "commit_rev":
"81df56ae5f65d3dac37a8c1fd76a90b77c3504d5"}

[commit-bot: I haz the power, 2016-12-28 16:47:44]

Description was changed from

==========
[csa] Improve propagation of deferred block mark

Before this patch, loops in deferred code would defeat the propagation of the
deferred flag, since back edges would usually not come from deferred blocks,
thus stoping the forward propagation of the deferred flag at loop headers. This
patch ensures that back edges are ignored in the deferred propations, properly
placing loops dominated by deferred labels and the code that follows them into
deferred code.

R=epertoso@chromium.org
LOG=N
==========

to

==========
[csa] Improve propagation of deferred block mark

Before this patch, loops in deferred code would defeat the propagation of the
deferred flag, since back edges would usually not come from deferred blocks,
thus stoping the forward propagation of the deferred flag at loop headers. This
patch ensures that back edges are ignored in the deferred propations, properly
placing loops dominated by deferred labels and the code that follows them into
deferred code.

R=epertoso@chromium.org
LOG=N

Review-Url: https://codereview.chromium.org/2606923002
Cr-Commit-Position: refs/heads/master@{#41976}
Committed:
https://chromium.googlesource.com/v8/v8/+/81df56ae5f65d3dac37a8c1fd76a90b77c3...
==========

[commit-bot: I haz the power, 2016-12-28 16:47:45]

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