[PowerPC] fix a bug in redundant compare elimination
authorHiroshi Inoue <inouehrs@jp.ibm.com>
Wed, 20 Dec 2017 05:18:19 +0000 (05:18 +0000)
committerHiroshi Inoue <inouehrs@jp.ibm.com>
Wed, 20 Dec 2017 05:18:19 +0000 (05:18 +0000)
commit11e571e0c68f872052f8827b4ee976a54a200052
treea29af9117ad5cdeedfc75ebc6caa1a3e8a26d21b
parentab2ac2906609650e9fd7bfd6ff2d3a643d93c1f1
[PowerPC] fix a bug in redundant compare elimination

This patch fixes a bug in the redundant compare elimination reported in https://reviews.llvm.org/rL320786 and re-enables the optimization.

The redundant compare elimination assumes that we can replace signed comparison with unsigned comparison for the equality check. But due to the difference in the sign extension behavior we cannot change the opcode if the comparison is against an immediate and the most significant bit of the immediate is one.

Differential Revision: https://reviews.llvm.org/D41385

llvm-svn: 321147
llvm/lib/Target/PowerPC/PPCMIPeephole.cpp
llvm/test/CodeGen/PowerPC/cmp_elimination.ll