tree fc8c236a7fd44ad040e013c549822868a777b747
parent 751dee376dcd972af996106a4c32ab4964c1f867
author Ian Rogers <irogers@google.com> 1404802388 -0700
committer Ian Rogers <irogers@google.com> 1404865829 -0700

Only allow instance-of to improve knowledge of a type for downcasts.

Previous "not upcast" test could improve a type to an impossible type that
following a merge back with the original register would lead to conflict
(and subsequent verifier errors).
Modify UpdateRegisters so that the work line will be updated if merging
causes changes in the fall-through case.

Bug: 15808277
Issue: https://code.google.com/p/android/issues/detail?id=72093
Change-Id: Ib16cae8506246177e902825af036d5a397ad0dac