tree bfeaeefaec1aae17905bb9df72959193a539ca75
parent e161a2a60c0325793f04be42a0f05228955ecfdd
author Roland Levillain <rpl@google.com> 1412156909 +0100
committer Roland Levillain <rpl@google.com> 1413294256 +0100

Improve art::SSAChecker::VisitInstruction.

Actually inspect the uses of an instruction to ensure the
latter dominates all of the former, instead of browsing the
inputs of this instruction (to ensure they dominate the
instruction).

Also check instruction domination with respect to environment
uses.

Change-Id: I967f34a45f48930607bf9683180d02e7c27b4e06