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