6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-15 20:29:48 +00:00
Code Issues Projects Releases Wiki Activity

If we have an add, do it in the pointer realm, not the int realm. This is critical in the linux kernel for pointer analysis correctness

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30496 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Andrew Lenharth 2006-09-19 18:24:51 +00:00
parent e454200b95
commit 16d7955eb0
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
lib/Transforms/Scalar/InstructionCombining.cpp
View File

@ -1595,6 +1595,28 @@ FoundSExt:
return R;
}
// add (cast *A to intptrtype) B -> cast (GEP (cast *A to sbyte*) B) -> intptrtype
{
CastInst* CI = dyn_cast<CastInst>(LHS);
Value* Other = RHS;
if (!CI) {
CI = dyn_cast<CastInst>(RHS);
Other = LHS;
}
if (CI) {
const Type *UIntPtrTy = TD->getIntPtrType();
const Type *SIntPtrTy = UIntPtrTy->getSignedVersion();
if((CI->getType() == UIntPtrTy || CI->getType() == SIntPtrTy)
&& isa<PointerType>(CI->getOperand(0)->getType())) {
Instruction* I2 = new CastInst(CI->getOperand(0), PointerType::get(Type::SByteTy), "ctg", &I);
WorkList.push_back(I2);
I2 = new GetElementPtrInst(I2, Other, "ctg", &I);
WorkList.push_back(I2);
return new CastInst(I2, CI->getType());
}
}
}
return Changed ? &I : 0;
}