tree 47eb3fa0dba432667774eb1d0eb9f66b897a66d3
parent d6f00810e2419489f526e4f0c94cb13318a365fd
author Vladimir Marko <vmarko@google.com> 1426678438 +0000
committer Vladimir Marko <vmarko@google.com> 1426690207 +0000

Quick: Eliminate check-cast guaranteed by instance-of.

Eliminate check-cast if the result of an instance-of with
the very same type on the same value is used to branch to
the check-cast's block or a dominator of it.

Note that there already exists a verifier-based elimination
of check-cast but it excludes check-cast on interfaces. This
new optimization works for interface types and, since it's
GVN-based, it can better recognize when the same reference
is used for instance-of and check-cast.

Change-Id: Ib315199805099d1cb0534bb4a90dc51baa409685