Home
last modified time | relevance | path

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

12345678910>>...15

/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp172 return S->solve(Constraints.getArrayRef()); in querySolver()
185 llvm::SetVector<const Formula *> Constraints; in flowConditionImplies() local
187 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()
197 llvm::SetVector<const Formula *> Constraints; in flowConditionAllows() local
199 Constraints.insert(&F); in flowConditionAllows()
201 return isSatisfiable(std::move(Constraints)); in flowConditionAllows()
206 llvm::SetVector<const Formula *> Constraints; in equivalentFormulas() local
217 Constraints.insert(Invariant); in addTransitiveFlowConditionConstraints()
255 llvm::SetVector<const Formula *> Constraints; in dumpFlowCondition() local
263 if (!Constraints.empty()) { in dumpFlowCondition()
[all …]
H A DSimplifyConstraints.cpp75 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-14.2/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()
46 Constraints.pop_back(); in eliminateUsingFM()
115 Constraints.push_back(std::move(NR)); in eliminateUsingFM()
117 if (Constraints.size() > 500) in eliminateUsingFM()
132 if (Constraints.empty() || NumVariables > 1) in mayHaveSolutionImpl()
135 return all_of(Constraints, [](auto &R) { in mayHaveSolutionImpl()
161 if (Constraints.empty()) in dump()
[all …]
/freebsd-14.2/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 addVariableRow()
90 if (Constraints.empty()) in addVariableRow()
92 Constraints.push_back(std::move(NewRow)); in addVariableRow()
148 assert(!Constraints.empty() && "Constraint system is empty"); in getLastConstraint()
150 for (auto &Entry : Constraints.back()) in getLastConstraint()
155 void popLastConstraint() { Constraints.pop_back(); } in popLastConstraint()
162 unsigned size() const { return Constraints.size(); } in size()
/freebsd-14.2/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.h350 StringRef Constraints;
357 InlineAsmKeyType(StringRef AsmString, StringRef Constraints,
360 : AsmString(AsmString), Constraints(Constraints), FTy(FTy),
365 : AsmString(Asm->getAsmString()), Constraints(Asm->getConstraintString()),
373 AsmString == X.AsmString && Constraints == X.Constraints &&
382 Constraints == Asm->getConstraintString() &&
387 return hash_combine(AsmString, Constraints, HasSideEffects, IsAlignStack,
395 return new InlineAsm(FTy, std::string(AsmString), std::string(Constraints),
/freebsd-14.2/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-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h198 Solver::Result querySolver(llvm::SetVector<const Formula *> Constraints);
238 bool isSatisfiable(llvm::SetVector<const Formula *> Constraints) { in isSatisfiable() argument
239 return querySolver(std::move(Constraints)).getStatus() == in isSatisfiable()
245 bool isUnsatisfiable(llvm::SetVector<const Formula *> Constraints) { in isUnsatisfiable() argument
246 return querySolver(std::move(Constraints)).getStatus() == in isUnsatisfiable()
H A DSimplifyConstraints.h43 void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints,
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/IR/
H A DInlineAsm.h45 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);
192 return ParseConstraints(Constraints); in ParseConstraints()
/freebsd-14.2/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()
499 NumInputs, Names, Constraints, Exprs.data(), in ActOnGCCAsmStmt()
539 StringLiteral *Literal = Constraints[ConstraintIdx]; in ActOnGCCAsmStmt()
936 ArrayRef<StringRef> Constraints, in ActOnMSAsmStmt() argument
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1045 areFeasible(ConstraintRangeTy Constraints) { in areFeasible() argument
1047 Constraints, in areFeasible()
2135 Constraints = CF.add(Constraints, Class, NewConstraint); in assign()
2148 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()
2153 return setConstraints(State, Constraints); in assign()
2388 Constraints = CRF.remove(Constraints, Other); in mergeImpl()
2390 Constraints = CRF.add(Constraints, *this, *NewClassConstraint); in mergeImpl()
2567 Constraints = CRF.add(Constraints, First, FirstConstraint); in addToDisequalityInfo()
2923 Constraints = ConstraintFactory.remove(Constraints, Class); in removeDeadBindings()
2956 Constraints) { in removeDeadBindings()
[all …]
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/Hexagon/
H A DHexagonDepInstrInfo.td1488 let Constraints = "$Rx32 = $Rx32in";
1499 let Constraints = "$Rx32 = $Rx32in";
2303 let Constraints = "$Px4 = $Px4in";
3098 let Constraints = "$Px4 = $Px4in";
26685 let Constraints = "$Qx4 = $Qx4in";
26697 let Constraints = "$Qx4 = $Qx4in";
26708 let Constraints = "$Qx4 = $Qx4in";
26731 let Constraints = "$Qx4 = $Qx4in";
26743 let Constraints = "$Qx4 = $Qx4in";
26754 let Constraints = "$Qx4 = $Qx4in";
[all …]
/freebsd-14.2/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()
866 NumInputs, Names.data(), Constraints, Exprs, in ParseAsmStatement()
885 SmallVectorImpl<Expr *> &Constraints, in ParseAsmOperandsOpt() argument
[all …]
/freebsd-14.2/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 {
H A DX86InstrCMovSetCC.td17 let Uses = [EFLAGS], Predicates = [HasCMOV], Constraints = "$src1 = $dst",
38 let Uses = [EFLAGS], Predicates = [HasCMOV], Constraints = "$src1 = $dst",
55 } // Uses = [EFLAGS], Predicates = [HasCMOV], Constraints = "$src1 = $dst"
/freebsd-14.2/contrib/llvm-project/llvm/utils/TableGen/
H A DCodeGenInstruction.h120 std::vector<ConstraintInfo> Constraints; member
128 Constraints(MINO) {} in OperandInfo()
133 for (unsigned j = 0, e = Constraints.size(); j != e; ++j) { in getTiedRegister()
134 const CGIOperandList::ConstraintInfo &CI = Constraints[j]; in getTiedRegister()
H A DInstrDocsEmitter.cpp182 StringRef Constraints = Inst->getValueAsString("Constraints"); in EmitInstrDocs() local
183 if (!Constraints.empty()) { in EmitInstrDocs()
184 OS << "Constraints: ``" << Constraints << "``\n\n"; in EmitInstrDocs()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/LoongArch/
H A DLoongArchLVZInstrInfo.td22 let Constraints = "$rd = $dst" in {
28 } // Constraints = "$rd = $dst"
/freebsd-14.2/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.td1114 let Constraints = "@earlyclobber $vd" in {
1131 } // Constraints = "@earlyclobber $vd"
1182 let Constraints = "@earlyclobber $vd" in {
1185 } // Constraints = "@earlyclobber $vd"
1281 } // Constraints = "@earlyclobber $vd", RVVConstraint = WidenV
1335 let Constraints = "@earlyclobber $vd" in {
1338 } // Constraints = "@earlyclobber $vd"
1350 let Constraints = "@earlyclobber $vd",
1626 } // Constraints = "@earlyclobber $vd", RVVConstraint = Iota
1641 let Constraints = "$vd = $vd_wb" in
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/CodeGen/
H A DCGStmt.cpp2495 std::string Constraints; in EmitAsmStmt() local
2549 if (!Constraints.empty()) in EmitAsmStmt()
2550 Constraints += ','; in EmitAsmStmt()
2628 Constraints += "=*"; in EmitAsmStmt()
2688 Constraints += ','; in EmitAsmStmt()
2770 Constraints += "!i"; in EmitAsmStmt()
2814 Constraints += ','; in EmitAsmStmt()
2816 Constraints += "~{"; in EmitAsmStmt()
2817 Constraints += Clobber; in EmitAsmStmt()
2818 Constraints += '}'; in EmitAsmStmt()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h216 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
219 if (Constraints.isEmpty()) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
226 for (ConstraintSMTType::iterator I = Constraints.begin(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
227 I != Constraints.end(); ++I) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
233 if (std::next(I) != Constraints.end()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd-14.2/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-14.2/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