AssumptionCache.cpp File Reference

#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Analysis/AssumeBundleQueries.h"
#include "llvm/Analysis/TargetTransformInfo.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/PassManager.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <utility>

Go to the source code of this file.

Functions
static void	findAffectedValues (CallBase *CI, TargetTransformInfo *TTI, SmallVectorImpl< AssumptionCache::ResultElem > &Affected)

Variables
static cl::opt< bool >	VerifyAssumptionCache ("verify-assumption-cache", cl::Hidden, cl::desc("Enable verification of assumption cache"), cl::init(false))

Function Documentation

findAffectedValues()

void findAffectedValues ( CallBase * CI, TargetTransformInfo * TTI, SmallVectorImpl< AssumptionCache::ResultElem > & Affected )

static

Definition at line 73 of file AssumptionCache.cpp.

References llvm::AssumptionCache::ExprResultIdx, llvm::AssumptionCache::findValuesAffectedByOperandBundle(), llvm::CallBase::getNumOperandBundles(), llvm::CallBase::getOperandBundleAt(), llvm::isa(), and llvm::SmallVectorTemplateBase< T, bool >::push_back().

Referenced by llvm::DomConditionCache::registerBranch(), llvm::AssumptionCache::unregisterAssumption(), and llvm::AssumptionCache::updateAffectedValues().

Variable Documentation

VerifyAssumptionCache

cl::opt< bool > VerifyAssumptionCache("verify-assumption-cache", cl::Hidden, cl::desc("Enable verification of assumption cache"), cl::init(false)) ( "verify-assumption-cache" , cl::Hidden , cl::desc("Enable verification of assumption cache") , cl::init(false)  )

static

Referenced by llvm::AssumptionCacheTracker::verifyAnalysis().