llvm::EarliestEscapeInfo Class Reference

Context-sensitive CaptureInfo provider, which computes and caches the earliest common dominator closure of all captures. More...

#include "llvm/Analysis/AliasAnalysis.h"

Inheritance diagram for llvm::EarliestEscapeInfo:

Collaboration diagram for llvm::EarliestEscapeInfo:

Public Member Functions
	EarliestEscapeInfo (DominatorTree &DT, const LoopInfo &LI, const SmallPtrSetImpl< const Value * > &EphValues)
bool	isNotCapturedBeforeOrAt (const Value *Object, const Instruction *I) override
void	removeInstruction (Instruction *I)
Public Member Functions inherited from llvm::CaptureInfo
virtual	~CaptureInfo ()=0
virtual bool	isNotCapturedBeforeOrAt (const Value *Object, const Instruction *I)=0

Detailed Description

Context-sensitive CaptureInfo provider, which computes and caches the earliest common dominator closure of all captures.

It provides a good approximation to a precise "captures before" analysis.

Definition at line 165 of file AliasAnalysis.h.

Constructor & Destructor Documentation

EarliestEscapeInfo()

llvm::EarliestEscapeInfo::EarliestEscapeInfo ( DominatorTree &  DT, const LoopInfo &  LI, const SmallPtrSetImpl< const Value * > &  EphValues  )

inline

Definition at line 182 of file AliasAnalysis.h.

Member Function Documentation

isNotCapturedBeforeOrAt()

bool EarliestEscapeInfo::isNotCapturedBeforeOrAt ( const Value *  Object, const Instruction *  I  )

overridevirtual

Implements llvm::CaptureInfo.

Definition at line 200 of file BasicAliasAnalysis.cpp.

References llvm::FindEarliestCapture(), I, llvm::isIdentifiedFunctionLocal(), llvm::isPotentiallyReachable(), and llvm::Object.

removeInstruction()

void EarliestEscapeInfo::removeInstruction

(

Instruction *

I

)

Definition at line 225 of file BasicAliasAnalysis.cpp.

References I.

---

The documentation for this class was generated from the following files:

• include/llvm/Analysis/AliasAnalysis.h
• lib/Analysis/BasicAliasAnalysis.cpp