mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-11 14:16:59 +00:00
InstCombine: factor code better.
No functionality change. llvm-svn: 158301
This commit is contained in:
parent
14e8b5eac3
commit
f350a319b9
@ -2581,21 +2581,14 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) {
|
||||
}
|
||||
|
||||
// Transform (zext A) == (B & (1<<X)-1) --> A == (trunc B)
|
||||
// and (B & (1<<X)-1) == (zext A) --> A == (trunc B)
|
||||
ConstantInt *Cst1;
|
||||
if (Op0->hasOneUse() &&
|
||||
match(Op0, m_ZExt(m_Value(A))) &&
|
||||
match(Op1, m_And(m_Value(B), m_ConstantInt(Cst1)))) {
|
||||
APInt Pow2 = Cst1->getValue() + 1;
|
||||
if (Pow2.isPowerOf2() && isa<IntegerType>(A->getType()) &&
|
||||
Pow2.logBase2() == cast<IntegerType>(A->getType())->getBitWidth())
|
||||
return new ICmpInst(I.getPredicate(), A,
|
||||
Builder->CreateTrunc(B, A->getType()));
|
||||
}
|
||||
|
||||
// Transform (B & (1<<X)-1) == (zext A) --> A == (trunc B)
|
||||
if (Op1->hasOneUse() &&
|
||||
match(Op0, m_And(m_Value(B), m_ConstantInt(Cst1))) &&
|
||||
match(Op1, m_ZExt(m_Value(A)))) {
|
||||
if ((Op0->hasOneUse() &&
|
||||
match(Op0, m_ZExt(m_Value(A))) &&
|
||||
match(Op1, m_And(m_Value(B), m_ConstantInt(Cst1)))) ||
|
||||
(Op1->hasOneUse() &&
|
||||
match(Op0, m_And(m_Value(B), m_ConstantInt(Cst1))) &&
|
||||
match(Op1, m_ZExt(m_Value(A))))) {
|
||||
APInt Pow2 = Cst1->getValue() + 1;
|
||||
if (Pow2.isPowerOf2() && isa<IntegerType>(A->getType()) &&
|
||||
Pow2.logBase2() == cast<IntegerType>(A->getType())->getBitWidth())
|
||||
|
Loading…
x
Reference in New Issue
Block a user