Searched refs:NewConstraint (Results 1 – 5 of 5) sorted by relevance
| /freebsd-14.2/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-14.2/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | DependenceAnalysis.h | 640 Constraint &NewConstraint,
678 Constraint &NewConstraint) const;
696 Constraint &NewConstraint,
715 Constraint &NewConstraint) const;
733 Constraint &NewConstraint) const;
751 Constraint &NewConstraint) const;
|
| /freebsd-14.2/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | DependenceAnalysis.cpp | 1295 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1303 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1307 NewConstraint.setLine(Coeff, in strongSIVtest()
1380 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop); in weakCrossingSIVtest()
2251 Level, Result, NewConstraint); in testSIV()
3786 Constraint NewConstraint; in depends() local
3787 NewConstraint.setAny(SE); in depends()
4112 Constraint NewConstraint; in getSplitIteration() local
4113 NewConstraint.setAny(SE); in getSplitIteration()
4122 Result, NewConstraint, SplitIter); in getSplitIteration()
[all …]
|
| /freebsd-14.2/contrib/llvm-project/llvm/utils/TableGen/ |
| H A D | CodeGenInstruction.cpp | 380 auto NewConstraint = CGIOperandList::ConstraintInfo::getTied(DestFlatOpNo); in ParseConstraint() local
386 if (Op.Constraints[i] == NewConstraint) in ParseConstraint()
392 Ops[SrcOp.first].Constraints[SrcOp.second] = NewConstraint; in ParseConstraint()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 2068 ClassOrSymbol CoS, RangeSet NewConstraint) { in assign() argument
2069 if (!State || NewConstraint.isEmpty()) in assign()
2073 return Assignor.assign(CoS, NewConstraint); in assign()
2108 [[nodiscard]] ProgramStateRef assign(SymbolRef Sym, RangeSet NewConstraint) { in assign() argument
2111 State = assign(EquivalenceClass::find(State, Sym), NewConstraint); in assign()
2117 Base::assign(Sym, NewConstraint); in assign()
2123 RangeSet NewConstraint) { in assign() argument
2129 if (const llvm::APSInt *Point = NewConstraint.getConcreteValue()) { in assign()
2135 Constraints = CF.add(Constraints, Class, NewConstraint); in assign()
2156 return setConstraint(State, Class, NewConstraint); in assign()
|