278     auto &Value2Index = getValue2Index(false);  in ConstraintInfo()
288   DenseMap<Value *, unsigned> &getValue2Index(bool Signed) {  in getValue2Index()  function in __anon050fee910111::ConstraintInfo
289     return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index();  in getValue2Index()
291   const DenseMap<Value *, unsigned> &getValue2Index(bool Signed) const {  in getValue2Index()  function in __anon050fee910111::ConstraintInfo
292     return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index();  in getValue2Index()
661   auto &Value2Index = getValue2Index(IsSigned);  in getConstraint()
757     auto &Value2Index = getValue2Index(false);  in getConstraintForSolving()
1249     auto &Value2Index = Info.getValue2Index(IsSigned);  in generateReproducer()
1305     auto &Value2Index = Info.getValue2Index(IsSigned);  in generateReproducer()
1485   auto &Mapping = Info.getValue2Index(E.IsSigned);  in removeEntryFromStack()
1579     auto &Value2Index = getValue2Index(R.IsSigned);  in addFact()
1587       dumpConstraint(R.Coefficients, getValue2Index(R.IsSigned));  in addFact()
1750                        Info.getValue2Index(E.IsSigned));  in eliminateConstraints()