Searched refs:getValue2Index (Results 1 – 2 of 2) sorted by relevance
96 DenseMap<Value *, unsigned> &getValue2Index() { return Value2Index; } in getValue2Index() function97 const DenseMap<Value *, unsigned> &getValue2Index() const { in getValue2Index() function
277 auto &Value2Index = getValue2Index(false); in ConstraintInfo()287 DenseMap<Value *, unsigned> &getValue2Index(bool Signed) { in getValue2Index() function in __anon87d6bc870111::ConstraintInfo288 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()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()[all …]