tree 7ff4709329b0ba752a6111103a76fcea896a3adb
parent acf735c13998ad2a175f5a17e7bfce220073279d
author Calin Juravle <calin@google.com> 1424092409 +0000
committer Calin Juravle <calin@google.com> 1424442368 +0000

Improve type propagation with if-contexts

This works by adding a new instruction (HBoundType) after each `if (a
instanceof ClassA) {}` to bound the type that `a` can take in the True-
dominated blocks.

Change-Id: Iae6a150b353486d4509b0d9b092164675732b90c