Lines Matching refs:Assumptions
1 //===- Assumptions.cpp ------ Collection of helpers for assumptions -------===//
14 #include "llvm/IR/Assumptions.h"
41 DenseSet<StringRef> Assumptions;
46 Assumptions.insert(Str);
47 return Assumptions;
52 const DenseSet<StringRef> &Assumptions) {
53 if (Assumptions.empty())
58 if (!set_union(CurAssumptions, Assumptions))
96 bool llvm::addAssumptions(Function &F, const DenseSet<StringRef> &Assumptions) {
97 return ::addAssumptionsImpl(F, Assumptions);
101 const DenseSet<StringRef> &Assumptions) {
102 return ::addAssumptionsImpl(CB, Assumptions);