commit | f11c420c448baffac6a70ac0884d481ab347e257 | [log] [tgz] |
---|---|---|
author | Vladimir Marko <vmarko@google.com> | Fri Jun 19 12:58:22 2015 +0100 |
committer | Vladimir Marko <vmarko@google.com> | Fri Jun 19 15:01:42 2015 +0100 |
tree | dc7c7c03810c21351d2411e5c01bc0be8299ddd6 | |
parent | d8d7b90ca57e8e3762951bb419b6f2645bb414c5 [diff] |
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