Lines Matching defs: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);