maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Do not let MaskedValueIsZero consider undef to be zero, for reasons 

explained in the comment.

This fixes UnitTests/2003-09-18-BitFieldTest on darwin

llvm-svn: 22483
This commit is contained in:
Chris Lattner 2005-07-20 18:49:28 +00:00
parent 05732c86d4
commit 18aa4d8196
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
llvm/lib/Transforms/Scalar/InstructionCombining.cpp
View File

@ -1317,7 +1317,13 @@ struct FoldSetCCLogical {
/// this predicate to simplify operations downstream. V and Mask are known to /// this predicate to simplify operations downstream. V and Mask are known to
/// be the same type. /// be the same type.
static bool MaskedValueIsZero(Value *V, ConstantIntegral *Mask) { static bool MaskedValueIsZero(Value *V, ConstantIntegral *Mask) {
if (isa<UndefValue>(V) || Mask->isNullValue()) // Note, we cannot consider 'undef' to be "IsZero" here. The problem is that
// we cannot optimize based on the assumption that it is zero without changing
// to to an explicit zero. If we don't change it to zero, other code could
// optimized based on the contradictory assumption that it is non-zero.
// Because instcombine aggressively folds operations with undef args anyway,
// this won't lose us code quality.
if (Mask->isNullValue())
return true; return true;
if (ConstantIntegral *CI = dyn_cast<ConstantIntegral>(V)) if (ConstantIntegral *CI = dyn_cast<ConstantIntegral>(V))
return ConstantExpr::getAnd(CI, Mask)->isNullValue(); return ConstantExpr::getAnd(CI, Mask)->isNullValue();
@ -3134,7 +3140,7 @@ Instruction *InstCombiner::visitShiftInst(ShiftInst &I) {
return ReplaceInstUsesWith(I, Constant::getNullValue(I.getType())); return ReplaceInstUsesWith(I, Constant::getNullValue(I.getType()));
} }
if (isa<UndefValue>(Op1)) { if (isa<UndefValue>(Op1)) {
if (isLeftShift || I.getType()->isUnsigned()) if (isLeftShift || I.getType()->isUnsigned())// X << undef, X >>u undef -> 0
return ReplaceInstUsesWith(I, Constant::getNullValue(I.getType())); return ReplaceInstUsesWith(I, Constant::getNullValue(I.getType()));
else else
return ReplaceInstUsesWith(I, Op0); // X >>s undef -> X return ReplaceInstUsesWith(I, Op0); // X >>s undef -> X