LLVM  8.0.1
Namespaces | Enumerations | Functions
DependencyAnalysis.h File Reference

This file declares special dependency analysis routines used in Objective C ARC Optimizations. More...

#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/Analysis/ObjCARCInstKind.h"
Include dependency graph for DependencyAnalysis.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 llvm
 This class represents lattice values for constants.
 
 llvm::objcarc
 

Enumerations

enum  llvm::objcarc::DependenceKind {
  llvm::objcarc::NeedsPositiveRetainCount, llvm::objcarc::AutoreleasePoolBoundary, llvm::objcarc::CanChangeRetainCount, llvm::objcarc::RetainAutoreleaseDep,
  llvm::objcarc::RetainAutoreleaseRVDep, llvm::objcarc::RetainRVDep
}
 Defines different dependence kinds among various ARC constructs. More...
 

Functions

void llvm::objcarc::FindDependencies (DependenceKind Flavor, const Value *Arg, BasicBlock *StartBB, Instruction *StartInst, SmallPtrSetImpl< Instruction *> &DependingInstructions, SmallPtrSetImpl< const BasicBlock *> &Visited, ProvenanceAnalysis &PA)
 Walk up the CFG from StartPos (which is in StartBB) and find local and non-local dependencies on Arg. More...
 
bool llvm::objcarc::Depends (DependenceKind Flavor, Instruction *Inst, const Value *Arg, ProvenanceAnalysis &PA)
 Test if there can be dependencies on Inst through Arg. More...
 
bool llvm::objcarc::CanUse (const Instruction *Inst, const Value *Ptr, ProvenanceAnalysis &PA, ARCInstKind Class)
 Test whether the given instruction can "use" the given pointer's object in a way that requires the reference count to be positive. More...
 
bool llvm::objcarc::CanAlterRefCount (const Instruction *Inst, const Value *Ptr, ProvenanceAnalysis &PA, ARCInstKind Class)
 Test whether the given instruction can result in a reference count modification (positive or negative) for the pointer's object. More...
 
bool llvm::objcarc::CanDecrementRefCount (const Instruction *Inst, const Value *Ptr, ProvenanceAnalysis &PA, ARCInstKind Class)
 Returns true if we can not conservatively prove that Inst can not decrement the reference count of Ptr. More...
 
static bool llvm::objcarc::CanDecrementRefCount (const Instruction *Inst, const Value *Ptr, ProvenanceAnalysis &PA)
 

Detailed Description

This file declares special dependency analysis routines used in Objective C ARC Optimizations.

WARNING: This file knows about certain library functions. It recognizes them by name, and hardwires knowledge of their semantics.

WARNING: This file knows about how certain Objective-C library functions are used. Naive LLVM IR transformations which would otherwise be behavior-preserving may break these assumptions.

Definition in file DependencyAnalysis.h.