Home
last modified time | relevance | path

Searched refs:AtomicBoolValue (Results 1 – 8 of 8) sorted by relevance

/openbsd-src/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h164 AtomicBoolValue &getBoolLiteralValue(bool Value) const { in getBoolLiteralValue()
169 AtomicBoolValue &createAtomicBoolValue() { in createAtomicBoolValue()
170 return takeOwnership(std::make_unique<AtomicBoolValue>()); in createAtomicBoolValue()
217 AtomicBoolValue &makeFlowConditionToken();
220 void addFlowConditionConstraint(AtomicBoolValue &Token,
225 AtomicBoolValue &forkFlowCondition(AtomicBoolValue &Token);
230 AtomicBoolValue &joinFlowConditions(AtomicBoolValue &FirstToken,
231 AtomicBoolValue &SecondToken);
251 AtomicBoolValue &Token,
252 llvm::DenseMap<AtomicBoolValue *, BoolValue *> Substitutions);
[all …]
H A DSolver.h49 Satisfiable(llvm::DenseMap<AtomicBoolValue *, Assignment> Solution) { in Satisfiable()
67 std::optional<llvm::DenseMap<AtomicBoolValue *, Assignment>>
75 std::optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution) in Result()
79 std::optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution;
H A DDebugSupport.h47 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
61 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
75 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
79 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}}) {
H A DDataflowEnvironment.h345 AtomicBoolValue &getBoolLiteralValue(bool Value) const { in getBoolLiteralValue()
398 AtomicBoolValue &getFlowConditionToken() const { return *FlowConditionToken; } in getFlowConditionToken()
404 AtomicBoolValue &Token, in buildAndSubstituteFlowCondition()
405 llvm::DenseMap<AtomicBoolValue *, BoolValue *> Substitutions) { in buildAndSubstituteFlowCondition() argument
496 AtomicBoolValue *FlowConditionToken;
H A DValue.h120 class AtomicBoolValue : public BoolValue {
122 explicit AtomicBoolValue() : BoolValue(Kind::AtomicBool) {} in AtomicBoolValue() function
/openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp158 AtomicBoolValue &DataflowAnalysisContext::makeFlowConditionToken() { in makeFlowConditionToken()
163 AtomicBoolValue &Token, BoolValue &Constraint) { in addFlowConditionConstraint()
170 AtomicBoolValue &
171 DataflowAnalysisContext::forkFlowCondition(AtomicBoolValue &Token) { in forkFlowCondition()
178 AtomicBoolValue &
179 DataflowAnalysisContext::joinFlowConditions(AtomicBoolValue &FirstToken, in joinFlowConditions()
180 AtomicBoolValue &SecondToken) { in joinFlowConditions()
196 bool DataflowAnalysisContext::flowConditionImplies(AtomicBoolValue &Token, in flowConditionImplies()
204 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionImplies()
209 bool DataflowAnalysisContext::flowConditionIsTautology(AtomicBoolValue &Token) { in flowConditionIsTautology()
[all …]
H A DDebugSupport.cpp90 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNamesArg) in DebugStringGenerator() argument
106 S = getAtomName(&cast<AtomicBoolValue>(B)); in debugString()
199 const llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment> in debugString() argument
221 std::string getAtomName(const AtomicBoolValue *Atom) { in getAtomName()
234 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames;
241 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames) { in debugString() argument
247 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames) { in debugString() argument
253 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames) { in debugString() argument
H A DWatchedLiteralsSolver.cpp125 llvm::DenseMap<Variable, AtomicBoolValue *> Atomics;
128 llvm::DenseMap<Variable, AtomicBoolValue *> Atomics) in BooleanFormula()
190 llvm::DenseMap<Variable, AtomicBoolValue *> Atomics; in buildBooleanFormula()
242 Atomics[Var] = cast<AtomicBoolValue>(Val); in buildBooleanFormula()
553 llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment>
555 llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment> Solution; in buildSolution()