commit ebbdd87cbb57e45da341fbf7325406e982810c10
author Ian Rogers <irogers@google.com> Mon Jul 07 23:53:08 2014 -0700
committer Ian Rogers <irogers@google.com> Tue Jul 08 17:30:29 2014 -0700
tree fc8c236a7fd44ad040e013c549822868a777b747
parent 751dee376dcd972af996106a4c32ab4964c1f867

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