6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-21 06:30:16 +00:00
Code Issues Projects Releases Wiki Activity

fix some bugs handling vectors, avoid host-specific handling of undefined shift results.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32857 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2007-01-04 01:56:39 +00:00
parent 58513aa1c2
commit e94d8b2f53
1 changed files with 15 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
lib/VMCore/ConstantFold.cpp
View File

@ -444,6 +444,8 @@ Constant *llvm::ConstantFoldBinaryInstruction(unsigned Opcode,
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))
@ -496,8 +498,9 @@ Constant *llvm::ConstantFoldBinaryInstruction(unsigned Opcode,
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));
@ -511,8 +514,9 @@ Constant *llvm::ConstantFoldBinaryInstruction(unsigned Opcode,
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
@ -547,7 +551,7 @@ Constant *llvm::ConstantFoldBinaryInstruction(unsigned Opcode,
}
// 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) {
@ -606,10 +610,16 @@ Constant *llvm::ConstantFoldBinaryInstruction(unsigned 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);
}