LLVM 20.0.0git
Classes | Namespaces | Functions | Variables
Assumptions.h File Reference
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/StringSet.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

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