Home
last modified time | relevance | path

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

12345678

/llvm-project-15.0.7/llvm/lib/Analysis/
H A DConstraintSystem.cpp28 assert(!Constraints.empty() && in eliminateUsingFM()
37 if (Constraints[R1][1] == 0) { in eliminateUsingFM()
39 NR.push_back(Constraints[R1][0]); in eliminateUsingFM()
53 if (Constraints[R2][1] == 0) in eliminateUsingFM()
56 if ((Constraints[R1][1] < 0 && Constraints[R2][1] < 0) || in eliminateUsingFM()
57 (Constraints[R1][1] > 0 && Constraints[R2][1] > 0)) in eliminateUsingFM()
62 if (Constraints[UpperR][1] < 0) in eliminateUsingFM()
91 Constraints = std::move(NewSystem); in eliminateUsingFM()
98 while (!Constraints.empty() && Constraints[0].size() > 1) { in mayHaveSolutionImpl()
103 if (Constraints.empty() || Constraints[0].size() > 1) in mayHaveSolutionImpl()
[all …]
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDebugSupportTest.cpp183 llvm::DenseSet<BoolValue *> Constraints; in TEST() local
192 Constraints.insert(Ctx.disj(X, Y)); in TEST()
217 auto Result = CheckSAT(Constraints); in TEST()
236 auto Result = CheckSAT(Constraints); in TEST()
256 auto Result = CheckSAT(Constraints); in TEST()
280 auto Result = CheckSAT(Constraints); in TEST()
307 auto Result = CheckSAT(Constraints); in TEST()
339 auto Result = CheckSAT(Constraints); in TEST()
373 auto Result = CheckSAT(Constraints); in TEST()
414 std::vector<BoolValue *> Constraints( in TEST() local
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DConstraintSystem.h24 SmallVector<SmallVector<int64_t, 8>, 4> Constraints; variable
40 assert(Constraints.empty() || R.size() == Constraints.back().size()); in addVariableRow()
51 Constraints.emplace_back(R.begin(), R.end()); in addVariableRow()
61 for (auto &CR : Constraints) { in addVariableRowFill()
82 ArrayRef<int64_t> getLastConstraint() { return Constraints[0]; } in getLastConstraint()
83 void popLastConstraint() { Constraints.pop_back(); } in popLastConstraint()
85 for (auto &C : Constraints) { in popLastNVariables()
92 unsigned size() const { return Constraints.size(); } in size()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp172 Constraints.insert(&getBoolLiteralValue(true)); in querySolver()
174 return S->solve(std::move(Constraints)); in querySolver()
187 return isUnsatisfiable(std::move(Constraints)); in flowConditionImplies()
196 return isUnsatisfiable(std::move(Constraints)); in flowConditionIsTautology()
201 llvm::DenseSet<BoolValue *> Constraints = { in equivalentBoolValues() local
203 return isUnsatisfiable(Constraints); in equivalentBoolValues()
207 AtomicBoolValue &Token, llvm::DenseSet<BoolValue *> &Constraints, in addTransitiveFlowConditionConstraints() argument
215 Constraints.insert(&Token); in addTransitiveFlowConditionConstraints()
225 addTransitiveFlowConditionConstraints(*DepToken, Constraints, in addTransitiveFlowConditionConstraints()
328 llvm::DenseSet<BoolValue *> Constraints = {&Token}; in dumpFlowCondition() local
[all …]
H A DDebugSupport.cpp120 std::string debugString(const llvm::DenseSet<BoolValue *> &Constraints) { in debugString() argument
122 ConstraintsStrings.reserve(Constraints.size()); in debugString()
123 for (BoolValue *Constraint : Constraints) { in debugString()
138 std::string debugString(ArrayRef<BoolValue *> &Constraints, in debugString() argument
152 ConstraintsStrings.reserve(Constraints.size()); in debugString()
153 for (auto &Constraint : Constraints) { in debugString()
217 debugString(const llvm::DenseSet<BoolValue *> &Constraints, in debugString() argument
219 return DebugStringGenerator(std::move(AtomNames)).debugString(Constraints); in debugString()
223 debugString(ArrayRef<BoolValue *> Constraints, const Solver::Result &Result, in debugString() argument
226 .debugString(Constraints, Result); in debugString()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDebugSupport.h56 const llvm::DenseSet<BoolValue *> &Constraints,
70 ArrayRef<BoolValue *> Constraints, const Solver::Result &Result,
73 const llvm::DenseSet<BoolValue *> &Constraints,
76 std::vector<BoolValue *> ConstraintsVec(Constraints.begin(),
77 Constraints.end());
H A DDataflowAnalysisContext.h274 AtomicBoolValue &Token, llvm::DenseSet<BoolValue *> &Constraints,
282 Solver::Result querySolver(llvm::DenseSet<BoolValue *> Constraints);
286 bool isUnsatisfiable(llvm::DenseSet<BoolValue *> Constraints) { in isUnsatisfiable() argument
287 return querySolver(std::move(Constraints)).getStatus() == in isUnsatisfiable()
/llvm-project-15.0.7/mlir/test/mlir-pdll/Parser/
H A Dstmt.pdll38 // CHECK: `Constraints`
41 // CHECK: `Constraints`
57 // CHECK: `Constraints`
76 // CHECK: `Constraints`
95 // CHECK: `Constraints`
113 // CHECK: `Constraints`
128 // CHECK: `Constraints`
132 // CHECK: `Constraints`
146 // CHECK: `Constraints`
150 // CHECK: `Constraints`
H A Dconstraint.pdll33 // CHECK: | `Constraints`
36 // CHECK: `Constraints`
54 // CHECK: `Constraints`
58 // CHECK: `Constraints`
H A Dinclude_td.pdll38 // CHECK: `Constraints`
44 // CHECK: `Constraints`
50 // CHECK: `Constraints`
H A Drewrite.pdll34 // CHECK: | `Constraints`
37 // CHECK: `Constraints`
/llvm-project-15.0.7/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()
222 InlineAsm::ParseConstraints(StringRef Constraints) { in ParseConstraints() argument
226 for (StringRef::iterator I = Constraints.begin(), in ParseConstraints()
227 E = Constraints.end(); I != E; ) { in ParseConstraints()
264 ConstraintInfoVector Constraints = ParseConstraints(ConstStr); in verify() local
267 if (Constraints.empty() && !ConstStr.empty()) in verify()
273 for (const ConstraintInfo &Constraint : Constraints) { in verify()
H A DConstantsContext.h383 StringRef Constraints;
390 InlineAsmKeyType(StringRef AsmString, StringRef Constraints,
393 : AsmString(AsmString), Constraints(Constraints), FTy(FTy),
398 : AsmString(Asm->getAsmString()), Constraints(Asm->getConstraintString()),
406 AsmString == X.AsmString && Constraints == X.Constraints &&
415 Constraints == Asm->getConstraintString() &&
420 return hash_combine(AsmString, Constraints, HasSideEffects, IsAlignStack,
428 return new InlineAsm(FTy, std::string(AsmString), std::string(Constraints),
/llvm-project-15.0.7/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;
/llvm-project-15.0.7/llvm/include/llvm/IR/
H A DInlineAsm.h43 std::string AsmString, Constraints; variable
51 const std::string &Constraints, bool hasSideEffects,
65 StringRef Constraints, bool hasSideEffects,
85 const std::string &getConstraintString() const { return Constraints; } in getConstraintString()
89 static Error verify(FunctionType *Ty, StringRef Constraints);
189 return ParseConstraints(Constraints); in ParseConstraints()
/llvm-project-15.0.7/clang/lib/Sema/
H A DSemaStmtAsm.cpp211 getClobberConflictLocation(MultiExprArg Exprs, StringLiteral **Constraints, in getClobberConflictLocation() argument
219 StringRef Constraint = Constraints[i]->getString(); in getClobberConflictLocation()
249 StringLiteral **Constraints = in ActOnGCCAsmStmt() local
264 StringLiteral *Literal = Constraints[i]; in ActOnGCCAsmStmt()
278 NumInputs, Names, Constraints, Exprs.data(), AsmString, in ActOnGCCAsmStmt()
347 NumInputs, Names, Constraints, Exprs.data(), AsmString, in ActOnGCCAsmStmt()
355 StringLiteral *Literal = Constraints[i]; in ActOnGCCAsmStmt()
491 NumInputs, Names, Constraints, Exprs.data(), in ActOnGCCAsmStmt()
531 StringLiteral *Literal = Constraints[ConstraintIdx]; in ActOnGCCAsmStmt()
928 ArrayRef<StringRef> Constraints, in ActOnMSAsmStmt() argument
[all …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1045 areFeasible(ConstraintRangeTy Constraints) { in areFeasible() argument
1047 Constraints, in areFeasible()
2067 Constraints = CF.add(Constraints, Class, NewConstraint); in assign()
2080 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()
2085 return setConstraints(State, Constraints); in assign()
2321 Constraints = CRF.remove(Constraints, Other); in mergeImpl()
2323 Constraints = CRF.add(Constraints, *this, *NewClassConstraint); in mergeImpl()
2500 Constraints = CRF.add(Constraints, First, FirstConstraint); in addToDisequalityInfo()
2830 Constraints = ConstraintFactory.remove(Constraints, Class); in removeDeadBindings()
2863 Constraints) { in removeDeadBindings()
[all …]
/llvm-project-15.0.7/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 …]
/llvm-project-15.0.7/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";
26627 let Constraints = "$Qx4 = $Qx4in";
26639 let Constraints = "$Qx4 = $Qx4in";
26650 let Constraints = "$Qx4 = $Qx4in";
26673 let Constraints = "$Qx4 = $Qx4in";
26685 let Constraints = "$Qx4 = $Qx4in";
26696 let Constraints = "$Qx4 = $Qx4in";
[all …]
/llvm-project-15.0.7/clang/lib/CodeGen/
H A DCGStmt.cpp2351 std::string Constraints; in EmitAsmStmt() local
2405 if (!Constraints.empty()) in EmitAsmStmt()
2406 Constraints += ','; in EmitAsmStmt()
2485 Constraints += "=*"; in EmitAsmStmt()
2545 Constraints += ','; in EmitAsmStmt()
2627 Constraints += "!i"; in EmitAsmStmt()
2671 Constraints += ','; in EmitAsmStmt()
2673 Constraints += "~{"; in EmitAsmStmt()
2674 Constraints += Clobber; in EmitAsmStmt()
2675 Constraints += '}'; in EmitAsmStmt()
[all …]
/llvm-project-15.0.7/llvm/lib/Target/RISCV/
H A DRISCVInstrInfoV.td932 let Constraints = "@earlyclobber $vd" in {
949 } // Constraints = "@earlyclobber $vd"
1000 let Constraints = "@earlyclobber $vd" in {
1003 } // Constraints = "@earlyclobber $vd"
1155 let Constraints = "@earlyclobber $vd" in {
1158 } // Constraints = "@earlyclobber $vd"
1170 let Constraints = "@earlyclobber $vd",
1306 let Constraints = "@earlyclobber $vd" in {
1315 } // Constraints = "@earlyclobber $vd"
1449 let Constraints = "$vd = $vd_wb" in
[all …]
H A DRISCVInstrInfoC.td276 let Constraints = "$rd = $rd_wb";
378 let Constraints = "$rd = $rd_wb";
387 let Constraints = "$rd = $rd_wb";
404 let Constraints = "$rd = $rd_wb";
420 let Constraints = "$rd = $rd_wb";
484 let Constraints = "$rd = $rd_wb";
606 let Constraints = "$rd = $rd_wb";
615 let Constraints = "$rd = $rd_wb";
657 let Constraints = "$rd = $rd_wb";
666 let Constraints = "$rd = $rd_wb";
[all …]
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h215 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
218 if (Constraints.isEmpty()) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
225 for (ConstraintSMTType::iterator I = Constraints.begin(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
226 I != Constraints.end(); ++I) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
232 if (std::next(I) != Constraints.end()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/llvm-project-15.0.7/llvm/utils/TableGen/
H A DInstrDocsEmitter.cpp183 StringRef Constraints = Inst->getValueAsString("Constraints"); in EmitInstrDocs() local
184 if (!Constraints.empty()) { in EmitInstrDocs()
185 OS << "Constraints: ``" << Constraints << "``\n\n"; in EmitInstrDocs()
/llvm-project-15.0.7/llvm/include/llvm/MC/
H A DMCInstrDesc.h99 uint16_t Constraints; variable
215 (OpInfo[OpNum].Constraints & (1 << Constraint))) { in getOperandConstraint()
217 return (int)(OpInfo[OpNum].Constraints >> ValuePos) & 0x0f; in getOperandConstraint()

12345678