Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-01-16 05:01:56 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Delinearize multi-dimensional arrays through bitcasts

Browse Source 
In some cases instcombine introduces bitcasts that slightly obfuscate the
multi-dimensionality of an array. This patch teaches our fixed-size
delinearization how to look through bitcasts.

llvm-svn: 247928
This commit is contained in:
Tobias Grosser 2015-09-17 20:16:21 +00:00
parent ff642b9b84
commit 6f36d9ab01
1 changed files with 30 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
polly/lib/Analysis/ScopInfo.cpp
View File

@ -2925,30 +2925,41 @@ ScopInfo::buildIRAccess(Instruction *Inst, Loop *L, Region *R,
assert(BasePointer && "Could not find base pointer");
AccessFunction = SE->getMinusSCEV(AccessFunction, BasePointer);
if (auto *GEP = dyn_cast<GetElementPtrInst>(Address)) {
std::vector<const SCEV *> Subscripts;
std::vector<int> Sizes;
std::tie(Subscripts, Sizes) = getIndexExpressionsFromGEP(GEP, *SE);
auto BasePtr = GEP->getOperand(0);
if (isa<GetElementPtrInst>(Address) || isa<BitCastInst>(Address)) {
auto NewAddress = Address;
if (auto *BitCast = dyn_cast<BitCastInst>(Address)) {
auto Src = BitCast->getOperand(0);
auto SrcTy = Src->getType();
auto DstTy = BitCast->getType();
if (SrcTy->getPrimitiveSizeInBits() == DstTy->getPrimitiveSizeInBits())
NewAddress = Src;
}
std::vector<const SCEV *> SizesSCEV;
if (auto *GEP = dyn_cast<GetElementPtrInst>(NewAddress)) {
std::vector<const SCEV *> Subscripts;
std::vector<int> Sizes;
std::tie(Subscripts, Sizes) = getIndexExpressionsFromGEP(GEP, *SE);
auto BasePtr = GEP->getOperand(0);
bool AllAffineSubcripts = true;
for (auto Subscript : Subscripts)
if (!isAffineExpr(R, Subscript, *SE)) {
AllAffineSubcripts = false;
break;
}
std::vector<const SCEV *> SizesSCEV;
if (AllAffineSubcripts && Sizes.size() > 0) {
for (auto V : Sizes)
bool AllAffineSubcripts = true;
for (auto Subscript : Subscripts)
if (!isAffineExpr(R, Subscript, *SE)) {
AllAffineSubcripts = false;
break;
}
if (AllAffineSubcripts && Sizes.size() > 0) {
for (auto V : Sizes)
SizesSCEV.push_back(SE->getSCEV(ConstantInt::get(
IntegerType::getInt64Ty(BasePtr->getContext()), V)));
SizesSCEV.push_back(SE->getSCEV(ConstantInt::get(
IntegerType::getInt64Ty(BasePtr->getContext()), V)));
SizesSCEV.push_back(SE->getSCEV(ConstantInt::get(
IntegerType::getInt64Ty(BasePtr->getContext()), Size)));
IntegerType::getInt64Ty(BasePtr->getContext()), Size)));
return IRAccess(Type, BasePointer->getValue(), AccessFunction, Size, true,
Subscripts, SizesSCEV, Val);
return IRAccess(Type, BasePointer->getValue(), AccessFunction, Size,
true, Subscripts, SizesSCEV, Val);
}
}
}