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

[Loads] Restructure getAvailableLoadStore implementation (NFC) 

Separate out some conditions with early exits, to make it easier to
support additional cases.
This commit is contained in:
Nikita Popov 2021-03-06 15:58:18 +01:00
parent 1c59bf4d4d
commit f278734bf1
1 changed files with 20 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
llvm/lib/Analysis/Loads.cpp
View File

@ -469,14 +469,16 @@ static Value *getAvailableLoadStore(Instruction *Inst, Value *Ptr,
// (This is true even if the load is volatile or atomic, although
// those cases are unlikely.)
if (LoadInst *LI = dyn_cast<LoadInst>(Inst)) {
if (AreEquivalentAddressValues(
LI->getPointerOperand()->stripPointerCasts(), Ptr) &&
CastInst::isBitOrNoopPointerCastable(LI->getType(), AccessTy, DL)) {
// We can value forward from an atomic to a non-atomic, but not the
// other way around.
if (LI->isAtomic() < AtLeastAtomic)
return nullptr;
// We can value forward from an atomic to a non-atomic, but not the
// other way around.
if (LI->isAtomic() < AtLeastAtomic)
return nullptr;
Value *LoadPtr = LI->getPointerOperand()->stripPointerCasts();
if (!AreEquivalentAddressValues(LoadPtr, Ptr))
return nullptr;
if (CastInst::isBitOrNoopPointerCastable(LI->getType(), AccessTy, DL)) {
if (IsLoadCSE)
*IsLoadCSE = true;
return LI;
@ -487,18 +489,20 @@ static Value *getAvailableLoadStore(Instruction *Inst, Value *Ptr,
// (This is true even if the store is volatile or atomic, although
// those cases are unlikely.)
if (StoreInst *SI = dyn_cast<StoreInst>(Inst)) {
Value *StorePtr = SI->getPointerOperand()->stripPointerCasts();
if (AreEquivalentAddressValues(StorePtr, Ptr) &&
CastInst::isBitOrNoopPointerCastable(SI->getValueOperand()->getType(),
AccessTy, DL)) {
// We can value forward from an atomic to a non-atomic, but not the
// other way around.
if (SI->isAtomic() < AtLeastAtomic)
return nullptr;
// We can value forward from an atomic to a non-atomic, but not the
// other way around.
if (SI->isAtomic() < AtLeastAtomic)
return nullptr;
Value *StorePtr = SI->getPointerOperand()->stripPointerCasts();
if (!AreEquivalentAddressValues(StorePtr, Ptr))
return nullptr;
Value *Val = SI->getValueOperand();
if (CastInst::isBitOrNoopPointerCastable(Val->getType(), AccessTy, DL)) {
if (IsLoadCSE)
*IsLoadCSE = false;
return SI->getOperand(0);
return Val;
}
}