|
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.
|
|