| commit | b1498f67b444c897fa8f1530777ef118e05aa631 | [log] [tgz] |
|---|---|---|
| author | Calin Juravle <calin@google.com> | Mon Feb 16 13:13:29 2015 +0000 |
| committer | Calin Juravle <calin@google.com> | Fri Feb 20 14:26:08 2015 +0000 |
| tree | 7ff4709329b0ba752a6111103a76fcea896a3adb | |
| parent | acf735c13998ad2a175f5a17e7bfce220073279d [diff] |
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