Lines Matching defs:DepWrite
392 Instruction *DepWrite,
468 // is not even called providing DepWrite when there are any intervening reads.
474 auto &IM = IOL[DepWrite];
586 Instruction *DepWrite,
604 // memcpy/memmove(A <- B) // DepWrite
607 // with Inst reading/writing a >= size than DepWrite, we can reason as
610 // - If A == B then both the copies are no-ops, so the DepWrite can be
613 // Inst.size >= DepWrite.size A and B are disjoint in DepWrite too.
614 // Therefore DepWrite can be removed.
615 MemoryLocation DepReadLoc = getLocForRead(DepWrite, TLI);
621 // If DepWrite doesn't read memory or if we can't prove it is a must alias,
1269 Instruction *DepWrite = InstDep.getInst();
1270 if (!hasAnalyzableMemoryWrite(DepWrite, *TLI))
1272 MemoryLocation DepLoc = getLocForWrite(DepWrite);
1291 if (LastThrowing && DepWrite->comesBefore(LastThrowing)) {
1311 if (isRemovable(DepWrite) &&
1312 !isPossibleSelfRead(Inst, Loc, DepWrite, *TLI, *AA)) {
1315 InstWriteOffset, DepWrite, IOL, *AA,
1318 LLVM_DEBUG(dbgs() << "DSE: Remove Dead Store:\n DEAD: " << *DepWrite
1322 deleteDeadInstruction(DepWrite, &BBI, *MD, *TLI, IOL,
1327 // We erased DepWrite; start over.
1330 } else if ((OR == OW_End && isShortenableAtTheEnd(DepWrite)) ||
1332 isShortenableAtTheBeginning(DepWrite)))) {
1340 MadeChange |= tryToShorten(DepWrite, DepWriteOffset, EarlierSize,
1344 auto *Earlier = dyn_cast<StoreInst>(DepWrite);
1351 Earlier->getOrdering(), Earlier->getSyncScopeID(), DepWrite);
1357 SI->copyMetadata(*DepWrite, MDToKeep);
1363 deleteDeadInstruction(DepWrite, &BBI, *MD, *TLI, IOL,
1367 // We erased DepWrite and Inst (Loc); start over.
1381 if (DepWrite == &BB.front()) break;
1384 if (isRefSet(AA->getModRefInfo(DepWrite, Loc)))
1388 DepWrite->getIterator(), &BB,