HomeSort by: relevance | last modified time | path
    Searched defs:Constraint (Results 1 - 15 of 15) sorted by relevancy

  /src/external/apache2/llvm/dist/llvm/include/llvm/MC/MCParser/
MCParsedAsmOperand.h 29 /// Constraint - The constraint on this operand. Only valid when parsing
31 std::string Constraint;
36 // that verbosity, just rely on defaulted copy ops. It's only the Constraint
45 void setConstraint(StringRef C) { Constraint = C.str(); }
46 StringRef getConstraint() { return Constraint; }
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitors.h 165 DefinedSVal Constraint;
175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
176 : Constraint(constraint), Assumption(assumption),
177 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {}
190 /// Checks if the constraint is valid in the current state.
346 /// Track if we found the node where the constraint was first added.
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SMTConstraintManager.h 91 // Negate the constraint
317 llvm::SMTExprRef Constraint = I++->second;
319 Constraint = Solver->mkAnd(Constraint, I++->second);
322 Solver->addConstraint(Constraint);
326 // Generate and check a Z3 model, using the given constraint.
  /src/crypto/external/bsd/heimdal/dist/lib/asn1/
asn1parse.y 230 %type <constraint_spec> Constraint
590 ConstrainedType : Type Constraint
592 /* if (Constraint.type == contentConstrant) {
593 assert(Constraint.u.constraint.type == octetstring|bitstring-w/o-NamedBitList); // remember to check type reference too
594 if (Constraint.u.constraint.type) {
595 assert((Constraint.u.constraint.type.length % 8) == 0);
598 if (Constraint.u.constraint.encoding)
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/Sema/
SemaStmtAsm.cpp 160 /// assembly's memory constraint; false otherwise.
219 StringRef Constraint = Constraints[i]->getString();
221 Constraint, extractRegisterName(Exprs[i], Target));
294 // Check that the output expression is compatible with memory constraint.
384 // Check that the input expression is compatible with memory constraint.
508 // Look for the correct constraint index.
514 // Look for the (ConstraintIdx - NumOperands + 1)th constraint with
583 // If this is a tied constraint, verify that the output and input have
593 // Make sure no more than one input constraint matches each output.
  /src/external/apache2/llvm/dist/llvm/utils/TableGen/
InstrInfoEmitter.cpp 186 // Fill in constraint info.
189 const CGIOperandList::ConstraintInfo &Constraint =
191 if (Constraint.isNone())
193 else if (Constraint.isEarlyClobber())
196 assert(Constraint.isTied());
197 Res += "MCOI_TIED_TO(" + utostr(Constraint.getTiedOperand()) + ")";
  /src/external/mit/isl/dist/doc/
implementation.tex 151 If any LP problem is unbounded, then the corresponding constraint
209 This sample value represents a valid solution if each constraint variable
255 may depend on the parameters. Each time the constant term of a constraint row
290 fractional sample value. To be able to formulate this constraint,
296 and the coefficients of the new constraint are adjusted accordingly.
297 The sign of the constant term of this new constraint need not be determined
387 \subsubsection{Constraint Simplification}
389 If the coefficients of the unknown and parameters in a constraint
391 rounding down the constant term. For example, the constraint
460 constraint $u + \sp {\vec a} {\vec x} \ge 0$ along wit
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ExprEngineC.cpp 1149 // propagate that constraint.
1151 DefinedOrUnknownSVal Constraint =
1154 if (!state->assume(Constraint, true)) {
1156 // Propagate this constraint.
1157 Constraint = svalBuilder.evalEQ(state, SymVal,
1160 state = state->assume(Constraint, false);
ExprEngine.cpp 262 Optional<DefinedOrUnknownSVal> Constraint =
265 if (!Constraint)
268 if (ProgramStateRef newState = state->assume(*Constraint, true))
750 // The constraint manager has not been cleaned up yet, so clean up now.
  /src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
DependenceAnalysis.h 369 /// Constraint - This private class represents a constraint, as defined
376 /// There are 5 kinds of constraint, in a hierarchy.
377 /// 1) Any - indicates no constraint, any dependence is possible.
384 class Constraint {
394 /// isEmpty - Return true if the constraint is of kind Empty.
397 /// isPoint - Return true if the constraint is of kind Point.
400 /// isDistance - Return true if the constraint is of kind Distance.
403 /// isLine - Return true if the constraint is of kind Line.
405 /// true if the constraint is of kind Distance
    [all...]
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/Utils/
SCCPSolver.cpp 1231 const Optional<PredicateConstraint> &Constraint = PI->getConstraint();
1232 if (!Constraint) {
1237 CmpInst::Predicate Pred = Constraint->Predicate;
1238 Value *OtherOp = Constraint->OtherOp;
  /src/external/apache2/llvm/dist/clang/utils/TableGen/
ClangAttrEmitter.cpp 1712 const Record *Constraint;
1714 AttributeSubjectMatchRule(const Record *MetaSubject, const Record *Constraint)
1715 : MetaSubject(MetaSubject), Constraint(Constraint) {
1719 bool isSubRule() const { return Constraint != nullptr; }
1722 return (Constraint ? Constraint : MetaSubject)
1727 if (Constraint) {
1730 std::vector<Record *> Opts = Constraint->getValueAsListOfDefs("LangOpts");
1741 return (Constraint ? Constraint : MetaSubject)->getValueAsString("Name")
    [all...]
  /src/external/apache2/llvm/dist/llvm/lib/MC/MCParser/
AsmParser.cpp 5976 StringRef Constraint = Operand.getConstraint();
5980 Constraint = "r";
5982 Constraint = "i";
5991 OutputConstraints.push_back(("=" + Constraint).str());
5996 InputConstraints.push_back(Constraint.str());
MasmParser.cpp 7109 StringRef Constraint = Operand.getConstraint();
7113 Constraint = "r";
7115 Constraint = "i";
7124 OutputConstraints.push_back(("=" + Constraint).str());
7129 InputConstraints.push_back(Constraint.str());
  /src/external/apache2/llvm/dist/clang/lib/CodeGen/
CGObjCMac.cpp 4411 std::string Constraint;
4413 if (I) Constraint += ',';
4414 Constraint += "*m";
4417 ReadHazard = llvm::InlineAsm::get(AsmFnTy, "", Constraint, true, false);
4425 std::string Constraint;
4427 if (I) Constraint += ',';
4428 Constraint += "=*m";
4431 WriteHazard = llvm::InlineAsm::get(AsmFnTy, "", Constraint, true, false);

Completed in 41 milliseconds