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()

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

static

Definition at line 59 of file AssumptionCache.cpp.

References llvm::ABA_WasOn, assert(), Cond, llvm::AssumptionCache::ExprResultIdx, llvm::findValuesAffectedByCondition(), llvm::CallBase::getArgOperand(), llvm::CallBase::getNumOperandBundles(), llvm::CallBase::getOperandBundleAt(), llvm::TargetTransformInfo::getPredicatedAddrSpace(), llvm::OperandBundleUse::getTagName(), llvm::getUnderlyingObject(), Idx, llvm::IgnoreBundleTag, llvm::OperandBundleUse::Inputs, Ptr, 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().