tree 640fb56bfe465aeed281a6585dc12836c87858f9
parent 8427a3db9efb1c67d581fdae006b9afc5c1283b2
author Ian Rogers <irogers@google.com> 1370109106 -0700
committer Ian Rogers <irogers@google.com> 1370110613 -0700

Allow type based sharpening for imprecise references.

When a reference is imprecise we may still be able to devirtualize if the
method that is dispatched upon may not be overridden (ie final).
Some other tidying of the devirtualization code.

For boot this increases the frequency of type based devirtualization by a
little more than 0.01%.

Change-Id: I050efbcc78c6b89135a6432bd7c2e946d8efbab4