Home
last modified time | relevance | path

Searched refs:Formula (Results 1 – 25 of 28) sorted by relevance

12

/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DArena.cpp17 static std::pair<const Formula *, const Formula *>
18 canonicalFormulaPair(const Formula &LHS, const Formula &RHS) { in canonicalFormulaPair()
36 return &Formula::create(Alloc, Formula::AtomRef, {}, in makeAtomRef()
41 const Formula &Arena::makeAnd(const Formula &LHS, const Formula &RHS) { in makeAnd()
54 const Formula &Arena::makeOr(const Formula &LHS, const Formula &RHS) { in makeOr()
63 return &Formula::create(Alloc, Formula::Or, {&LHS, &RHS}); in makeOr()
67 const Formula &Arena::makeNot(const Formula &Val) { in makeNot()
74 return &Formula::create(Alloc, Formula::Not, {&Val}); in makeNot()
78 const Formula &Arena::makeImplies(const Formula &LHS, const Formula &RHS) { in makeImplies()
91 const Formula &Arena::makeEquals(const Formula &LHS, const Formula &RHS) { in makeEquals()
[all …]
H A DFormula.cpp20 const Formula &Formula::create(llvm::BumpPtrAllocator &Alloc, Kind K, in create()
26 void *Mem = Alloc.Allocate(sizeof(Formula) + in create()
28 alignof(Formula)); in create()
29 Formula *Result = new (Mem) Formula(); in create()
41 case Formula::AtomRef: in sigil()
42 case Formula::Literal: in sigil()
44 case Formula::Not: in sigil()
46 case Formula::And: in sigil()
48 case Formula::Or: in sigil()
50 case Formula::Implies: in sigil()
[all …]
H A DSimplifyConstraints.cpp17 static const Formula &
18 substitute(const Formula &F, in substitute()
22 case Formula::AtomRef: in substitute()
27 case Formula::Literal: in substitute()
29 case Formula::Not: in substitute()
31 case Formula::And: in substitute()
34 case Formula::Or: in substitute()
37 case Formula::Implies: in substitute()
41 case Formula::Equal: in substitute()
89 case Formula::AtomRef: in simplifyConstraints()
[all …]
H A DWatchedLiteralsSolver.cpp195 : Formula(CNF) {} in CNFFormulaBuilder()
254 CNFFormula &Formula; member
305 for (const Formula *Val : Vals) in buildCNF()
311 for (const Formula *Val : Vals) in buildCNF()
323 case Formula::AtomRef: in buildCNF()
325 case Formula::Literal: in buildCNF()
328 case Formula::And: { in buildCNF()
348 case Formula::Or: { in buildCNF()
368 case Formula::Not: { in buildCNF()
378 case Formula::Implies: { in buildCNF()
[all …]
H A DDataflowAnalysisContext.cpp143 Atom Token, const Formula &Constraint) { in addFlowConditionConstraint()
171 llvm::SetVector<const Formula *> Constraints) { in querySolver()
176 const Formula &F) { in flowConditionImplies()
185 llvm::SetVector<const Formula *> Constraints; in flowConditionImplies()
193 const Formula &F) { in flowConditionAllows()
197 llvm::SetVector<const Formula *> Constraints; in flowConditionAllows()
204 bool DataflowAnalysisContext::equivalentFormulas(const Formula &Val1, in equivalentFormulas()
206 llvm::SetVector<const Formula *> Constraints; in equivalentFormulas()
212 Atom Token, llvm::SetVector<const Formula *> &Constraints) { in addTransitiveFlowConditionConstraints()
255 llvm::SetVector<const Formula *> Constraints; in dumpFlowCondition()
[all …]
H A DDataflowEnvironment.cpp999 void Environment::assume(const Formula &F) { in assume()
1003 bool Environment::proves(const Formula &F) const { in proves()
1007 bool Environment::allows(const Formula &F) const { in allows()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DArena.h24 : True(Formula::create(Alloc, Formula::Literal, {}, 1)), in Arena()
25 False(Formula::create(Alloc, Formula::Literal, {}, 0)) {}
93 const Formula &makeAnd(const Formula &LHS, const Formula &RHS);
96 const Formula &makeOr(const Formula &LHS, const Formula &RHS);
99 const Formula &makeNot(const Formula &Val);
102 const Formula &makeImplies(const Formula &LHS, const Formula &RHS);
105 const Formula &makeEquals(const Formula &LHS, const Formula &RHS);
108 const Formula &makeAtomRef(Atom A);
136 using FormulaPair = std::pair<const Formula *, const Formula *>;
139 llvm::DenseMap<const Formula *, const Formula *> Nots;
[all …]
H A DFormula.h48 class Formula; variable
49 class alignas(const Formula *) Formula { in alignas() argument
82 ArrayRef<const Formula *> operands() const { in alignas()
83 return ArrayRef(reinterpret_cast<Formula *const *>(this + 1), in alignas()
94 static const Formula &create(llvm::BumpPtrAllocator &Alloc, Kind K, in alignas()
95 ArrayRef<const Formula *> Operands, in alignas()
99 Formula() = default; in alignas()
100 Formula(const Formula &) = delete; in alignas()
101 Formula &operator=(const Formula &) = delete; in alignas()
128 inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Formula &F) {
H A DDataflowAnalysisContext.h150 void addInvariant(const Formula &Constraint);
153 void addFlowConditionConstraint(Atom Token, const Formula &Constraint);
168 bool flowConditionImplies(Atom Token, const Formula &F);
174 bool flowConditionAllows(Atom Token, const Formula &F);
179 bool equivalentFormulas(const Formula &Val1, const Formula &Val2);
198 Solver::Result querySolver(llvm::SetVector<const Formula *> Constraints);
234 llvm::SetVector<const Formula *> &Out);
238 bool isSatisfiable(llvm::SetVector<const Formula *> Constraints) { in isSatisfiable()
245 bool isUnsatisfiable(llvm::SetVector<const Formula *> Constraints) { in isUnsatisfiable()
285 llvm::DenseMap<Atom, const Formula *> FlowConditionConstraints;
[all …]
H A DValue.h97 const Formula *F;
100 explicit BoolValue(Kind ValueKind, const Formula &F) in BoolValue()
109 const Formula &formula() const { return *F; } in formula()
120 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) { in TopBoolValue()
121 assert(F.kind() == Formula::AtomRef); in TopBoolValue()
137 explicit AtomicBoolValue(const Formula &F) : BoolValue(Kind::AtomicBool, F) { in AtomicBoolValue()
138 assert(F.kind() == Formula::AtomRef); in AtomicBoolValue()
151 explicit FormulaBoolValue(const Formula &F) in FormulaBoolValue()
153 assert(F.kind() != Formula::AtomRef && "For now, use AtomicBoolValue"); in FormulaBoolValue()
H A DSimplifyConstraints.h43 void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints,
H A DWatchedLiteralsSolver.h49 Result solve(llvm::ArrayRef<const Formula *> Vals) override;
H A DDataflowEnvironment.h591 void assume(const Formula &);
602 bool proves(const Formula &) const;
607 bool allows(const Formula &) const;
H A DSolver.h89 virtual Result solve(llvm::ArrayRef<const Formula *> Vals) = 0;
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DLoopStrengthReduce.cpp355 struct Formula { struct
393 Formula() = default;
3395 Formula F; in CollectFixupsAndInitialFormulae()
3424 Formula F; in InsertInitialFormula()
3435 Formula F; in InsertSupplementalFormula()
3729 Formula F = Base; in GenerateReassociationsImpl()
3860 Formula F = Base; in GenerateSymbolicOffsetsImpl()
3890 Formula F = Base; in GenerateConstantOffsetsImpl()
3944 Formula F = Base; in GenerateConstantOffsetsImpl()
4027 Formula F = Base; in GenerateICmpZeroScales()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp228 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) { in forceBoolValue()
351 const Formula &(*ModelPred)(Environment &Env, const Formula &ExprVal, in transferValueOrImpl()
352 const Formula &HasValueVal)) { in transferValueOrImpl()
371 [](Environment &Env, const Formula &ExprVal, in transferValueOrStringEmptyCall()
372 const Formula &HasValueVal) -> const Formula & { in transferValueOrStringEmptyCall()
389 [](Environment &Env, const Formula &ExprVal, in transferValueOrNotEqX()
390 const Formula &HasValueVal) -> const Formula & { in transferValueOrNotEqX()
555 const Formula &evaluateEquality(Arena &A, const Formula &EqVal, in evaluateEquality()
556 const Formula &LHS, const Formula &RHS) { in evaluateEquality()
/freebsd-14.2/contrib/libxo/packaging/
H A Dlibxo.rb.base.in8 class Libxo < Formula
/freebsd-14.2/sys/contrib/device-tree/Bindings/leds/
H A Dleds-ktd2692.txt30 Formula : I(mA) = 15000 / Rset.
H A Dkinetic,ktd2692.yaml56 Formula - I(uA) = 15000000 / Rset.
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DTargetInstrInfo.h92 enum class Formula { enum
102 Formula Form = Formula::Basic;
/freebsd-14.2/contrib/llvm-project/llvm/lib/CodeGen/
H A DImplicitNullChecks.cpp375 if (!AM || AM->Form != ExtAddrMode::Formula::Basic) in isSuitableMemoryOp()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/AArch64/
H A DAArch64InstrInfo.cpp2862 AM.Form = ExtAddrMode::Formula::SExtScaledReg; in canFoldIntoAddrMode()
2893 AM.Form = ExtAddrMode::Formula::ZExtScaledReg; in canFoldIntoAddrMode()
2937 AM.Form = ExtAddrMode::Formula::Basic; in canFoldIntoAddrMode()
2943 ExtAddrMode::Formula Form = ExtAddrMode::Formula::Basic) -> bool { in canFoldIntoAddrMode()
3036 (Extend == AArch64_AM::SXTW) ? ExtAddrMode::Formula::SExtScaledReg in canFoldIntoAddrMode()
3037 : ExtAddrMode::Formula::ZExtScaledReg); in canFoldIntoAddrMode()
3398 if (AM.Form == ExtAddrMode::Formula::Basic) { in emitLdStWithAddr()
3436 if (AM.Form == ExtAddrMode::Formula::SExtScaledReg || in emitLdStWithAddr()
3437 AM.Form == ExtAddrMode::Formula::ZExtScaledReg) { in emitLdStWithAddr()
3456 .addImm(AM.Form == ExtAddrMode::Formula::SExtScaledReg) in emitLdStWithAddr()
/freebsd-14.2/contrib/file/magic/Magdir/
H A Darchive1841 >>>>80 byte !0x2d Formula
1844 >>>>80 string -template Formula Template
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/RISCV/
H A DRISCVInstrInfo.cpp2181 AM.Form = ExtAddrMode::Formula::Basic; in canFoldIntoAddrMode()
/freebsd-14.2/contrib/one-true-awk/testdir/
H A Dfunstack.ok935 Richard Harter The Optimality of Winograd's Formula . . 352--352

12