Searched refs:NewConstraint (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | SimplifyConstraints.cpp | 132 const Formula &NewConstraint = in simplifyConstraints() local
134 if (NewConstraint.isLiteral(true)) in simplifyConstraints()
136 if (NewConstraint.isLiteral(false)) { in simplifyConstraints()
140 if (NewConstraint.kind() == Formula::And) { in simplifyConstraints()
141 NewConstraints.insert(NewConstraint.operands()[0]); in simplifyConstraints()
142 NewConstraints.insert(NewConstraint.operands()[1]); in simplifyConstraints()
145 NewConstraints.insert(&NewConstraint); in simplifyConstraints()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | DependenceAnalysis.h | 655 Constraint &NewConstraint,
693 Constraint &NewConstraint) const;
711 Constraint &NewConstraint,
730 Constraint &NewConstraint) const;
748 Constraint &NewConstraint) const;
766 Constraint &NewConstraint) const;
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | DependenceAnalysis.cpp | 1252 Constraint &NewConstraint) const { in strongSIVtest()
1302 NewConstraint.setDistance(SE->getConstant(Distance), CurLoop); in strongSIVtest()
1314 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1322 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1326 NewConstraint.setLine(Coeff, in strongSIVtest()
1388 Constraint &NewConstraint, const SCEV *&SplitIter) const { in weakCrossingSIVtest() argument
1399 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop); in weakCrossingSIVtest()
1589 Constraint &NewConstraint) const { in exactSIVtest()
1601 NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff), Delta, in exactSIVtest()
1783 Constraint &NewConstraint) const { in weakZeroSrcSIVtest()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/utils/TableGen/Common/ |
| H A D | CodeGenInstruction.cpp | 375 auto NewConstraint = CGIOperandList::ConstraintInfo::getTied(DestFlatOpNo); in ParseConstraint() local
381 if (Op.Constraints[i] == NewConstraint) in ParseConstraint()
387 Ops[SrcOp.first].Constraints[SrcOp.second] = NewConstraint; in ParseConstraint()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 2083 ClassOrSymbol CoS, RangeSet NewConstraint) { in assign() argument
2084 if (!State || NewConstraint.isEmpty()) in assign()
2088 return Assignor.assign(CoS, NewConstraint); in assign()
2123 [[nodiscard]] ProgramStateRef assign(SymbolRef Sym, RangeSet NewConstraint) { in assign() argument
2126 State = assign(EquivalenceClass::find(State, Sym), NewConstraint); in assign()
2132 Base::assign(Sym, NewConstraint); in assign()
2138 RangeSet NewConstraint) { in assign() argument
2144 if (const llvm::APSInt *Point = NewConstraint.getConcreteValue()) { in assign()
2150 Constraints = CF.add(Constraints, Class, NewConstraint); in assign()
2171 return setConstraint(State, Class, NewConstraint); in assign()
|