Lines Matching defs:DeadLoc

270 /// overwrites a store to the 'DeadLoc' location, 'OW_End' if the end of the
271 /// 'DeadLoc' location is completely overwritten by 'KillingLoc', 'OW_Begin'
272 /// if the beginning of the 'DeadLoc' location is overwritten by 'KillingLoc'.
277 /// DeadLoc belong to the same underlying object with valid \p KillingOff and
280                                           const MemoryLocation &DeadLoc,
285   const uint64_t DeadSize = DeadLoc.Size.getValue();
297     LLVM_DEBUG(dbgs() << "DSE: Partial overwrite: DeadLoc [" << DeadOff << ", "
337       LLVM_DEBUG(dbgs() << "DSE: Full overwrite from partials: DeadLoc ["
922         // for determining KillingI overwrites DeadLoc if it is a memset_chk
937   /// KillingI instruction) completely overwrites a store to the 'DeadLoc'
947                               const MemoryLocation &DeadLoc,
952     if (!isGuaranteedLoopIndependent(DeadI, KillingI, DeadLoc))
957     const Value *DeadPtr = DeadLoc.Ptr->stripPointerCasts();
974     if (!KillingLocSize.isPrecise() || !DeadLoc.Size.isPrecise()) {
982         if (KillingV == DeadV && BatchAA.isMustAlias(DeadLoc, KillingLoc))
992     const TypeSize DeadSize = DeadLoc.Size.getValue();
1001     AliasResult AAR = BatchAA.alias(KillingLoc, DeadLoc);
2226       MemoryLocation DeadLoc = *State.getLocForWrite(DeadI);
2229         const Value *DeadUndObj = getUnderlyingObject(DeadLoc.Ptr);
2242             KillingI, DeadI, KillingLoc, DeadLoc, KillingOffset, DeadOffset);
2248           OR = isPartialOverwrite(KillingLoc, DeadLoc, KillingOffset,