Home
last modified time | relevance | path

Searched refs:Constraints (Results 1 – 25 of 374) sorted by relevance

12345678910>>...15

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp172 llvm::SetVector<const Formula *> Constraints) { in querySolver() argument
173 return S.solve(Constraints.getArrayRef()); in querySolver()
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()
200 Constraints.insert(&F); in flowConditionAllows()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DConstraintSystem.cpp29 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()
132 if (Constraints.empty() || NumVariables > 1) in mayHaveSolutionImpl()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DZ3CrosscheckVisitor.cpp44 : Constraints(ConstraintMap::Factory().getEmptyMap()), Result(Result), in Z3CrosscheckVisitor()
65 for (const auto &[Sym, Range] : Constraints) { in finalizeVisitor()
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 DRangeConstraintManager.cpp1032 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()
2131 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); in assign() local
2135 Constraints = CF.add(Constraints, Class, NewConstraint); in assign()
2148 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()
2150 assert(areFeasible(Constraints) && "Constraint manager shouldn't produce " in assign()
2153 return setConstraints(State, Constraints); in assign()
[all …]
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DConstraintSystem.h51 SmallVector<SmallVector<Entry, 8>, 4> Constraints; variable
78 assert(Constraints.empty() || R.size() == NumVariables); in ConstraintSystem()
90 if (Constraints.empty()) in addVariableRow()
92 Constraints.push_back(std::move(NewRow)); in addVariableRow()
148 assert(!Constraints.empty() && "Constraint system is empty"); in toStrictLessThan()
150 for (auto &Entry : Constraints.back()) in toStrictLessThan()
155 void popLastConstraint() { Constraints.pop_back(); } in getLastConstraint()
162 unsigned size() const { return Constraints.size(); } in popLastConstraint()
/freebsd/contrib/llvm-project/llvm/lib/IR/
H A DInlineAsm.cpp34 AsmString(asmString), Constraints(constraints), FTy(FTy), in InlineAsm()
44 StringRef Constraints, bool hasSideEffects, in get() argument
47 InlineAsmKeyType Key(AsmString, Constraints, FTy, hasSideEffects, in get()
235 InlineAsm::ParseConstraints(StringRef Constraints) { in ParseConstraints() argument
239 for (StringRef::iterator I = Constraints.begin(), in ParseConstraints()
240 E = Constraints.end(); I != E; ) { in ParseConstraints()
277 ConstraintInfoVector Constraints = ParseConstraints(ConstStr); in verify() local
280 if (Constraints.empty() && !ConstStr.empty()) in verify()
286 for (const ConstraintInfo &Constraint : Constraints) { in verify()
H A DConstantsContext.h326 StringRef Constraints;
333 InlineAsmKeyType(StringRef AsmString, StringRef Constraints,
336 : AsmString(AsmString), Constraints(Constraints), FTy(FTy),
341 : AsmString(Asm->getAsmString()), Constraints(Asm->getConstraintString()),
349 AsmString == X.AsmString && Constraints == X.Constraints &&
358 Constraints == Asm->getConstraintString() &&
363 return hash_combine(AsmString, Constraints, HasSideEffects, IsAlignStack,
371 return new InlineAsm(FTy, std::string(AsmString), std::string(Constraints),
/freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DPBQPRAConstraint.h53 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/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h186 Solver::Result querySolver(llvm::SetVector<const Formula *> Constraints);
242 bool isSatisfiable(llvm::SetVector<const Formula *> Constraints) { in isSatisfiable() argument
243 return querySolver(std::move(Constraints)).getStatus() == in isSatisfiable()
249 bool isUnsatisfiable(llvm::SetVector<const Formula *> Constraints) { in isUnsatisfiable() argument
250 return querySolver(std::move(Constraints)).getStatus() == in isUnsatisfiable()
/freebsd/contrib/llvm-project/llvm/include/llvm/IR/
H A DInlineAsm.h45 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);
192 return ParseConstraints(Constraints); in ParseConstraints()
44 std::string AsmString, Constraints; global() variable
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaStmtAsm.cpp213 getClobberConflictLocation(MultiExprArg Exprs, StringLiteral **Constraints, in getClobberConflictLocation() argument
221 StringRef Constraint = Constraints[i]->getString(); in getClobberConflictLocation()
251 StringLiteral **Constraints = in ActOnGCCAsmStmt() local
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()
479 NumInputs, Names, Constraints, Exprs.data(), AsmString, in ActOnGCCAsmStmt()
493 Names, Constraints, Exprs.data(), AsmString, NumClobbers, in ActOnGCCAsmStmt()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/Target/Hexagon/
H A DHexagonDepInstrInfo.td1488 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/clang/lib/Parse/
H A DParseStmtAsm.cpp634 SmallVector<std::string, 4> Constraints; in ParseMicrosoftAsmStatement() local
637 Constraints, Clobbers, MII.get(), IP.get(), in ParseMicrosoftAsmStatement()
664 ConstraintRefs[i] = StringRef(Constraints[i]); in ParseMicrosoftAsmStatement()
758 ExprVector Constraints; in ParseAsmStatement() local
767 /*NumOutputs*/ 0, /*NumInputs*/ 0, nullptr, Constraints, Exprs, in ParseAsmStatement()
778 if (!AteExtraColon && ParseAsmOperandsOpt(Names, Constraints, Exprs)) in ParseAsmStatement()
794 if (!AteExtraColon && ParseAsmOperandsOpt(Names, Constraints, Exprs)) in ParseAsmStatement()
798 assert(Names.size() == Constraints.size() && in ParseAsmStatement()
799 Constraints.size() == Exprs.size() && "Input operand size mismatch!"); in ParseAsmStatement()
866 NumInputs, Names.data(), Constraints, Exprs, in ParseAsmStatement()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/Target/X86/
H A DX86InstrAMX.td100 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/utils/TableGen/Common/
H A DCodeGenInstruction.h117 std::vector<ConstraintInfo> Constraints; member
125 Constraints(MINO) {} in OperandInfo()
130 for (unsigned j = 0, e = Constraints.size(); j != e; ++j) { in getTiedRegister()
131 const CGIOperandList::ConstraintInfo &CI = Constraints[j]; in getTiedRegister()
H A DCodeGenInstruction.cpp317 if (!Ops[Op.first].Constraints[Op.second].isNone()) in ParseConstraint()
321 Ops[Op.first].Constraints[Op.second] = in ParseConstraint()
373 if (!Ops[SrcOp.first].Constraints[SrcOp.second].isNone()) in ParseConstraint()
385 if (Op.Constraints[i] == NewConstraint) in ParseConstraint()
391 Ops[SrcOp.first].Constraints[SrcOp.second] = NewConstraint; in ParseConstraint()
/freebsd/contrib/llvm-project/llvm/lib/Target/LoongArch/
H A DLoongArchLVZInstrInfo.td22 let Constraints = "$rd = $dst" in {
28 } // Constraints = "$rd = $dst"
/freebsd/contrib/llvm-project/llvm/lib/Target/RISCV/
H A DRISCVInstrInfoZvfbf.td20 let Predicates = [HasStdExtZvfbfmin], Constraints = "@earlyclobber $vd",
29 Constraints = "@earlyclobber $vd_wb, $vd = $vd_wb",
H A DRISCVInstrInfoV.td447 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 …]
H A DRISCVInstrInfoC.td284 let Constraints = "$rs1 = $rs1_wb";
296 let Constraints = "$rd = $rd_wb";
397 let Constraints = "$rd = $rd_wb";
406 let Constraints = "$rd = $rd_wb";
423 let Constraints = "$rd = $rd_wb";
439 let Constraints = "$rd = $rd_wb";
465 let Constraints = "$rs1 = $rs1_wb";
503 let Constraints = "$rd = $rd_wb";
562 let Constraints = "$rs1 = $rs1_wb";
620 let Constraints = "$rd = $rd_wb";
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h219 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
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()
/freebsd/contrib/llvm-project/llvm/utils/TableGen/
H A DInstrDocsEmitter.cpp192 StringRef Constraints = Inst->getValueAsString("Constraints"); in EmitInstrDocs() local
193 if (!Constraints.empty()) { in EmitInstrDocs()
194 OS << "Constraints: ``" << Constraints << "``\n\n"; in EmitInstrDocs()
/freebsd/contrib/llvm-project/clang/lib/CodeGen/
H A DCGStmt.cpp2673 std::string Constraints; in EmitAsmStmt() local
2727 if (!Constraints.empty()) in EmitAsmStmt()
2728 Constraints += ','; in EmitAsmStmt()
2737 Constraints += "=" + OutputConstraint; in EmitAsmStmt()
2806 Constraints += "=*"; in EmitAsmStmt()
2807 Constraints += OutputConstraint; in EmitAsmStmt()
2851 *this, ReturnSlot, Constraints, ResultRegTypes, ResultTruncRegTypes, in EmitAsmStmt()
2865 if (!Constraints.empty()) in EmitAsmStmt()
2866 Constraints += ','; in EmitAsmStmt()
2880 std::tie(Arg, ArgElemType) = EmitAsmInput(Info, InputExpr, Constraints); in EmitAsmStmt()
[all …]
/freebsd/contrib/llvm-project/llvm/include/llvm/MC/
H A DMCInstrDesc.h100 uint16_t Constraints; variable
222 (operands()[OpNum].Constraints & (1 << Constraint))) { in getOperandConstraint()
224 return (int)(operands()[OpNum].Constraints >> ValuePos) & 0x0f; in getOperandConstraint()
/freebsd/contrib/llvm-project/llvm/lib/Target/CSKY/
H A DCSKYInstrFormats16Instr.td50 let Constraints = "$rz = $rZ";
63 let Constraints = "$rz = $rZ";
76 let Constraints = "$rz = $rZ";
101 let Constraints = "$rz = $rx";

12345678910>>...15