Lines Matching refs:getValue2Index
277 auto &Value2Index = getValue2Index(false); in ConstraintInfo()
287 DenseMap<Value *, unsigned> &getValue2Index(bool Signed) { in getValue2Index() function in __anon87d6bc870111::ConstraintInfo
288 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()
290 const DenseMap<Value *, unsigned> &getValue2Index(bool Signed) const { in getValue2Index() function in __anon87d6bc870111::ConstraintInfo
291 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()
645 auto &Value2Index = getValue2Index(IsSigned); in getConstraint()
741 auto &Value2Index = getValue2Index(false); in getConstraintForSolving()
1211 auto &Value2Index = Info.getValue2Index(IsSigned); in generateReproducer()
1267 auto &Value2Index = Info.getValue2Index(IsSigned); in generateReproducer()
1405 auto &Mapping = Info.getValue2Index(E.IsSigned); in removeEntryFromStack()
1499 auto &Value2Index = getValue2Index(R.IsSigned); in addFact()
1507 dumpConstraint(R.Coefficients, getValue2Index(R.IsSigned)); in addFact()
1670 Info.getValue2Index(E.IsSigned)); in eliminateConstraints()