| /freebsd-src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 172 llvm::SetVector<const Formula *> Constraints) { in querySolver()
173 return S.solve(Constraints.getArrayRef()); in querySolver()
184 // to show that assuming `F` is false makes the constraints induced by the in flowConditionImplies()
186 llvm::SetVector<const Formula *> Constraints; in flowConditionImplies()
187 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionImplies()
188 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()
189 addTransitiveFlowConditionConstraints(Token, Constraints); in flowConditionImplies()
190 return isUnsatisfiable(std::move(Constraints)); in flowConditionImplies()
198 llvm::SetVector<const Formula *> Constraints; in flowConditionAllows()
199 Constraints in flowConditionAllows()
171 querySolver(llvm::SetVector<const Formula * > Constraints) querySolver() argument
185 llvm::SetVector<const Formula *> Constraints; flowConditionImplies() local
197 llvm::SetVector<const Formula *> Constraints; flowConditionAllows() local
206 llvm::SetVector<const Formula *> Constraints; equivalentFormulas() local
212 addTransitiveFlowConditionConstraints(Atom Token,llvm::SetVector<const Formula * > & Constraints) addTransitiveFlowConditionConstraints() argument
255 llvm::SetVector<const Formula *> Constraints; dumpFlowCondition() local
[all...] |
| H A D | SimplifyConstraints.cpp | 75 void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints, in simplifyConstraints() argument
78 Constraints.clear(); in simplifyConstraints()
79 Constraints.insert(&arena.makeLiteral(false)); in simplifyConstraints()
87 for (const auto *Constraint : Constraints) { in simplifyConstraints()
131 for (const auto *Constraint : Constraints) { in simplifyConstraints()
148 if (NewConstraints == Constraints) in simplifyConstraints()
150 Constraints = std::move(NewConstraints); in simplifyConstraints()
|
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ConstraintSystem.h | 1 //===- ConstraintSystem.h - A system of linear constraints. --------------===//
48 /// Current linear constraints in the system.
51 SmallVector<SmallVector<Entry, 8>, 4> Constraints; variable
57 // Eliminate constraints from the system using Fourier–Motzkin elimination.
60 /// Returns true if there may be a solution for the constraints in the system.
78 assert(Constraints.empty() || R.size() == NumVariables); in addVariableRow()
90 if (Constraints.empty()) in addVariableRow()
92 Constraints.push_back(std::move(NewRow)); in addVariableRow()
111 /// Returns true if there may be a solution for the constraints in the system.
148 assert(!Constraints.empty() && "Constraint system is empty"); in getLastConstraint()
[all …]
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ConstraintSystem.cpp | 1 //===- ConstraintSytem.cpp - A system of linear constraints. ----*- C++ -*-===//
29 assert(!Constraints.empty() && in eliminateUsingFM()
37 for (unsigned R1 = 0; R1 < Constraints.size();) { in eliminateUsingFM()
38 SmallVector<Entry, 8> &Row1 = Constraints[R1]; in eliminateUsingFM()
44 std::swap(Constraints[R1], Constraints.back()); in eliminateUsingFM()
45 RemainingRows.push_back(std::move(Constraints.back())); in eliminateUsingFM()
46 Constraints.pop_back(); in eliminateUsingFM()
115 Constraints.push_back(std::move(NR)); in eliminateUsingFM()
117 if (Constraints in eliminateUsingFM()
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/IR/ |
| H A D | InlineAsm.cpp | 31 const std::string &constraints, bool hasSideEffects, in InlineAsm() argument
34 AsmString(asmString), Constraints(constraints), FTy(FTy), in InlineAsm()
39 cantFail(verify(getFunctionType(), constraints)); in InlineAsm()
44 StringRef Constraints, bool hasSideEffects, in get() argument
47 InlineAsmKeyType Key(AsmString, Constraints, FTy, hasSideEffects, in get()
151 // Parse the various constraints. in Parse()
199 // FIXME: For now assuming these are 2-character constraints. in Parse()
235 InlineAsm::ParseConstraints(StringRef Constraints) { in ParseConstraints() argument
238 // Scan the constraints string. in ParseConstraints()
239 for (StringRef::iterator I = Constraints.begin(), in ParseConstraints()
[all …]
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.h | 143 /// Creates a new flow condition with the same constraints as the flow
152 /// Returns true if the constraints of the flow condition identified by
158 /// Returns true if the constraints of the flow condition identified by
165 /// Note: This function doesn't take into account constraints on `Val1` and
180 /// Returns the outcome of satisfiability checking on `Constraints`.
183 /// included in `Constraints` to provide contextually-accurate results, e.g.
184 /// if any definitions or relationships of the values in `Constraints` have
186 Solver::Result querySolver(llvm::SetVector<const Formula *> Constraints);
234 /// Adds all constraints of the flow condition identified by `Token` and all
235 /// of its transitive dependencies to `Constraints`
238 isSatisfiable(llvm::SetVector<const Formula * > Constraints) isSatisfiable() argument
245 isUnsatisfiable(llvm::SetVector<const Formula * > Constraints) isUnsatisfiable() argument
[all...] |
| H A D | SimplifyConstraints.h | 19 /// Information on the way a set of constraints was simplified.
22 /// original constraints imply that all atoms in it must be equivalent.
28 /// Atoms that the original constraints imply must be true.
32 /// Atoms that the original constraints imply must be false.
38 /// Simplifies a set of constraints (implicitly connected by "and") in a way
39 /// that does not change satisfiability of the constraints. This does _not_ mean
43 void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints,
|
| /freebsd-src/crypto/openssl/test/recipes/ |
| H A D | 25-test_verify.t | 355 # Name Constraints tests.
358 "Name Constraints everything permitted");
361 "Name Constraints nothing excluded");
364 "Name Constraints nested test all permitted");
367 "Name Constraints CNs permitted");
370 "Name Constraints CNs permitted - no SAN extension");
373 "Name Constraints CNs not permitted");
376 "Name Constraints hostname not permitted");
379 "Name Constraints hostname excluded");
382 "Name Constraints email address not permitted");
[all …]
|
| /freebsd-src/crypto/openssl/test/ssl-tests/ |
| H A D | 01-simple.cnf | 8 test-3 = 3-name-constraints-no-san-in-ee
82 [3-name-constraints-no-san-in-ee]
83 ssl_conf = 3-name-constraints-no-san-in-ee-ssl
85 [3-name-constraints-no-san-in-ee-ssl]
86 server = 3-name-constraints-no-san-in-ee-server
87 client = 3-name-constraints-no-san-in-ee-client
89 [3-name-constraints-no-san-in-ee-server]
94 [3-name-constraints-no-san-in-ee-client]
|
| /freebsd-src/contrib/llvm-project/llvm/lib/CodeGen/ |
| H A D | SpillPlacement.h | 16 // constraints on the basic blocks where the variable is live, determine which
76 /// BorderConstraint - A basic block has separate constraints for entry and
86 /// BlockConstraint - Entry and exit constraints for a basic block.
110 /// addConstraints - Add constraints and biases. This method may be called
111 /// more than once to accumulate constraints.
112 /// @param LiveBlocks Constraints for blocks that have the variable live in or
116 /// addPrefSpill - Add PrefSpill constraints to all blocks listed. This is
143 /// constraints. No MustSpill constraints will be violated, and the smallest
144 /// possible number of PrefX constraints will be violated, weighted by
|
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/CodeGen/ |
| H A D | PBQPRAConstraint.h | 36 /// constraints (e.g. Spill-costs, interference, coalescing).
48 /// Constraints added to this list will be applied, in the order that they are
53 for (auto &C : Constraints) in apply()
59 Constraints.push_back(std::move(C)); in addConstraint()
63 std::vector<std::unique_ptr<PBQPRAConstraint>> Constraints;
|
| /freebsd-src/crypto/openssh/ |
| H A D | ssh-add.1 | 160 Destination constraints of the form
166 Constraints of the form
176 Multiple destination constraints may be added when loading keys.
177 When attempting authentication with a key that has destination constraints,
180 forwarding, is tested against those constraints and each
190 hop is also permitted by destination constraints.
201 Destination constraints were added in OpenSSH release 8.9.
207 It is also important to note that destination constraints can only be
|
| /freebsd-src/contrib/ntp/ntpd/ |
| H A D | invoke-ntpd.texi | 224 This option has some usage constraints. It:
240 This option has some usage constraints. It:
256 This option has some usage constraints. It:
273 This option has some usage constraints. It:
313 This option has some usage constraints. It:
354 This option has some usage constraints. It:
380 This option has some usage constraints. It:
430 This option has some usage constraints. It:
477 This option has some usage constraints. It:
510 This option has some usage constraints. It:
[all …]
|
| /freebsd-src/share/man/man5/ |
| H A D | libmap.conf.5 | 63 .Sx Constraints
81 .Ss Constraints
84 There are three types of constraints:
115 Note that the constraints are matched against the path that was passed
125 Constraints apply to all mappings until the next constraint or the end
|
| /freebsd-src/contrib/llvm-project/llvm/utils/TableGen/ |
| H A D | InstrDocsEmitter.cpp | 15 // * Operand constraints
191 // Constraints. in EmitInstrDocs()
192 StringRef Constraints = Inst->getValueAsString("Constraints"); in EmitInstrDocs()
193 if (!Constraints.empty()) { in EmitInstrDocs()
194 OS << "Constraints: ``" << Constraints << "``\n\n"; in EmitInstrDocs()
182 StringRef Constraints = Inst->getValueAsString("Constraints"); EmitInstrDocs() local
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/Hexagon/ |
| H A D | HexagonDepInstrInfo.td | 1488 let Constraints = "$Rx32 = $Rx32in";
1499 let Constraints = "$Rx32 = $Rx32in";
2143 let Constraints = "$Rxx32 = $Rxx32in";
2164 let Constraints = "$Rxx32 = $Rxx32in";
2303 let Constraints = "$Px4 = $Px4in";
3098 let Constraints = "$Px4 = $Px4in";
3234 let Constraints = "$Rxx32 = $Rxx32in";
3245 let Constraints = "$Rxx32 = $Rxx32in";
3256 let Constraints = "$Rxx32 = $Rxx32in";
3267 let Constraints = "$Rxx32 = $Rxx32in";
[all …]
|
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/IR/ |
| H A D | InlineAsm.h | 45 std::string AsmString, Constraints; variable
53 const std::string &Constraints, bool hasSideEffects,
67 StringRef Constraints, bool hasSideEffects,
87 const std::string &getConstraintString() const { return Constraints; } in getConstraintString()
92 static Error verify(FunctionType *Ty, StringRef Constraints);
156 /// isMultipleAlternative - '|': has multiple-alternative constraints.
159 /// multipleAlternatives - If there are multiple alternative constraints,
185 /// constraints and their prefixes. If this returns an empty vector, and if
189 /// ParseConstraints - Parse the constraints of this inlineasm object,
192 return ParseConstraints(Constraints); in ParseConstraints()
[all …]
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 134 // Constraints are unsatisfiable in REGISTER_TRAIT_WITH_PROGRAMSTATE()
219 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
221 Indent(Out, Space, IsDot) << "\"constraints\": "; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
222 if (Constraints.isEmpty()) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
229 for (ConstraintSMTType::iterator I = Constraints.begin(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
230 I != Constraints.end(); ++I) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
236 if (std::next(I) != Constraints.end()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
313 // TODO: Don't add all the constraints, only the relevant ones in REGISTER_TRAIT_WITH_PROGRAMSTATE()
317 // Construct the logical AND of all the constraints in REGISTER_TRAIT_WITH_PROGRAMSTATE()
357 // hash of the constraints i in REGISTER_TRAIT_WITH_PROGRAMSTATE()
216 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); REGISTER_TRAIT_WITH_PROGRAMSTATE() local
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/AArch64/ |
| H A D | AArch64PBQPRegAlloc.h | 1 //==- AArch64PBQPRegAlloc.h - AArch64 specific PBQP constraints --*- C++ -*-==//
22 // Add A57 specific constraints to the PBQP graph.
34 // Add constraints between existing chains
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/Sema/ |
| H A D | SemaConcept.h | 1 //===-- SemaConcept.h - Semantic Analysis for Constraints and Concepts ----===//
9 // This file provides semantic analysis for C++ constraints and concepts.
65 // Two atomic constraints are identical if they are formed from the in subsumes()
89 // clauses where each clause is a disjunction of atomic constraints. For atomic
90 // constraints A, B, and C, the constraint A ∧ (B ∨ C) is in conjunctive
95 // clauses where each clause is a conjunction of atomic constraints. For atomic in NormalizedConstraint()
96 // constraints A, B, and C, the disjunctive normal form of the constraint A in NormalizedConstraint()
103 /// either an atomic constraint, a conjunction of normalized constraints or a in NormalizedConstraint()
104 /// disjunction of normalized constraints. in NormalizedConstraint()
|
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1 //== RangeConstraintManager.cpp - Manage range constraints.------*- C++ -*--==//
10 // equality and inequality constraints on symbolic values of ProgramState.
893 /// and sharing constraints between symbols within the class. Also we can
894 /// conclude that there is no practical need in storing constraints for
1032 addToDisequalityInfo(DisequalityMapTy &Info, ConstraintRangeTy &Constraints,
1045 areFeasible(ConstraintRangeTy Constraints) { in areFeasible() argument
1047 Constraints, in areFeasible()
1070 ConstraintRangeTy Constraints) { in setConstraints() argument
1071 return State->set<ConstraintRange>(Constraints); in setConstraints()
1970 /// for ranges with a visitor for constraints (rangese
2131 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); assign() local
2202 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); assignSymExprToConst() local
2269 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); getConstraintMap() local
2367 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); mergeImpl() local
2513 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); markDisequal() local
2533 addToDisequalityInfo(DisequalityMapTy & Info,ConstraintRangeTy & Constraints,RangeSet::Factory & RF,ProgramStateRef State,EquivalenceClass First,EquivalenceClass Second) addToDisequalityInfo() argument
2902 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); removeDeadBindings() local
3289 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); printConstraints() local
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/X86/ |
| H A D | X86InstrAMX.td | 100 let Constraints = "$src1 = $dst" in {
120 let isPseudo = true, Constraints = "$src4 = $dst" in {
172 let Constraints = "$src1 = $dst" in
179 let isPseudo = true, Constraints = "$src4 = $dst" in
202 let Constraints = "$src1 = $dst" in {
210 let isPseudo = true, Constraints = "$src4 = $dst" in {
231 let Constraints = "$src1 = $dst" in {
241 } // Constraints = "$src1 = $dst"
243 let Constraints = "$src4 = $dst" in {
|
| /freebsd-src/share/man/man3/ |
| H A D | CMSG_DATA.3 | 42 alignment constraints are met.
49 It ensures proper alignment constraints on the beginning of ancillary
66 This routine accounts for any alignment constraints on the beginning of
84 This routine accounts for any alignment constraints on the beginning of
|
| /freebsd-src/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaStmtAsm.cpp | 213 getClobberConflictLocation(MultiExprArg Exprs, StringLiteral **Constraints, in getClobberConflictLocation() argument
221 StringRef Constraint = Constraints[i]->getString(); in getClobberConflictLocation()
246 MultiExprArg constraints, MultiExprArg Exprs, in ActOnGCCAsmStmt() argument
251 StringLiteral **Constraints = in ActOnGCCAsmStmt() local
252 reinterpret_cast<StringLiteral**>(constraints.data()); in ActOnGCCAsmStmt()
266 StringLiteral *Literal = Constraints[i]; in ActOnGCCAsmStmt()
281 NumInputs, Names, Constraints, Exprs.data(), AsmString, in ActOnGCCAsmStmt()
350 NumInputs, Names, Constraints, Exprs.data(), AsmString, in ActOnGCCAsmStmt()
358 StringLiteral *Literal = Constraints[i]; in ActOnGCCAsmStmt()
372 NumInputs, Names, Constraints, Expr in ActOnGCCAsmStmt()
936 ActOnMSAsmStmt(SourceLocation AsmLoc,SourceLocation LBraceLoc,ArrayRef<Token> AsmToks,StringRef AsmString,unsigned NumOutputs,unsigned NumInputs,ArrayRef<StringRef> Constraints,ArrayRef<StringRef> Clobbers,ArrayRef<Expr * > Exprs,SourceLocation EndLoc) ActOnMSAsmStmt() argument
[all...] |
| /freebsd-src/contrib/ntp/ntpdc/ |
| H A D | invoke-ntpdc.texi | 135 This option has some usage constraints. It:
151 This option has some usage constraints. It:
168 This option has some usage constraints. It:
184 This option has some usage constraints. It:
200 This option has some usage constraints. It:
223 This option has some usage constraints. It:
239 This option has some usage constraints. It:
|