Home
last modified time | relevance | path

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

/openbsd/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h169 AtomicBoolValue &createAtomicBoolValue() { in createAtomicBoolValue()
217 AtomicBoolValue &makeFlowConditionToken();
225 AtomicBoolValue &forkFlowCondition(AtomicBoolValue &Token);
230 AtomicBoolValue &joinFlowConditions(AtomicBoolValue &FirstToken,
251 AtomicBoolValue &Token,
260 bool flowConditionIsTautology(AtomicBoolValue &Token);
302 llvm::DenseSet<AtomicBoolValue *> &VisitedTokens);
332 AtomicBoolValue &Token,
358 AtomicBoolValue &TrueVal;
359 AtomicBoolValue &FalseVal;
[all …]
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 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 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/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp163 AtomicBoolValue &Token, BoolValue &Constraint) { in addFlowConditionConstraint()
170 AtomicBoolValue &
178 AtomicBoolValue &
204 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionImplies()
213 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionIsTautology()
227 llvm::DenseSet<AtomicBoolValue *> &VisitedTokens) { in addTransitiveFlowConditionConstraints()
243 for (AtomicBoolValue *DepToken : DepsIt->second) { in addTransitiveFlowConditionConstraints()
317 AtomicBoolValue &Token, in buildAndSubstituteFlowCondition()
329 AtomicBoolValue &Token, in buildAndSubstituteFlowConditionWithCache()
337 for (AtomicBoolValue *DepToken : DepsIt->second) { in buildAndSubstituteFlowConditionWithCache()
[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()