diff options
author | Nicolas Geoffray <ngeoffray@google.com> | 2016-09-23 15:40:41 +0100 |
---|---|---|
committer | Nicolas Geoffray <ngeoffray@google.com> | 2016-09-26 11:49:24 +0100 |
commit | 50a9ed014e3b4dec67246ea07727d7bec89bfb17 (patch) | |
tree | 1fcbf2173f8b7409c2feb94a372f9e8390c8bad7 /runtime/quick_exception_handler.cc | |
parent | cbb651fdf2c88052a4c556c96adac729176b61ea (diff) |
Compensate in compiler for verifier shortcomings.
The verifier does not differentiate zero and null, so a move-object
of zero can be used as a non-object later on.
Change the compiler to ignore the object conversion when the input
is zero or a phi (which might just hold zeros). The type propagation
will then do proper inferencing of the types.
Also remove some stalled comments in ssa_builder.cc.
bug:31313170
test: dex2oat b31313170.apk
test: run-test 800
test: m test-art-host-run-test
Change-Id: I579d667415a7decf8ff2c2238dae4c13eec5d0e0
Diffstat (limited to 'runtime/quick_exception_handler.cc')
0 files changed, 0 insertions, 0 deletions