return Constant::getNullValue(C1->getType());
return const_cast<Constant*>(C2); // X / undef -> undef
case Instruction::Or: // X | undef -> -1
+ if (const PackedType *PTy = dyn_cast<PackedType>(C1->getType()))
+ return ConstantPacked::getAllOnesValue(PTy);
return ConstantInt::getAllOnesValue(C1->getType());
case Instruction::LShr:
if (isa<UndefValue>(C2) && isa<UndefValue>(C1))
return Constant::getNullValue(CI->getType()); // X % 1 == 0
break;
case Instruction::And:
- if (cast<ConstantIntegral>(C2)->isAllOnesValue())
- return const_cast<Constant*>(C1); // X & -1 == X
+ if (const ConstantInt *CI = dyn_cast<ConstantInt>(C2))
+ if (CI->isAllOnesValue())
+ return const_cast<Constant*>(C1); // X & -1 == X
if (C2->isNullValue()) return const_cast<Constant*>(C2); // X & 0 == 0
if (CE1->isCast() && isa<GlobalValue>(CE1->getOperand(0))) {
GlobalValue *CPR = cast<GlobalValue>(CE1->getOperand(0));
break;
case Instruction::Or:
if (C2->isNullValue()) return const_cast<Constant*>(C1); // X | 0 == X
- if (cast<ConstantIntegral>(C2)->isAllOnesValue())
- return const_cast<Constant*>(C2); // X | -1 == -1
+ if (const ConstantInt *CI = dyn_cast<ConstantInt>(C2))
+ if (CI->isAllOnesValue())
+ return const_cast<Constant*>(C2); // X | -1 == -1
break;
case Instruction::Xor:
if (C2->isNullValue()) return const_cast<Constant*>(C1); // X ^ 0 == X
}
// At this point we know neither constant is an UndefValue nor a ConstantExpr
- // so look at directly computing the
+ // so look at directly computing the value.
if (const ConstantBool *CB1 = dyn_cast<ConstantBool>(C1)) {
if (const ConstantBool *CB2 = dyn_cast<ConstantBool>(C2)) {
switch (Opcode) {
case Instruction::Xor:
return ConstantInt::get(C1->getType(), C1Val ^ C2Val);
case Instruction::Shl:
+ if (C2Val >= CI1->getType()->getPrimitiveSizeInBits())
+ C2Val = CI1->getType()->getPrimitiveSizeInBits() - 1;
return ConstantInt::get(C1->getType(), C1Val << C2Val);
case Instruction::LShr:
+ if (C2Val >= CI1->getType()->getPrimitiveSizeInBits())
+ C2Val = CI1->getType()->getPrimitiveSizeInBits() - 1;
return ConstantInt::get(C1->getType(), C1Val >> C2Val);
case Instruction::AShr:
+ if (C2Val >= CI1->getType()->getPrimitiveSizeInBits())
+ C2Val = CI1->getType()->getPrimitiveSizeInBits() - 1;
return ConstantInt::get(C1->getType(),
CI1->getSExtValue() >> C2Val);
}