131   ConstraintSystem &getCS(bool Signed) {  in getCS()  function in __anon0e91cfc10111::ConstraintInfo
134   const ConstraintSystem &getCS(bool Signed) const {  in getCS()  function in __anon0e91cfc10111::ConstraintInfo
138   void popLastConstraint(bool Signed) { getCS(Signed).popLastConstraint(); }  in popLastConstraint()
140     getCS(Signed).popLastNVariables(N);  in popLastNVariables()
390          getCS(CmpInst::isSigned(Pred)).isConditionImplied(R.Coefficients);  in doesHold()
588   auto &CSToUse = getCS(R.IsSigned);  in addFact()
633     auto &CSToUse = Info.getCS(CmpInst::isSigned(Pred));  in tryToSimplifyOverflowMath()
711         dumpWithNames(Info.getCS(E.IsSigned).getLastConstraint(),  in eliminateConstraints()
752         auto &CSToUse = Info.getCS(R.IsSigned);  in eliminateConstraints()
821   assert(Info.getCS(false).size() == DFSInStack.size() - SignedEntries &&  in eliminateConstraints()
823   assert(Info.getCS(true).size() == SignedEntries &&  in eliminateConstraints()