LLVM
15.0.0git
|
Namespaces | |
llvm | |
This is an optimization pass for GlobalISel generic memory operations. | |
Functions | |
STATISTIC (NumNoops, "Number of no-op objc calls eliminated") | |
STATISTIC (NumPartialNoops, "Number of partially no-op objc calls eliminated") | |
STATISTIC (NumAutoreleases,"Number of autoreleases converted to releases") | |
STATISTIC (NumRets, "Number of return value forwarding " "retain+autoreleases eliminated") | |
STATISTIC (NumRRs, "Number of retain+release paths eliminated") | |
STATISTIC (NumPeeps, "Number of calls peephole-optimized") | |
STATISTIC (NumRetainsBeforeOpt, "Number of retains before optimization") | |
STATISTIC (NumReleasesBeforeOpt, "Number of releases before optimization") | |
STATISTIC (NumRetainsAfterOpt, "Number of retains after optimization") | |
STATISTIC (NumReleasesAfterOpt, "Number of releases after optimization") | |
INITIALIZE_PASS_BEGIN (ObjCARCOptLegacyPass, "objc-arc", "ObjC ARC optimization", false, false) INITIALIZE_PASS_END(ObjCARCOptLegacyPass | |
static bool | isInertARCValue (Value *V, SmallPtrSet< Value *, 1 > &VisitedPhis) |
This function returns true if the value is inert. More... | |
static void | CheckForUseCFGHazard (const Sequence SuccSSeq, const bool SuccSRRIKnownSafe, TopDownPtrState &S, bool &SomeSuccHasSame, bool &AllSuccsHaveSame, bool &NotAllSeqEqualButKnownSafe, bool &ShouldContinue) |
If we have a top down pointer in the S_Use state, make sure that there are no CFG hazards by checking the states of various bottom up pointers. More... | |
static void | CheckForCanReleaseCFGHazard (const Sequence SuccSSeq, const bool SuccSRRIKnownSafe, TopDownPtrState &S, bool &SomeSuccHasSame, bool &AllSuccsHaveSame, bool &NotAllSeqEqualButKnownSafe) |
If we have a Top Down pointer in the S_CanRelease state, make sure that there are no CFG hazards by checking the states of various bottom up pointers. More... | |
static void | collectReleaseInsertPts (const BlotMapVector< Value *, RRInfo > &Retains, DenseMap< const Instruction *, SmallPtrSet< const Value *, 2 >> &ReleaseInsertPtToRCIdentityRoots) |
static const SmallPtrSet< const Value *, 2 > * | getRCIdentityRootsFromReleaseInsertPt (const Instruction *InsertPt, const DenseMap< const Instruction *, SmallPtrSet< const Value *, 2 >> &ReleaseInsertPtToRCIdentityRoots) |
static void | ComputePostOrders (Function &F, SmallVectorImpl< BasicBlock * > &PostOrder, SmallVectorImpl< BasicBlock * > &ReverseCFGPostOrder, unsigned NoObjCARCExceptionsMDKind, DenseMap< const BasicBlock *, BBState > &BBStates) |
static CallInst * | HasSafePathToPredecessorCall (const Value *Arg, Instruction *Retain, ProvenanceAnalysis &PA) |
Check if there is a dependent call earlier that does not have anything in between the Retain and the call that can affect the reference count of their shared pointer argument. More... | |
static CallInst * | FindPredecessorRetainWithSafePath (const Value *Arg, BasicBlock *BB, Instruction *Autorelease, ProvenanceAnalysis &PA) |
Find a dependent retain that precedes the given autorelease for which there is nothing in between the two instructions that can affect the ref count of Arg. More... | |
static CallInst * | FindPredecessorAutoreleaseWithSafePath (const Value *Arg, BasicBlock *BB, ReturnInst *Ret, ProvenanceAnalysis &PA) |
Look for an `‘autorelease’' instruction dependent on Arg such that there are no instructions dependent on Arg that need a positive ref count in between the autorelease and the ret. More... | |
raw_ostream & | llvm::operator<< (raw_ostream &OS, BBState &BBState) LLVM_ATTRIBUTE_UNUSED |
Pass * | llvm::createObjCARCOptPass () |
Variables | |
objc | arc |
objc ObjC ARC | optimization |
objc ObjC ARC | false |
static const unsigned | BBState::OverflowOccurredValue = 0xffffffff |
static char | ObjCARCOptLegacyPass::ID = 0 |
|
static |
If we have a Top Down pointer in the S_CanRelease state, make sure that there are no CFG hazards by checking the states of various bottom up pointers.
Definition at line 1249 of file ObjCARCOpts.cpp.
References llvm_unreachable, S, llvm::objcarc::S_CanRelease, llvm::objcarc::S_MovableRelease, llvm::objcarc::S_None, llvm::objcarc::S_Retain, llvm::objcarc::S_Stop, and llvm::objcarc::S_Use.
|
static |
If we have a top down pointer in the S_Use state, make sure that there are no CFG hazards by checking the states of various bottom up pointers.
Definition at line 1212 of file ObjCARCOpts.cpp.
References llvm_unreachable, S, llvm::objcarc::S_CanRelease, llvm::objcarc::S_MovableRelease, llvm::objcarc::S_None, llvm::objcarc::S_Retain, llvm::objcarc::S_Stop, and llvm::objcarc::S_Use.
|
static |
Definition at line 1502 of file ObjCARCOpts.cpp.
References llvm::objcarc::GetRCIdentityRoot(), P, and llvm::objcarc::Retain.
|
static |
The visited set, for doing DFS walks.
Definition at line 1680 of file ObjCARCOpts.cpp.
References BB, llvm::SmallPtrSetImplBase::clear(), llvm::SmallPtrSetImpl< PtrType >::count(), llvm::SmallPtrSetImpl< PtrType >::erase(), F, llvm::BasicBlock::getTerminator(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::SmallVectorImpl< T >::pop_back_val(), and llvm::pred_begin().
Definition at line 613 of file ObjCARCOpts.cpp.
|
static |
Look for an `‘autorelease’' instruction dependent on Arg such that there are no instructions dependent on Arg that need a positive ref count in between the autorelease and the ret.
Definition at line 2343 of file ObjCARCOpts.cpp.
References Arg, llvm::objcarc::Autorelease, BB, llvm::objcarc::findSingleDependency(), llvm::objcarc::GetArgRCIdentityRoot(), llvm::objcarc::GetBasicARCInstKind(), llvm::objcarc::IsAutorelease(), llvm::objcarc::NeedsPositiveRetainCount, and llvm::MipsISD::Ret.
|
static |
Find a dependent retain that precedes the given autorelease for which there is nothing in between the two instructions that can affect the ref count of Arg.
Definition at line 2324 of file ObjCARCOpts.cpp.
References Arg, llvm::objcarc::Autorelease, BB, llvm::objcarc::CanChangeRetainCount, llvm::objcarc::findSingleDependency(), llvm::objcarc::GetArgRCIdentityRoot(), llvm::objcarc::GetBasicARCInstKind(), llvm::objcarc::IsRetain(), and llvm::objcarc::Retain.
|
static |
Definition at line 1521 of file ObjCARCOpts.cpp.
References I.
|
static |
Check if there is a dependent call earlier that does not have anything in between the Retain and the call that can affect the reference count of their shared pointer argument.
Note that Retain need not be in BB.
Definition at line 2303 of file ObjCARCOpts.cpp.
References Arg, llvm::objcarc::Call, llvm::objcarc::CallOrUser, llvm::objcarc::CanChangeRetainCount, llvm::objcarc::findSingleDependency(), llvm::objcarc::GetBasicARCInstKind(), and llvm::objcarc::Retain.
INITIALIZE_PASS_BEGIN | ( | ObjCARCOptLegacyPass | , |
"objc-arc" | , | ||
"ObjC ARC optimization" | , | ||
false | , | ||
false | |||
) |
|
static |
This function returns true if the value is inert.
An ObjC ARC runtime call taking an inert operand can be safely deleted.
Definition at line 907 of file ObjCARCOpts.cpp.
References llvm::PHINode::incoming_values(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::objcarc::IsNullOrUndef(), and llvm::Value::stripPointerCasts().
raw_ostream & llvm::operator<< | ( | raw_ostream & | OS, |
BBState & | BBState | ||
) |
Definition at line 437 of file ObjCARCOpts.cpp.
References llvm::dbgs(), E, I, LLVM_DEBUG, and P.
STATISTIC | ( | NumReleasesAfterOpt | , |
"Number of releases after optimization" | |||
) |
STATISTIC | ( | NumReleasesBeforeOpt | , |
"Number of releases before optimization" | |||
) |
STATISTIC | ( | NumRetainsAfterOpt | , |
"Number of retains after optimization" | |||
) |
STATISTIC | ( | NumRetainsBeforeOpt | , |
"Number of retains before optimization" | |||
) |
objc arc |
Definition at line 610 of file ObjCARCOpts.cpp.
Referenced by llvm::GCOVFile::readGCDA(), and llvm::GCOVFile::readGCNO().
objc ObjC ARC false |
Definition at line 611 of file ObjCARCOpts.cpp.
|
static |
Definition at line 598 of file ObjCARCOpts.cpp.
objc ObjC ARC optimization |
Definition at line 610 of file ObjCARCOpts.cpp.
|
static |
Definition at line 211 of file ObjCARCOpts.cpp.