| commit | 4d416f7ed4ae02e6530e9fdb3b1efc1d7963f6ba | [log] [tgz] |
|---|---|---|
| author | Mads Ager <ager@google.com> | Tue Jun 13 13:22:18 2017 +0200 |
| committer | Mads Ager <ager@google.com> | Tue Jun 13 13:22:18 2017 +0200 |
| tree | 2c8477fb6059ae7af364858f153843de1e4d975e | |
| parent | 932881f44a2f792ec59532ac99922ebaa0da806f [diff] |
Use control-flow graph to compute JarState for all blocks. This uses a fixed-point algorithm to make sure that we merge the state from all control-flow edges to a basic block. This ensures that if we have a null type on one edge and something more specific on another edge, we record the specific information. The only case where this makes a difference is for loads from byte and boolean arrays which we have to be able to distinguish in order to generate the right dex instruction. R=zerny@google.com Bug: 62438166 Change-Id: Id8665893e0f4509924e8040a1c4e3f9c4e342449
The R8 repo contains two tools.
D8 is a dexer that converts java byte code to dex code.
R8 is a java program shrinking and minification tool.