tree dc7c7c03810c21351d2411e5c01bc0be8299ddd6
parent d8d7b90ca57e8e3762951bb419b6f2645bb414c5
author Vladimir Marko <vmarko@google.com> 1434715102 +0100
committer Vladimir Marko <vmarko@google.com> 1434722502 +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
Change-Id: I8c6ac23e96cdaf5984786a555ebbd28110f095cb