Searched refs:getValue2Index (Results 1 – 2 of 2) sorted by relevance
96 DenseMap<Value *, unsigned> &getValue2Index() { return Value2Index; } in addVariableRow() 97 const DenseMap<Value *, unsigned> &getValue2Index() const { in addVariableRow() 103 DenseMap<Value *, unsigned> &getValue2Index() { return Value2Index; } getValue2Index() function 104 const DenseMap<Value *, unsigned> &getValue2Index() const { getValue2Index() function
278 auto &Value2Index = getValue2Index(false); in ConstraintInfo()288 DenseMap<Value *, unsigned> &getValue2Index(bool Signed) { in getValue2Index() function in __anon050fee910111::ConstraintInfo289 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()291 const DenseMap<Value *, unsigned> &getValue2Index(bool Signed) const { in getValue2Index() function in __anon050fee910111::ConstraintInfo292 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()[all …]