LLVM: include/llvm/IR/Assumptions.h Source File (original) (raw)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15#ifndef LLVM_IR_ASSUMPTIONS_H
16#define LLVM_IR_ASSUMPTIONS_H
17
22
23namespace llvm {
24
27
28
30
31
32
34
35
36
39 : AssumptionStr(AssumptionStr) {
41 }
43 : AssumptionStr(AssumptionStr) {
45 }
46 operator StringRef() const { return AssumptionStr; }
47
48private:
50};
51
52
54 const KnownAssumptionString &AssumptionStr);
55
56
57
59 const KnownAssumptionString &AssumptionStr);
60
61
63
64
66
67
69 const DenseSet &Assumptions);
70
71
73 const DenseSet &Assumptions);
74
75}
76
77#endif
This file defines the DenseSet and SmallDenseSet classes.
StringSet - A set-like wrapper for the StringMap.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
StringRef - Represent a constant reference to a string, i.e.
StringSet - A wrapper for StringMap that provides set-like functionality.
std::pair< typename Base::iterator, bool > insert(StringRef key)
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI bool addAssumptions(Function &F, const DenseSet< StringRef > &Assumptions)
Appends the set of assumptions Assumptions to \F.
LLVM_ABI StringSet & getKnownAssumptionStrings()
A set of known assumption strings that are accepted without warning and which can be recommended as t...
LLVM_ABI bool hasAssumption(const Function &F, const KnownAssumptionString &AssumptionStr)
Return true if F has the assumption AssumptionStr attached.
LLVM_ABI DenseSet< StringRef > getAssumptions(const Function &F)
Return the set of all assumptions for the function F.
constexpr StringRef AssumptionAttrKey
The key we use for assumption attributes.
Definition Assumptions.h:29
KnownAssumptionString(StringRef AssumptionStr)
Definition Assumptions.h:42
KnownAssumptionString(const char *AssumptionStr)
Definition Assumptions.h:38