Assumptions.h File Reference

#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/StringSet.h"
#include "llvm/Support/Compiler.h"

Go to the source code of this file.

Classes
struct	llvm::KnownAssumptionString
	Helper that allows to insert a new assumption string in the known assumption set by creating a (static) object. More...

Namespaces
namespace	llvm
	This is an optimization pass for GlobalISel generic memory operations.

Functions
LLVM_ABI StringSet &	llvm::getKnownAssumptionStrings ()
	A set of known assumption strings that are accepted without warning and which can be recommended as typo correction.
LLVM_ABI bool	llvm::hasAssumption (const Function &F, const KnownAssumptionString &AssumptionStr)
	Return true if F has the assumption AssumptionStr attached.
LLVM_ABI bool	llvm::hasAssumption (const CallBase &CB, const KnownAssumptionString &AssumptionStr)
	Return true if CB or the callee has the assumption AssumptionStr attached.
LLVM_ABI DenseSet< StringRef >	llvm::getAssumptions (const Function &F)
	Return the set of all assumptions for the function F.
LLVM_ABI DenseSet< StringRef >	llvm::getAssumptions (const CallBase &CB)
	Return the set of all assumptions for the call CB.
LLVM_ABI bool	llvm::addAssumptions (Function &F, const DenseSet< StringRef > &Assumptions)
	Appends the set of assumptions Assumptions to \F.
LLVM_ABI bool	llvm::addAssumptions (CallBase &CB, const DenseSet< StringRef > &Assumptions)
	Appends the set of assumptions Assumptions to \CB.

Variables
constexpr StringRef	llvm::AssumptionAttrKey = "llvm.assume"
	The key we use for assumption attributes.