tree b280da802a27bc77536767bd77026dac96cf21d0
parent d1f28cead0981ee7b38588834b3288f11e0eee7a
author Florian Schneider <fschneider@google.com> 1449173675 +0100
committer William Hesse <whesse@google.com> 1450361658 +0100

VM: Fix bug in type propagation at conditionals.

Propagating type/cid at conditional branches is not possible because
it may cause invalid code motion.

For this to be safe we need to explicitly represent the dependency
between checks eliminated in a branch and the condition that constrains the type/cid.

BUG=
R=vegorov@google.com

Review URL: https://codereview.chromium.org/1491373005 .