Home
last modified time | relevance | path

Searched refs:BoolValue (Results 1 – 23 of 23) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h110 explicit ConjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ConjunctionValue()
125 BoolValue &LeftSubVal;
126 BoolValue &RightSubVal;
132 explicit DisjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in DisjunctionValue()
147 BoolValue &LeftSubVal;
148 BoolValue &RightSubVal;
165 BoolValue &SubVal;
173 explicit ImplicationValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ImplicationValue()
188 BoolValue &LeftSubVal;
197 explicit BiconditionalValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in BiconditionalValue()
[all …]
H A DDataflowAnalysisContext.h177 BoolValue &getOrCreateConjunction(BoolValue &LHS, BoolValue &RHS);
183 BoolValue &getOrCreateDisjunction(BoolValue &LHS, BoolValue &RHS);
187 BoolValue &getOrCreateNegation(BoolValue &Val);
193 BoolValue &getOrCreateImplication(BoolValue &LHS, BoolValue &RHS);
199 BoolValue &getOrCreateIff(BoolValue &LHS, BoolValue &RHS);
253 bool equivalentBoolValues(BoolValue &Val1, BoolValue &Val2);
296 BoolValue &Val,
297 llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache);
306 llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache);
338 llvm::DenseMap<std::pair<BoolValue *, BoolValue *>, ConjunctionValue *>
[all …]
H A DDataflowEnvironment.h280 BoolValue &makeAtomicBoolValue() const { in makeAtomicBoolValue()
288 BoolValue &makeAnd(BoolValue &LHS, BoolValue &RHS) const { in makeAnd()
296 BoolValue &makeOr(BoolValue &LHS, BoolValue &RHS) const { in makeOr()
302 BoolValue &makeNot(BoolValue &Val) const { in makeNot()
310 BoolValue &makeImplication(BoolValue &LHS, BoolValue &RHS) const { in makeImplication()
318 BoolValue &makeIff(BoolValue &LHS, BoolValue &RHS) const { in makeIff()
328 BoolValue &buildAndSubstituteFlowCondition( in buildAndSubstituteFlowCondition()
330 llvm::DenseMap<AtomicBoolValue *, BoolValue *> Substitutions) { in buildAndSubstituteFlowCondition()
336 void addToFlowCondition(BoolValue &Val);
340 bool flowConditionImplies(BoolValue &Val) const;
H A DDebugSupport.h42 const BoolValue &B,
56 const llvm::DenseSet<BoolValue *> &Constraints,
70 ArrayRef<BoolValue *> Constraints, const Solver::Result &Result,
73 const llvm::DenseSet<BoolValue *> &Constraints,
76 std::vector<BoolValue *> ConstraintsVec(Constraints.begin(),
H A DWatchedLiteralsSolver.h31 Result solve(llvm::DenseSet<BoolValue *> Vals) override;
H A DSolver.h90 virtual Result solve(llvm::DenseSet<BoolValue *> Vals) = 0;
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp73 static std::pair<BoolValue *, BoolValue *>
74 makeCanonicalBoolValuePair(BoolValue &LHS, BoolValue &RHS) { in makeCanonicalBoolValuePair()
81 BoolValue &DataflowAnalysisContext::getOrCreateConjunction(BoolValue &LHS, in getOrCreateConjunction()
94 BoolValue &DataflowAnalysisContext::getOrCreateDisjunction(BoolValue &LHS, in getOrCreateDisjunction()
107 BoolValue &DataflowAnalysisContext::getOrCreateNegation(BoolValue &Val) { in getOrCreateNegation()
126 BoolValue &DataflowAnalysisContext::getOrCreateIff(BoolValue &LHS, in getOrCreateIff()
232 BoolValue &Val, in substituteBoolValue()
233 llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) { in substituteBoolValue() argument
242 BoolValue *Result; in substituteBoolValue()
304 llvm::DenseMap<BoolValue *, BoolValue *> SubstitutionsCache( in buildAndSubstituteFlowCondition()
[all …]
H A DDebugSupport.cpp73 std::string debugString(const BoolValue &B, size_t Depth = 0) { in debugString()
120 std::string debugString(const llvm::DenseSet<BoolValue *> &Constraints) { in debugString()
123 for (BoolValue *Constraint : Constraints) { in debugString()
138 std::string debugString(ArrayRef<BoolValue *> &Constraints, in debugString()
211 debugString(const BoolValue &B, in debugString()
217 debugString(const llvm::DenseSet<BoolValue *> &Constraints, in debugString()
223 debugString(ArrayRef<BoolValue *> Constraints, const Solver::Result &Result, in debugString()
H A DWatchedLiteralsSolver.cpp180 BooleanFormula buildBooleanFormula(const llvm::DenseSet<BoolValue *> &Vals) { in buildBooleanFormula()
188 llvm::DenseMap<BoolValue *, Variable> SubValsToVar; in buildBooleanFormula()
193 std::queue<BoolValue *> UnprocessedSubVals; in buildBooleanFormula()
194 for (BoolValue *Val : Vals) in buildBooleanFormula()
198 BoolValue *Val = UnprocessedSubVals.front(); in buildBooleanFormula()
246 auto GetVar = [&SubValsToVar](const BoolValue *Val) { in buildBooleanFormula()
257 for (BoolValue *Val : Vals) in buildBooleanFormula()
262 std::queue<BoolValue *> UnprocessedSubVals; in buildBooleanFormula()
263 for (BoolValue *Val : Vals) in buildBooleanFormula()
266 const BoolValue *Val = UnprocessedSubVals.front(); in buildBooleanFormula()
[all …]
H A DTransfer.cpp38 static BoolValue &evaluateBooleanEquality(const Expr &LHS, const Expr &RHS, in evaluateBooleanEquality()
41 dyn_cast_or_null<BoolValue>(Env.getValue(LHS, SkipPast::Reference))) in evaluateBooleanEquality()
43 dyn_cast_or_null<BoolValue>(Env.getValue(RHS, SkipPast::Reference))) in evaluateBooleanEquality()
81 BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS); in VisitBinaryOperator()
82 BoolValue &RHSVal = getLogicOperatorSubExprValue(*RHS); in VisitBinaryOperator()
214 if (auto *SubExprVal = dyn_cast_or_null<BoolValue>( in VisitImplicitCastExpr()
308 dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr, SkipPast::None)); in VisitUnaryOperator()
638 BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) { in getLogicOperatorSubExprValue()
643 if (auto *Val = dyn_cast_or_null<BoolValue>( in getLogicOperatorSubExprValue()
657 if (auto *Val = dyn_cast_or_null<BoolValue>( in getLogicOperatorSubExprValue()
H A DDataflowEnvironment.cpp86 if (auto *Expr1 = dyn_cast<BoolValue>(Val1)) { in mergeDistinctValues()
87 auto *Expr2 = cast<BoolValue>(Val2); in mergeDistinctValues()
541 void Environment::addToFlowCondition(BoolValue &Val) { in addToFlowCondition()
545 bool Environment::flowConditionImplies(BoolValue &Val) const { in flowConditionImplies()
H A DTypeErasedDataflowAnalysis.cpp127 cast_or_null<BoolValue>(Env.getValue(Cond, SkipPast::Reference)); in extendFlowCondition()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTestingSupport.h227 BoolValue *atom() { in atom()
233 BoolValue *conj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in conj()
240 BoolValue *disj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in disj()
247 BoolValue *neg(BoolValue *SubVal) { in neg()
253 BoolValue *impl(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in impl()
260 BoolValue *iff(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in iff()
267 std::vector<std::unique_ptr<BoolValue>> Vals;
H A DTypeErasedDataflowAnalysisTest.cpp344 auto *IsSet1 = cast_or_null<BoolValue>(Val1.getProperty("is_set")); in compareEquivalent()
348 auto *IsSet2 = cast_or_null<BoolValue>(Val2.getProperty("is_set")); in compareEquivalent()
365 auto *IsSet1 = cast_or_null<BoolValue>(Val1.getProperty("is_set")); in merge()
369 auto *IsSet2 = cast_or_null<BoolValue>(Val2.getProperty("is_set")); in merge()
440 return cast<BoolValue>( in TEST_F()
454 explicit OptionalIntAnalysis(ASTContext &Context, BoolValue &HasValueTop) in OptionalIntAnalysis()
524 BoolValue &HasValueTop;
557 BoolValue *HasValueTop = nullptr;
1059 *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::Reference)); in TEST_F()
1102 *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::Reference)); in TEST_F()
[all …]
H A DDebugSupportTest.cpp183 llvm::DenseSet<BoolValue *> Constraints; in TEST()
189 llvm::DenseSet<BoolValue *> Constraints; in TEST()
207 Solver::Result CheckSAT(std::vector<BoolValue *> Constraints) { in CheckSAT()
208 llvm::DenseSet<BoolValue *> ConstraintsSet(Constraints.begin(), in CheckSAT()
216 std::vector<BoolValue *> Constraints({Ctx.atom()}); in TEST()
235 std::vector<BoolValue *> Constraints({B0, Ctx.neg(B0)}); in TEST()
279 std::vector<BoolValue *> Constraints({B0, Impl}); in TEST()
306 std::vector<BoolValue *> Constraints({B0, Iff}); in TEST()
338 std::vector<BoolValue *> Constraints({B0, XOR}); in TEST()
372 std::vector<BoolValue *> Constraints({Cond, B}); in TEST()
[all …]
H A DTransferTest.cpp3719 BoolValue &ThenFooVal = in TEST()
3723 BoolValue &ElseFooVal = in TEST()
3753 BoolValue &LoopBodyFooVal = in TEST()
3757 BoolValue &AfterLoopFooVal = in TEST()
3793 BoolValue &LoopBodyFooVal = in TEST()
3795 BoolValue &LoopBodyBarVal = in TEST()
3800 BoolValue &AfterLoopFooVal = in TEST()
3802 BoolValue &AfterLoopBarVal = in TEST()
3835 BoolValue &LoopBodyFooVal = in TEST()
3839 BoolValue &AfterLoopFooVal = in TEST()
[all …]
H A DChromiumCheckModelTest.cpp164 auto *FooVal = cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
197 auto *FooVal = cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
H A DSolverTest.cpp33 Solver::Result solve(llvm::DenseSet<BoolValue *> Vals) { in solve()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp176 void setHasValue(Value &OptionalVal, BoolValue &HasValueVal) { in setHasValue()
190 BoolValue *getHasValue(Environment &Env, Value *OptionalVal) { in getHasValue()
294 cast_or_null<BoolValue>(OptionalVal.getProperty("has_value")); in isEmptyOptional()
303 cast_or_null<BoolValue>(OptionalVal.getProperty("has_value")); in isNonEmptyOptional()
344 BoolValue &(*ModelPred)(Environment &Env, in transferValueOrImpl()
359 auto *ExprValue = cast_or_null<BoolValue>( in transferValueOrImpl()
376 BoolValue &HasValueVal) -> BoolValue & { in transferValueOrStringEmptyCall()
392 [](Environment &Env, BoolValue &ExprVal, in transferValueOrNotEqX()
393 BoolValue &HasValueVal) -> BoolValue & { in transferValueOrNotEqX()
414 BoolValue &HasValueVal) { in assignOptionalValue()
[all …]
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A Dcodegen-prepare.ll18 define linkonce_odr void @foo(ptr nocapture %this, i32 %BoolValue) nounwind uwtable {
20 %cmp = icmp eq i32 %BoolValue, 0
/llvm-project-15.0.7/clang-tools-extra/clang-tidy/readability/
H A DSimplifyBooleanExprCheck.cpp631 bool BoolValue = Bool->getValue(); in reportBinOp() local
644 if (BoolValue) in reportBinOp()
652 if (BoolValue) in reportBinOp()
661 ReplaceWithExpression(Other, /*Negated=*/!BoolValue); in reportBinOp()
665 ReplaceWithExpression(Other, /*Negated=*/BoolValue); in reportBinOp()
/llvm-project-15.0.7/clang/unittests/ASTMatchers/Dynamic/
H A DRegistryTest.cpp130 Matcher<Stmt> BoolValue = in TEST_F() local
139 EXPECT_TRUE(matches(BoolSnippet, BoolValue)); in TEST_F()
140 EXPECT_FALSE(matches(ClassSnippet, BoolValue)); in TEST_F()
/llvm-project-15.0.7/llvm/unittests/Support/
H A DYAMLIOTest.cpp2911 bool BoolValue; member
2917 Scalar(bool BoolValue) in Scalar()
2918 : Poly(NK_Scalar), SKind(SK_Bool), BoolValue(BoolValue) {} in Scalar()
2981 ScalarTraits<bool>::output(S.BoolValue, Ctxt, ScalarOS); in output()
2998 return ScalarTraits<bool>::input(ScalarStr, Ctxt, S.BoolValue); in input()
3077 EXPECT_TRUE(first->BoolValue); in TEST()
3108 EXPECT_FALSE(foo->BoolValue); in TEST()