commit | e490b01c12d33f3bd5c247b55b47e507cc9c8fab | [log] [tgz] |
---|---|---|
author | Vladimir Marko <vmarko@google.com> | Tue Feb 24 11:32:46 2015 +0000 |
committer | Vladimir Marko <vmarko@google.com> | Wed Apr 22 20:40:00 2015 +0100 |
tree | 9b04b5390f0f29986d9951bdce4a2cb083113809 | |
parent | fac10700fd99516e8a14f751fe35553021ce6982 [diff] |
Quick: Rewrite type inference pass. Use method signatures, field types and types embedded in dex insns for type inference. Perform the type inference in two phases, first a simple pass that records all types implied by individual insns, and then an iterative pass to propagate those types further via phi, move, if-cc and aget/aput insns. Bug: 19419671 Change-Id: Id38579d48a44fc5eadd13780afb6d370093056f9