| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 172 llvm::SetVector<const Formula *> Constraints) { in querySolver() argument
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() local
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() local
199 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionAllows()
[all …]
|
| /freebsd/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 ConstraintSystem()
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. in addVariableRowFill()
148 assert(!Constraints in toStrictLessThan()
[all...] |
| /freebsd/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.size() > 500) in eliminateUsingFM()
127 while (!Constraints.empty() && NumVariables > 1) { in mayHaveSolutionImpl()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Z3CrosscheckVisitor.cpp | 44 : Constraints(ConstraintMap::Factory().getEmptyMap()), Result(Result), in Z3CrosscheckVisitor()
50 // Collect new constraints in finalizeVisitor()
64 // Add constraints to the solver in finalizeVisitor()
65 for (const auto &[Sym, Range] : Constraints) { in finalizeVisitor()
94 // Collect new constraints in addConstraints()
98 // Add constraints if we don't have them yet in addConstraints()
100 if (!Constraints.contains(Sym)) { in addConstraints()
102 Constraints = CF.add(Constraints, Sym, Range); in addConstraints()
105 Constraints = CF.remove(Constraints, Sym); in addConstraints()
106 Constraints = CF.add(Constraints, Sym, Range); in addConstraints()
|
| 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 (rangeset/range/constant).
[all …]
|
| /freebsd/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/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`.
[all …]
|
| /freebsd/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/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/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 in ~SpillPlacement()
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 wil
[all...] |
| /freebsd/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/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
96 // constraints A, B, and C, the disjunctive normal form of the constraint A
103 /// either an atomic constraint, a conjunction of normalized constraints or a
104 /// disjunction of normalized constraints.
|
| /freebsd/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
[all...] |
| /freebsd/crypto/openssh/ |
| H A D | ssh-add.1 | 159 Destination constraints of the form
165 Constraints of the form
175 Multiple destination constraints may be added when loading keys.
176 When attempting authentication with a key that has destination constraints,
179 forwarding, is tested against those constraints and each
189 hop is also permitted by destination constraints.
200 Destination constraints were added in OpenSSH release 8.9.
206 It is also important to note that destination constraints can only be
|
| /freebsd/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
[all...] |
| /freebsd/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() local
193 if (!Constraints.empty()) { in EmitInstrDocs()
194 OS << "Constraints: ``" << Constraints << "``\n\n"; in EmitInstrDocs()
|
| /freebsd/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/contrib/llvm-project/llvm/include/llvm/IR/ |
| H A D | InlineAsm.h | 45 std::string AsmString, Constraints;
53 const std::string &Constraints, bool hasSideEffects,
67 StringRef Constraints, bool hasSideEffects,
87 const std::string &getConstraintString() const { return Constraints; }
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()
44 std::string AsmString, Constraints; global() variable
[all...] |
| /freebsd/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() local
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 in a state in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /freebsd/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, Exprs.data(), AsmString, in ActOnGCCAsmStmt()
[all …]
|
| /freebsd/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/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/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | Z3CrosscheckVisitor.h | 22 /// constraints. When it reaches the root node, will create a refutation
23 /// manager and check if the constraints are satisfiable.
47 /// Holds the constraints in a given path.
48 ConstraintMap Constraints; variable
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/RISCV/ |
| H A D | RISCVInstrInfoV.td | 447 let Constraints = !if(EarlyClobber, "@earlyclobber $vd_wb, $vd = $vd_wb",
479 let Constraints = !if(EarlyClobber, "@earlyclobber $vd_wb, $vd = $vd_wb",
525 let Constraints = !if(EarlyClobber, "@earlyclobber $vd_wb, $vd = $vd_wb",
1107 let Constraints = "@earlyclobber $vd" in {
1124 } // Constraints = "@earlyclobber $vd"
1145 let Constraints = "@earlyclobber $vd", RVVConstraint = NoConstraint in {
1148 } // Constraints = "@earlyclobber $vd", RVVConstraint = NoConstraint
1150 let Constraints = "@earlyclobber $vd", RVVConstraint = NoConstraint in {
1153 } // Constraints = "@earlyclobber $vd", RVVConstraint = NoConstraint
1175 let Constraints = "@earlyclobber $vd" in {
[all …]
|
| /freebsd/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
|