LLVM  14.0.0git
Assumptions.h File Reference
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/StringSet.h"
Include dependency graph for Assumptions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

## Classes

struct  llvm::KnownAssumptionString
Helper that allows to insert a new assumption string in the known assumption set by creating a (static) object. More...

## Namespaces

llvm
This file implements support for optimizing divisions by a constant.

## Functions

bool llvm::hasAssumption (Function &F, const KnownAssumptionString &AssumptionStr)
Return true if F has the assumption AssumptionStr attached. More...

bool llvm::hasAssumption (CallBase &CB, const KnownAssumptionString &AssumptionStr)
Return true if CB or the callee has the assumption AssumptionStr attached. More...

## Variables

constexpr StringRef llvm::AssumptionAttrKey = "llvm.assume"
The key we use for assumption attributes. More...

StringSet llvm::KnownAssumptionStrings
A set of known assumption strings that are accepted without warning and which can be recommended as typo correction. More...