llvm/llvm/lib/IR/Assumptions.cpp

//===- Assumptions.cpp ------ Collection of helpers for assumptions -------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
//  This file implements helper functions for accessing assumption infomration
//  inside of the "llvm.assume" metadata.
//
//===----------------------------------------------------------------------===//

#include "llvm/IR/Assumptions.h"
#include "llvm/ADT/SetOperations.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/InstrTypes.h"

usingnamespacellvm;

namespace {
bool hasAssumption(const Attribute &A,
                   const KnownAssumptionString &AssumptionStr) { … }

DenseSet<StringRef> getAssumptions(const Attribute &A) { … }

template <typename AttrSite>
bool addAssumptionsImpl(AttrSite &Site,
                        const DenseSet<StringRef> &Assumptions) { … }
} // namespace

bool llvm::hasAssumption(const Function &F,
                         const KnownAssumptionString &AssumptionStr) { … }

bool llvm::hasAssumption(const CallBase &CB,
                         const KnownAssumptionString &AssumptionStr) { … }

DenseSet<StringRef> llvm::getAssumptions(const Function &F) { … }

DenseSet<StringRef> llvm::getAssumptions(const CallBase &CB) { … }

bool llvm::addAssumptions(Function &F, const DenseSet<StringRef> &Assumptions) { … }

bool llvm::addAssumptions(CallBase &CB,
                          const DenseSet<StringRef> &Assumptions) { … }

StringSet<> llvm::KnownAssumptionStrings({ … });