Go to the documentation of this file.
50 #ifndef LLVM_TRANSFORMS_UTILS_PREDICATEINFO_H
51 #define LLVM_TRANSFORMS_UTILS_PREDICATEINFO_H
64 class AssumptionCache;
189 return PredicateMap.lookup(V);
241 #endif // LLVM_TRANSFORMS_UTILS_PREDICATEINFO_H
A set of analyses that are preserved following a run of a transformation pass.
This is an optimization pass for GlobalISel generic memory operations.
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - This function should be overriden by passes that need analysis information to do t...
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
A CRTP mix-in to automatically provide informational APIs needed for passes.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
This represents the llvm.assume intrinsic.
PredicateWithEdge(PredicateType PType, Value *Op, BasicBlock *From, BasicBlock *To, Value *Cond)
void verifyPredicateInfo() const
The instances of the Type class are immutable: once they are created, they are never changed.
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
static bool classof(const PredicateBase *PB)
An intrusive list with ownership and callbacks specified/controlled by ilist_traits,...
LLVM Basic Block Representation.
PredicateAssume(Value *Op, IntrinsicInst *AssumeInst, Value *Condition)
Represent the analysis usage information of a pass.
PredicateSwitch(Value *Op, BasicBlock *SwitchBB, BasicBlock *TargetBB, Value *CaseValue, SwitchInst *SI)
PredicateBranch(Value *Op, BasicBlock *BranchBB, BasicBlock *SplitBB, Value *Condition, bool TakenEdge)
bool runOnFunction(Function &) override
runOnFunction - Virtual method overriden by subclasses to do the per-function processing of the pass.
PredicateBase & operator=(const PredicateBase &)=delete
This class implements an extremely fast bulk output stream that can only output to a stream.
Encapsulates PredicateInfo, including all data associated with memory accesses.
CmpInst::Predicate Predicate
PredicateInfoPrinterLegacyPass()
PredicateBase(PredicateType PT, Value *Op, Value *Condition)
std::optional< PredicateConstraint > getConstraint() const
Fetch condition in the form of PredicateConstraint, if possible.
static bool classof(const PredicateBase *PB)
IntrinsicInst * AssumeInst
PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
Verifier pass for PredicateInfo.
static bool classof(const PredicateBase *PB)
Constraint for a predicate of the form "cmp Pred Op, OtherOp", where Op is the value the constraint a...
const PredicateBase * getPredicateInfoFor(const Value *V) const
An assembly annotator class to print PredicateInfo information in comments.
SmallVector< MachineOperand, 4 > Cond
A cache of @llvm.assume calls within a function.
static bool classof(const PredicateBase *PB)
PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
static bool classof(const PredicateBase *PB)
PredicateInfoPrinterPass(raw_ostream &OS)
void print(raw_ostream &) const
A wrapper class for inspecting calls to intrinsic functions.
PredicateWithEdge()=delete
Printer pass for PredicateInfo.
A container for analyses that lazily runs them and caches their results.
FunctionPass class - This class is used to implement most global optimizations.
PassBuilder PB(Machine, PassOpts->PTO, std::nullopt, &PIC)
virtual ~PredicateBase()=default
LLVM Value Representation.
PredicateInfo(Function &, DominatorTree &, AssumptionCache &)