Home
last modified time | relevance | path

Searched refs:NewSystem (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Analysis/
H A DConstraintSystem.cpp31 SmallVector<SmallVector<int64_t, 8>, 4> NewSystem; in eliminateUsingFM() local
43 NewSystem.push_back(std::move(NR)); in eliminateUsingFM()
85 NewSystem.push_back(std::move(NR)); in eliminateUsingFM()
87 if (NewSystem.size() > 500) in eliminateUsingFM()
91 Constraints = std::move(NewSystem); in eliminateUsingFM()
154 auto NewSystem = *this; in isConditionImplied() local
155 NewSystem.addVariableRow(R); in isConditionImplied()
156 return !NewSystem.mayHaveSolution(); in isConditionImplied()