295   ConstraintSystem &getCS(bool Signed) {  in getCS()  function in __anon050fee910111::ConstraintInfo
298   const ConstraintSystem &getCS(bool Signed) const {  in getCS()  function in __anon050fee910111::ConstraintInfo
302   void popLastConstraint(bool Signed) { getCS(Signed).popLastConstraint(); }  in popLastConstraint()
304     getCS(Signed).popLastNVariables(N);  in popLastNVariables()
833          getCS(R.IsSigned).isConditionImplied(R.Coefficients);  in doesHold()
1369   auto &CSToUse = Info.getCS(R.IsSigned);  in checkCondition()
1569   auto &CSToUse = getCS(R.IsSigned);  in addFact()
1658     auto &CSToUse = Info.getCS(R.IsSigned);  in tryToSimplifyOverflowMath()
1749         dumpConstraint(Info.getCS(E.IsSigned).getLastConstraint(),  in eliminateConstraints()
1789       if (Info.getCS(CmpInst::isSigned(Pred)).size() > MaxRows) {  in eliminateConstraints()
1872   assert(Info.getCS(false).size() - FunctionArgs.size() ==  in eliminateConstraints()
1875   assert(Info.getCS(true).size() == SignedEntries &&  in eliminateConstraints()