[InstCombine] Cherry-pick NFC cleanups of foldShiftIntoShiftInAnotherHandOfAndInICmp() from D66383

llvm-svn: 369207
This commit is contained in:
Roman Lebedev 2019-08-18 12:26:33 +00:00
parent b4806822d2
commit 9b957d3321
1 changed files with 8 additions and 5 deletions

View File

@ -3321,12 +3321,15 @@ foldShiftIntoShiftInAnotherHandOfAndInICmp(ICmpInst &I, const SimplifyQuery SQ,
m_Instruction(MaybeTruncation)))))
return nullptr;
Instruction *UntruncatedShift = XShift;
// We potentially looked past 'trunc', but only when matching YShift,
// therefore YShift must have the widest type.
Type *WidestTy = YShift->getType();
assert(XShift->getType() == I.getOperand(0)->getType() &&
Instruction *WidestShift = YShift;
// Therefore XShift must have the shallowest type.
// Or they both have identical types if there was no truncation.
Instruction *NarrowestShift = XShift;
Type *WidestTy = WidestShift->getType();
assert(NarrowestShift->getType() == I.getOperand(0)->getType() &&
"We did not look past any shifts while matching XShift though.");
bool HadTrunc = WidestTy != I.getOperand(0)->getType();
@ -3363,7 +3366,7 @@ foldShiftIntoShiftInAnotherHandOfAndInICmp(ICmpInst &I, const SimplifyQuery SQ,
// Due to the 'trunc', we will need to widen X. For that either the old
// 'trunc' or the shift amt in the non-truncated shift should be one-use.
if (!MaybeTruncation->hasOneUse() &&
!UntruncatedShift->getOperand(1)->hasOneUse())
!NarrowestShift->getOperand(1)->hasOneUse())
return nullptr;
}
}