Lines Matching +full:existing +full:- +full:parts
1 //===- ConstraintSytem.cpp - A system of linear constraints. ----*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
20 #define DEBUG_TYPE "constraint-system"
30 "should only be called for non-empty constraint systems"); in eliminateUsingFM()
32 unsigned LastIdx = NumVariables - 1; in eliminateUsingFM()
98 if (MulOverflow(UpperV, -1 * LowerLast, M1)) in eliminateUsingFM()
121 NumVariables -= 1; in eliminateUsingFM()
149 if (V->getName().empty()) in getVarNamesList()
150 OperandName = V->getNameOrAsOperand(); in getVarNamesList()
152 OperandName = std::string("%") + V->getName().str(); in getVarNamesList()
153 Names[Index - 1] = OperandName; in getVarNamesList()
165 SmallVector<std::string, 16> Parts; in dump() local
174 Parts.push_back(Coefficient + Names[E.Id - 1]); in dump()
176 // assert(!Parts.empty() && "need to have at least some parts"); in dump()
180 LLVM_DEBUG(dbgs() << join(Parts, std::string(" + ")) in dump()
187 LLVM_DEBUG(dbgs() << "---\n"); in mayHaveSolution()
201 // condition must hold based on the existing constraints. in isConditionImplied()