Home
last modified time | relevance | path

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

12345678910>>...15

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp171 llvm::SetVector<const Formula *> Constraints) { in querySolver() argument
172 return S.solve(Constraints.getArrayRef()); in querySolver()
185 llvm::SetVector<const Formula *> Constraints; in flowConditionImplies() local
186 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionImplies()
187 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()
188 addTransitiveFlowConditionConstraints(Token, Constraints); in flowConditionImplies()
189 return isUnsatisfiable(std::move(Constraints)); in flowConditionImplies()
197 llvm::SetVector<const Formula *> Constraints; in flowConditionAllows() local
198 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionAllows()
199 Constraints.insert(&F); in flowConditionAllows()
[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/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()
136 Constraints.push_back(std::move(NR)); in eliminateUsingFM()
138 if (Constraints.size() > 500) in eliminateUsingFM()
148 while (!Constraints.empty() && NumVariables > 1) { in mayHaveSolutionImpl()
153 if (Constraints.empty() || NumVariables > 1) in mayHaveSolutionImpl()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DZ3CrosscheckVisitor.cpp54 : Constraints(ConstraintMap::Factory().getEmptyMap()), Result(Result), in Z3CrosscheckVisitor()
75 for (const auto &[Sym, Range] : Constraints) { in finalizeVisitor()
126 if (!Constraints.contains(Sym)) { in addConstraints()
128 Constraints = CF.add(Constraints, Sym, Range); in addConstraints()
131 Constraints = CF.remove(Constraints, Sym); in addConstraints()
132 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()
2146 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); in assign() local
2150 Constraints = CF.add(Constraints, Class, NewConstraint); in assign()
2163 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()
2165 assert(areFeasible(Constraints) && "Constraint manager shouldn't produce " in assign()
2168 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 addVariableRow()
90 if (Constraints.empty()) in addVariableRow()
92 Constraints.push_back(std::move(NewRow)); in addVariableRow()
150 assert(!Constraints.empty() && "Constraint system is empty"); in getLastConstraint()
152 for (auto &Entry : Constraints.back()) in getLastConstraint()
157 void popLastConstraint() { Constraints.pop_back(); } in popLastConstraint()
164 unsigned size() const { return Constraints.size(); } in size()
/freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DSDNodeInfo.h79 const SDTypeConstraint *Constraints; variable
83 StringTable Names, const SDTypeConstraint *Constraints) in SDNodeInfo() argument
85 Constraints(Constraints) {} in SDNodeInfo()
103 return ArrayRef(&Constraints[Desc.ConstraintOffset], Desc.ConstraintCount); in getConstraints()
H A DPBQPRAConstraint.h59 for (auto &C : Constraints) in apply()
65 Constraints.push_back(std::move(C)); in addConstraint()
69 std::vector<std::unique_ptr<PBQPRAConstraint>> Constraints;
/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()
236 InlineAsm::ParseConstraints(StringRef Constraints) { in ParseConstraints() argument
240 for (StringRef::iterator I = Constraints.begin(), in ParseConstraints()
241 E = Constraints.end(); I != E; ) { in ParseConstraints()
278 ConstraintInfoVector Constraints = ParseConstraints(ConstStr); in verify() local
281 if (Constraints.empty() && !ConstStr.empty()) in verify()
287 for (const ConstraintInfo &Constraint : Constraints) { in verify()
H A DConstantsContext.h337 StringRef Constraints;
344 InlineAsmKeyType(StringRef AsmString, StringRef Constraints,
347 : AsmString(AsmString), Constraints(Constraints), FTy(FTy),
352 : AsmString(Asm->getAsmString()), Constraints(Asm->getConstraintString()),
360 AsmString == X.AsmString && Constraints == X.Constraints &&
369 Constraints == Asm->getConstraintString() &&
374 return hash_combine(AsmString, Constraints, HasSideEffects, IsAlignStack,
382 return new InlineAsm(FTy, std::string(AsmString), std::string(Constraints),
/freebsd/contrib/llvm-project/llvm/utils/TableGen/
H A DSDNodeInfoEmitter.cpp245 ArrayRef<SDTypeConstraint> Constraints = Nodes.front().getTypeConstraints(); in emitTypeConstraints() local
248 return ArrayRef(Other.getTypeConstraints()) != Constraints; in emitTypeConstraints()
261 if (Constraints.empty()) in emitTypeConstraints()
267 ConstraintTable.add(ConstraintsVecTy(reverse(Constraints))); in emitTypeConstraints()
278 ArrayRef<SDTypeConstraint> Constraints = Nodes.front().getTypeConstraints(); in emitTypeConstraints() local
280 if (Constraints.empty() || is_contained(SkippedNodes, EnumName)) { in emitTypeConstraints()
286 ConstraintTable.get(ConstraintsVecTy(reverse(Constraints))); in emitTypeConstraints()
288 Constraints.size()); in emitTypeConstraints()
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/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.h46 std::string AsmString, Constraints; variable
54 const std::string &Constraints, bool hasSideEffects,
68 StringRef Constraints, bool hasSideEffects,
89 StringRef getConstraintString() const { return Constraints; } in getConstraintString()
94 LLVM_ABI static Error verify(FunctionType *Ty, StringRef Constraints);
195 return ParseConstraints(Constraints); in ParseConstraints()
/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 = "$Rxx32 = $Rxx32in";
[all …]
/freebsd/contrib/llvm-project/clang/lib/Parse/
H A DParseStmtAsm.cpp612 SmallVector<std::string, 4> Constraints; in ParseMicrosoftAsmStatement() local
615 Constraints, Clobbers, MII.get(), IP.get(), in ParseMicrosoftAsmStatement()
642 ConstraintRefs[i] = StringRef(Constraints[i]); in ParseMicrosoftAsmStatement()
708 ExprVector Constraints; in ParseAsmStatement() local
717 /*NumOutputs*/ 0, /*NumInputs*/ 0, nullptr, Constraints, Exprs, in ParseAsmStatement()
728 if (!AteExtraColon && ParseAsmOperandsOpt(Names, Constraints, Exprs)) in ParseAsmStatement()
744 if (!AteExtraColon && ParseAsmOperandsOpt(Names, Constraints, Exprs)) in ParseAsmStatement()
748 assert(Names.size() == Constraints.size() && in ParseAsmStatement()
749 Constraints.size() == Exprs.size() && "Input operand size mismatch!"); in ParseAsmStatement()
816 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 {
274 let Constraints = "$src1 = $dst" in {
[all …]
/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 DRISCVInstrInfoXRivos.td31 let Constraints = "$vd = $vd_wb";
60 Constraints = "@earlyclobber $vd", RVVConstraint = Vrgather,
86 Constraints = "@earlyclobber $rd, $rd = $passthru" in {
162 Constraints = "$rd = $rs1" in
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h222 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
225 if (Constraints.isEmpty()) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
232 for (ConstraintSMTType::iterator I = Constraints.begin(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
233 I != Constraints.end(); ++I) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
239 if (std::next(I) != Constraints.end()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/lib/CodeGen/
H A DCGStmt.cpp2848 std::string Constraints; in EmitAsmStmt() local
2902 if (!Constraints.empty()) in EmitAsmStmt()
2903 Constraints += ','; in EmitAsmStmt()
2912 Constraints += "=" + OutputConstraint; in EmitAsmStmt()
2984 Constraints += "=*"; in EmitAsmStmt()
2985 Constraints += OutputConstraint; in EmitAsmStmt()
3029 *this, ReturnSlot, Constraints, ResultRegTypes, ResultTruncRegTypes, in EmitAsmStmt()
3043 if (!Constraints.empty()) in EmitAsmStmt()
3044 Constraints += ','; in EmitAsmStmt()
3058 std::tie(Arg, ArgElemType) = EmitAsmInput(Info, InputExpr, Constraints); in EmitAsmStmt()
[all …]
/freebsd/contrib/llvm-project/llvm/utils/TableGen/Common/
H A DCodeGenInstruction.h117 std::vector<ConstraintInfo> Constraints; member
125 DoNotEncode(MINO), MIOperandInfo(MIOI), Constraints(MINO) {} in OperandInfo()
130 for (const CGIOperandList::ConstraintInfo &CI : Constraints) in getTiedRegister()
/freebsd/contrib/llvm-project/llvm/lib/Target/M68k/
H A DM68kInstrAtomics.td55 let Constraints = "$out = $dc";
72 let Constraints = "$out = $dc";
89 let Constraints = "$out = $dc";
106 let Constraints = "$out = $dc";
/freebsd/contrib/llvm-project/llvm/include/llvm/MC/
H A DMCInstrDesc.h101 uint16_t Constraints; variable
223 (operands()[OpNum].Constraints & (1 << Constraint))) { in getOperandConstraint()
225 return (int)(operands()[OpNum].Constraints >> ValuePos) & 0x0f; in getOperandConstraint()

12345678910>>...15