[interpreter] Simplify graph builder control flow simulation.

[interpreter] Simplify graph builder control flow simulation.

This simplifies how the BytecodeGraphBuilder simulates control flow by
reversing the propagation direction to forwards propagation. This is the
same direction as the data flow which is also a forward propagation. In
this way the analysis information needed at merge points is drastically
reduced while still retaining the same simulation power.

In short: We push down environments instead of pulling them.

R=oth@chromium.org

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

[Michael Starzinger, 2016-01-28 19:50:38]

Description was changed from

==========
[interpreter] Simplify graph builder control flow simulation.

This simplifies how the BytecodeGraphBuilder simulates control flow by
reversing the propagation direction to forwards propagation. This is the
same direction as the data flow which is also a fordward propagation. In
this way the analysis information needed at merge points is drastically
reduced while still retaining the same simulation power.

In short: We push down environments instead of pulling down.

R=oth@chromium.org
==========

to

==========
[interpreter] Simplify graph builder control flow simulation.

This simplifies how the BytecodeGraphBuilder simulates control flow by
reversing the propagation direction to forwards propagation. This is the
same direction as the data flow which is also a forward propagation. In
this way the analysis information needed at merge points is drastically
reduced while still retaining the same simulation power.

In short: We push down environments instead of pulling them.

R=oth@chromium.org
==========

[Michael Starzinger, 2016-01-29 14:52:41]

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

[oth, 2016-02-01 09:02:14]

Nice redux. lgtm.

[Michael Starzinger, 2016-02-01 09:22:03]

The CQ bit was checked by mstarzinger@chromium.org

[commit-bot: I haz the power, 2016-02-01 09:22:06]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/1641893004/20001
View timeline at
 https://chromium-cq-status.appspot.com/patch-timeline/1641893004/20001

[commit-bot: I haz the power, 2016-02-01 09:47:24]

Description was changed from

==========
[interpreter] Simplify graph builder control flow simulation.

This simplifies how the BytecodeGraphBuilder simulates control flow by
reversing the propagation direction to forwards propagation. This is the
same direction as the data flow which is also a forward propagation. In
this way the analysis information needed at merge points is drastically
reduced while still retaining the same simulation power.

In short: We push down environments instead of pulling them.

R=oth@chromium.org
==========

to

==========
[interpreter] Simplify graph builder control flow simulation.

This simplifies how the BytecodeGraphBuilder simulates control flow by
reversing the propagation direction to forwards propagation. This is the
same direction as the data flow which is also a forward propagation. In
this way the analysis information needed at merge points is drastically
reduced while still retaining the same simulation power.

In short: We push down environments instead of pulling them.

R=oth@chromium.org
==========

[commit-bot: I haz the power, 2016-02-01 09:47:24]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-02-01 09:47:51]

Description was changed from

==========
[interpreter] Simplify graph builder control flow simulation.

This simplifies how the BytecodeGraphBuilder simulates control flow by
reversing the propagation direction to forwards propagation. This is the
same direction as the data flow which is also a forward propagation. In
this way the analysis information needed at merge points is drastically
reduced while still retaining the same simulation power.

In short: We push down environments instead of pulling them.

R=oth@chromium.org
==========

to

==========
[interpreter] Simplify graph builder control flow simulation.

This simplifies how the BytecodeGraphBuilder simulates control flow by
reversing the propagation direction to forwards propagation. This is the
same direction as the data flow which is also a forward propagation. In
this way the analysis information needed at merge points is drastically
reduced while still retaining the same simulation power.

In short: We push down environments instead of pulling them.

R=oth@chromium.org

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

[commit-bot: I haz the power, 2016-02-01 09:47:51]

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