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");
32   unsigned LastIdx = NumVariables - 1;
98         if (MulOverflow(UpperV, -1 * LowerLast, M1))
121   NumVariables -= 1;
149     if (V->getName().empty())
150       OperandName = V->getNameOrAsOperand();
152       OperandName = std::string("%") + V->getName().str();
153     Names[Index - 1] = OperandName;
165     SmallVector<std::string, 16> Parts;
174       Parts.push_back(Coefficient + Names[E.Id - 1]);
176     // assert(!Parts.empty() && "need to have at least some parts");
180     LLVM_DEBUG(dbgs() << join(Parts, std::string(" + "))
187   LLVM_DEBUG(dbgs() << "---\n");
201   // condition must hold based on the existing constraints.