Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h169 AtomicBoolValue &createAtomicBoolValue() { in createAtomicBoolValue()
205 AtomicBoolValue &makeFlowConditionToken();
213 AtomicBoolValue &forkFlowCondition(AtomicBoolValue &Token);
218 AtomicBoolValue &joinFlowConditions(AtomicBoolValue &FirstToken,
239 AtomicBoolValue &Token,
248 bool flowConditionIsTautology(AtomicBoolValue &Token);
275 llvm::DenseSet<AtomicBoolValue *> &VisitedTokens);
305 AtomicBoolValue &Token,
333 AtomicBoolValue &TrueVal;
334 AtomicBoolValue &FalseVal;
[all …]
H A DDebugSupport.h43 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
57 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
71 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
75 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}}) {
H A DSolver.h49 Satisfiable(llvm::DenseMap<AtomicBoolValue *, Assignment> Solution) { in Satisfiable()
67 llvm::Optional<llvm::DenseMap<AtomicBoolValue *, Assignment>>
75 llvm::Optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution) in Result()
79 llvm::Optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution;
H A DDataflowEnvironment.h275 AtomicBoolValue &getBoolLiteralValue(bool Value) const { in getBoolLiteralValue()
323 AtomicBoolValue &getFlowConditionToken() const { return *FlowConditionToken; } in getFlowConditionToken()
329 AtomicBoolValue &Token, in buildAndSubstituteFlowCondition()
330 llvm::DenseMap<AtomicBoolValue *, BoolValue *> Substitutions) { in buildAndSubstituteFlowCondition() argument
381 AtomicBoolValue *FlowConditionToken;
H A DValue.h95 class AtomicBoolValue : public BoolValue {
97 explicit AtomicBoolValue() : BoolValue(Kind::AtomicBool) {} in AtomicBoolValue() function
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp144 AtomicBoolValue &Token, BoolValue &Constraint) { in addFlowConditionConstraint()
151 AtomicBoolValue &
159 AtomicBoolValue &
185 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionImplies()
194 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionIsTautology()
208 llvm::DenseSet<AtomicBoolValue *> &VisitedTokens) { in addTransitiveFlowConditionConstraints()
224 for (AtomicBoolValue *DepToken : DepsIt->second) { in addTransitiveFlowConditionConstraints()
298 AtomicBoolValue &Token, in buildAndSubstituteFlowCondition()
310 AtomicBoolValue &Token, in buildAndSubstituteFlowConditionWithCache()
318 for (AtomicBoolValue *DepToken : DepsIt->second) { in buildAndSubstituteFlowConditionWithCache()
[all …]
H A DDebugSupport.cpp61 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNamesArg) in DebugStringGenerator() argument
77 S = getAtomName(&cast<AtomicBoolValue>(B)); in debugString()
170 const llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment> in debugString() argument
192 std::string getAtomName(const AtomicBoolValue *Atom) { in getAtomName()
205 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames;
212 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames) { in debugString() argument
218 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames) { in debugString() argument
224 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()
237 Atomics[Var] = cast<AtomicBoolValue>(Val); in buildBooleanFormula()
548 llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment>
550 llvm::DenseMap<AtomicBoolValue *, Solver::Result::Assignment> Solution; in buildSolution()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDebugSupportTest.cpp130 auto True = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
140 auto Cond = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
141 auto Then = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
142 auto Else = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
167 auto True = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
168 auto False = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
190 auto X = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
191 auto Y = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
367 auto Cond = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
368 auto Then = cast<AtomicBoolValue>(Ctx.atom()); in TEST()
[all …]
H A DTestingSupport.h228 Vals.push_back(std::make_unique<AtomicBoolValue>()); in atom()
H A DTypeErasedDataflowAnalysisTest.cpp545 &Env.takeOwnership(std::make_unique<AtomicBoolValue>()); in runDataflow()
H A DTransferTest.cpp2625 const auto *FooVal = dyn_cast_or_null<AtomicBoolValue>( in TEST()
2632 const auto *BarVal = dyn_cast_or_null<AtomicBoolValue>( in TEST()
2826 const auto *FooVal = dyn_cast_or_null<AtomicBoolValue>( in TEST()