AssumeBundleQueries.h File Reference

#include "llvm/ADT/DenseMap.h"
#include "llvm/IR/IntrinsicInst.h"

Go to the source code of this file.

Classes
struct	llvm::DenseMapInfo< Attribute::AttrKind >
struct	llvm::MinMax
struct	llvm::RetainedKnowledge
	Represent one information held inside an operand bundle of an llvm.assume. More...

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

Typedefs
using	llvm::RetainedKnowledgeKey = std::pair< Value *, Attribute::AttrKind >
	The map Key contains the Value on for which the attribute is valid and the Attribute that is valid for that value.
using	llvm::Assume2KnowledgeMap = DenseMap< AssumeInst *, MinMax >
	A mapping from intrinsics (=llvm.assume calls) to a value range (=knowledge) that is encoded in them.
using	llvm::RetainedKnowledgeMap = DenseMap< RetainedKnowledgeKey, Assume2KnowledgeMap >

Enumerations
enum	llvm::AssumeBundleArg { llvm::ABA_WasOn = 0 , llvm::ABA_Argument = 1 }
	Index of elements in the operand bundle. More...

Functions
bool	llvm::hasAttributeInAssume (AssumeInst &Assume, Value *IsOn, StringRef AttrName, uint64_t *ArgVal=nullptr)
	Query the operand bundle of an llvm.assume to find a single attribute of the specified kind applied on a specified Value.
bool	llvm::hasAttributeInAssume (AssumeInst &Assume, Value *IsOn, Attribute::AttrKind Kind, uint64_t *ArgVal=nullptr)
void	llvm::fillMapFromAssume (AssumeInst &Assume, RetainedKnowledgeMap &Result)
	Insert into the map all the informations contained in the operand bundles of the llvm.assume.
RetainedKnowledge	llvm::getKnowledgeFromOperandInAssume (AssumeInst &Assume, unsigned Idx)
	Retreive the information help by Assume on the operand at index Idx.
RetainedKnowledge	llvm::getKnowledgeFromUseInAssume (const Use *U)
	Retreive the information help by the Use U of an llvm.assume.
bool	llvm::isAssumeWithEmptyBundle (const AssumeInst &Assume)
	Return true iff the operand bundles of the provided llvm.assume doesn't contain any valuable information.
RetainedKnowledge	llvm::getKnowledgeFromUse (const Use *U, ArrayRef< Attribute::AttrKind > AttrKinds)
	Return a valid Knowledge associated to the Use U if its Attribute kind is in AttrKinds.
RetainedKnowledge	llvm::getKnowledgeForValue (const Value *V, ArrayRef< Attribute::AttrKind > AttrKinds, AssumptionCache *AC=nullptr, function_ref< bool(RetainedKnowledge, Instruction *, const CallBase::BundleOpInfo *)> Filter=[](auto...) { return true;})
	Return a valid Knowledge associated to the Value V if its Attribute kind is in AttrKinds and it matches the Filter.
RetainedKnowledge	llvm::getKnowledgeValidInContext (const Value *V, ArrayRef< Attribute::AttrKind > AttrKinds, const Instruction *CtxI, const DominatorTree *DT=nullptr, AssumptionCache *AC=nullptr)
	Return a valid Knowledge associated to the Value V if its Attribute kind is in AttrKinds and the knowledge is suitable to be used in the context of CtxI.
RetainedKnowledge	llvm::getKnowledgeFromBundle (AssumeInst &Assume, const CallBase::BundleOpInfo &BOI)
	This extracts the Knowledge from an element of an operand bundle.

Variables
constexpr StringRef	llvm::IgnoreBundleTag = "ignore"
	Tag in operand bundle indicating that this bundle should be ignored.