tree 91334d4d07517d7da1aab4c46b47649ae791c88b
parent dd3c7d2d6124ceb346b4ed9aa7115f75fc6d3f9f
author Vladimir Marko <vmarko@google.com> 1434715102 +0100
committer Vladimir Marko <vmarko@google.com> 1434726299 +0100

Quick: Fix optimizations for empty if blocks.

If a block ending with if-eqz or if-nez has the same "taken"
and "fallthrough", we cannot assume that the value has been
checked against zero in one of the succesors. This affects
the null check elimination pass as well as GVN. Refactor all
those checks to a single function in BasicBlock and check
that the "taken" and "falthrough" are different when needed.

Bug: 21614284

(cherry picked from commit f11c420c448baffac6a70ac0884d481ab347e257)

Change-Id: I062e0042de3470ce8680b586487b9c7acbd206bc