| /llvm-project/mlir/docs/ |
| H A D | PDLL.md | 116 #### Constraints subsubsection
866 ### Constraints subsection
874 #### Core Constraints argument
967 #### Defining Constraints in PDLL argument
1065 Native ConstraintsPDLL - PDL Language""Language Specification""Constraints global() argument
1070 Importing existing Native ConstraintsPDLL - PDL Language""Language Specification""Constraints""Native Constraints global() argument
1120 Defining Native Constraints in PDLLPDLL - PDL Language""Language Specification""Constraints""Native Constraints global() argument
1230 Defining Constraints InlinePDLL - PDL Language""Language Specification""Constraints global() argument
[all...] |
| /llvm-project/clang/unittests/Analysis/FlowSensitive/ |
| H A D | SimplifyConstraintsTest.cpp | 27 llvm::SetVector<const Formula *> Constraints(formulas.begin(), in parse() local
34 llvm::SetVector<const Formula *> Constraints = parse(Lines); in simplify() local
42 void printConstraints(const llvm::SetVector<const Formula *> &Constraints, in printConstraints()
55 constraintsToString(const llvm::SetVector<const Formula *> &Constraints) { in constraintsToString()
|
| H A D | SolverTest.h | 276 auto Constraints = parseFormulas(A, R"( in TYPED_TEST_P() local
286 auto Constraints = parseFormulas(A, R"( in TYPED_TEST_P() local
297 auto Constraints = parseFormulas(A, R"( in TYPED_TEST_P() local
306 auto Constraints = parseFormulas(A, R"( in TYPED_TEST_P() local
316 auto Constraints = parseFormulas(A, R"( in TYPED_TEST_P() local
324 auto Constraints = parseFormulas(A, R"( in TYPED_TEST_P() local
333 auto Constraints = parseFormulas(A, R"( in TYPED_TEST_P() local
|
| /llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 172 llvm::SetVector<const Formula *> Constraints) { in querySolver()
186 llvm::SetVector<const Formula *> Constraints; in flowConditionImplies() local
198 llvm::SetVector<const Formula *> Constraints; in flowConditionAllows() local
207 llvm::SetVector<const Formula *> Constraints; in equivalentFormulas() local
213 Atom Token, llvm::SetVector<const Formula *> &Constraints) { in addTransitiveFlowConditionConstraints()
256 llvm::SetVector<const Formula *> Constraints; in dumpFlowCondition() local
|
| H A D | SimplifyConstraints.cpp | 75 void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints, in simplifyConstraints()
|
| /llvm-project/mlir/docs/DefiningDialects/ |
| H A D | Operations.md | 1258 ## Constraints global() section in Operation Definition Specification (ODS)
1277 Single-entity constraintOperation Definition Specification (ODS)""Constraints global() argument
1294 Multi-entity constraintOperation Definition Specification (ODS)""Constraints global() argument
1306 TraitOperation Definition Specification (ODS)""Constraints global() argument
1317 How to specify new constraintOperation Definition Specification (ODS)""Constraints global() argument
|
| /llvm-project/llvm/lib/IR/ |
| H A D | InlineAsm.cpp | 44 StringRef Constraints, bool hasSideEffects, in get() argument
235 ParseConstraints(StringRef Constraints) ParseConstraints() argument
277 ConstraintInfoVector Constraints = ParseConstraints(ConstStr); verify() local
|
| /llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.h | 242 bool isSatisfiable(llvm::SetVector<const Formula *> Constraints) { in isSatisfiable()
249 bool isUnsatisfiable(llvm::SetVector<const Formula *> Constraints) { in isUnsatisfiable()
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | Z3CrosscheckVisitor.h | 48 ConstraintMap Constraints; variable
|
| /llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ConstraintSystem.h | 51 SmallVector<SmallVector<Entry, 8>, 4> Constraints; global() variable
|
| /llvm-project/llvm/utils/TableGen/ |
| H A D | InstrDocsEmitter.cpp | 192 StringRef Constraints = Inst->getValueAsString("Constraints"); in EmitInstrDocs() local
|
| /llvm-project/clang/lib/Parse/ |
| H A D | ParseStmtAsm.cpp | 634 SmallVector<std::string, 4> Constraints; in ParseMicrosoftAsmStatement() local
758 ExprVector Constraints; in ParseAsmStatement() local
885 SmallVectorImpl<Expr *> &Constraints, in ParseAsmOperandsOpt()
|
| /llvm-project/clang/lib/Sema/ |
| H A D | SemaStmtAsm.cpp | 213 getClobberConflictLocation(MultiExprArg Exprs,StringLiteral ** Constraints,StringLiteral ** Clobbers,int NumClobbers,unsigned NumLabels,const TargetInfo & Target,ASTContext & Cont) getClobberConflictLocation() argument
251 StringLiteral **Constraints = ActOnGCCAsmStmt() local
936 ActOnMSAsmStmt(SourceLocation AsmLoc,SourceLocation LBraceLoc,ArrayRef<Token> AsmToks,StringRef AsmString,unsigned NumOutputs,unsigned NumInputs,ArrayRef<StringRef> Constraints,ArrayRef<StringRef> Clobbers,ArrayRef<Expr * > Exprs,SourceLocation EndLoc) ActOnMSAsmStmt() argument
[all...] |
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 219 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|
| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1045 areFeasible(ConstraintRangeTy Constraints) { in areFeasible() argument
1070 ConstraintRangeTy Constraints) { in setConstraints() argument
2131 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); assign() local
2202 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); assignSymExprToConst() local
2269 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); getConstraintMap() local
2368 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); mergeImpl() local
2514 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); markDisequal() local
2534 addToDisequalityInfo(DisequalityMapTy & Info,ConstraintRangeTy & Constraints,RangeSet::Factory & RF,ProgramStateRef State,EquivalenceClass First,EquivalenceClass Second) addToDisequalityInfo() argument
2903 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); removeDeadBindings() local
3294 ConstraintRangeTy Constraints = State->get<ConstraintRange>(); printConstraints() local
[all...] |
| /llvm-project/clang/lib/CodeGen/ |
| H A D | TargetInfo.h | 187 addReturnRegisterOutputs(CodeGen::CodeGenFunction & CGF,CodeGen::LValue ReturnValue,std::string & Constraints,std::vector<llvm::Type * > & ResultRegTypes,std::vector<llvm::Type * > & ResultTruncRegTypes,std::vector<CodeGen::LValue> & ResultRegDests,std::string & AsmString,unsigned NumOutputs) addReturnRegisterOutputs() argument
|
| H A D | CGStmt.cpp | 2661 std::string Constraints; EmitAsmStmt() local
[all...] |
| /llvm-project/llvm/utils/TableGen/Common/ |
| H A D | CodeGenInstruction.h | 117 std::vector<ConstraintInfo> Constraints; member
|
| /llvm-project/llvm/include/llvm/IR/ |
| H A D | InlineAsm.h | 45 std::string AsmString, Constraints; variable
|
| /llvm-project/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 100 uint16_t Constraints; variable
|
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 654 ConstraintSet Constraints; member in __anon2859deef0111::StdLibraryFunctionsChecker::SummaryCase
659 SummaryCase(ConstraintSet &&Constraints, const ErrnoConstraintBase &ErrnoC, in SummaryCase() argument
664 SummaryCase(const ConstraintSet &Constraints, in SummaryCase() argument
|
| /llvm-project/llvm/lib/Analysis/ |
| H A D | DependenceAnalysis.cpp | 3155 SmallVectorImpl<Constraint> &Constraints, in propagate() argument
3826 SmallVector<Constraint, 4> Constraints(MaxLevel in depends() local
4140 SmallVector<Constraint, 4> Constraints(MaxLevels + 1); getSplitIteration() local
[all...] |
| /llvm-project/clang/lib/Serialization/ |
| H A D | ASTReaderStmt.cpp | 392 SmallVector<StringLiteral*, 16> Constraints; VisitGCCAsmStmt() local
449 SmallVector<StringRef, 16> Constraints; VisitMSAsmStmt() local
|
| /llvm-project/clang/lib/AST/ |
| H A D | Stmt.cpp | 544 setOutputsAndInputsAndClobbers(const ASTContext & C,IdentifierInfo ** Names,StringLiteral ** Constraints,Stmt ** Exprs,unsigned NumOutputs,unsigned NumInputs,unsigned NumLabels,StringLiteral ** Clobbers,unsigned NumClobbers) setOutputsAndInputsAndClobbers() argument
[all...] |
| /llvm-project/clang/include/clang/ExtractAPI/ |
| H A D | API.h | 69 llvm::SmallVector<TemplateConstraint> Constraints; global() variable
|